Research software from the 27th ACM International Conference on Hybrid Systems: Computation and Control

Prazo para submissão: 01 November 2024

Data de Notificação: 01/04/2025

Editora: Elsevier

Revista: Science of Computer Programming

Link: https://www.sciencedirect.com/special-issue/316192/research-software-from-the-27th-acm-international-conference-on-hybrid-systems-computation-and-control

Detalhes:

Dr. Manuel Mazo, Associate ProfessorTU Delft,Delft, NetherlandsAreas of Expertise: System Theory, Control Systems, Cyber-physical Systems, Networked Control Systems Prof. Dr. Erika Ábrahám, Full ProfessorRWTH Aachen University, Aachen, Germany InstitutionalAreas of Expertise: Formal methods, Hybrid systems, Probabilistic systems, SMT solving Dr. Laura Nenzi, Assistant ProfessorUniversity of Trieste, Trieste, ItalyAreas of Expertise: Formal methods, Runtime verification