Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System.

J. Jeannin, K. Ghorbal, Y. Kouskoulas, R. Gardner, A. Schmidt, E. Zawadzki, and A. Platzer. TACAS, volume 9035 of Lecture Notes in Computer Science, page 21-36. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

André Jaquemod University of Stuttgart

Univ. -Prof. Dr. rer. nat. André Thess University of Stuttgart

Dr. -Ing. André Buchau University of Stuttgart

André Weiß University of Stuttgart

André Loescher University of Stuttgart

Other publications of authors with the same name

Verification of Cyberphysical Transportation Systems.A. Platzer. IEEE Intelligent Systems, 24 (4): 10-13 (2009)Using parameters in architectural views to support heterogeneous design and verification.A. Rajhans, A. Bhave, S. Loos, B. Krogh, A. Platzer, and D. Garlan. CDC-ECE, page 2705-2710. IEEE, (2011)Quantified Differential Dynamic Logic for Distributed Hybrid Systems.A. Platzer. CSL, volume 6247 of Lecture Notes in Computer Science, page 469-483. Springer, (2010)A Generalization of SAT and #SAT for Robust Policy Evaluation.E. Zawadzki, A. Platzer, and G. Gordon. IJCAI, page 2583-2590. IJCAI/AAAI, (2013)Change and Delay Contracts for Hybrid System Component Verification.A. Müller, S. Mitsch, W. Retschitzegger, W. Schwinger, and A. Platzer. FASE, volume 10202 of Lecture Notes in Computer Science, page 134-151. Springer, (2017)Uniform Substitution at One Fell Swoop.A. Platzer. CADE, volume 11716 of Lecture Notes in Computer Science, page 425-441. Springer, (2019)Differential Equation Axiomatization: The Impressive Power of Differential Ghosts.A. Platzer, and Y. Tan. LICS, page 819-828. ACM, (2018)A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow.B. Bohrer, and A. Platzer. LICS, page 115-124. ACM, (2018)The Image Computation Problem in Hybrid Systems Model Checking.A. Platzer, and E. Clarke. HSCC, volume 4416 of Lecture Notes in Computer Science, page 473-486. Springer, (2007)Ernst-Rüdiger Olderog: A Life for Meaning.A. Platzer. Correct System Design, volume 9360 of Lecture Notes in Computer Science, page 5-9. Springer, (2015)