Kim G. Larsen

Research interests

Publications

• Uppaal SMC tutorial

  International Journal on Software Tools for Technology Transfer · 2015 · https://doi.org/10.1007/s10009-014-0361-y

• Statistical Model Checking for Networks of Priced Timed Automata

  Lecture notes in computer science · 2011 · https://doi.org/10.1007/978-3-642-24310-3_7

• Timed I/O automata

  Journal · 2010 · https://doi.org/10.1145/1755952.1755967

• A Tutorial on Uppaal

  Lecture notes in computer science · 2004 · https://doi.org/10.1007/978-3-540-30080-9_7

• A modal process logic

  Journal · 2003 · https://doi.org/10.1109/lics.1988.5119

• Uppaal in a nutshell

  International Journal on Software Tools for Technology Transfer · 1997 · https://doi.org/10.1007/s100090050010

• UPPAAL — a tool suite for automatic verification of real-time systems

  Lecture notes in computer science · 1996 · https://doi.org/10.1007/bfb0020949

Current projects

No projects listed.