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
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
Our website uses cookies. These have two functions: Firstly, they are necessary for the basic functionality of our website. On the other hand, with the help of cookies, we can continually improve our content for you. For this purpose, pseudonymised data of website visitors is collected and analysed. By clicking on Settings, you can also select the individual cookies you wish to accept. You can revoke your consent to the use of cookies at any time, even partially. You can find more information about cookies on this website in our privacy declaration and about us in the imprint.
![[Translate to English:]](/fileadmin/_processed_/0/f/csm_Tastatur-hand_4f53a4f06a.jpg "[Translate to English:]")