The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jan Philipps: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.003secs
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