Concepedia

Oscar Slotosch

OS

10

Publications

340

Citations

10

H-Index

1998

Active since

Affiliations

Technical University of Munich(Current)

Giesecke and Devrient (Germany)

Oscar Slotosch is an author at Technical University of Munich specializing in engineering, systems engineering, and system software.

Top concepts

EngineeringSystems EngineeringSystem SoftwareComputer ScienceSoftware AnalysisFormal VerificationComputer EngineeringVerificationAutomated ReasoningSoftware Engineering

Publications per year

1998–2004

10

Publications

10

Model-based testing for real

Alexander Pretschner, Oscar Slotosch, E. Aiglstorfer et al. · International Journal on Software Tools for Technology Transfer · 2004 · 63 citations · Full text

Reliability Engineering, Engineering, Computational Testing +10

HOLCF = HOL + LCF

Olaf Müller, Tobias Nipkow, David von Oheimb et al. · Journal of Functional Programming · 1999 · 58 citations

Standard Domain Theory, Engineering, Domain Theory +10

Tool supported specification and simulation of distributed systems

Franz Huber, Sascha Molterer, Andreas Rausch et al. · 2002 · 50 citations

Engineering, Visual Programming Language, Software Engineering +18

Specification based test sequence generation with propositional logic

Guido Wimmel, H. L�tzbeyer, Alexander Pretschner et al. · Software Testing Verification and Reliability · 2000 · 41 citations

Engineering, Verification, Test Data Generation +22

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

Jan Philipps, Alexander Pretschner, Oscar Slotosch et al. · Electronic Notes in Theoretical Computer Science · 2003 · 38 citations · Full text

Engineering, Intended Behavior, Software Systems +25

Rows per page

1–5 of 10