Oscar Slotosch

Publication Activity (10 Years)

Years Active: 1997-2018
Publications (10 Years): 1

Top Venues

SEFM Satellite Events

Automotive - Safety & Security

SAFECOMP

Modellierung

Technical University Munich (PHD)

Education History

Technical University Munich

PHD

Publications

Oscar Slotosch, Mohammad Abu-Alqumsan
Modeling and Safety-Certification of Model-based Development Processes. Modellierung (2018)
Oscar Slotosch, Martin Wildmoser, Jan Philipps, Reinhard Jeschull, Rafael Zalman
ISO 26262 - Tool chain analysis reduces tool qualification costs. Automotive - Safety & Security (2012)
Oscar Slotosch
Model-Based Tool Qualification - The Roadmap of Eclipse Towards Tool Qualification. SEFM Satellite Events (2012)
Martin Wildmoser, Jan Philipps, Oscar Slotosch
Determining Potential Errors in Tool Chains - Strategies to Reach Tool Confidence According to ISO 26262. SAFECOMP (2012)
Oscar Slotosch
Transforming Message Sequence Charts for Testing. Modellierung (2008)
Andrea Osterloh, Oscar Slotosch
Automatisiertes Testen mit Message Sequence Charts (MSCs). MBEES (2008)
Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel
Model-based testing for real. Int. J. Softw. Tools Technol. Transf. 5 (2-3) (2004)
Bernhard Schätz, Jan Romberg, Oscar Slotosch, Martin Strecker
CASE Support and Model-Based Development. Modellierung (2004)
Jan Romberg, Oscar Slotosch, Gabor Hahn
MoDe: A Method for System-Level Architecture Evaluation. MEMOCODE (2003)
Jan Philipps, Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel, Kai Scholl
Model-Based Test Case Generation for Smart Cards. Electron. Notes Theor. Comput. Sci. 80 (2003)
Jan Romberg, Jan Jürjens, Guido Wimmel, Oscar Slotosch, Gabor Hahn
AutoFOCUS and the MoDe Tool. ACSD (2003)
Andree Blotz, Franz Huber, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch, Hans-Peter Zängerl
Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems CoRR (2002)
Andree Blotz, Franz Huber, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch, Hans-Peter Zängerl
Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems. Ada Deutschland Tagung (2002)
Manfred Broy, Oscar Slotosch
From Requirements to Validated Embedded Systems. EMSOFT (2001)
Peter Braun, Oscar Slotosch
Development of a Car Seat: A Case Study using DOORS, AUTOFOCUS and the Validator. OMER (2001)
Peter Braun, Heiko Lötzbeyer, Bernhard Schätz, Oscar Slotosch
Consistent Integration of Formal Methods. TACAS (2000)
Oscar Slotosch
Modelling and Validation: AUTOFOCUS and Quest. Formal Aspects Comput. 12 (4) (2000)
Guido Wimmel, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch
Specification based test sequence generation with propositional logic. Softw. Test. Verification Reliab. 10 (4) (2000)
Jan Philipps, Oscar Slotosch
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes. APSEC (1999)
Olaf Müller, Tobias Nipkow, David von Oheimb, Oscar Slotosch
HOLCF=HOL+LCF. J. Funct. Program. 9 (2) (1999)
Oscar Slotosch
QUEST: Overview over the Project. FM-Trends (1998)
Franz Huber, Sascha Molterer, Bernhard Schätz, Oscar Slotosch, Alexander Vilbig
Traffic Lights - An AutoFocus Case Study. ACSD (1998)
Manfred Broy, Oscar Slotosch
Enriching the Software Development Process by Formal Methods. FM-Trends (1998)
Franz Huber, Sascha Molterer, Andreas Rausch, Bernhard Schätz, Marc Sihling, Oscar Slotosch
Tool Supported Specification and Simulation of Distributed Systems. PDSE (1998)
Oscar Slotosch
Higher Order Quotients and their Implementation in Isabelle HOL. TPHOLs (1997)

Oscar Slotosch.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Oscar Slotosch