Oscar Slotosch

2008
21		Oscar Slotosch: Transforming Message Sequence Charts for Testing. Modellierung 2008: 253-256
2004
20		Bernhard Schätz, Jan Romberg, Oscar Slotosch, Martin Strecker: CASE Support and Model-Based Development. Modellierung 2004: 283-284
19	EE	Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel: Model-based testing for real. STTT 5(2-3): 140-157 (2004)
2003
18	EE	Jan Romberg, Jan Jürjens, Guido Wimmel, Oscar Slotosch, Gabor Hahn: AutoFOCUS and the MoDe Tool. ACSD 2003: 249-250
17	EE	Jan Romberg, Oscar Slotosch, Gabor Hahn: MoDe: A Method for System-Level Architecture Evaluation. MEMOCODE 2003: 13-23
16	EE	Jan Philipps, Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel, Kai Scholl: Model-Based Test Case Generation for Smart Cards. Electr. Notes Theor. Comput. Sci. 80: (2003)
2002
15		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: 37-52
14	EE	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 cs.SE/0201023: (2002)
2001
13	EE	Manfred Broy, Oscar Slotosch: From Requirements to Validated Embedded Systems. EMSOFT 2001: 51-65
12		Peter Braun, Oscar Slotosch: Development of a Car Seat: A Case Study using DOORS, AUTOFOCUS and the Validator. OMER 2001: 51-66
2000
11	EE	Peter Braun, Heiko Lötzbeyer, Bernhard Schätz, Oscar Slotosch: Consistent Integration of Formal Methods. TACAS 2000: 48-62
10	EE	Oscar Slotosch: Modelling and Validation: AUTOFOCUS and Quest. Formal Asp. Comput. 12(4): 225-227 (2000)
9		Guido Wimmel, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch: Specification based test sequence generation with propositional logic. Softw. Test., Verif. Reliab. 10(4): 229-248 (2000)
1999
8	EE	Jan Philipps, Oscar Slotosch: The Quest for Correct Systems: Model Checking of Diagrams and Datatypes. APSEC 1999: 449-
7		Olaf Müller, Tobias Nipkow, David von Oheimb, Oscar Slotosch: HOLCF=HOL+LCF. J. Funct. Program. 9(2): 191-223 (1999)
1998
6	EE	Franz Huber, Sascha Molterer, Bernhard Schätz, Oscar Slotosch, Alexander Vilbig: Traffic Lights - An AutoFocus Case Study. ACSD 1998: 282-
5		Oscar Slotosch: QUEST: Overview over the Project. FM-Trends 1998: 346-350
4		Manfred Broy, Oscar Slotosch: Enriching the Software Development Process by Formal Methods. FM-Trends 1998: 44-61
3	EE	Franz Huber, Sascha Molterer, Andreas Rausch, Bernhard Schätz, Marc Sihling, Oscar Slotosch: Tool Supported Specification and Simulation of Distributed Systems. PDSE 1998: 155-
1997
2		Oscar Slotosch: Higher Order Quotients and their Implementation in Isabelle HOL. TPHOLs 1997: 291-306
1995
1		Rudi Hettler, Dieter Nazareth, Franz Regensburger, Oscar Slotosch: AVL Trees Revisited: A Case Study in SPECTRUM. KORSO Book 1995: 128-149

Coauthor Index

1	Ernst Aiglstorfer	[16] [19]
2	Andree Blotz	[14] [15]
3	Peter Braun	[11] [12]
4	Manfred Broy	[4] [13]
5	Gabor Hahn	[17] [18]
6	Rudi Hettler	[1]
7	Franz Huber	[3] [6] [14] [15]
8	Jan Jürjens	[18]
9	Stefan Kriebel	[16] [19]
10	Heiko Lötzbeyer	[9] [11] [14] [15]
11	Sascha Molterer	[3] [6]
12	Olaf Müller	[7]
13	Dieter Nazareth	[1]
14	Tobias Nipkow	[7]
15	David von Oheimb	[7]
16	Jan Philipps	[8] [16]
17	Alexander Pretschner	[9] [14] [15] [16] [19]
18	Andreas Rausch	[3]
19	Franz Regensburger	[1]
20	Jan Romberg	[17] [18] [20]
21	Bernhard Schätz	[3] [6] [11] [20]
22	Kai Scholl	[16]
23	Marc Sihling	[3]
24	Martin Strecker	[20]
25	Alexander Vilbig	[6]
26	Guido Wimmel	[9] [18]
27	Hans-Peter Zängerl	[14] [15]