Search the dblp DataBase

Publications of Author

1. Jacob Palczynski, Bastian Schlich, Stefan Kowalewski
   Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern. [Citation Graph (0, 0)][DBLP]
   GI Jahrestagung (1), 2006, pp:751-755 [Conf]
   
2. 
   Direct Support for Model Checking Abstract State Machines by Utilizing Simulation. [Citation Graph (, )][DBLP]
   
   
3. 
   Stack bounds analysis for microcontroller assembly code. [Citation Graph (, )][DBLP]
   
   
4. 
   Using 3-valued memory representation for state space reduction in embedded assembly code model checking. [Citation Graph (, )][DBLP]
   
   
5. 
   Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code. [Citation Graph (, )][DBLP]
   
   
6. 
   [mc]square: A Model Checker for Microcontroller Code. [Citation Graph (, )][DBLP]
   
   
7. 
   Automatic Bug Detection in Microcontroller Software by Static Program Analysis. [Citation Graph (, )][DBLP]
   
   
8. 
   Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code. [Citation Graph (, )][DBLP]
   
   
9. 
   Applying Model Checking to an Automotive Microcontroller Application. [Citation Graph (, )][DBLP]
   
   
10. 
    Challenges in embedded model checking - a simulator for the [mc]square model checker. [Citation Graph (, )][DBLP]
    
    
11. 
    Refining assembly code static analysis for the Intel MCS-51 microcontroller. [Citation Graph (, )][DBLP]
    
    
12. 
    Proving Correctness of an Efficient Abstraction for Interrupt Handling. [Citation Graph (, )][DBLP]
    
    
13. 
    Preface. [Citation Graph (, )][DBLP]
    
    
14. 
    Interprocedural Pointer Analysis in Goanna. [Citation Graph (, )][DBLP]
    
    
15. 
    Preface. [Citation Graph (, )][DBLP]
    
    
16. 
    Parallel and Distributed Invariant Checking of Microcontroller Software. [Citation Graph (, )][DBLP]