Jan Philipps - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 29 from 29

2024

AD3: Introducing a Score for Anomaly Detection Dataset Difficulty Assessment Using VIADUCT DatasetJan Lehr, Jan Philipps, Alik Sargsyan, Martin Pape, Jörg Krüger. eccv 2025: 449-464 [doi]

2023

Limitations of anomaly detection: beyond which size defects can be reliably recognizedJan Lehr, Martin Pape, Jan Philipps, Felix Scholler, Jörg Krüger. icmv 2024: [doi]

2020

Strategies and Best Practices for MBSE Adoption in Embedded Systems IndustryTiago Amorim, Andreas Vogelsang, Florian Pudlitz, Peter Gersing, Jan Philipps. se 2020: 97-98 [doi]

Automated Optical Inspection Using Anomaly Detection and Unsupervised Defect ClusteringJan Lehr, Alik Sargsyan, Martin Pape, Jan Philipps, Jörg Krüger. etfa 2020: 1235-1238 [doi]

2019

Strategies and best practices for model-based systems engineering adoption in embedded systems industryTiago Amorim, Andreas Vogelsang, Florian Pudlitz, Peter Gersing, Jan Philipps. ICSE 2019: 203-212 [doi]

2017

Should I Stay or Should I Go? - On Forces that Drive and Prevent MBSE Adoption in the Embedded Systems IndustryAndreas Vogelsang, Tiago Amorim, Florian Pudlitz, Peter Gersing, Jan Philipps. PROFES 2017: 182-198 [doi]

2013

Überprüfen der Architekturkonformanz von AUTOSAR-Softwarekomponenten durch Code-AnalyseSebastian Bauer, Peter Braun 0003, Jan Philipps. mbees 2013: 13-19

2012

ISO 26262 - Tool chain analysis reduces tool qualification costsOscar Slotosch, Martin Wildmoser, Jan Philipps, Reinhard Jeschull, Rafael Zalman. automotiveSS 2012: 27-38

Determining Potential Errors in Tool Chains - Strategies to Reach Tool Confidence According to ISO 26262Martin Wildmoser, Jan Philipps, Oscar Slotosch. safecomp 2012: 317-327 [doi]

2009

Model-Based Safety-Cases for Software-Intensive SystemsPeter Braun 0003, Jan Philipps, Bernhard SchÃ¤tz, Stefan Wagner. ENTCS, 238(4):71-77, 2009. [doi]

2007

From Component Models to Function Nets?Jan Philipps. mbees 2007: 25-28 [doi]

2005

An Empirical Investigation of Requirements Specification Languages: Detecting Defects While Formalizing RequirementsErik Kamsties, Antje von Knethen, Jan Philipps, Bernhard Schätz. In John Krogstie, Terry A. Halpin, Keng Siau, editors, Information Modeling Methods and Methodologies. pages 125-147, Idea Group, 2005.

2004

Methodological Issues in Model-Based TestingAlexander Pretschner, Jan Philipps. Dagstuhl 2005: 281-291 [doi]

Model based testing in incremental system developmentAlexander Pretschner, Heiko Lötzbeyer, Jan Philipps. jss, 70(3):315-329, 2004. [doi]

2003

Prototype-Based Tests for Hybrid Reactive SystemsGabor Hahn, Jan Philipps, Alexander Pretschner, Thomas Stauner. rsp 2003: 78 [doi]

Model-Based Test Case Generation for Smart CardsJan Philipps, Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel, Kai Scholl. ENTCS, 80:170-184, 2003. [doi]

2002

Model-Based Development of Embedded SystemsBernhard Schätz, Alexander Pretschner, Franz Huber, Jan Philipps. oois 2002: 298-312 [doi]

2001

Model Based Testing in Evolutionary Software DevelopmentAlexander Pretschner, Heiko Lötzbeyer, Jan Philipps. rsp 2001: 155-161 [doi]

2000

Diagrams for DataflowMax Breitling, Jan Philipps. fbt 2000: 101-110

Step by Step to HistoriesMax Breitling, Jan Philipps. amast 2000: 11-25 [doi]

Model Checking and Random Competition - A Study Using the Model Checking Framework MICAlexander K. Wißpeintner, Franz Huber, Jan Philipps. fbt 2000: 91-100

1999

Eine vergleichende Fallstudie von acht CASE-Werkzeugen für formale und semi-formale BeschreibungstechnikenErik Kamsties, Antje von Knethen, Jan Philipps, Bernhard Schätz. fbt 1999: 103-112

The Quest for Correct Systems: Model Checking of Diagrams and DatatypesJan Philipps, Oscar Slotosch. apsec 1999: 449 [doi]

Entwurf verteilter Systeme im Sonderforschungsbereich 342Jan Philipps. gi 1999: 289-298

Refinement of Pipe-and-Filter ArchitecturesJan Philipps, Bernhard Rumpe. FM 1999: 96-115 [doi]

1998

Formal Verification and Hardware Design with StatechartsJan Philipps, Peter Scholz. nada 1998: 356-389 [doi]

1997

Formal Verification of Statecharts with Instantaneous Chain ReactionJan Philipps, Peter Scholz. TACAS 1997: 224-238

Refinement of Information Flow ArchitecturesJan Philipps, Bernhard Rumpe. icfem 1997: 203-212

1995

FocusMax Fuchs, Jan Philipps. korso 1995: 185-197

Sign in or sign up to see more results.

runs on WebDSL

翻译：