Georgios Giantamidis

According to our database1, Georgios Giantamidis authored at least 6 papers between 2016 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Learning Moore machines from input-output traces.
Int. J. Softw. Tools Technol. Transf., 2021

2020
ReForm: A Tool for Rapid Requirements Formalization.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2020

Efficient Translation of Safety LTL to DFA Using Symbolic Automata Learning and Inductive Inference.
Proceedings of the Computer Safety, Reliability, and Security, 2020

The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security.
Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020

2019
Computer-aided verification of matrix Riccati algorithms.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2016
Learning Moore Machines from Input-Output Traces.
Proceedings of the FM 2016: Formal Methods, 2016


  Loading...