Search the dblp DataBase

Publications of Author

1. Bernhard Beckert, André Platzer
   Dynamic Logic with Non-rigid Functions. [Citation Graph (0, 0)][DBLP]
   IJCAR, 2006, pp:266-280 [Conf]
   
2. André Platzer
   Differential Logic for Reasoning About Hybrid Systems. [Citation Graph (0, 0)][DBLP]
   HSCC, 2007, pp:746-749 [Conf]
   
3. André Platzer, Edmund M. Clarke
   The Image Computation Problem in Hybrid Systems Model Checking. [Citation Graph (0, 0)][DBLP]
   HSCC, 2007, pp:473-486 [Conf]
   
4. André Platzer
   Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:6, pp:63-77 [Journal]
   
5. Werner 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. [Citation Graph (0, 0)][DBLP]
   Formal Methods and Hybrid Real-Time Systems, 2007, pp:115-169 [Conf]
   
6. André Platzer
   A Temporal Dynamic Logic for Verifying Hybrid System Invariants. [Citation Graph (0, 0)][DBLP]
   LFCS, 2007, pp:457-471 [Conf]
   
7. André Platzer
   Differential Dynamic Logic for Verifying Parametric Hybrid Systems. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2007, pp:216-232 [Conf]
   
8. Stephanie Kemper, André Platzer
   SAT-based Abstraction Refinement for Real-time Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:182, n:, pp:107-122 [Journal]
   
9. 
   Combining Deduction and Algebraic Constraints for Hybrid System Analysis. [Citation Graph (, )][DBLP]
   
   
10. 
    KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description). [Citation Graph (, )][DBLP]
    
    
11. 
    Real World Verification. [Citation Graph (, )][DBLP]
    
    
12. 
    Computing Differential Invariants of Hybrid Systems as Fixedpoints. [Citation Graph (, )][DBLP]
    
    
13. 
    A Bayesian Approach to Model Checking Biological Systems. [Citation Graph (, )][DBLP]
    
    
14. 
    Quantified Differential Dynamic Logic for Distributed Hybrid Systems. [Citation Graph (, )][DBLP]
    
    
15. 
    Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study. [Citation Graph (, )][DBLP]
    
    
16. 
    Logical Verification and Systematic Parametric Analysis in Train Control. [Citation Graph (, )][DBLP]
    
    
17. 
    Bayesian statistical model checking with application to Simulink/Stateflow verification. [Citation Graph (, )][DBLP]
    
    
18. 
    European Train Control System: A Case Study in Formal Verification. [Citation Graph (, )][DBLP]