Oscar Slotosch

27 papers A 1B 1C 3Misc 1Journal 5Unranked 14

Year	Rank	Type	Title / Venue / Authors
2018	—	`conf`	Modeling and Safety-Certification of Model-based Development Processes. Modellierung Oscar Slotosch, Mohammad Abu-Alqumsan
2012	B	`conf`	Determining Potential Errors in Tool Chains - Strategies to Reach Tool Confidence According to ISO 26262. SAFECOMP Martin Wildmoser, Jan Philipps, Oscar Slotosch
2012	—	`conf`	ISO 26262 - Tool chain analysis reduces tool qualification costs. Automotive - Safety & Security Oscar Slotosch, Martin Wildmoser, Jan Philipps, Reinhard Jeschull, Rafael Zalman
2012	—	`conf`	Model-Based Tool Qualification - The Roadmap of Eclipse Towards Tool Qualification. SEFM Satellite Events Oscar Slotosch
2008	—	`conf`	Automatisiertes Testen mit Message Sequence Charts (MSCs). MBEES Andrea Osterloh, Oscar Slotosch
2008	—	`conf`	Transforming Message Sequence Charts for Testing. Modellierung Oscar Slotosch
2004	—	`conf`	CASE Support and Model-Based Development. Modellierung Bernhard Schätz, Jan Romberg, Oscar Slotosch, Martin Strecker
2004	J	`jnl`	Model-based testing for real. Int. J. Softw. Tools Technol. Transf. Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel
2003	—	`conf`	AutoFOCUS and the MoDe Tool. ACSD Jan Romberg, Jan Jürjens, Guido Wimmel, Oscar Slotosch, Gabor Hahn
2003	C	`conf`	MoDe: A Method for System-Level Architecture Evaluation. MEMOCODE Jan Romberg, Oscar Slotosch, Gabor Hahn
2003	C	`conf`	Model-Based Test Case Generation for Smart Cards. FMICS Jan Philipps, Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel, Kai Scholl
2002	J	`jnl`	Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems CoRR Andree Blotz, Franz Huber, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch, Hans-Peter Zängerl
2002	—	`conf`	Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems. Ada Deutschland Tagung Andree Blotz, Franz Huber, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch, Hans-Peter Zängerl
2001	—	`conf`	Development of a Car Seat: A Case Study using DOORS, AUTOFOCUS and the Validator. OMER Peter Braun, Oscar Slotosch
2001	Misc	`conf`	From Requirements to Validated Embedded Systems. EMSOFT Manfred Broy, Oscar Slotosch
2000	A	`conf`	Consistent Integration of Formal Methods. TACAS Peter Braun, Heiko Lötzbeyer, Bernhard Schätz, Oscar Slotosch
2000	J	`jnl`	Modelling and Validation: AUTOFOCUS and Quest. Formal Aspects Comput. Oscar Slotosch
2000	J	`jnl`	Specification based test sequence generation with propositional logic. Softw. Test. Verification Reliab. Guido Wimmel, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch
1999	J	`jnl`	HOLCF=HOL+LCF. J. Funct. Program. Olaf Müller, Tobias Nipkow, David von Oheimb, Oscar Slotosch
1999	C	`conf`	The Quest for Correct Systems: Model Checking of Diagrams and Datatypes. APSEC Jan Philipps, Oscar Slotosch
1998	—	`conf`	Enriching the Software Development Process by Formal Methods. FM-Trends Manfred Broy, Oscar Slotosch
1998	—	`conf`	QUEST: Overview over the Project. FM-Trends Oscar Slotosch
1998	—	`conf`	Tool Supported Specification and Simulation of Distributed Systems. PDSE Franz Huber, Sascha Molterer, Andreas Rausch, Bernhard Schätz, Marc Sihling, Oscar Slotosch
1998	—	`conf`	Traffic Lights - An AutoFocus Case Study. ACSD Franz Huber, Sascha Molterer, Bernhard Schätz, Oscar Slotosch, Alexander Vilbig
1997	—	`conf`	Higher Order Quotients and their Implementation in Isabelle HOL. TPHOLs Oscar Slotosch
1997	—	`—`	Refinements in HOLCF: implementation of interactive systems. Oscar Slotosch
1995	—	`ch.`	AVL Trees Revisited: A Case Study in SPECTRUM. KORSO Book Rudi Hettler, Dieter Nazareth, Franz Regensburger, Oscar Slotosch