| 2014 |
J |
jnl |
Acta Informatica
Peter E. Bulychev, Alexandre David, Kim G. Larsen, Guangyuan Li
|
| 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
|
| 2012 |
— |
conf |
NASA Formal Methods
Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen
|
| 2012 |
— |
conf |
IWIGP
Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis
|
| 2012 |
J |
jnl |
CoRR
Peter E. Bulychev, Franck Cassez, Alexandre David, Kim G. Larsen, Jean-François Raskin, Pierre-Alain Reynier
|
| 2012 |
B |
conf |
ATVA
Peter E. Bulychev, Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier
|
| 2012 |
B |
conf |
LPAR
Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen, Amélie Stainer
|
| 2012 |
B |
conf |
RV
Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen
|
| 2012 |
— |
conf |
QAPL
Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang
|
| 2011 |
— |
conf |
PDMC
Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Axel Legay
|
| 2011 |
J |
jnl |
Program. Comput. Softw.
Peter E. Bulychev
|
| 2009 |
— |
conf |
Ershov Memorial Conference
Peter E. Bulychev, Egor V. Kostylev, Vladimir A. Zakharov
|
| 2009 |
— |
conf |
FORMATS
Peter E. Bulychev, Thomas Chatain, Alexandre David, Kim Guldstrand Larsen
|