Carsten Weise

	2009
17		John F. Schommer, Dominik Franke, Stefan Kowalewski, Carsten Weise: Evaluation of the real-time Java runtime environment for deployment in time-critical systems. JTRES 2009: 51-60
	2008
16		Gerlind Herberich, Bastian Schlich, Carsten Weise, Thomas Noll: Proving Correctness of an Efficient Abstraction for Interrupt Handling. Electr. Notes Theor. Comput. Sci. 217: 133-150 (2008)
	2006
15		Wolfgang Grieskamp, Carsten Weise: Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers Springer 2006
	2000
14		Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Guldstrand Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Yi: UPPAAL - Now, Next, and Future. MOVEP 2000: 99-124
	1999
13		Gerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi: Efficient Timed Reachability Analysis Using Clock Difference Diagrams. CAV 1999: 341-353
12		Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi: Clock Difference Diagrams. Nord. J. Comput. 6(3): 271-298 (1999)
	1998
11		Carsten Weise: Flexibilität durch kombinierte Design Pattern. Java-Informations-Tage 1998: 364-374
	1997
10		Carsten Weise, Dirk Lenzkes: Weak Refinement for Modal Hybrid Systems. HART 1997: 316-330
9		Carsten Weise, Dirk Lenzkes: Efficient Scaling-Invariant Checking of Timed Bisimulation. STACS 1997: 177-188
8		Volker Braun, Tiziana Margaria, Carsten Weise: Integrating Tools in the ETI Platform. STTT 1(1-2): 31-48 (1997)
7		Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise: Continuous Modeling of Real-Time and Hybrid Systems: From Concepts to Tools. STTT 1(1-2): 64-85 (1997)
	1995
6		Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise: Fischer's Protocol Revisited: A Simple Proof Using Modal Constraints. Hybrid Systems 1995: 604-615
5		François Laroussinie, Kim Guldstrand Larsen, Carsten Weise: From Timed Automata to Logic - and Back. MFCS 1995: 529-539
4		Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise: A Constraint Oriented Proof Methodology Based on Modal Transition Systems. TACAS 1995: 17-40
	1994
3		Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise: The Methodology of Modal Constraints. Formal Systems Specification 1994: 405-435
	1993
2		Bernhard Steffen, Carsten Weise: Deciding Testing Equivalence for Real-Time Processes with Dense Time. MFCS 1993: 703-713
	1992
1		Ulrich Fröhlings, Carsten Weise: Parallelisierung objekt-basierter Programme auf einem Transputer-Netzwerk. Transputer-Anwender-Treffen 1992: 101-111

Coauthor Index

1	Tobias Amnell	[14]
2	Gerd Behrmann	[13] [14]
3	Johan Bengtsson	[14]
4	Volker Braun	[8]
5	Pedro R. D'Argenio	[14]
6	Alexandre David	[14]
7	Ansgar Fehnker	[14]
8	Dominik Franke	[17]
9	Ulrich Fröhlings	[1]
10	Wolfgang Grieskamp	[15]
11	Gerlind Herberich	[16]
12	Thomas Hune	[14]
13	Bertrand Jeannet	[14]
14	Stefan Kowalewski	[17]
15	François Laroussinie	[5]
16	Kim Guldstrand Larsen	[3] [4] [5] [6] [7] [12] [13] [14]
17	Dirk Lenzkes	[9] [10]
18	Tiziana Margaria (Tiziana Margaria-Steffen)	[8]
19	M. Oliver Möller	[14]
20	Thomas Noll	[16]
21	Justin Pearson	[12] [13]
22	Paul Pettersson	[14]
23	Bastian Schlich	[16]
24	John F. Schommer	[17]
25	Bernhard Steffen	[2] [3] [4] [6] [7]
26	Wang Yi	[12] [13] [14]

Colors in the list of coauthors