Larsen, Kim G.
-
BRICS Report Series Nr. 11 (2006): RS-11 An Interface Theory for Input/Output Automata - Artikler
An Interface Theory for Input/Output Automata
Resumé PDF (English) -
BRICS Report Series Nr. 48 (2003): RS-48 Danfoss EKC Trial Project Deliverables - Artikler
Danfoss EKC Trial Project Deliverables
Resumé PDF (English) -
BRICS Report Series Nr. 46 (1998): RS-46 Clock Difference Diagrams - Artikler
Clock Difference Diagrams
Resumé PDF (English) -
BRICS Report Series Nr. 57 (1996): RS-57 Diagnostic Model-Checking for Real-Time Systems - Artikler
Diagnostic Model Checking for Real-Time Systems
Resumé PDF (English) -
BRICS Report Series Nr. 59 (1996): RS-59 Compositional and Symbolic Model-Checking of Real-Time Systems - Artikler
Compositional and Symbolic Model-Checking of Real-Time Systems
Resumé PDF (English) -
BRICS Report Series Nr. 47 (1994): RS-47 A Constraint Oriented Proof Methodology based on Modal Transition Systems - Artikler
A Constraint Oriented Proof Methodology based on Modal Transition Systems
Resumé PDF (English) -
BRICS Report Series Nr. 8 (1999): RS-8 Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL - Artikler
Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL
Resumé PDF (English) -
BRICS Report Series Nr. 60 (1996): RS-60 UPPAAL in 1995 - Artikler
UPPAAL in 1995
Resumé PDF (English) -
BRICS Report Series Nr. 20 (2002): RS-20 Regular Languages Definable by Lindström Quantifiers (Preliminary Version) - Artikler
Regular Languages Definable by Lindström Quantifiers (Preliminary Version)
Resumé PDF (English) -
BRICS Report Series Nr. 13 (1997): RS-13 Compositional Safety Logics - Artikler
Compositional Safety Logics
Resumé PDF (English) -
BRICS Report Series Nr. 47 (1998): RS-47 Efficient Timed Reachability Analysis using Clock Difference Diagrams - Artikler
Efficient Timed Reachability Analysis using Clock Difference Diagrams
Resumé PDF (English) -
BRICS Report Series Nr. 2 (1995): RS-02 From Timed Automata to Logic and Back - Artikler
From Timed Automata to Logic - and Back
Resumé PDF (English) -
BRICS Report Series Nr. 19 (1995): RS-19 Compositional Model Checking of Real Time Systems - Artikler
Compositional Model Checking of Real Time Systems
Resumé PDF (English) -
BRICS Report Series Nr. 58 (1996): RS-58 UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems - Artikler
UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems
Resumé PDF (English) -
BRICS Report Series Nr. 24 (1996): RS-24 Modelling and Analysis of a Collision Avoidance Protocol using SPIN and UPPAAL - Artikler
Modelling and Analysis of a Collision Avoidance Protocol using SPIN and UPPAAL
Resumé PDF (English) -
BRICS Report Series Nr. 37 (2000): RS-37 Guided Synthesis of Control Programs for a Batch Plant using UPPAAL - Artikler
Guided Synthesis of Control Programs for a Batch Plant using UPPAAL
Resumé PDF (English) -
BRICS Report Series Nr. 19 (1994): RS-19 Automatic Verification of Real-Timed Systems Using EPSILON - Artikler
Automatic Verification of Real-Timed Systems Using EPSILON
Resumé PDF (English) -
BRICS Report Series Nr. 28 (2003): RS-28 Regular Languages Definable by Lindström Quantifiers - Artikler
Regular Languages Definable by Lindström Quantifiers
Resumé PDF (English) -
BRICS Report Series Nr. 49 (2003): RS-49 Online On-the-Fly Testing of Real-time Systems - Artikler
Online On-the-Fly Testing of Real-time Systems
Resumé PDF (English) -
BRICS Report Series Nr. 11 (1997): RS-11 Timed Modal Specification —Theory and Tools - Artikler
Timed Modal Specification —Theory and Tools
Resumé PDF (English) -
BRICS Report Series Nr. 29 (1997): RS-29 Model Checking via Reachability Testing for Timed Automata - Artikler
Model Checking via Reachability Testing for Timed Automata
Resumé PDF (English) -
BRICS Report Series Nr. 53 (1999): RS-53 Model-Checking Real-Time Control Programs. Verifying LEGO Mindstorms Systems Using UPPAAL - Artikler
Model-Checking Real-Time Control Programs. Verifying LEGO Mindstorms Systems Using UPPAAL
Resumé PDF (English) -
BRICS Report Series Nr. 31 (1997): RS-31 Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial Case Study Using UPPAAL - Artikler
Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial Case Study Using UPPAAL
Resumé PDF (English) -
BRICS Report Series Nr. 4 (2001): RS-4 Efficient Guiding Towards Cost-Optimality in UPPAAL - Artikler
Efficient Guiding Towards Cost-Optimality in UPPAAL
Resumé PDF (English) -
BRICS Report Series Nr. 48 (1998): RS-48 The Power of Reachability Testing for Timed Automata - Artikler
The Power of Reachability Testing for Timed Automata
Resumé PDF (English) -
BRICS Report Series Nr. 3 (2001): RS-3 Minimum-Cost Reachability for Priced Timed Automata - Artikler
Minimum-Cost Reachability for Priced Timed Automata
Resumé PDF (English) -
BRICS Report Series Nr. 4 (2004): RS-4 Optimal Strategies in Priced Timed Game Automata - Artikler
Optimal Strategies in Priced Timed Game Automata
Resumé PDF (English)