Kåre J. Kristoffersen

According to our database1, Kåre J. Kristoffersen authored at least 14 papers between 1995 and 2006.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2006
A low-cost and robust multimodal wireless network with adaptive estimator and GLRT detector.
Proceedings of the 14th European Signal Processing Conference, 2006

2005
Expanding Database Systems into self-verifying Entities.
Proceedings of the Modelling, 2005

Multimodal wireless networks: distributed surveillance with multiple nodes.
Proceedings of the 2005 IEEE International Conference on Acoustics, 2005

An RF-based surveillance system using commercial off-the-shelf wireless LAN components.
Proceedings of the 13th European Signal Processing Conference, 2005

2004
An infrastructure for context dependent mobile multimedia communication.
Proceedings of the IEEE 6th Workshop on Multimedia Signal Processing, 2004

2003
Runtime Verification of Timed LTL using Disjunctive Normalized Equation Systems.
Electr. Notes Theor. Comput. Sci., 2003

2002
Automated verification of an audio-control protocol using UPPAAL.
J. Log. Algebr. Program., 2002

2001
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis.
Formal Methods in System Design, 2001

2000
Practical Verification of Embedded Software.
IEEE Computer, 2000

Model-checking real-time control programs: verifying Lego(R) MindstormsTM systems using UPPAAL.
Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000

1998
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

1997
A Compositional Proof of a Real-Time Mutual Exclusion Protocol.
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

1996
Verification of an Audio Protocol with Bus Collision Using UPPAAL.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995
Automatic Synthesis of Real Time Systems.
Proceedings of the Automata, Languages and Programming, 22nd International Colloquium, 1995


  Loading...