Suche

Daniel Fass, Michael Gerke, and Hans-Jörg Peter: Fully Symbolic Timed Model Checking using Constraint Matrix Diagrams . 31st IEEE Real-Time Systems Symposium (RTSS 2010) Rüdiger Ehlers, Michael Gerke, and […] International Conference on Computer Aided Verification (CAV 2012) Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner, and Hans-Jörg Peter: FlexRay for Avionics: Automatic Verification with Parametric Physical […] and Hans-Jörg Peter: Making the Right Cut in Model Checking Data-Intensive Timed Systems . 11th International Conference on Formal Engineering Methods (ICFEM 2010) Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner

Daniel Fass, Michael Gerke, and Hans-Jörg Peter: Fully Symbolic Timed Model Checking using Constraint Matrix Diagrams . 31st IEEE Real-Time Systems Symposium (RTSS 2010) Rüdiger Ehlers, Michael Gerke, and […] International Conference on Computer Aided Verification (CAV 2012) Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner, and Hans-Jörg Peter: FlexRay for Avionics: Automatic Verification with Parametric Physical […] and Hans-Jörg Peter: Making the Right Cut in Model Checking Data-Intensive Timed Systems . 11th International Conference on Formal Engineering Methods (ICFEM 2010) Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner

Prof. Dr. Thomas M. Deserno, Peter L. Reichertz Institute for Medical Informatics of TU Braunschweig and Hannover Medical School, thomas.deserno@plri.de Prof. Dr. Michael Breitner, Leibniz University Hannover

Christoph Knieke, Marco Körner, Dirk Niebuhr, Henrik Peters, Andreas Rausch, Oliver Brox, Stefanie Jauns-Seyfried, Hanno Jelden, Stefan Klie, Michael Krämer. Mastering Erosion of Software Architectures […] 2014), ser. LNCS, vol. 8327. Springer, 2014, pp. 491–502. Henrik Peters, Christoph Knieke, Oliver Brox, Stefanie Jauns-Seyfried, Michael Krämer, Andreas Schulze. A Test-driven Approach for Model-based […] Ibe, Stefanie Jauns-Seyfried, Christoph Knieke, Marco Körner, Steffen Küpper, Malte Mauritz, Henrik Peters, Arthur Strasser, Martin Vogel, Norbert Weiss. Managed and Continuous Evolution of Dependable Automotive

Multi-Level-Simulation auf Basis gelernter, nicht-determinierter Abstraktionsübergänge Dr. Peter Engel Herr Peter Engel hat 05. November 2020 seine Promotion mit Vortrag und Prüfung erfolgreich abgeschlossen […] Anwendungsarchitektur-konforme Konfiguration selbstorganisierender Softwaresysteme Dr. Michael Deynet Herr Michael Deynet hat am 07. Dezember 2012 seine Promotion mit Vortrag und Prüfung erfolgreich ab

im-uc9-rvy/join Betreuer der Arbeit: PD Dr. Christoph Knieke, Prof. Dr. Andreas Rausch Kwarkyi, Michael Fiify: Model Driven Development of Multi-Agent Systems: A Systematic Literature Review 15. August […] User Environments in AR Remote Consultations 13. Mai 2020, 17:00 Uhr Betreuer der Arbeit: Prof. Dr. Michael Prilla (Institut für Informatik), Prof. Dr. Andreas Rausch Studentische Vorträge im Wintersemester […] Customer Trust in Online Consultations 16. Januar 2020, 17:00 Uhr Betreuer der Arbeit: Prof. Dr. Michael Prilla (Institut für Informatik), Prof. Dr. Andreas Rausch Adam, Tom: Nutzung von temporalen Zus