( en | de | ru )

 

Disambiguation of "Larsen, Kim Guldstrand"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL.

, , and . ARTS, volume 1601 of Lecture Notes in Computer Science, page 277-298. Springer, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Patrick Larsen

Claudia Larsen

Jürgen Larsen

Reinhard Larsen

Larsen Schütte

 

Other publications of authors with the same name

Testing Probabilistic and Nondeterministic Processes., and . PSTV, volume C-8 of IFIP Transactions, page 47-61. North-Holland, (1992)Deciding Properties of Regular Real Time Processes., , and . CAV, volume 575 of Lecture Notes in Computer Science, page 443-453. Springer, (1991)Model Checking via Reachability Testing for Timed Automata., , and . TACAS, volume 1384 of Lecture Notes in Computer Science, page 263-280. Springer, (1998)Time Abstracted Bisimiulation: Implicit Specifications and Decidability., and . MFPS, volume 802 of Lecture Notes in Computer Science, page 160-176. Springer, (1993)Modal Specifications.. Automatic Verification Methods for Finite State Systems, volume 407 of Lecture Notes in Computer Science, page 232-246. Springer, (1989)Automated verification of an audio-control protocol using UPPAAL., , , , , , and . J. Log. Algebraic Methods Program., (2002)Modal I/O Automata for Interface and Product Line Theories., , and . ESOP, volume 4421 of Lecture Notes in Computer Science, page 64-79. Springer, (2007)Minimum-Cost Reachability for Priced Timed Automata., , , , , , and . HSCC, volume 2034 of Lecture Notes in Computer Science, page 147-161. Springer, (2001)Online Testing of Real-time Systems Using Uppaal., , and . FATES, volume 3395 of Lecture Notes in Computer Science, page 79-94. Springer, (2004)Resource-Optimal Scheduling Using Priced Timed Automata., , and . TACAS, volume 2988 of Lecture Notes in Computer Science, page 220-235. Springer, (2004)