| 2018 |
C |
conf |
PDP
A. Paul Millar, Olufemi Adeyemi, Gerd Behrmann, Patrick Fuhrmann, Vincent Garonne, Dmitry Litvintsev, Tigran Mkrtchyan, Albert Rossi, Marina Sahakyan, Jürgen Starek
|
| 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
|
| 2011 |
— |
conf |
eScience
Oxana Smirnova, Gerd Behrmann, Michael Grønager, Daniel Johansson, Josva Kleist, Aleksandr Konstantinov, Balázs Kónya, Henrik Thostrup Jensen
|
| 2011 |
J |
jnl |
Softw. Pract. Exp.
Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
|
| 2007 |
A |
conf |
TACAS
Jacob Illum Rasmussen, Gerd Behrmann, Kim Guldstrand Larsen
|
| 2007 |
A* |
conf |
CAV
Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime
|
| 2007 |
A |
conf |
TACAS
Sebastian Kupferschmid, Klaus Dräger, Jörg Hoffmann, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, Gerd Behrmann
|
| 2006 |
— |
conf |
SPIN
Sebastian Kupferschmid, Jörg Hoffmann, Henning Dierks, Gerd Behrmann
|
| 2006 |
J |
jnl |
Int. J. Softw. Tools Technol. Transf.
Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek
|
| 2006 |
— |
conf |
QEST
Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks
|
| 2005 |
— |
conf |
FORMATS
Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen
|
| 2005 |
J |
jnl |
Int. J. Softw. Tools Technol. Transf.
Gerd Behrmann
|
| 2005 |
J |
jnl |
SIGMETRICS Perform. Evaluation Rev.
Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen
|
| 2005 |
A |
conf |
IPDPS
Gerd Behrmann, Ed Brinksma, Martijn Hendriks, Angelika Mader
|
| 2004 |
— |
conf |
SFM
Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen
|
| 2004 |
A |
conf |
TACAS
Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek
|
| 2004 |
— |
conf |
FMCO
Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen
|
| 2003 |
— |
conf |
FORMATS
Martijn Hendriks, Gerd Behrmann, Kim Guldstrand Larsen, Peter Niebert, Frits W. Vaandrager
|
| 2003 |
A |
conf |
TACAS
Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen
|
| 2003 |
A* |
conf |
CAV
Gerd Behrmann, Kim Guldstrand Larsen, Radek Pelánek
|
| 2003 |
— |
conf |
SPIN
Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi
|
| 2002 |
— |
conf |
PDMC@CONCUR
Gerd Behrmann
|
| 2002 |
— |
conf |
10th Anniversary Colloquium of UNU/IIST
Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi
|
| 2002 |
— |
conf |
FTRTFT
Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
|
| 2002 |
J |
jnl |
Formal Methods Syst. Des.
Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen
|
| 2001 |
A* |
conf |
CAV
Kim Guldstrand Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson, Judi Romijn
|
| 2001 |
A |
conf |
TACAS
Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, Judi Romijn
|
| 2001 |
— |
conf |
HSCC
Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager
|
| 2001 |
— |
conf |
CDC
Gerd Behrmann, Kim G. Larsen, Oliver Möller, Alexandre David, Paul Pettersson, Wang Yi
|
| 2001 |
J |
jnl |
Formal Methods Syst. Des.
Jørn Lind-Nielsen, Henrik Reif Andersen, Henrik Hulgaard, Gerd Behrmann, Kåre J. Kristoffersen, Kim Guldstrand Larsen
|
| 2000 |
A* |
conf |
CAV
Gerd Behrmann, Thomas Hune, Frits W. Vaandrager
|
| 2000 |
J |
jnl |
Computer
Jørgen Staunstrup, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen, Kim Guldstrand Larsen, Gerd Behrmann, Kåre J. Kristoffersen, Arne Skou, Henrik Leerberg, Niels Bo Theilgaard
|
| 2000 |
— |
conf |
MOVEP
Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Guldstrand Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Yi
|
| 1999 |
A* |
conf |
CAV
Gerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi
|
| 1999 |
A |
conf |
TACAS
Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen
|
| 1998 |
A |
conf |
TACAS
Jørn Lind-Nielsen, Henrik Reif Andersen, Gerd Behrmann, Henrik Hulgaard, Kåre J. Kristoffersen, Kim Guldstrand Larsen
|