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 Component-Based Hybrid Systems Verification and Implementation Tool in KeYmaera X (Tool Demonstration).

A. Müller, S. Mitsch, W. Schwinger, and A. Platzer. CyPhy/WESE, volume 11615 of Lecture Notes in Computer Science, page 91-110. Springer, (2018)

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é Müller University of Stuttgart

Dr. -Ing. André Buchau University of Stuttgart

Univ. -Prof. Dr. -Ing. André Casal Kulzer University of Stuttgart

Numerical Investigation on the Mechanism of Tumble Caused Cycle-to-Cycle Variation of High-Tumble Spark-Ignition EngineY. Feng, N. Mirsch, M. Grill, A. Kulzer, M. Günther, and S. Pischinger. 23. Internationales Stuttgarter Symposium : Automobil- und Motorentechnik, Springer Vieweg, (2023)

Numerical Investigation on the Mechanism of Tumble Caused Cycle-to-Cycle Variation of High-Tumble Spark-Ignition EngineY. Feng, N. Mirsch, M. Grill, A. Kulzer, M. Günther, and S. Pischinger. 23. Internationales Stuttgarter Symposium : Automobil- und Motorentechnik, Springer Vieweg, (2023)3D-CFD Full Engine Simulation of Post-Oxidation by Means of Secondary Air InjectionM. Pipolo, A. Kulzer, M. Chiodi, M. Kumar, and Y. Moriyoshi. 23. Internationales Stuttgarter Symposium : Automobil- und Motorentechnik, Springer Vieweg, (2023)Water Injection in Spark-Ignition Engine II (FVV Project Nr. 1367)E. Rossi, A. Casal Kulzer, E. Massoud, and K. Shrestha. 23. Internationales Stuttgarter Symposium : Automobil- und Motorentechnik, Springer Vieweg, (2023)

Other publications of authors with the same name

Differential Hybrid Games.A. Platzer. CoRR, (2015)Dynamic Logics of Dynamical SystemsA. Platzer. CoRR, (2012)A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid SystemsA. Platzer. Logical Methods in Computer Science, (2012)The Structure of Differential Invariants and Differential Cut EliminationA. Platzer. Logical Methods in Computer Science, (2011)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)Verification of Cyberphysical Transportation Systems.A. Platzer. IEEE Intelligent Systems, 24 (4): 10-13 (2009)KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems.N. Fulton, S. Mitsch, J. Quesel, M. Völp, and A. Platzer. CADE, volume 9195 of Lecture Notes in Computer Science, page 527-538. Springer, (2015)Uniform Substitution for Differential Game Logic.A. Platzer. IJCAR, volume 10900 of Lecture Notes in Computer Science, page 211-227. Springer, (2018)Towards Physical Hybrid Systems.K. Cordwell, and A. Platzer. CADE, volume 11716 of Lecture Notes in Computer Science, page 216-232. Springer, (2019)dLι: Definite Descriptions in Differential Dynamic Logic.B. Bohrer, M. Fernández, and A. Platzer. CADE, volume 11716 of Lecture Notes in Computer Science, page 94-110. Springer, (2019)