Jan Philipps

34 papers A 1B 2C 7Journal 6Unranked 16
YearRankTypeTitle / Venue / Authors
2024 — conf
AD3: Introducing a Score for Anomaly Detection Dataset Difficulty Assessment Using VIADUCT Dataset.
ECCV (68)
Jan Lehr, Jan Philipps, Alik Sargsyan, Martin Pape, Jörg Krüger
2023 C conf
Limitations of anomaly detection: beyond which size defects can be reliably recognized.
ICMV
Jan Lehr, Martin Pape, Jan Philipps, Felix Scholler, Jörg Krüger
2020 C conf
Automated Optical Inspection Using Anomaly Detection and Unsupervised Defect Clustering.
ETFA
Jan Lehr, Alik Sargsyan, Martin Pape, Jan Philipps, Jörg Krüger
2020 — conf
Strategies and Best Practices for MBSE Adoption in Embedded Systems Industry.
SE
Tiago Amorim, Andreas Vogelsang, Florian Pudlitz, Peter Gersing, Jan Philipps
2019 — conf
Strategies and best practices for model-based systems engineering adoption in embedded systems industry.
ICSE (SEIP)
Tiago Amorim, Andreas Vogelsang, Florian Pudlitz, Peter Gersing, Jan Philipps
2018 J jnl
Model-Based Safety-Cases for Software-Intensive Systems.
CoRR
Peter Braun, Jan Philipps, Bernhard Schätz, Stefan Wagner
2017 B conf
Should I Stay or Should I Go? - On Forces that Drive and Prevent MBSE Adoption in the Embedded Systems Industry.
PROFES
Andreas Vogelsang, Tiago Amorim, Florian Pudlitz, Peter Gersing, Jan Philipps
2017 J jnl
Should I Stay or Should I Go? On Forces that Drive and Prevent MBSE Adoption in the Embedded Systems Industry.
CoRR
Andreas Vogelsang, Tiago Amorim, Florian Pudlitz, Peter Gersing, Jan Philipps
2014 J jnl
Refinement of Information Flow Architectures.
CoRR
Jan Philipps, Bernhard Rumpe
2014 J jnl
Refinement of Pipe-and-Filter Architectures.
CoRR
Jan Philipps, Bernhard Rumpe
2014 J jnl
Stepwise Refinement of Data Flow Architectures.
CoRR
Jan Philipps, Bernhard Rumpe
2013 — conf
Überprüfen der Architekturkonformanz von AUTOSAR-Softwarekomponenten durch Code-Analyse.
MBEES
Sebastian Bauer, Peter Braun, Jan Philipps
2012 B conf
Determining Potential Errors in Tool Chains - Strategies to Reach Tool Confidence According to ISO 26262.
SAFECOMP
Martin Wildmoser, Jan Philipps, Oscar Slotosch
2012 — conf
ISO 26262 - Tool chain analysis reduces tool qualification costs.
Automotive - Safety & Security
Oscar Slotosch, Martin Wildmoser, Jan Philipps, Reinhard Jeschull, Rafael Zalman
2008 — conf
Model-Based Safety-Cases for Software-Intensive Systems.
SafeCert@ETAPS
Peter Braun, Jan Philipps, Bernhard Schätz, Stefan Wagner
2007 — conf
From Component Models to Function Nets?.
MBEES
Jan Philipps
2005 — ch.
An Empirical Investigation of Requirements Specification Languages: Detecting Defects While Formalizing Requirements.
Information Modeling Methods and Methodologies
Erik Kamsties, Antje von Knethen, Jan Philipps, Bernhard Schätz
2004 — conf
Methodological Issues in Model-Based Testing.
Model-Based Testing of Reactive Systems
Alexander Pretschner, Jan Philipps
2004 J jnl
Model based testing in incremental system development.
J. Syst. Softw.
Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps
2003 C conf
Model-Based Test Case Generation for Smart Cards.
FMICS
Jan Philipps, Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel, Kai Scholl
2003 C conf
Prototype-Based Tests for Hybrid Reactive Systems.
IEEE International Workshop on Rapid System Prototyping
Gabor Hahn, Jan Philipps, Alexander Pretschner, Thomas Stauner
2002 — conf
Model-Based Development of Embedded Systems.
OOIS Workshops
Bernhard Schätz, Alexander Pretschner, Franz Huber, Jan Philipps
2001 C conf
Model Based Testing in Evolutionary Software Development.
IEEE International Workshop on Rapid System Prototyping
Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps
2000 — conf
Diagrams for Dataflow.
FBT
Max Breitling, Jan Philipps
2000 — conf
Model Checking and Random Competition - A Study Using the Model Checking Framework MIC.
FBT
Alexander K. Wißpeintner, Franz Huber, Jan Philipps
2000 — conf
Step by Step to Histories.
AMAST
Max Breitling, Jan Philipps
1999 — conf
Eine vergleichende Fallstudie von acht CASE-Werkzeugen für formale und semi-formale Beschreibungstechniken.
FBT
Erik Kamsties, Antje von Knethen, Jan Philipps, Bernhard Schätz
1999 — conf
Entwurf verteilter Systeme im Sonderforschungsbereich 342.
GI Jahrestagung
Jan Philipps
1999 — conf
Refinement of Pipe-and-Filter Architectures.
World Congress on Formal Methods
Jan Philipps, Bernhard Rumpe
1999 C conf
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes.
APSEC
Jan Philipps, Oscar Slotosch
1998 — conf
Formal Verification and Hardware Design with Statecharts.
Prospects for Hardware Foundations
Jan Philipps, Peter Scholz
1997 A conf
Formal Verification of Statecharts with Instantaneous Chain Reaction.
TACAS
Jan Philipps, Peter Scholz
1997 C conf
Refinement of Information Flow Architectures.
ICFEM
Jan Philipps, Bernhard Rumpe
1995 — ch.
Focus.
Formal Development of Reactive Systems
Max Fuchs, Jan Philipps