Author

Oscar Slotosch

Observed names: Dr. Oscar Slotosch, O. Slotosch, OSCAR SLOTOSCH, Slotosch, O, Slotosch, Oscar

Observed institution: Technical University of Munich

OpenAlex ID: A5002977474

Model-based testing for real

2004 · A. Pretschner, O. Slotosch, et al. · International Journal on Software Tools for Technology Transfer · 73

Holcf = Hol + Lcf

1999 · OLAF MÜLLER, TOBIAS NIPKOW, et al. · Journal of Functional Programming · 61

PDF

Tool supported specification and simulation of distributed systems

2002 · F. Huber, S. Molterer, et al. · International Symposium on Software Engineering for Parallel and Distributed Systems (PDSE) · 50

A method for the development of correct software

1995 · Peter Pepper, Martin Wirsing, et al. · Lecture notes in computer science · 49

Specification based test sequence generation with propositional logic

2000 · G. Wimmel, H. L�tzbeyer, et al. · Software Testing Verification and Reliability · 40

Model-Based Test Case Generation for Smart Cards1 1Support by the BMBF (project EMPRESS) is gratefully acknowledged.

2003 · J. Philipps, A. Pretschner, et al. · Electronic Notes in Theoretical Computer Science · 39

PDF

Consistent Integration of Formal Methods

2000 · Peter Braun, Heiko Lötzbeyer, et al. · Lecture notes in computer science · 31

The quest for correct systems: model checking of diagrams and datatypes

2003 · J. Philipps, O. Slotosch · Asia-Pacific Software Engineering Conference (APSEC) · 24

From Requirements to Validated Embedded Systems

2001 · Manfred Broy, Oscar Slotosch · Lecture notes in computer science · 24

Traffic lights-an AutoFocus case study

2002 · F. Huber, S. Molterer, et al. · International Conference on Application of Concurrency to System Design (ACSD) · 21

QUEST: Overview over the Project

1998 · Oscar Slotosch · Formal Methods · 15

Higher order quotients and their implementation in Isabelle HOL

1997 · Oscar Slotosch · Lecture notes in computer science · 13

CASE Tools for Embedded Systems

2003 · Bernhard Schätz, Tobias Hain, et al. · 12

Overview over the Project Quest

1999 · Oscar Slotosch · Lecture notes in computer science · 11

Methods and tools for reducing certification costs of mixed-criticality applications on multi-core platforms:the RECOMP approach

2013 · Pop, Paul, Tsiopoulos, Leonidas, et al. · VBN Forskningsportal (Aalborg Universitet) · 10

Enriching the Software Development Process by Formal Methods

1999 · Manfred Broy, Oscar Slotosch · Lecture notes in computer science · 10

Developing Correct Safety Critical, Hybrid, Embedded Systems

2000 · Alexander Pretschner, Oscar Slotosch, et al. · 8

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

2002 · Blotz, Andree, Huber, Franz, et al. · arXiv (Cornell University) · 6

PDF

Determining Potential Errors in Tool Chains

2012 · Martin Wildmoser, Jan Philipps, et al. · Lecture notes in computer science · 4

Enriching the Software Development Process by Formal Methods

1998 · Manfred Broy, Oscar Slotosch · 4

AVL trees revisited: A case study in Spectrum

1995 · R. Hettler, D. Nazareth, et al. · Lecture notes in computer science · 4

Modelling and Validation: AUTOFOCUS and Quest

2000 · Oscar Slotosch · Formal Aspects of Computing · 3

PDF

Model-Based Tool Qualification

2014 · Oscar Slotosch · Lecture notes in computer science · 2

ISO 26262 - Tool chain analysis reduces tool qualification costs.

2012 · Oscar Slotosch, Martin Wildmoser, et al. · 2

AutoFOCUS and the MoDe tool

2004 · J. Romberg, J. Jurjens, et al. · International Conference on Application of Concurrency to System Design (ACSD) · 2

Works count: 54

Citation count: 545

H-index: 13

I10-index: 17