Search the dblp DataBase

Publications of Author

1. Nanette Bauer, Ralf Huuck
   Towards Automatic Verification of Embedded Control Software. [Citation Graph (0, 0)][DBLP]
   APAQS, 2001, pp:375-386 [Conf]
   
2. Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven Lohmann, Ben Lukoschus, Manuel Remelhe, Olaf Stursberg
   Verification of PLC Programs Given as Sequential Function Charts. [Citation Graph (0, 0)][DBLP]
   SoftSpez Final Report, 2004, pp:517-540 [Conf]
   
3. Nanette Bauer, Ralf Huuck, Ben Lukoschus, Sebastian Engell
   A Unifying Semantics for Sequential Function Charts. [Citation Graph (0, 0)][DBLP]
   SoftSpez Final Report, 2004, pp:400-418 [Conf]
   
4. Sébastien Bornot, Ralf Huuck, Ben Lukoschus
   Statische Analysetechniken für speicherprogrammierbare Steuerungen. [Citation Graph (0, 0)][DBLP]
   FBT, 2000, pp:175-181 [Conf]
   
5. Ralf Huuck, Yassine Lakhnech, Luis Urbina, Sebastian Engell, Stefan Kowalewski, Jörg Preußig
   Comparing Timed C/E Systems with Timed Automata (Abstract). [Citation Graph (0, 0)][DBLP]
   HART, 1997, pp:81-86 [Conf]
   
6. Sébastien Bornot, Ralf Huuck, Ben Lukoschus
   Verification of Sequential Function Charts Using SMV. [Citation Graph (0, 0)][DBLP]
   PDPTA, 2000, pp:- [Conf]
   
7. Ralf Huuck
   Semantics and Analysis of Instruction List Programs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:115, n:, pp:3-18 [Journal]
   
8. Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch
   Model Checking Software at Compile Time. [Citation Graph (0, 0)][DBLP]
   TASE, 2007, pp:45-56 [Conf]
   
9. Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch
   Goanna - A Static Model Checker. [Citation Graph (0, 0)][DBLP]
   FMICS/PDMC, 2006, pp:297-300 [Conf]
   
10. 
    Goanna: Syntactic Software Model Checking. [Citation Graph (, )][DBLP]
    
    
11. 
    Incremental False Path Elimination for Static Software Analysis. [Citation Graph (, )][DBLP]
    
    
12. 
    Counterexample Guided Path Reduction for Static Program Analysis. [Citation Graph (, )][DBLP]
    
    
13. 
    Smaller Abstractions for FOR ALL CTL* without Next. [Citation Graph (, )][DBLP]
    
    
14. 
    Some Assembly Required - Program Analysis of Embedded System Code. [Citation Graph (, )][DBLP]
    
    
15. 
    Automatic Bug Detection in Microcontroller Software by Static Program Analysis. [Citation Graph (, )][DBLP]
    
    
16. 
    Preface. [Citation Graph (, )][DBLP]
    
    
17. 
    Interprocedural Pointer Analysis in Goanna. [Citation Graph (, )][DBLP]
    
    
18. 
    Preface. [Citation Graph (, )][DBLP]
    
    
19. 
    An Abstract Specification Language for Static Program Analysis. [Citation Graph (, )][DBLP]