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)
Back to Kåre Kristoffersens homepage