Georgios Giantamidis

According to our database, Georgios Giantamidis authored at least 8 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

2021

The VALU3S ECSEL project: Verification and validation of automated systems safety and security.

Joseba Andoni Agirre, Leire Etxeberria, Raul Barbosa, Stylianos Basagiannis, Georgios Giantamidis, Thomas Bauer, Enrico Ferrari, Mikel Labayen Esnaola, Vanessa Orani, Johnny Öberg, David Pereira, José Proença, Rupert Schlick, Ales Smrcka, Walter Tiberti, Stefano Tonetta, Marco Bozzano, Ahmet Yazici, Behrooz Sangchoolie

Microprocess. Microsystems, November, 2021

Learning Moore machines from input-output traces.

Georgios Giantamidis, Stavros Tripakis, Stylianos Basagiannis

Int. J. Softw. Tools Technol. Transf., 2021

2020

ReForm: A Tool for Rapid Requirements Formalization.

Georgios Giantamidis, Georgios Papanikolaou, Marcelo Miranda, Gonzalo Salinas-Hernando, Juan Valverde-Alcalá, Suresh Veluru, Stylianos Basagiannis

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2020

Efficient Translation of Safety LTL to DFA Using Symbolic Automata Learning and Inductive Inference.

Georgios Giantamidis, Stylianos Basagiannis, Stavros Tripakis

Proceedings of the Computer Safety, Reliability, and Security, 2020

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, A. Kanak, Mikel Labayen Esnaola, Vanessa Orani, David Pereira, Luigi Pomante, Rupert Schlick, Ales Smrcka, Ahmet Yazici, Peter Folkesson, Behrooz Sangchoolie

Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020

2019

Computer-aided verification of matrix Riccati algorithms.

Vassilios A. Tsachouridis, Georgios Giantamidis

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2016

Learning Moore Machines from Input-Output Traces.

Georgios Giantamidis, Stavros Tripakis

Proceedings of the FM 2016: Formal Methods, 2016