Robustness, Scott continuity, and computability
Farjudian, Amin, Moggi, Eugenio
Published in Mathematical structures in computer science (01.06.2023)
Published in Mathematical structures in computer science (01.06.2023)
Get full text
Journal Article
Safe & robust reachability analysis of hybrid systems
Moggi, Eugenio, Farjudian, Amin, Duracz, Adam, Taha, Walid
Published in Theoretical computer science (07.11.2018)
Published in Theoretical computer science (07.11.2018)
Get full text
Journal Article
System Analysis and Robustness
Moggi, Eugenio, Farjudian, Amin, Taha, Walid
Published in Models, Mindsets, Meta: The What, the How, and the Why Not? (2019)
Published in Models, Mindsets, Meta: The What, the How, and the Why Not? (2019)
Get full text
Book Chapter
Conference Proceeding
Acumen: An Open-Source Testbed for Cyber-Physical Systems Research
Taha, Walid, Duracz, Adam, Zeng, Yingfu, Atkinson, Kevin, Bartha, Ferenc A., Brauner, Paul, Duracz, Jan, Xu, Fei, Cartwright, Robert, Konečný, Michal, Moggi, Eugenio, Masood, Jawad, Andreasson, Pererik, Inoue, Jun, Sant’Anna, Anita, Philippsen, Roland, Chapoutot, Alexandre, O’Malley, Marcia, Ames, Aaron, Gaspes, Veronica, Hvatum, Lise, Mehta, Shyam, Eriksson, Henrik, Grante, Christian
Published in Internet of Things. IoT Infrastructures (2016)
Published in Internet of Things. IoT Infrastructures (2016)
Get full text
Book Chapter
Conference Proceeding