Kåre J. Kristoffersen's Publications

• Expanding Database Systems into self-verifying Entities Kåre J. Kristoffersen and Yvonne Dittrich. Appears in proceedings of the Third Worksop om Modelling, Simulation, verification and Validation of Enterprise Information Systems, MSVVEIS 05, held in Miami, Florida, USA, May 24th, 2005.
• An RF-based Surveillance System using Commercial off-the-shelf Wireless LAN components. Jianjun Chen, Zoltan Safar, John Aasted Sørensen and Kåre J. Kristoffersen. Accepted for publication at the 13th European Signal Processing Conference EUSIPCO 05, to be held in Antalya, Turkey, September 4-8, 2005.
• Multimodal Wireless Networks: Distributed Surveillance with Multiple Nodes. Zoltan Safar, John Aa. Sørensen, Jianjun Chen and Kåre J. Kristoffersen. Accepted for presentation on a poster session at the 2005 IEEE International Conference on Acoustics, Speech, and Signal Processing, March 18-23, 2005, Pennsylvania Convention Center/Marriott Hotel, Philadelphia, PA, USA.
• Indoor Surveillance with Multimodal Wireless Networks. John Aa. Sørensen, Zoltan Safar, Jianjun Chen, Kåre J. Kristoffersen and Martin Schiøtz. Accepted for the IEEE Symposium on Signal Processing and Information Technology (ISSPIT) 2004, Rome, Italy, December 18-21.
• An Infrastructure for Context Dependent Mobile Multimedia Communication. John Aa. Sørensen, Kåre J. Kristoffersen, Anders Cervara, Thomas Lynge, Zoltan Safar, Lars Birkedal. Accepted for the 2004 IEEE International Multimedia Signal Processing Workshop, Sienna, Italy, September 29 - October 1, 2004.
• Runtime Verification of Timed LTL using Disjunctive Normalized Equation Systems. Kåre Jelling Kristoffersen, Christian Pedersen, Henrik Reif Andersen. Appears in Preliminary Proceedings of Third International Workshop on Runtime Verification RV '03, Boulder, Colorado, USA. July 13, 2003. (Technical Report MS-CIS-03-21, University of Pensylvania). To appear in Issue 89.2 of Electronic Notes in Theoretical Computer Science. (PostSCript).
• Verification of an Audio Protocol with Bus Collision Using UPPAAL, Johan Bengtsson, David Griffioen, Kåre Kristoffersen, Kim G. Larsen, Fredrik Larsson, Paul Pettersson and Wang Yi. In Journal of Logic and Algebraic Programming, volumes 52-53, pages 163-181, Holger Hermanns and Joost-Pieter Katoen (eds.). July-August, 2002. (PostScript).
• 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. In Formal Methods in System Design, Volume 18, Number 1, pages 5-23, January 2001.
• Practical Verification of Embedded Software. J. Staunstrup, K. G. Larsen, H. R. Andersen, H. Hulgaard, G. Behrmann, K. Kristoffersen, J. Lind-Nielsen, H. Leerberg, A. Skou, and N. B. Theilgaard. Appears in IEEE Computer 2000.
• Model-checking Real-Time Control Programs (Verifying LEGO Mindstorms Systems Using UPPAAL). Torsten K. Iversen, Kåre J. Kristoffersen, Kim G. Larsen, Morten Laursen, Rune G. Madsen, Steffen K. Mortensen, Paul Pettersson and Chris B. Thomasen. Accepted for publication at 12 Euromicro Conference on Real-Time Systems 2000. (PostScript).
• Experimental Batch Plant - VHS Case Study 1 using UPPAAL. Kåre J. Kristoffersen, Kim G. Larsen, Paul Pettersson and Carsten Weise. This paper appears as a deliverable in the European Community Esprit-LTR Project 26270 VHS (Verification of Hybrid systems). 1999.
• Verification of State/Event Systems by Quotienting, Nicky O. Bodentien, Jacob Vestergaard, Jakob Friis, Kåre J. Kristoffersen and Kim G. Larsen. Presented at Nordic Workshop in Programming Theory, Uppsala, Sweden, October 6-8, 1999. (PostScript).
• Compositional Verification of Concurrent Systems - A Possible Cure for the State/Explosion Problem. K. J. Kristoffersen.PhD Thesis. August 1998. (PostScript).
• Verification of Large State/Event Systems using Compositionality and Dependency Analysis, J. Lind-Nielsen, H. R. Andersen, G. Behrmann, H. Hulgaard, K. Kristoffersen, and K. G. Larsen. In Bernhard Steffen, editor, Proceedings of 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Held as part of ETAPS'98, Lisbon, Portugal, April 1998, volume 1384 of Lecture Notes in Computer Science, pages 201-216. Springer-Verlag, 1998. (PostScript).
• Context Dependent Minimization of State/Event Systems, G. Behrmann, K. J. Kristoffersen, and K. G. Larsen. Accepted for publication in proceedings of Nordic Workshop on Programming Theory 1997. Institute of Cybernetics, Tallinn, Estonia, October 15-17, 1997. (PostScript).
• A Compositional Proof of a Real-Time Mutual Exclusion Protocol, Kåre J. Kristoffersen, François Laroussinie, Kim G. Larsen, Paul Pettersson and Wang Yi. In Michel Bidoit and Max Dauchet, editors, Proceedings of the 7th International Joint Conference on the Theory and Practice of Software Development, pages 565-579. Lille, France, April 14-18, 1997. (PostScript).
• Verification of an Audio Protocol with Bus Collision Using UPPAAL, Johan Bengtsson, David Griffioen, Kåre Kristoffersen, Kim G. Larsen, Fredrik Larsson, Paul Pettersson and Wang Yi. In Rajeev Alur and Thomas A. Henzinger, editors, Proceedings of the 8th International Conference on Computer-Aided Verification, pages 244-256. New Brunswick, New Jersey, USA, July 31 - August 3, 1996. (PostScript).
• Modelling and Analysis of a Steam Generator using UPPAAL, Kåre J. Kristoffersen and Paul Pettersson. In Proceedings for the 7th Nordic Workshop on Programming Theory, Göteborg, 1-3 November, 1995. Report 86, Chalmers University of Technology, January 1996, pages 156-164. Bror Bjerner, Marie Larsson and Bengt Nordström (eds.) (PostScript).
• Automatic Synthesis of Real Time Systems, Jørgen H. Andersen, Kåre J. Kristoffersen, Kim G. Larsen and Jesper Niedermann. In Zoltán Fülöp and Ferenc Gécseg, editors, Proceedings of 22nd International Colloquium on Automata Languages and Programming, Szeged, Hungary, July 1995, volume 944 of Lecture Notes in Computer Science, pages 535 - 547. Springer-Verlag, 1995.(PostScript)