Oscar Slotosch - Citegraph

Author Info

Name	Affiliation	Papers
OSCAR SLOTOSCH	Institut für Informatik, Technische Universität München, D-80290 München, Germany	23
Collaborators	Citations	PageRank
33	173	19.28
Referers	Referees	References
301	242	147

Search Limit

100301

Publications (23 rows)

Collaborators (33 rows)

Referers (100 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
ISO 26262 - Tool chain analysis reduces tool qualification costs.	0	0.34	2012
Model-Based Tool Qualification - The Roadmap of Eclipse Towards Tool Qualification.	0	0.34	2012
Determining potential errors in tool chains: strategies to reach tool confidence according to ISO 26262	1	0.38	2012
Automatisiertes Testen mit Message Sequence Charts (MSCs)	0	0.34	2008
Transforming Message Sequence Charts for Testing	0	0.34	2008
Model-based testing for real	15	1.17	2004
CASE Support and Model-Based Development	0	0.34	2004
Model-Based Test Case Generation for Smart Cards	21	1.60	2003
AutoFOCUS and the MoDe Tool	1	0.35	2003
Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems	2	0.49	2002
From Requirements to Validated Embedded Systems	8	0.52	2001
Development of a Car Seat: A Case Study using DOORS, AUTOFOCUS and the Validator	0	0.34	2001
Consistent Integration of Formal Methods	16	1.28	2000
Specification based test sequence generation with propositional logic	27	2.10	2000
Modelling and Validation: AUTOFOCUS and Quest.	2	0.37	2000
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes	11	1.19	1999
HOLCF = HOL + LCF	10	0.65	1999
Enriching the Software Development Process by Formal Methods	6	0.77	1998
QUEST: Overview over the Project	11	1.16	1998
Traffic Lights - An AutoFocus Case Study	13	1.94	1998
Tool Supported Specification and Simulation of Distributed Systems	23	2.11	1998
Higher Order Quotients and their Implementation in Isabelle HOL	5	0.81	1997
AVL Trees Revisited: A Case Study in SPECTRUM	1	0.36	1995