Kåre J. Kristoffersen

15 papers A* 2A 1B 1C 1Journal 4Unranked 6

Year	Rank	Type	Title / Venue / Authors
2007	J	`jnl`	Temporal Runtime Verification using Monadic Difference Logic CoRR Henrik Reif Andersen, Kåre J. Kristoffersen
2006	—	`conf`	A low-cost and robust multimodal wireless network with adaptive estimator and GLRT detector. EUSIPCO Jianjun Chen, John Aasted Sørensen, Zoltan Safar, Kåre J. Kristoffersen
2005	—	`conf`	An RF-based surveillance system using commercial off-the-shelf wireless LAN components. EUSIPCO Jianjun Chen, Zoltan Safar, John Aasted Sørensen, Kåre J. Kristoffersen
2005	—	`conf`	Expanding Database Systems into self-verifying Entities. MSVVEIS Kåre J. Kristoffersen, Yvonne Dittrich
2005	—	`conf`	Multimodal wireless networks: distributed surveillance with multiple nodes. ICASSP (4) Zoltan Safar, John Aasted Sørensen, Jianjun Chen, Kåre J. Kristoffersen
2004	C	`conf`	An infrastructure for context dependent mobile multimedia communication. MMSP J. Aa. Serensen, Kåre J. Kristoffersen, Andres Cervera, M. Schiortz, Thomas Lynge, Zoltan Safar, Lars Birkedal
2003	—	`conf`	Runtime Verification of Timed LTL using Disjunctive Normalized Equation Systems. RV@CAV Kåre J. Kristoffersen, Christian Pedersen, Henrik Reif Andersen
2002	J	`jnl`	Automated verification of an audio-control protocol using UPPAAL. J. Log. Algebraic Methods Program. Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
2001	J	`jnl`	Verification of Large State/Event Systems Using Compositionality and Dependency Analysis. Formal Methods Syst. Des. Jørn Lind-Nielsen, Henrik Reif Andersen, Henrik Hulgaard, Gerd Behrmann, Kåre J. Kristoffersen, Kim Guldstrand Larsen
2000	B	`conf`	Model-checking real-time control programs: verifying Lego(R) Mindstorms ECRTS Torsten K. Iversen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Morten Laursen, Rune G. Madsen, Steffen K. Mortensen, Paul Pettersson, Chris B. Thomasen
2000	J	`jnl`	Practical Verification of Embedded Software. Computer 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
1998	A	`conf`	Verification of Large State/Event Systems Using Compositionality and Dependency Analysis. TACAS Jørn Lind-Nielsen, Henrik Reif Andersen, Gerd Behrmann, Henrik Hulgaard, Kåre J. Kristoffersen, Kim Guldstrand Larsen
1997	—	`conf`	A Compositional Proof of a Real-Time Mutual Exclusion Protocol. TAPSOFT Kåre J. Kristoffersen, François Laroussinie, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
1996	A*	`conf`	Verification of an Audio Protocol with Bus Collision Using UPPAAL. CAV Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
1995	A*	`conf`	Automatic Synthesis of Real Time Systems. ICALP Jørgen H. Andersen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Jesper Niedermann