Search the dblp DataBase

Publications of Author

1. Max Breitling, Jan Philipps
   Step by Step to Histories. [Citation Graph (0, 0)][DBLP]
   AMAST, 2000, pp:11-25 [Conf]
   
2. Jan Philipps, Oscar Slotosch
   The Quest for Correct Systems: Model Checking of Diagrams and Datatypes. [Citation Graph (0, 0)][DBLP]
   APSEC, 1999, pp:449-0 [Conf]
   
3. Alexander Pretschner, Jan Philipps
   Methodological Issues in Model-Based Testing. [Citation Graph (0, 0)][DBLP]
   Model-Based Testing of Reactive Systems, 2004, pp:281-291 [Conf]
   
4. Max Breitling, Jan Philipps
   Diagrams for Dataflow. [Citation Graph (0, 0)][DBLP]
   FBT, 2000, pp:101-110 [Conf]
   
5. Alexander K. Wißpeintner, Franz Huber, Jan Philipps
   Model Checking and Random Competition - A Study Using the Model Checking Framework MIC. [Citation Graph (0, 0)][DBLP]
   FBT, 2000, pp:91-100 [Conf]
   
6. Erik Kamsties, Antje von Knethen, Jan Philipps, Bernhard Schätz
   Eine vergleichende Fallstudie von acht CASE-Werkzeugen für formale und semi-formale Beschreibungstechniken. [Citation Graph (0, 0)][DBLP]
   FBT, 1999, pp:103-112 [Conf]
   
7. Jan Philipps, Bernhard Rumpe
   Refinement of Pipe-and-Filter Architectures. [Citation Graph (0, 0)][DBLP]
   World Congress on Formal Methods, 1999, pp:96-115 [Conf]
   
8. Jan Philipps
   Entwurf verteilter Systeme im Sonderforschungsbereich 342. [Citation Graph (0, 0)][DBLP]
   GI Jahrestagung, 1999, pp:289-298 [Conf]
   
9. Jan Philipps, Bernhard Rumpe
   Refinement of Information Flow Architectures. [Citation Graph (0, 0)][DBLP]
   ICFEM, 1997, pp:203-212 [Conf]
   
10. Max Fuchs, Jan Philipps
    Focus. [Citation Graph (0, 0)][DBLP]
    Formal Development of Reactive Systems, 1995, pp:185-197 [Conf]
    
11. Jan Philipps, Peter Scholz
    Formal Verification and Hardware Design with Statecharts. [Citation Graph (0, 0)][DBLP]
    Prospects for Hardware Foundations, 1998, pp:356-389 [Conf]
    
12. Bernhard Schätz, Alexander Pretschner, Franz Huber, Jan Philipps
    Model-Based Development of Embedded Systems. [Citation Graph (0, 0)][DBLP]
    OOIS Workshops, 2002, pp:298-312 [Conf]
    
13. Gabor Hahn, Jan Philipps, Alexander Pretschner, Thomas Stauner
    Prototype-Based Tests for Hybrid Reactive Systems. [Citation Graph (0, 0)][DBLP]
    IEEE International Workshop on Rapid System Prototyping, 2003, pp:78-0 [Conf]
    
14. Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps
    Model Based Testing in Evolutionary Software Development. [Citation Graph (0, 0)][DBLP]
    IEEE International Workshop on Rapid System Prototyping, 2001, pp:155-161 [Conf]
    
15. Jan Philipps, Peter Scholz
    Formal Verification of Statecharts with Instantaneous Chain Reaction. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:224-238 [Conf]
    
16. Jan Philipps, Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel, Kai Scholl
    Model-Based Test Case Generation for Smart Cards. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal]
    
17. Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps
    Model based testing in incremental system development. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2004, v:70, n:3, pp:315-329 [Journal]
    
18. 
    From Component Models to Function Nets?. [Citation Graph (, )][DBLP]
    
    
19. 
    Model-Based Safety-Cases for Software-Intensive Systems. [Citation Graph (, )][DBLP]