
Wissenschaftlicher Mitarbeiter
Verkehr / Safety Analysis & Verification
UG1
+49 441 9722 - 454
Escherweg 2, 26121 Oldenburg
sebastian.gerwinn [ A T ]
offis.de
Haefner, Ralf M.; Gerwinn, Sebastian; Macke, Jakob H.; Bethge, Matthias
2013
Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems
International Conference on Distributed Event-Based Systems
Kuka, Christian; Gerwinn, Sebastian; Schweigert, Sören; Eilers, Sönke; Nicklas, Daniela
2012
Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK
Formal Modeling and Analysis of Timed Systems (FORMATS)
Ellen, Christian; Gerwinn, Sebastian; Fränzle, Martin
2012
Joint Workshop on Compositional Modelling and Analysis of Quantitative Systems
Ellen, Christian; Fränzle, Martin; Gerwinn, Sebastian; Müllner, Nils
2012
Workshop Proceedings: Trustworthy Cyber-Physical Systems
Eilers, Sönke ; Gerwinn, Sebastian; Fränzle, Martin; Kuka, Christian; Schweiger, Sören; Toben, Tobe
2012
Gerwinn, Sebastian; Macke, Jakob H ;Bethge, Matthias
2011
Innovative Smart Grid Technologies
Blank, Marita; Gerwinn, Sebastian; Krause, Olav; Lehnhoff, Sebastian
2011
Theis, Lucas; Gerwinn, Sebastian; Sinz, Fabian; Bethge, Matthias
2011
Berens, Philipp; Ecker, Alexander; Gerwinn, Sebastian; Tolias, Andreas; Bethge, Matthias
2011