Jan Philipps

According to our database, Jan Philipps authored at least 30 papers between 1995 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

AD3: Introducing a Score for Anomaly Detection Dataset Difficulty Assessment Using VIADUCT Dataset.

Jan Lehr, Jan Philipps, Alik Sargsyan, Martin Pape, Jörg Krüger

Proceedings of the Computer Vision - ECCV 2024, 2024

2023

Limitations of anomaly detection: beyond which size defects can be reliably recognized.

Jan Lehr, Martin Pape, Jan Philipps, Felix Scholler, Jörg Krüger

Proceedings of the Sixteenth International Conference on Machine Vision, 2023

2020

Strategies and Best Practices for MBSE Adoption in Embedded Systems Industry.

Tiago Amorim, Andreas Vogelsang, Florian Pudlitz, Peter Gersing, Jan Philipps

Proceedings of the Software Engineering 2020, 2020

Automated Optical Inspection Using Anomaly Detection and Unsupervised Defect Clustering.

Jan Lehr, Alik Sargsyan, Martin Pape, Jan Philipps, Jörg Krüger

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

2019

Strategies and best practices for model-based systems engineering adoption in embedded systems industry.

Tiago Amorim, Andreas Vogelsang, Florian Pudlitz, Peter Gersing, Jan Philipps

Proceedings of the 41st International Conference on Software Engineering: Software Engineering in Practice, 2019

2017

Should I Stay or Should I Go? - On Forces that Drive and Prevent MBSE Adoption in the Embedded Systems Industry.

Andreas Vogelsang, Tiago Amorim, Florian Pudlitz, Peter Gersing, Jan Philipps

Proceedings of the Product-Focused Software Process Improvement, 2017

2014

Stepwise Refinement of Data Flow Architectures.

Jan Philipps, Bernhard Rumpe

CoRR, 2014

2013

Überprüfen der Architekturkonformanz von AUTOSAR-Softwarekomponenten durch Code-Analyse.

Sebastian Bauer, Peter Braun, Jan Philipps

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, 2013

2012

Determining Potential Errors in Tool Chains - Strategies to Reach Tool Confidence According to ISO 26262.

Martin Wildmoser, Jan Philipps, Oscar Slotosch

Proceedings of the Computer Safety, Reliability, and Security, 2012

ISO 26262 - Tool chain analysis reduces tool qualification costs.

Oscar Slotosch, Martin Wildmoser, Jan Philipps, Reinhard Jeschull, Rafael Zalman

Proceedings of the Automotive, 2012

2008

Model-Based Safety-Cases for Software-Intensive Systems.

Peter Braun, Jan Philipps, Bernhard Schätz, Stefan Wagner

Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, 2008

2007

From Component Models to Function Nets?.

Jan Philipps

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, 2007

2005

An Empirical Investigation of Requirements Specification Languages: Detecting Defects While Formalizing Requirements.

Erik Kamsties, Antje von Knethen, Jan Philipps, Bernhard Schätz

Proceedings of the Information Modeling Methods and Methodologies, 2005

2004

Model based testing in incremental system development.

Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps

J. Syst. Softw., 2004

Methodological Issues in Model-Based Testing.

Alexander Pretschner, Jan Philipps

Proceedings of the Model-Based Testing of Reactive Systems, 2004

2003

Model-Based Test Case Generation for Smart Cards.

Jan Philipps, Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel, Kai Scholl

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

Prototype-Based Tests for Hybrid Reactive Systems.

Gabor Hahn, Jan Philipps, Alexander Pretschner, Thomas Stauner

Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 2003

2002

Model-Based Development of Embedded Systems.

Bernhard Schätz, Alexander Pretschner, Franz Huber, Jan Philipps

Proceedings of the Advances in Object-Oriented Information Systems, 2002

2001

Model Based Testing in Evolutionary Software Development.

Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps

Proceedings of the 12th IEEE International Workshop on Rapid System Prototyping (RSP 2001), 2001

2000

Model Checking and Random Competition - A Study Using the Model Checking Framework MIC.

Alexander K. Wißpeintner, Franz Huber, Jan Philipps

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 2000

Diagrams for Dataflow.

Max Breitling, Jan Philipps

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 2000

Step by Step to Histories.

Max Breitling, Jan Philipps

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999

Entwurf verteilter Systeme im Sonderforschungsbereich 342.

Jan Philipps

Proceedings of the Informatik '99, 1999

Refinement of Pipe-and-Filter Architectures.

Jan Philipps, Bernhard Rumpe

Proceedings of the FM'99 - Formal Methods, 1999

Eine vergleichende Fallstudie von acht CASE-Werkzeugen für formale und semi-formale Beschreibungstechniken.

Erik Kamsties, Antje von Knethen, Jan Philipps, Bernhard Schätz

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999

The Quest for Correct Systems: Model Checking of Diagrams and Datatypes.

Jan Philipps, Oscar Slotosch

Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999

1998

Formal Verification and Hardware Design with Statecharts.

Jan Philipps, Peter Scholz

Proceedings of the Prospects for Hardware Foundations, ESPRIT Working Group 8533, NADA, 1998

1997

Formal Verification of Statecharts with Instantaneous Chain Reaction.

Jan Philipps, Peter Scholz

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

Refinement of Information Flow Architectures.

Jan Philipps, Bernhard Rumpe

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

1995

Focus.

Max Fuchs, Jan Philipps

Proceedings of the Formal Development of Reactive Systems - Case Study Production Cell, 1995