Oscar Slotosch

According to our database, Oscar Slotosch authored at least 26 papers between 1995 and 2018.

Collaborative distances:

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

2018

Modeling and Safety-Certification of Model-based Development Processes.

Oscar Slotosch, Mohammad Abu-Alqumsan

Proceedings of the Modellierung 2018, 21.-23. Februar 2018, Braunschweig, Germany, 2018

2012

Model-Based Tool Qualification - The Roadmap of Eclipse Towards Tool Qualification.

Oscar Slotosch

Proceedings of the Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 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

Transforming Message Sequence Charts for Testing.

Oscar Slotosch

Proceedings of the Modellierung 2008, 12.-14. März 2008, Berlin, 2008

Automatisiertes Testen mit Message Sequence Charts (MSCs).

Andrea Osterloh, Oscar Slotosch

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, 2008

2004

Model-based testing for real.

Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel

Int. J. Softw. Tools Technol. Transf., 2004

CASE Support and Model-Based Development.

Bernhard Schätz, Jan Romberg, Oscar Slotosch, Martin Strecker

Proceedings of the Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, 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

MoDe: A Method for System-Level Architecture Evaluation.

Jan Romberg, Oscar Slotosch, Gabor Hahn

Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003

AutoFOCUS and the MoDe Tool.

Jan Romberg, Jan Jürjens, Guido Wimmel, Oscar Slotosch, Gabor Hahn

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002

Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems.

Andree Blotz, Franz Huber, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch, Hans-Peter Zängerl

Proceedings of the Ada Deutschland Tagung 2002: Software für sicherheitskritische Systeme, 2002

2001

Development of a Car Seat: A Case Study using DOORS, AUTOFOCUS and the Validator.

Peter Braun, Oscar Slotosch

Proceedings of the OMER, 2001

From Requirements to Validated Embedded Systems.

Manfred Broy, Oscar Slotosch

Proceedings of the Embedded Software, First International Workshop, 2001

2000

Specification based test sequence generation with propositional logic.

Guido Wimmel, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch

Softw. Test. Verification Reliab., 2000

Modelling and Validation: AUTOFOCUS and Quest.

Oscar Slotosch

Formal Aspects Comput., 2000

Consistent Integration of Formal Methods.

Peter Braun, Heiko Lötzbeyer, Bernhard Schätz, Oscar Slotosch

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

1999

HOLCF=HOL+LCF.

Olaf Müller, Tobias Nipkow, David von Oheimb, Oscar Slotosch

J. Funct. Program., 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

Tool Supported Specification and Simulation of Distributed Systems.

Franz Huber, Sascha Molterer, Andreas Rausch, Bernhard Schätz, Marc Sihling, Oscar Slotosch

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1998

QUEST: Overview over the Project.

Oscar Slotosch

Proceedings of the Applied Formal Methods, 1998

Enriching the Software Development Process by Formal Methods.

Manfred Broy, Oscar Slotosch

Proceedings of the Applied Formal Methods, 1998

Traffic Lights - An AutoFocus Case Study.

Franz Huber, Sascha Molterer, Bernhard Schätz, Oscar Slotosch, Alexander Vilbig

Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998

1997

Refinements in HOLCF: implementation of interactive systems.

Oscar Slotosch

PhD thesis, 1997

Higher Order Quotients and their Implementation in Isabelle HOL.

Oscar Slotosch

Proceedings of the Theorem Proving in Higher Order Logics, 10th International Conference, 1997

1995

AVL Trees Revisited: A Case Study in SPECTRUM.

Rudi Hettler, Dieter Nazareth, Franz Regensburger, Oscar Slotosch

Proceedings of the KORSO, 1995