Koopmann, Björn and Puch, Stefan and Ehmen, Günter and Fränzle, Martin; Proceedings of the 6th International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS'20); 05 / 2020

Stefan Puch; 2019

Stefan Puch and Martin Fränzle and Sebastian Gerwinn; Leveraging Applications of Formal Methods, Verification and Validation. Verification; 2018

Page, Yves and Fahrenkrog, Felix and Fiorentino, Anita and Fränzle, Martin and Gwehenberger, Johann and Helmer, Thomas and Lindman, Magdalena and op den Camp, Olaf and Puch, Stefan and van Rooi, Lex and Sander, Ulrich and Wimmer, Peter; Traffic safety through integrated technologies : 24th Enhanced Safety of Vehicles Conference 2015; June / 2015

Puch, Stefan and Wortelen, Bertram and Fränzle, Martin and Peikenkamp, Thomas; Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Healthcare and Safety of the Environment and Transport; 07 / 2013

Puch, Stefan and Fränzle, Martin and Osterloh, Jan-Patrick and Läsche, Christoph; Proceedings of Summer Computer Simulation Conference 2012 (SCSC 2012) ; 07 / 2012

Puch, Stefan and Wortelen, Bertram and Fränzle, Martin and Peikenkamp, Thomas; Proceedings of the 2012 European Simulation and Modelling Conference; 10 / 2012

Fränzle, Martin and Gezgin, Tayfun and Hungar, Hardi and Puch, Stefan and Sauter, Gerald; Human Modelling in Assisted Transportation; 01 / 2011

Fränzle, Martin and Gezgin, Tayfun and Hungar, Hardi and Puch, Stefan and Sauter, Gerald; FORMS/FORMAT 2010; 01 / 2011