Search the dblp DataBase

Publications of Author

1. Henning Dierks
   PLC-Automata: A New Class of Implementable Real-Time Automata. [Citation Graph (0, 0)][DBLP]
   ARTS, 1997, pp:111-125 [Conf]
   
2. Ernst-Rüdiger Olderog, Henning Dierks
   Decomposing Real-Time Specifications. [Citation Graph (0, 0)][DBLP]
   COMPOS, 1997, pp:465-489 [Conf]
   
3. Henning Dierks
   A Process Algebra for Real-Time Programs. [Citation Graph (0, 0)][DBLP]
   FASE, 2000, pp:66-81 [Conf]
   
4. Henning Dierks, Cheryl Dietz
   Graphical Specification and Reasoning: Case Study Generalised Railroad Crossing. [Citation Graph (0, 0)][DBLP]
   FME, 1997, pp:20-39 [Conf]
   
5. Henning Dierks
   The Production Cell: A Verified Real-Time System. [Citation Graph (0, 0)][DBLP]
   FTRTFT, 1996, pp:208-227 [Conf]
   
6. Henning Dierks, Ansgar Fehnker, Angelika Mader, Frits W. Vaandrager
   Operational and Logical Semantics for Polling Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   FTRTFT, 1998, pp:29-40 [Conf]
   
7. Henning Dierks, Marc Lettrari
   Constructing Test Automata from Graphical Real-Time Requirements. [Citation Graph (0, 0)][DBLP]
   FTRTFT, 2002, pp:433-454 [Conf]
   
8. Josef Tapken, Henning Dierks
   MOBY/PLC - Graphical Development of PLC-Automata. [Citation Graph (0, 0)][DBLP]
   FTRTFT, 1998, pp:311-314 [Conf]
   
9. Henning Dierks
   Synthesising Controllers from Real-Time Specifications. [Citation Graph (0, 0)][DBLP]
   ISSS, 1997, pp:126-133 [Conf]
   
10. Henning Dierks, Michael Schenke
    A Unifying Framework for Correct Program Construction. [Citation Graph (0, 0)][DBLP]
    MPC, 1998, pp:122-150 [Conf]
    
11. Sebastian Kupferschmid, Jörg Hoffmann, Henning Dierks, Gerd Behrmann
    Adapting an AI Planning Heuristic for Directed Model Checking. [Citation Graph (0, 0)][DBLP]
    SPIN, 2006, pp:35-52 [Conf]
    
12. Henning Dierks
    Moby/RT: A Tool for Specification and Verification of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:2, pp:- [Journal]
    
13. Henning Dierks
    Comparing model checking and logical reasoning for real-time systems. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2004, v:16, n:2, pp:104-120 [Journal]
    
14. Henning Dierks, Josef Tapken
    Modelling and Verifying of a `Cash-Point Service' Using MOBY/PLC. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2000, v:12, n:4, pp:220-221 [Journal]
    
15. Ernst-Rüdiger Olderog, Henning Dierks
    Moby/RT: A Tool for Specification and Verification of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2003, v:9, n:2, pp:88-105 [Journal]
    
16. Henning Dierks
    Synthesizing controllers from real-time specifications. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1999, v:18, n:1, pp:33-43 [Journal]
    
17. Henning Dierks
    PLC-automata: a new class of implementable real-time automata. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:253, n:1, pp:61-93 [Journal]
    
18. Henning Dierks, Sebastian Kupferschmid, Kim Guldstrand Larsen
    Automatic Abstraction Refinement for Timed Automata. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:114-129 [Conf]
    
19. Sebastian Kupferschmid, Klaus Dräger, Jörg Hoffmann, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, Gerd Behrmann
    Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:679-682 [Conf]
    
20. 
    Towards Component Based Design of Hybrid Systems: Safety and Stability. [Citation Graph (, )][DBLP]
    
    
21. 
    Tool-supported hierarchical design of distributed real-time systems. [Citation Graph (, )][DBLP]