The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ralf Huuck: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002