Georgios Giantamidis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2016–2023
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | DSN | SMT-Based Stability Verification of an Industrial Switched PI Control Systems. | Stylianos Basagiannis, Ludovico Battista, Anna Becchi, Alessandro Cimatti, Georgios Giantamidis, Sergio Mover, Alberto Tacchella, Stefano Tonetta, Vassilios A. Tsachouridis |
| 2020 | DSD | The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security. | Raul Barbosa, Stylianos Basagiannis, Georgios Giantamidis, H. Becker, Enrico Ferrari, J. Jahic, Alper Kanak, Mikel Labayen Esnaola, Vanessa Orani, David Pereira, Luigi Pomante, Rupert Schlick, Ales Smrcka, Ahmet Yazici, Peter Folkesson, Behrooz Sangchoolie |
| 2020 | SAFECOMP | Efficient Translation of Safety LTL to DFA Using Symbolic Automata Learning and Inductive Inference. | Georgios Giantamidis, Stylianos Basagiannis, Stavros Tripakis |
| 2016 | FM | Learning Moore Machines from Input-Output Traces. | Georgios Giantamidis, Stavros Tripakis |