Kåre J. Kristoffersen

2007
11	EE	Henrik Reif Andersen, Kåre J. Kristoffersen: Temporal Runtime Verification using Monadic Difference Logic CoRR abs/0705.4604: (2007)
2005
10		Kåre J. Kristoffersen, Yvonne Dittrich: Expanding Database Systems into self-verifying Entities. MSVVEIS 2005: 65-70
2003
9	EE	Kåre J. Kristoffersen, Christian Pedersen, Henrik Reif Andersen: Runtime Verification of Timed LTL using Disjunctive Normalized Equation Systems. Electr. Notes Theor. Comput. Sci. 89(2): (2003)
2002
8	EE	Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: Automated verification of an audio-control protocol using UPPAAL. J. Log. Algebr. Program. 52-53: 163-181 (2002)
2001
7		Jørn Lind-Nielsen, Henrik Reif Andersen, Henrik Hulgaard, Gerd Behrmann, Kåre J. Kristoffersen, Kim Guldstrand Larsen: Verification of Large State/Event Systems Using Compositionality and Dependency Analysis. Formal Methods in System Design 18(1): 5-23 (2001)
2000
6	EE	Torsten K. Iversen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Morten Laursen, Rune G. Madsen, Steffen K. Mortensen, Paul Pettersson, Chris B. Thomasen: Model-checking real-time control programs: verifying Lego(R) MindstormsTM systems using UPPAAL. ECRTS 2000: 147-155
5	EE	Jørgen Staunstrup, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen, Kim Guldstrand Larsen, Gerd Behrmann, Kåre J. Kristoffersen, Arne Skou, Henrik Leerberg, Niels Bo Theilgaard: Practical Verification of Embedded Software. IEEE Computer 33(5): 68-75 (2000)
1998
4	EE	Jørn Lind-Nielsen, Henrik Reif Andersen, Gerd Behrmann, Henrik Hulgaard, Kåre J. Kristoffersen, Kim Guldstrand Larsen: Verification of Large State/Event Systems Using Compositionality and Dependency Analysis. TACAS 1998: 201-216
1997
3		Kåre J. Kristoffersen, François Laroussinie, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: A Compositional Proof of a Real-Time Mutual Exclusion Protocol. TAPSOFT 1997: 565-579
1996
2		Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: Verification of an Audio Protocol with Bus Collision Using UPPAAL. CAV 1996: 244-256
1995
1		Jørgen H. Andersen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Jesper Niedermann: Automatic Synthesis of Real Time Systems. ICALP 1995: 535-546

Coauthor Index

1	Henrik Reif Andersen	[4] [5] [7] [9] [11]
2	Jørgen H. Andersen	[1]
3	Gerd Behrmann	[4] [5] [7]
4	Johan Bengtsson	[2] [8]
5	Yvonne Dittrich	[10]
6	W. O. David Griffioen	[2] [8]
7	Henrik Hulgaard	[4] [5] [7]
8	Torsten K. Iversen	[6]
9	François Laroussinie	[3]
10	Kim Guldstrand Larsen	[1] [2] [3] [4] [5] [6] [7] [8]
11	Fredrik Larsson	[2] [8]
12	Morten Laursen	[6]
13	Henrik Leerberg	[5]
14	Jørn Lind-Nielsen	[4] [5] [7]
15	Rune G. Madsen	[6]
16	Steffen K. Mortensen	[6]
17	Jesper Niedermann	[1]
18	Christian Pedersen	[9]
19	Paul Pettersson	[2] [3] [6] [8]
20	Arne Skou	[5]
21	Jørgen Staunstrup	[5]
22	Niels Bo Theilgaard	[5]
23	Chris B. Thomasen	[6]
24	Wang Yi	[2] [3] [8]

Colors in the list of coauthors