| 2013 |
— |
ch. |
Communicating Embedded Systems
Alexandre David, Gerd Behrmann, Peter E. Bulychev, Joakim Byg, Thomas Chatain, Kim G. Larsen, Paul Pettersson, Jacob Illum Rasmussen, Jirí Srba, Wang Yi, Kenneth Yrke Jørgensen, Didier Lime, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez
|
| 2010 |
— |
conf |
FMCO
Alexandre David, Jacob Deleuran Grunnet, Jan Jakob Jessen, Kim Guldstrand Larsen, Jacob Illum Rasmussen
|
| 2010 |
— |
conf |
ISoLA (2)
Marius Mikucionis, Kim Guldstrand Larsen, Jacob Illum Rasmussen, Brian Nielsen, Arne Skou, Steen Ulrik Palm, Jan Storbank Pedersen, Poul Hougaard
|
| 2009 |
B |
conf |
FM
Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Michael A. Petersen, Arne Skou
|
| 2008 |
J |
jnl |
Theor. Comput. Sci.
Kim Guldstrand Larsen, Jacob Illum Rasmussen
|
| 2007 |
A |
conf |
TACAS
Jacob Illum Rasmussen, Gerd Behrmann, Kim Guldstrand Larsen
|
| 2007 |
— |
conf |
FORMATS
Jan Jakob Jessen, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Alexandre David
|
| 2006 |
— |
conf |
FSTTCS
Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey, Jacob Illum Rasmussen
|
| 2006 |
J |
jnl |
Formal Methods Syst. Des.
Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani
|
| 2005 |
— |
conf |
FORMATS
Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen
|
| 2005 |
B |
conf |
FoSSaCS
Kim Guldstrand Larsen, Jacob Illum Rasmussen
|
| 2005 |
J |
jnl |
SIGMETRICS Perform. Evaluation Rev.
Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen
|
| 2004 |
— |
conf |
FMCO
Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen
|
| 2004 |
A |
conf |
TACAS
Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani
|