Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Jochen
Last name:	Klose
DBLP:	31/5279
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 9 of 9  

Select a publication
Show	Title	Venue	Rating	Date
	Jochen Klose, Tobe Toben, Bernd Westphal, Hartmut Wittke. Check It Out: On the Efficient Formal Verification of Live Sequence Charts.	Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings 2006	(0)	2006
	Matthias Brill, Ralf Buschermöhle, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke. Formal Verification of LSCs in the Development Process.	Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report 2004	(0)	2004
	Matthias Brill, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke. Live Sequence Charts: An Introduction to Lines, Arrows, and Strange Boxes in the Context of Formal Verification.	Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report 2004	(0)	2004
	Jürgen Ruf, Thomas Kropf, Jochen Klose. A Visual Approach to Validating System Level Designs.	Proceedings of the 15th International Symposium on System Synthesis (ISSS 2002), October 2-4, 2002, Kyoto, Japan 2002	(0)	2002
	Jochen Klose, Hartmut Wittke. An Automata Based Interpretation of Live Sequence Charts.	Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings 2001	(0)	2001
	Marc Lettrari, Jochen Klose. Scenario-Based Monitoring and Testing of Real-Time UML Models.	UML 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings 2001	(0)	2001
	Werner Damm, Jochen Klose. Verification of a Radio-Based Signaling System Using the STATEMATE Verification Environment.	Formal Methods in System Design 2001, Volume 19	(0)	2001
	Tom Bienmüller, Werner Damm, Jochen Klose, Hartmut Wittke. Formale Analyse und Verifikation von Statemate-Entwürfen (Formal Analysis and Verification of Statemate Designs).	it+ti - Informationstechnik und Technische Informatik 2001, Volume 43	(0)	2001
	Jochen Klose. Erweiterte Message Sequence Charts für die Verifikation von Statemate-Entwürfen.	GI Jahrestagung 1999	(0)	1999

Your query returned 9 matches in the database.