| 2026 |
— |
conf |
Engineering Safe and Trustworthy Cyber Physical Systems
Tom Bienmüller, Matthias Büker, Udo Brockmeyer, Jürgen Bohn, Hans Jürgen Holberg, Tobe Toben, Hartmut Wittke
|
| 2024 |
— |
conf |
EDCC Workshops
Birte Neurohr, Thies de Graaff, Andreas Eggers, Tom Bienmüller, Eike Möhlmann
|
| 2024 |
Misc |
conf |
SYNASC
Petru Florin Mihancea, Leif Driebold, Dorian Blaj, Mihai I. Bogdanescu, Razvan T. Lapadat, Roxana C. Ciorica, Andrei A. Onisa, Andreea M. Zamosteanu, Tom Bienmüller
|
| 2021 |
B |
conf |
FM
Tino Teige, Andreas Eggers, Karsten Scheibler, Matthias Stasch, Udo Brockmeyer, Hans Jürgen Holberg, Tom Bienmüller
|
| 2019 |
— |
conf |
SC-square@SIAM AG
Karsten Scheibler, Andreas Eggers, Tino Teige, Marius Walz, Tom Bienmüller, Udo Brockmeyer
|
| 2018 |
— |
conf |
SC-Square@FLOC
Andreas Eggers, Matthias Stasch, Tino Teige, Tom Bienmüller, Udo Brockmeyer
|
| 2017 |
— |
conf |
MBMV
Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer
|
| 2017 |
J |
jnl |
Formal Aspects Comput.
Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller
|
| 2016 |
— |
conf |
SC²@SYNASC
Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer
|
| 2016 |
B |
conf |
FMCAD
Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, Bernd Becker
|
| 2016 |
— |
conf |
SC²@SYNASC
Tom Bienmüller, Tino Teige
|
| 2016 |
— |
conf |
MBMV
Tino Teige, Tom Bienmüller, Hans Jürgen Holberg
|
| 2015 |
Misc |
conf |
EDCC
Sayali Salvi, Daniel Kästner, Christian Ferdinand, Tom Bienmüller
|
| 2015 |
C |
conf |
FMICS
Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller
|
| 2014 |
J |
jnl |
CoRR
Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller
|
| 2014 |
— |
conf |
SAFECOMP Workshops
Sayali Salvi, Daniel Kästner, Tom Bienmüller, Christian Ferdinand
|
| 2003 |
— |
— |
Tom Bienmüller
|
| 2001 |
J |
jnl |
Informationstechnik Tech. Inform.
Tom Bienmüller, Werner Damm, Jochen Klose, Hartmut Wittke
|
| 2000 |
A* |
conf |
CAV
Tom Bienmüller, Werner Damm, Hartmut Wittke
|
| 1999 |
— |
conf |
Correct System Design
Tom Bienmüller, Jürgen Bohn, Henning Brinkmann, Udo Brockmeyer, Werner Damm, Hardi Hungar, Peter Jansen
|