Sistemas Informáticos y Computación

Averist: Algorithmic verifier for stability of linear hybrid systems
HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)

Formal synthesis of stabilizing controllers for switched systems
HSCC 2017 - Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (part of CPS Week)

An algorithmic approach to global asymptotic stability verification of hybrid systems
Proceedings of the 13th International Conference on Embedded Software, EMSOFT 2016
Counterexample guided abstraction refinement for stability analysis
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Erratum to: Verification Techniques for Hybrid Systems (Leveraging Applications of Formal Methods, Verification and Validation (Part II) 10.1007/978-3-319-47169-3_61)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Hybridization for stability analysis of switched linear systems
HSCC 2016 - Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control

Formal techniques for Java-like programs: Report on the 10th workshop FTfJP at ECOOP 2008
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Departamento