Kåre J. Kristoffersen

Publication Activity (10 Years)

Years Active: 1995-2007
Publications (10 Years): 0

Publications

Henrik Reif Andersen, Kåre J. Kristoffersen
Temporal Runtime Verification using Monadic Difference Logic CoRR (2007)
Jianjun Chen, John Aasted Sørensen, Zoltan Safar, Kåre J. Kristoffersen
A low-cost and robust multimodal wireless network with adaptive estimator and GLRT detector. EUSIPCO (2006)
Jianjun Chen, Zoltan Safar, John Aasted Sørensen, Kåre J. Kristoffersen
An RF-based surveillance system using commercial off-the-shelf wireless LAN components. EUSIPCO (2005)
Zoltan Safar, John Aasted Sørensen, Jianjun Chen, Kåre J. Kristoffersen
Multimodal wireless networks: distributed surveillance with multiple nodes. ICASSP (4) (2005)
Kåre J. Kristoffersen, Yvonne Dittrich
Expanding Database Systems into self-verifying Entities. MSVVEIS (2005)
J. Aa. Serensen, Kåre J. Kristoffersen, Andres Cervera, M. Schiortz, Thomas Lynge, Zoltan Safar, Lars Birkedal
An infrastructure for context dependent mobile multimedia communication. MMSP (2004)
Kåre J. Kristoffersen, Christian Pedersen, Henrik Reif Andersen
Runtime Verification of Timed LTL using Disjunctive Normalized Equation Systems. Electron. Notes Theor. Comput. Sci. 89 (2) (2003)
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. Algebraic Methods Program. (2002)
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 Syst. Des. 18 (1) (2001)
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. Computer 33 (5) (2000)
Torsten K. Iversen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Morten Laursen, Rune G. Madsen, Steffen K. Mortensen, Paul Pettersson, Chris B. Thomasen
systems using UPPAAL. ECRTS (2000)
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)
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)
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)
Jørgen H. Andersen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Jesper Niedermann
Automatic Synthesis of Real Time Systems. ICALP (1995)