AVL Trees Revisited: A Case Study in SPECTRUM. - Rudi Hettler; Dieter Nazareth; Franz Regensburger; Oscar Slotosch (KORSO Book, 1995)

Higher Order Quotients and their Implementation in Isabelle HOL. - Oscar Slotosch (TPHOLs, 1997)

Refinements in HOLCF: implementation of interactive systems. - Oscar Slotosch (Kovač, 1997)

Traffic Lights - An AutoFocus Case Study. - Franz Huber; Sascha Molterer; Bernhard Schätz; Oscar Slotosch; Alexander Vilbig (ACSD, 1998)

Enriching the Software Development Process by Formal Methods. - Manfred Broy; Oscar Slotosch (FM-Trends, 1998)

QUEST: Overview over the Project. - Oscar Slotosch (FM-Trends, 1998)

Tool Supported Specification and Simulation of Distributed Systems. - Franz Huber; Sascha Molterer; Andreas Rausch 001; Bernhard Schätz; Marc Sihling; Oscar Slotosch (PDSE, 1998)

The Quest for Correct Systems: Model Checking of Diagrams and Datatypes. - Jan Philipps; Oscar Slotosch (APSEC, 1999)

HOLCF=HOL+LCF. - Olaf Müller; Tobias Nipkow; David von Oheimb; Oscar Slotosch (J. Funct. Program., 1999)

Consistent Integration of Formal Methods. - Peter Braun 003; Heiko Lötzbeyer; Bernhard Schätz; Oscar Slotosch (TACAS, 2000)

Modelling and Validation: AUTOFOCUS and Quest. - Oscar Slotosch (Formal Aspects Comput., 2000)

Specification based test sequence generation with propositional logic. - Guido Wimmel; Heiko Lötzbeyer; Alexander Pretschner; Oscar Slotosch (Softw. Test. Verification Reliab., 2000)

From Requirements to Validated Embedded Systems. - Manfred Broy; Oscar Slotosch (EMSOFT, 2001)

Development of a Car Seat: A Case Study using DOORS, AUTOFOCUS and the Validator. - Peter Braun 003; Oscar Slotosch (OMER, 2001)

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 (Ada Deutschland Tagung, 2002)

AutoFOCUS and the MoDe Tool. - Jan Romberg; Jan Jürjens; Guido Wimmel; Oscar Slotosch; Gabor Hahn (ACSD, 2003)

MoDe: A Method for System-Level Architecture Evaluation. - Jan Romberg; Oscar Slotosch; Gabor Hahn (MEMOCODE, 2003)

Model-Based Test Case Generation for Smart Cards. - Jan Philipps; Alexander Pretschner; Oscar Slotosch; Ernst Aiglstorfer; Stefan Kriebel; Kai Scholl (FMICS, 2003)

CASE Support and Model-Based Development. - Bernhard Schätz; Jan Romberg; Oscar Slotosch; Martin Strecker (Modellierung, 2004)

Model-based testing for real. - Alexander Pretschner; Oscar Slotosch; Ernst Aiglstorfer; Stefan Kriebel (Int. J. Softw. Tools Technol. Transf., 2004)

Automatisiertes Testen mit Message Sequence Charts (MSCs). - Andrea Osterloh; Oscar Slotosch (MBEES, 2008)

Transforming Message Sequence Charts for Testing. - Oscar Slotosch (Modellierung, 2008)

ISO 26262 - Tool chain analysis reduces tool qualification costs. - Oscar Slotosch; Martin Wildmoser; Jan Philipps; Reinhard Jeschull; Rafael Zalman (Automotive - Safety & Security, 2012)

Determining Potential Errors in Tool Chains - Strategies to Reach Tool Confidence According to ISO 26262. - Martin Wildmoser; Jan Philipps; Oscar Slotosch (SAFECOMP, 2012)

Model-Based Tool Qualification - The Roadmap of Eclipse Towards Tool Qualification. - Oscar Slotosch (SEFM Satellite Events, 2012)

Modeling and Safety-Certification of Model-based Development Processes. - Oscar Slotosch; Mohammad Abu-Alqumsan (Modellierung, 2018)