HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:André Platzer

Publications
ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving
Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, André Platzer, Hengjun Zhao, Xiangyu Jin, Shuling Wang and Naijun Zhan
In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
A Benchmark for Component-based Hybrid Systems Safety Verification
Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger and André Platzer
In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems
Real Analysis for Complex Systems
Andrè Platzer
In:VERIFY-2010. 6th International Verification Workshop

Keyphrases

component-based, Performance, verification.

Copyright © 2012-2025 easychair.org. All rights reserved.