272 Infos zu Maike Schwammberger

8 Aktuelle Nachrichten

Aktuelle Lehrveranstaltungen für Maike Schwammberger · Sommersemester · Sommersemester · Sommersemester · Wintersemester · Sommersemester ... Aktuelle Lehrveranstaltungen für Maike Schwammberger · Sommersemester · Sommersemester · Sommersemester · Wintersemester · Sommersemester ...

Maike Schwammberger, M. Sc. . Department für Informatik. Anschrift: Fakultät II - Informatik, Wirtschafts- und ...

Visitenkarte "Maike Schwammberger". Maike Schwammberger. · Alle Veranstaltungen anzeigen · Impressum · Support · Stud. Visitenkarte "Maike Schwammberger". Maike Schwammberger. · Alle Veranstaltungen anzeigen · Impressum · Support · Stud.

Web19 thg 1, · Hell-/Dunkelmodus Light mode / Dark mode. SystemstandardSystem standard HellLight DunkelDark. Info und Anleitung Info and instruction

19 Profile in Sozialen Netzwerken

1 Job ist im Profil von Maike Schwammberger aufgelistet. Sehen Sie sich auf LinkedIn das vollständige Profil an. Erfahren Sie mehr über die Kontakte von Maike ...

Profil von Maike Schwammberger anzeigen, Grafik. Maike Schwammberger. Junior Professor | Modelling and Analysing the Intelligent Mobility of ... Profil von Maike Schwammberger anzeigen, Grafik. Maike Schwammberger. Junior Professor | Modelling and Analysing the Intelligent Mobility of ...

... Maike Schwammberger. 'Advances in Formal Methods for Autonomous Systems' will showcase the advances of formal methods for autonomous systems ...

Beitrag von Maike Schwammberger. Profil für Maike Schwammberger anzeigen. Maike Schwammberger.

2 Business-Profile

Maike SCHWAMMBERGER, Juniorprofessor | Cited by 140 | of Karlsruhe Institute of Technology, Karlsruhe (KIT) | Read 24 publications | Contact Maike ... Maike SCHWAMMBERGER, Juniorprofessor | Cited by 140 | of Karlsruhe Institute of Technology, Karlsruhe (KIT) | Read 24 publications | Contact Maike ...

von S Jha — Maike Schwammberger, Christoph Sommer, Andreas Vogelsang, and Andreas. Wortmann Towards self-explainable cyber-physical systems. › IOT2021_poste...

3 Firmen-Mitarbeiter

von J Collenette · Zitiert von: 1 — [30] Maike Schwammberger (2018): An abstract model for proving safety of autonomous urban traffic. The- oretical Computer Science 744, pp. › pubs › R...

Dennis and Maike Schwammberger. A Vision on What Explanations of Autonomous Systems are of Interest to Lawyers Third International Workshop on Requirements ... Dennis and Maike Schwammberger. A Vision on What Explanations of Autonomous Systems are of Interest to Lawyers Third International Workshop on Requirements ...

Scientists for Future - die Stellungnahme, Infomaterial, Klimawandel - Argumente, Regionalgruppen, thematische Arbeitsgruppen, Empfehlungen

3 Persönliche Webseiten

FM International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I, M. Schwammberger, "Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL" in Proc. Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles, SCAV@CPSWeek 2018, Porto, Portugal, 10th ...

