Kre J. Kristoffersen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
1995–2005
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | ICASSP | Multimodal wireless networks: distributed surveillance with multiple nodes. | Zoltan Safar, John Aasted Srensen, Jianjun Chen, Kre J. Kristoffersen |
| 2004 | MMSP | An infrastructure for context dependent mobile multimedia communication. | J. Aa. Serensen, Kre J. Kristoffersen, Andres Cervera, M. Schiortz, Thomas Lynge, Zoltan Safar, Lars Birkedal |
| 2000 | ECRTS | Model-checking real-time control programs: verifying Lego(R) Mindstorms | Torsten K. Iversen, Kre J. Kristoffersen, Kim Guldstrand Larsen, Morten Laursen, Rune G. Madsen, Steffen K. Mortensen, Paul Pettersson, Chris B. Thomasen |
| 1998 | TACAS | Verification of Large State/Event Systems Using Compositionality and Dependency Analysis. | Jrn Lind-Nielsen, Henrik Reif Andersen, Gerd Behrmann, Henrik Hulgaard, Kre J. Kristoffersen, Kim Guldstrand Larsen |
| 1996 | CAV | Verification of an Audio Protocol with Bus Collision Using UPPAAL. | Johan Bengtsson, W. O. David Griffioen, Kre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi |
| 1995 | ICALP | Automatic Synthesis of Real Time Systems. | Jrgen H. Andersen, Kre J. Kristoffersen, Kim Guldstrand Larsen, Jesper Niedermann |