Automatic Synthesis of Real Time Systems. - Jørgen H. Andersen; Kåre J. Kristoffersen; Kim Guldstrand Larsen; Jesper Niedermann (ICALP, 1995)

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 001 (CAV, 1996)

A Compositional Proof of a Real-Time Mutual Exclusion Protocol. - Kåre J. Kristoffersen; François Laroussinie; Kim Guldstrand Larsen; Paul Pettersson; Wang Yi 001 (TAPSOFT, 1997)

Model-checking real-time control programs: verifying Lego(R) MindstormsTM 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 (ECRTS, 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)

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)

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 001 (J. Log. Algebraic Methods Program., 2002)

Runtime Verification of Timed LTL using Disjunctive Normalized Equation Systems. - Kåre J. Kristoffersen; Christian Pedersen; Henrik Reif Andersen (RV@CAV, 2003)

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 (MMSP, 2004)

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 (EUSIPCO, 2005)

Multimodal wireless networks: distributed surveillance with multiple nodes. - Zoltan Safar; John Aasted Sørensen; Jianjun Chen; Kåre J. Kristoffersen (ICASSP (4), 2005)

Expanding Database Systems into self-verifying Entities. - Kåre J. Kristoffersen; Yvonne Dittrich (MSVVEIS, 2005)

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 (EUSIPCO, 2006)

Temporal Runtime Verification using Monadic Difference Logic - Henrik Reif Andersen; Kåre J. Kristoffersen (CoRR, 2007)