Kim Guldstrand Larsen - Publications#

1. Patricia Bouyer, Ulrich Fahrenberg, Kim G. Larsen, Nicolas Markey: Quantitative Modeling and Analysis of Embedded Systems. Invited to Communications of the ACM 2011.
   
2. Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: Constraint Markov Chains. Theor. Comput. Sci. 412(34): 4373-4404 (2011)
   
3. Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski: Timed I/O automata: a complete specification theory for real-time systems. HSCC 2010: 91-100
   
4. Nikola Benes, Jan Kretínský, Kim G. Larsen, Jirí Srba: On determinism in modal transition systems. Theor. Comput. Sci. 410(41): 4026-4043 (2009)
   
5. Sebastian Kupferschmid, Jörg Hoffmann, Kim G. Larsen: Fast Directed Model Checking Via Russian Doll Abstraction. TACAS 2008: 203-217
   
6. Patricia Bouyer, Ed Brinksma, Kim G. Larsen: Optimal infinite scheduling for multi-priced timed automata. Formal Methods in System Design 32(1): 3-23 (2008)
   
7. Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski: Modeling software product lines using color-blind transition systems. STTT 9(5-6): 471-487 (2007)
   
8. UPPAAL in a Nutshell by Kim Guldstrand Larsen, Paul Pettersson, Wang Yi, STTT vol: 1 pages: 134-152, 1997. The research of Kim G. Larsen includes more than 15 years effort on theory, algorithms and tools for timed systems with the paper “UPPAAL in a Nutshell” being the most cited paper ever in the Journal Software Tools for Technology Transfer by Springer." (1360 citations)
   
9. Bisimulation through Probabilistic Testing by Kim Guldstrand Larsen, Arne Skou, Inf. Comput. vol: 94 pages: 1-28, 1991. The paper “Bisimulation Through Probabilistic Testing” with Arne Skou is by now the key reference for research on probabilistic process algebra and model checking and is the 10th most cited paper ever in the prestigious journal Information and Computation. (912 citations)
   
10. A Modal Process Logic by Kim Guldstrand Larsen, Bent Thomsen, in Proceedings, Third Annual Symposium on Logic in Computer Science, 5-8 July 1988, Edinburgh, Scotland, UK (LICS) I E Computer Society , pages: 203-210, 1988. The formalism of Modal Transition Systems is another key contribution, which in recent years has received significant interest as a foundation for interface theories, and with a number of open problems concerning complexity having been settled recently, and with. extensions to a number quantitative settings (probabilities, time, cost). The paper “A Modal Process Logic” is among the 15 most cited papers ever at the international conference Logic in Computer Science (317 citations)