WebEmbed -Suche einbinden search (Mit der Aktivierung der Google-Suche bestätigen Sie, dass Sie mit der Einbindung und der dazu erforderlichen Datenübermittlung an Google …

2 Infos zur Ausbildung

Authors: Maike Schwammberger (University of Oldenburg). Comments: In Proceedings FVAV 2017, arXiv: Journal-ref: EPTCS 257, 2017, pp

Maike Schwammberger · ORCID ID · Mark Schweda · ORCID ID · Alexander Trende · ORCID ID · Anirudh Unni · ORCID ID · Eric Veith · ORCID ID. Source Information. Maike Schwammberger · ORCID ID · Mark Schweda · ORCID ID · Alexander Trende · ORCID ID · Anirudh Unni · ORCID ID · Eric Veith · ORCID ID. Source Information.

18 Bücher zum Namen

Usage metrics · Co-workers & collaborators · Maike Schwammberger's public data · collection: Verification of Fair Controllers for Urban Traffic Manoeuvres at ... Usage metrics · Co-workers & collaborators · Maike Schwammberger's public data · collection: Verification of Fair Controllers for Urban Traffic Manoeuvres at ...

... Maike Schwammberger, Christoph Sommer, Andreas Vogelsang, Andreas Wortmann. With the increasing complexity of CPSs, their behavior and decisions become Maike Schwammberger, Christoph Sommer, Andreas Vogelsang, Andreas Wortmann. With the increasing complexity of CPSs, their behavior and decisions become ...

... Maike Schwammberger Graeme Smith University of Oldenburg, Germany University of Queensland, Australia. Steering. Committee. Erika Ábrahám Wolfgang Ahrendt ...

This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th...

27 Dokumente

von M Schwammberger · · Zitiert von: 9 — From Specification Models to Explanation Models: An Extraction and Refinement Process for Timed Automata. Authors:Maike Schwammberger ( ... von M Schwammberger · · Zitiert von: 9 — From Specification Models to Explanation Models: An Extraction and Refinement Process for Timed Automata. Authors:Maike Schwammberger ( ...

Maike Schwammberger startet Ende als Juniorprofes-sorin an der KIT Fakultät für Informatik und baut eine For-schungsgruppe im Themenbereich Modellierung und Ana-lyse im Mobility Software Engineering auf. Nachdem sie Mathematik, Kunst und Medien und Informatik an der Universität Oldenburg studierte, promovierte sie ab in der ...

Authors: Maike Schwammberger (University of Oldenburg). (Submitted on 12 Apr 2018). Abstract: With Multi-lane Spatial Logic (MLSL) a powerful approach to ...

WebLuedtke, Alexander Pretschner, Astrid Rakow, Jochem Rieger, Daniel Sonntag, Janos Sztipanovits, Maike Schwammberger, Mark Schweda, Alexander Trende, Anirudh Unni, …

25 Wissenschaftliche Publikationen

Professorin Dr. Maike Schwammberger, KASTEL - Institut für Informationssicherheit und Verlässlichkeit, Am Fasanengarten 5, Karlsruhe. Professorin Dr. Maike Schwammberger, KASTEL - Institut für Informationssicherheit und Verlässlichkeit, Am Fasanengarten 5, Karlsruhe.

von M Schwammberger · · Zitiert von: 29 — ... overlay panel. Maike Schwammberger. Show more. Add to Mendeley. Share. Cite. https://doi.org j.tcs Get rights and content. von M Schwammberger · · Zitiert von: 29 — ... overlay panel. Maike Schwammberger. Show more. Add to Mendeley. Share. Cite. https://doi.org j.tcs Get rights and content.

List of computer science publications by Maike Schwammberger

Text & Bild erstellt von Maike Schwammberger unter http://www.informatik.uni-oldenburg.de/~iug/sicher.html

5 Allgemeine Veröffentlichungen

Martin Hilscher (15); Maike Schwammberger · - oldenburg.de (15). Author Affiliations Department of ...

A Quest of Self-Explainability: When Causal Diagrams meet. Autonomous Urban Traffic Manoeuvres. Dr. Maike Schwammberger @RE4ES' September ›

— by Maike Schwammberger, et al Automated Vehicles (AVs) are rapidly maturing in the transportation domain. However, the complexity of the AV — by Maike Schwammberger, et al Automated Vehicles (AVs) are rapidly maturing in the transportation domain. However, the complexity of the AV ...

Maike Schwammberger · Verena Klös · View · Towards a ... Maike Schwammberger. Urban Multi-lane Spatial Logic ... Maike Schwammberger · Verena Klös · View · Towards a ... Maike Schwammberger. Urban Multi-lane Spatial Logic ...

35 Video- & Audioinhalte

Inaugural Lecture / Antrittsvorlesung Jun.-Prof. Maike Schwammberger. KITinformatik•723 views · 1:02:18 · Go to channel · 3. eezi-Vorlesung WS

4:37 · Go to channel · Short Inaugural Lecture / Antrittsvorlesung: Jun.-Prof. Maike Schwammberger and Prof. André Platzer. KITinformatik•

Maike Schwammberger and Prof. André Platzer. KITinformatik•228 views · 24:44. Go to channel · Inaugural Lecture / Antrittsvorlesung Jun ...

... Antrittsvorlesungen Jun-Prof. Maike Schwammberger and Prof. André Platzer. KITinformatik•206 views · 3:50:19 · Go to channel · Wolfram Physics ...

5 Meinungen & Artikel

: Maike Schwammberger ... DarkVamp joa, von mir aus doch die

beim 7. Jahrestreffen des Strategiedialogs #Automobilwirtschaft SDA BW. Mit dabei war auch unsere Professorin Maike Schwammberger und ... beim 7. Jahrestreffen des Strategiedialogs #Automobilwirtschaft SDA BW. Mit dabei war auch unsere Professorin Maike Schwammberger und ...

Maike Schwammberger [log in to unmask], Karlsruhe Institute of Technology, Germany. To unsubscribe from the FACS-EVENTS list, click the following link: https ... Maike Schwammberger [log in to unmask], Karlsruhe Institute of Technology, Germany. To unsubscribe from the FACS-EVENTS list, click the following link: https ...

– Uhr. Warum hast du das getan? Wie Autonome Roboter sich selbst erklären können. Jun.-Prof. Dr. Maike Schwammberger, KASTEL - Institut für – Uhr. Warum hast du das getan? Wie Autonome Roboter sich selbst erklären können. Jun.-Prof. Dr. Maike Schwammberger, KASTEL - Institut für ...

118 Webfunde aus dem Netz

Maike Schwammberger's Post ... I can second that, it was a great Seminar at Schloss Dagstuhl with so many great thoughts and people there! View ... Maike Schwammberger's Post ... I can second that, it was a great Seminar at Schloss Dagstuhl with so many great thoughts and people there! View ...

... Maike Schwammberger https://lnkd.in/dxTWTYrx Paper registration deadline: 1st of March, Paper submission deadline: 5th of March,

... Maike Schwammberger. 'Advances in Formal Methods for Autonomous Systems' will showcase the advances of formal methods for autonomous systems ...

Maike Schwammberger's Post ... Great news: We have extended the submission deadline of the fifth workshop on Formal Methods for Autonomous Systems ...

Maike Schwammberger's Post. View profile for Maike Schwammberger · Maike Schwammberger. Junior Professor | Modelling and Analysing the Intelligent Mobility of ...

Maike Schwammberger's Post. View profile for Maike Schwammberger · Maike Schwammberger. Junior Professor | Modelling and Analysing the ...

Maike Schwammberger's Post. View profile for Maike Schwammberger. Maike Schwammberger. Junior Professor | Modelling and Analysing the ...

Maike Schwammberger's Post. View profile for Maike Schwammberger. Maike Schwammberger. Junior Professor | Modelling and Analysing the ...

Maike Schwammberger's Post. View profile for Maike Schwammberger. Maike Schwammberger. Junior Professor | Modelling and Analysing the ...

Maike Schwammberger's Post. View profile for Maike Schwammberger. Maike Schwammberger. Junior Professor | Modelling and Analysing the ...

Maike Schwammberger's Post. View profile for Maike Schwammberger. Maike Schwammberger. Junior Professor | Modelling and Analysing the ...

Maike Schwammberger. Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres Albert Rizaldi. Formal Verification of Autonomous Vehicles: An Isabelle ... › site › home

Maike Schwammberger. Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres Albert Rizaldi. Formal Verification of Autonomous Vehicles: An Isabelle ...

Maike Schwammberger. Junior Professor, Karlsruhe Institute of Technology, Germany. Verified email at kit.edu - Homepage · real-time systems ... Maike Schwammberger. Junior Professor, Karlsruhe Institute of Technology, Germany. Verified email at kit.edu - Homepage · real-time systems ...

Articles by Maike Schwammberger on Muck Rack. Find Maike Schwammberger's email address, contact information, LinkedIn, Twitter, other social media and more. Articles by Maike Schwammberger on Muck Rack. Find Maike Schwammberger's email address, contact information, LinkedIn, Twitter, other social media and more.

Maike Schwammberger, With an exceptional h-index of 8 and a recent h-index of 6 (since 2020), a distinguished researcher at Carl von Ossietzky Universität ... Maike Schwammberger, With an exceptional h-index of 8 and a recent h-index of 6 (since 2020), a distinguished researcher at Carl von Ossietzky Universität ...

Web3 thg 2, · Applied Formal Methods. Gruppe: Juniorprof. maike schwammberger ∂ kit edu. KASTEL Institut. Am Fasanengarten Karlsruhe. Das Young Investigator …

IEEE Softw | Journal article. DOI: MS Contributors: Judith Michael and Maike Schwammberger and Andreas Wortmann. IEEE Softw | Journal article. DOI: MS Contributors: Judith Michael and Maike Schwammberger and Andreas Wortmann.

WebM. Schwammberger, "Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL" in Proc. Proceedings 2nd International Workshop on Safe …

› socps › personen › dr-maike-schwamm...