Kåre J. Kristoffersen

According to our database, Kåre J. Kristoffersen authored at least 14 papers between 1995 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Temporal Runtime Verification using Monadic Difference Logic

Henrik Reif Andersen, Kåre J. Kristoffersen

CoRR, 2007

2006

A low-cost and robust multimodal wireless network with adaptive estimator and GLRT detector.

Jianjun Chen, John Aasted Sørensen, Zoltan Safar, Kåre J. Kristoffersen

Proceedings of the 14th European Signal Processing Conference, 2006

2005

Expanding Database Systems into self-verifying Entities.

Kåre J. Kristoffersen, Yvonne Dittrich

Proceedings of the Modelling, 2005

Multimodal wireless networks: distributed surveillance with multiple nodes.

Zoltan Safar, John Aasted Sørensen, Jianjun Chen, Kåre J. Kristoffersen

Proceedings of the 2005 IEEE International Conference on Acoustics, 2005

An RF-based surveillance system using commercial off-the-shelf wireless LAN components.

Jianjun Chen, Zoltan Safar, John Aasted Sørensen, Kåre J. Kristoffersen

Proceedings of the 13th European Signal Processing Conference, 2005

2004

An infrastructure for context dependent mobile multimedia communication.

J. Aa. Serensen, Kåre J. Kristoffersen, Andres Cervera, M. Schiortz, Thomas Lynge, Zoltan Safar, Lars Birkedal

Proceedings of the IEEE 6th Workshop on Multimedia Signal Processing, 2004

2003

Runtime Verification of Timed LTL using Disjunctive Normalized Equation Systems.

Kåre J. Kristoffersen, Christian Pedersen, Henrik Reif Andersen

Proceedings of the Third Workshop on Run-time Verification, 2003

2002

Automated verification of an audio-control protocol using UPPAAL.

Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi

J. Log. Algebraic Methods Program., 2002

2001

Verification of Large State/Event Systems Using Compositionality and Dependency Analysis.

Jørn Lind-Nielsen, Henrik Reif Andersen, Henrik Hulgaard, Gerd Behrmann, Kåre J. Kristoffersen, Kim Guldstrand Larsen

Formal Methods Syst. Des., 2001

2000

Practical Verification of Embedded Software.

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

Computer, 2000

Model-checking real-time control programs: verifying Lego(R) Mindstorms^TM systems using UPPAAL.

Torsten K. Iversen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Morten Laursen, Rune G. Madsen, Steffen K. Mortensen, Paul Pettersson, Chris B. Thomasen

Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000

1997

A Compositional Proof of a Real-Time Mutual Exclusion Protocol.

Kåre J. Kristoffersen, François Laroussinie, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

1996

Verification of an Audio Protocol with Bus Collision Using UPPAAL.

Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

Automatic Synthesis of Real Time Systems.

Jørgen H. Andersen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Jesper Niedermann

Proceedings of the Automata, Languages and Programming, 22nd International Colloquium, 1995