Pegasus: sound continuous invariant generation
Sogokon, Andrew, Mitsch, Stefan, Tan, Yong Kiam, Cordwell, Katherine, Platzer, André
Published in Formal methods in system design (01.10.2021)
Published in Formal methods in system design (01.10.2021)
Get full text
Journal Article
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
Year of Publication 2025
Get full text
eBook
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
Year of Publication 2025
Get full text
eBook
Supporting Heterogeneity in Cyber-Physical Systems Architectures
Rajhans, Akshay, Bhave, Ajinkya, Ruchkin, Ivan, Krogh, Bruce H., Garlan, David, Platzer, Andre, Schmerl, Bradley
Published in IEEE transactions on automatic control (01.12.2014)
Published in IEEE transactions on automatic control (01.12.2014)
Get full text
Journal Article
The KeYmaera X Proof IDE - Concepts on Usability in Hybrid Systems Theorem Proving
Mitsch, Stefan, Platzer, André
Published in Electronic proceedings in theoretical computer science (27.01.2017)
Published in Electronic proceedings in theoretical computer science (27.01.2017)
Get full text
Journal Article
Bayesian statistical model checking with application to Stateflow/Simulink verification
Zuliani, Paolo, Platzer, André, Clarke, Edmund M.
Published in Formal methods in system design (01.10.2013)
Published in Formal methods in system design (01.10.2013)
Get full text
Journal Article