Carsten Weise

2008
16	EE	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	EE	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	EE	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	EE	Volker Braun, Tiziana Margaria, Carsten Weise: Integrating Tools in the ETI Platform. STTT 1(1-2): 31-48 (1997)
7	EE	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	Ulrich Fröhlings	[1]
9	Wolfgang Grieskamp	[15]
10	Gerlind Herberich	[16]
11	Thomas Hune	[14]
12	Bertrand Jeannet	[14]
13	François Laroussinie	[5]
14	Kim Guldstrand Larsen	[3] [4] [5] [6] [7] [12] [13] [14]
15	Dirk Lenzkes	[9] [10]
16	Tiziana Margaria (Tiziana Margaria-Steffen)	[8]
17	M. Oliver Möller	[14]
18	Thomas Noll	[16]
19	Justin Pearson	[12] [13]
20	Paul Pettersson	[14]
21	Bastian Schlich	[16]
22	Bernhard Steffen	[2] [3] [4] [6] [7]
23	Wang Yi	[12] [13] [14]

Colors in the list of coauthors