default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJan Philipps
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c26]Jan Lehr
, Jan Philipps, Alik Sargsyan, Martin Pape, Jörg Krüger:
AD3: Introducing a Score for Anomaly Detection Dataset Difficulty Assessment Using VIADUCT Dataset. ECCV (68) 2024: 449-464- 2023
- [c25]Jan Lehr, Martin Pape, Jan Philipps, Felix Scholler, Jörg Krüger:
Limitations of anomaly detection: beyond which size defects can be reliably recognized. ICMV 2023 - 2020
- [c24]Jan Lehr, Alik Sargsyan, Martin Pape, Jan Philipps, Jörg Krüger:
Automated Optical Inspection Using Anomaly Detection and Unsupervised Defect Clustering. ETFA 2020: 1235-1238 - [c23]Tiago Amorim, Andreas Vogelsang, Florian Pudlitz, Peter Gersing, Jan Philipps:
Strategies and Best Practices for MBSE Adoption in Embedded Systems Industry. SE 2020: 97-98
2010 – 2019
- 2019
- [c22]Tiago Amorim, Andreas Vogelsang, Florian Pudlitz, Peter Gersing, Jan Philipps:
Strategies and best practices for model-based systems engineering adoption in embedded systems industry. ICSE (SEIP) 2019: 203-212 - 2018
- [i5]Peter Braun, Jan Philipps, Bernhard Schätz, Stefan Wagner:
Model-Based Safety-Cases for Software-Intensive Systems. CoRR abs/1806.04880 (2018) - 2017
- [c21]Andreas Vogelsang, Tiago Amorim, Florian Pudlitz, Peter Gersing, Jan Philipps:
Should I Stay or Should I Go? - On Forces that Drive and Prevent MBSE Adoption in the Embedded Systems Industry. PROFES 2017: 182-198 - [i4]Andreas Vogelsang, Tiago Amorim, Florian Pudlitz, Peter Gersing, Jan Philipps:
Should I Stay or Should I Go? On Forces that Drive and Prevent MBSE Adoption in the Embedded Systems Industry. CoRR abs/1709.00266 (2017) - 2014
- [i3]Jan Philipps, Bernhard Rumpe:
Refinement of Information Flow Architectures. CoRR abs/1409.6932 (2014) - [i2]Jan Philipps, Bernhard Rumpe:
Stepwise Refinement of Data Flow Architectures. CoRR abs/1409.7241 (2014) - [i1]Jan Philipps, Bernhard Rumpe:
Refinement of Pipe-and-Filter Architectures. CoRR abs/1411.2414 (2014) - 2013
- [c20]Sebastian Bauer, Peter Braun, Jan Philipps:
Überprüfen der Architekturkonformanz von AUTOSAR-Softwarekomponenten durch Code-Analyse. MBEES 2013: 13-19 - 2012
- [c19]Oscar Slotosch, Martin Wildmoser, Jan Philipps, Reinhard Jeschull, Rafael Zalman:
ISO 26262 - Tool chain analysis reduces tool qualification costs. Automotive - Safety & Security 2012: 27-38 - [c18]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
2000 – 2009
- 2008
- [c17]Peter Braun, Jan Philipps, Bernhard Schätz, Stefan Wagner:
Model-Based Safety-Cases for Software-Intensive Systems. SafeCert@ETAPS 2008: 71-77 - 2007
- [c16]Jan Philipps:
From Component Models to Function Nets?. MBEES 2007: 25-28 - 2005
- [p2]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
- [j1]Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps:
Model based testing in incremental system development. J. Syst. Softw. 70(3): 315-329 (2004) - [c15]Alexander Pretschner, Jan Philipps:
Methodological Issues in Model-Based Testing. Model-Based Testing of Reactive Systems 2004: 281-291 - 2003
- [c14]Gabor Hahn, Jan Philipps, Alexander Pretschner, Thomas Stauner:
Prototype-Based Tests for Hybrid Reactive Systems. IEEE International Workshop on Rapid System Prototyping 2003: 78- - [c13]Jan Philipps, Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel, Kai Scholl:
Model-Based Test Case Generation for Smart Cards. FMICS 2003: 170-184 - 2002
- [c12]Bernhard Schätz, Alexander Pretschner, Franz Huber, Jan Philipps:
Model-Based Development of Embedded Systems. OOIS Workshops 2002: 298-312 - 2001
- [c11]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
- [c10]Max Breitling, Jan Philipps:
Step by Step to Histories. AMAST 2000: 11-25 - [c9]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 - [c8]Max Breitling, Jan Philipps:
Diagrams for Dataflow. FBT 2000: 101-110
1990 – 1999
- 1999
- [c7]Jan Philipps, Oscar Slotosch:
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes. APSEC 1999: 449- - [c6]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 - [c5]Jan Philipps, Bernhard Rumpe:
Refinement of Pipe-and-Filter Architectures. World Congress on Formal Methods 1999: 96-115 - [c4]Jan Philipps:
Entwurf verteilter Systeme im Sonderforschungsbereich 342. GI Jahrestagung 1999: 289-298 - 1998
- [c3]Jan Philipps, Peter Scholz:
Formal Verification and Hardware Design with Statecharts. Prospects for Hardware Foundations 1998: 356-389 - 1997
- [c2]Jan Philipps, Bernhard Rumpe:
Refinement of Information Flow Architectures. ICFEM 1997: 203-212 - [c1]Jan Philipps, Peter Scholz:
Formal Verification of Statecharts with Instantaneous Chain Reaction. TACAS 1997: 224-238 - 1995
- [p1]Max Fuchs, Jan Philipps:
Focus. Formal Development of Reactive Systems 1995: 185-197
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
