André Platzer

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

13EEAndré Platzer, Edmund M. Clarke: Computing Differential Invariants of Hybrid Systems as Fixedpoints. CAV 2008: 176-189
12EEAndré Platzer, Jan-David Quesel: Logical Verification and Systematic Parametric Analysis in Train Control. HSCC 2008: 646-649
11EEAndré Platzer, Jan-David Quesel: KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description). IJCAR 2008: 171-178
10EEAndré Platzer: Differential Dynamic Logic for Hybrid Systems. J. Autom. Reasoning 41(2): 143-189 (2008)
9EEWerner Damm, Alfred Mikschl, Jens Oehlerking, Ernst-Rüdiger Olderog, Jun Pang, André Platzer, Marc Segelken, Boris Wirtz: Automating Verification of Cooperation, Control, and Design in Traffic Applications. Formal Methods and Hybrid Real-Time Systems 2007: 115-169
8EEAndré Platzer, Edmund M. Clarke: The Image Computation Problem in Hybrid Systems Model Checking. HSCC 2007: 473-486
7EEAndré Platzer: Differential Logic for Reasoning About Hybrid Systems. HSCC 2007: 746-749
6EEAndré Platzer: A Temporal Dynamic Logic for Verifying Hybrid System Invariants. LFCS 2007: 457-471
5EEAndré Platzer: Differential Dynamic Logic for Verifying Parametric Hybrid Systems. TABLEAUX 2007: 216-232
4EEAndré Platzer: Combining Deduction and Algebraic Constraints for Hybrid System Analysis. VERIFY 2007
3EEAndré Platzer: Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems. Electr. Notes Theor. Comput. Sci. 174(6): 63-77 (2007)
2EEStephanie Kemper, André Platzer: SAT-based Abstraction Refinement for Real-time Systems. Electr. Notes Theor. Comput. Sci. 182: 107-122 (2007)
1EEBernhard Beckert, André Platzer: Dynamic Logic with Non-rigid Functions. IJCAR 2006: 266-280

Coauthor Index

1Bernhard Beckert [1]
2Edmund M. Clarke [8] [13]
3Werner Damm [9]
4Stephanie Kemper [2]
5Alfred Mikschl [9]
6Jens Oehlerking [9]
7Ernst-Rüdiger Olderog [9]
8Jun Pang [9]
9Jan-David Quesel [11] [12]
10Marc Segelken [9]
11Boris Wirtz [9]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)