Jan Philipps Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martin Wildmoser, Jan Philipps, Oscar Slotosch: Determining Potential Errors in Tool Chains - Strategies to Reach Tool Confidence According to ISO 26262. SAFECOMP 2012: 317-327
2009
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Peter Braun, Jan Philipps, Bernhard Schätz, Stefan Wagner: Model-Based Safety-Cases for Software-Intensive Systems. Electr. Notes Theor. Comput. Sci. 238(4): 71-77 (2009)
2007
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jan Philipps: From Component Models to Function Nets?. MBEES 2007: 25-28
2005
p1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Erik Kamsties, Antje von Knethen, Jan Philipps, Bernhard Schätz: An Empirical Investigation of Requirements Specification Languages: Detecting Defects While Formalizing Requirements. Information Modeling Methods and Methodologies 2005: 125-147
2004
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps: Model based testing in incremental system development. Journal of Systems and Software 70(3): 315-329 (2004)
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexander Pretschner, Jan Philipps: Methodological Issues in Model-Based Testing. Model-Based Testing of Reactive Systems 2004: 281-291
2003
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jan Philipps, Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel, Kai Scholl: Model-Based Test Case Generation for Smart Cards. Electr. Notes Theor. Comput. Sci. 80: 170-184 (2003)
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gabor Hahn, Jan Philipps, Alexander Pretschner, Thomas Stauner: Prototype-Based Tests for Hybrid Reactive Systems. IEEE International Workshop on Rapid System Prototyping 2003: 78-
2002
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bernhard Schätz, Alexander Pretschner, Franz Huber, Jan Philipps: Model-Based Development of Embedded Systems. OOIS Workshops 2002: 298-312
2001
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps: Model Based Testing in Evolutionary Software Development. IEEE International Workshop on Rapid System Prototyping 2001: 155-161
2000
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Max Breitling, Jan Philipps: Step by Step to Histories. AMAST 2000: 11-25
c10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexander K. Wißpeintner, Franz Huber, Jan Philipps: Model Checking and Random Competition - A Study Using the Model Checking Framework MIC. FBT 2000: 91-100
c9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Max Breitling, Jan Philipps: Diagrams for Dataflow. FBT 2000: 101-110
1999
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jan Philipps, Oscar Slotosch: The Quest for Correct Systems: Model Checking of Diagrams and Datatypes. APSEC 1999: 449-
c7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Erik Kamsties, Antje von Knethen, Jan Philipps, Bernhard Schätz: Eine vergleichende Fallstudie von acht CASE-Werkzeugen für formale und semi-formale Beschreibungstechniken. FBT 1999: 103-112
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jan Philipps, Bernhard Rumpe: Refinement of Pipe-and-Filter Architectures. World Congress on Formal Methods 1999: 96-115
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jan Philipps: Entwurf verteilter Systeme im Sonderforschungsbereich 342. GI Jahrestagung 1999: 289-298
1998
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jan Philipps, Peter Scholz: Formal Verification and Hardware Design with Statecharts. Prospects for Hardware Foundations 1998: 356-389
1997
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jan Philipps, Bernhard Rumpe: Refinement of Information Flow Architectures. ICFEM 1997: 203-212
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jan Philipps, Peter Scholz: Formal Verification of Statecharts with Instantaneous Chain Reaction. TACAS 1997: 224-238
1995
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Max Fuchs, Jan Philipps: Focus. Formal Development of Reactive Systems 1995: 185-197

Coauthor Index

1Ernst Aiglstorfer
[j1]
2Peter Braun 0003
[j3]
3Max Breitling
[c11] [c9]
4Max Fuchs
[c1]
5Gabor Hahn
[c14]
6Franz Huber
[c13] [c10]
7Erik Kamsties
[p1] [c7]
8Antje von Knethen
[p1] [c7]
9Stefan Kriebel
[j1]
10Heiko Lötzbeyer
[j2] [c12]
11Alexander Pretschner (Walter Alexander Pretschner)
[j2] [c15] [j1] [c14] [c13] [c12]
12Bernhard Rumpe
[c6] [c3]
13Kai Scholl
[j1]
14Peter Scholz
[c4] [c2]
15Bernhard Schätz
[j3] [p1] [c13] [c7]
16Oscar Slotosch
[c17] [j1] [c8]
17Thomas Stauner
[c14]
18Stefan Wagner
[j3]
19Martin Wildmoser
[c17]
20Alexander K. Wißpeintner
[c10]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Tue May 21 15:22:32 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page