| 2017 |
J |
jnl |
Formal Aspects Comput.
Hassan Hatefi, Ralf Wimmer, Bettina Braitling, Luis María Ferrer Fioriti, Bernd Becker, Holger Hermanns
|
| 2016 |
— |
— |
Bettina Braitling
|
| 2015 |
B |
conf |
VMCAI
Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns
|
| 2015 |
Misc |
conf |
SETTA
Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis María Ferrer Fioriti, Holger Hermanns, Bernd Becker
|
| 2014 |
— |
conf |
QAPL
Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns
|
| 2013 |
— |
conf |
MBMV
Bettina Braitling, Ralf Wimmer, Bernd Becker, Erika Ábrahám
|
| 2011 |
— |
conf |
ACSD
Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver E. Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker
|
| 2011 |
— |
conf |
FMOODS/FORTE
Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám
|
| 2011 |
— |
conf |
MBMV
Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám
|
| 2010 |
— |
conf |
QEST
Ralf Wimmer, Bettina Braitling, Bernd Becker, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Abhishek Dhama, Oliver E. Theel
|
| 2009 |
B |
conf |
VMCAI
Ralf Wimmer, Bettina Braitling, Bernd Becker
|
| 2009 |
J |
jnl |
ACM Trans. Design Autom. Electr. Syst.
Piet Engelke, Bernd Becker, Michel Renovell, Jürgen Schlöffel, Bettina Braitling, Ilia Polian
|
| 2007 |
— |
conf |
ATS
Piet Engelke, Bettina Braitling, Ilia Polian, Michel Renovell, Bernd Becker
|