212 Infos zu Maike Schwammberger
Mehr erfahren über Maike Schwammberger
Lebt in
- Karlsruhe
Infos zu
- University of Oldenburg
- Formal
- Christoph
- Informatik
- Model
- Autonomous Urban Traffic
- Traffic Manoeuvres
- Martin Hilscher
7 Aktuelle Nachrichten
Visitenkarte "Maike Schwammberger"Stud.IP Uni OldenburgVisitenkarte "Maike Schwammberger". Maike Schwammberger. · Alle Veranstaltungen anzeigen · Impressum · Support · Stud. Visitenkarte "Maike Schwammberger". Maike Schwammberger. · Alle Veranstaltungen anzeigen · Impressum · Support · Stud.
Visitenkarte - Alle Veranstaltungen für "Maike Schwammberger"Stud.IP Uni OldenburgAktuelle Lehrveranstaltungen für Maike Schwammberger · Sommersemester · Sommersemester · Sommersemester · Wintersemester · Sommersemester ... Aktuelle Lehrveranstaltungen für Maike Schwammberger · Sommersemester · Sommersemester · Sommersemester · Wintersemester · Sommersemester ...
Mitteilungen zu Maike Schwammberger - Carl von Ossietzky …Web19 thg 1, · Hell-/Dunkelmodus Light mode / Dark mode. SystemstandardSystem standard HellLight DunkelDark. Info und Anleitung Info and instruction
AFMAS : Science of Computer Programming special ...WikiCFPMaike Schwammberger, Karlsruhe Institute of Technology Please, find more details including directions for submission at https://www.sciencedirect.com ... Maike Schwammberger, Karlsruhe Institute of Technology Please, find more details including directions for submission at https://www.sciencedirect.com ...
16 Profile in Sozialen Netzwerken
LinkedIn: Maike Schwammberger – Research And Teaching Assistant ...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 ...
LinkedIn: de.linkedin.com... Maike Schwammberger. 'Advances in Formal Methods for Autonomous Systems' will showcase the advances of formal methods for autonomous systems ...
LinkedIn: de.linkedin.comBeitrag von Maike Schwammberger. Profil für Maike Schwammberger anzeigen. Maike Schwammberger.
Twitter Profil: FMASWorkshopX · FmasWorkshop510+ FollowerWorkshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher Tweets by ... Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher Tweets by ...
2 Business-Profile
Maike Schwammberger Karlsruhe Institute of TechnologyResearchGateMaike SCHWAMMBERGER, Juniorprofessor | Cited by 132 | of Karlsruhe Institute of Technology, Karlsruhe (KIT) | Read 24 publications | Contact Maike ... Maike SCHWAMMBERGER, Juniorprofessor | Cited by 132 | of Karlsruhe Institute of Technology, Karlsruhe (KIT) | Read 24 publications | Contact Maike ...
Poster: Towards Explaining the Effects of Contextual ...von S Jha — Maike Schwammberger, Christoph Sommer, Andreas Vogelsang, and Andreas. Wortmann Towards self-explainable cyber-physical systems. › IOT2021_poste...
3 Firmen-Mitarbeiter
Louise Dennis: PublicationsThe University of ManchesterDennis 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 ...
Advising Autonomous Cars about the Rules of the Roadvon 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...
Unterschriften - Scientists 4 FutureScientists for Future - die Stellungnahme, Infomaterial, Klimawandel - Argumente, Regionalgruppen, thematische Arbeitsgruppen, Empfehlungen
2 Persönliche Webseiten
Maike Schwammberger, M.Sc. // University of OldenburgWebEmbed -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
ACM Transactions on Cyber-Physical SystemsScholars Portal JournalsMaike 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.
Systems and Control authors/titles Sep UniZarAuthors: Maike Schwammberger (University of Oldenburg). Comments: In Proceedings FVAV 2017, arXiv: Journal-ref: EPTCS 257, 2017, pp
2 Projekte
DEMO4 - AMASE2RCInnovationsCampus Mobilität der Zukunft (ICM)... Maike Schwammberger. By appearing at events such as Girls Day, we can reach female prospective students in particular and thus help ensure that the Maike Schwammberger. By appearing at events such as Girls Day, we can reach female prospective students in particular and thus help ensure that the ...
18 Bücher zum Namen
Maike SchwammbergerFigshareUsage 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 ...
Mathias BlumreiterPapers With Code... 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 ...
Integrated Formal Methods: 17th International Conference, ...google.com... Maike Schwammberger Graeme Smith University of Oldenburg, Germany University of Queensland, Australia. Steering. Committee. Erika Ábrahám Wolfgang Ahrendt ...
Models, Algorithms, Logics and Tools: Essays Dedicated to ...google.com... Maike Schwammberger Author Index Formal Languages and Automata ...
24 Dokumente
An Extraction and Refinement Process for Timed AutomataarXivvon M Schwammberger · · Zitiert von: 6 — From Specification Models to Explanation Models: An Extraction and Refinement Process for Timed Automata. Authors:Maike Schwammberger ( ... von M Schwammberger · · Zitiert von: 6 — From Specification Models to Explanation Models: An Extraction and Refinement Process for Timed Automata. Authors:Maike Schwammberger ( ...
Jun.-Prof. Dr. Maike Schwammberger // Modellierung und …WebMaike Schwammberger startet Ende als Juniorprofes-sorin an der KIT Fakultät für Informatik und baut eine For-schungsgruppe im Themenbereich Modellierung und Ana …
Imperfect Knowledge in Autonomous Urban Traffic ...arXivvon M Schwammberger · · Zitiert von: 9 — Title:Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres. Authors:Maike Schwammberger (University of Oldenburg). View a PDF of the ... von M Schwammberger · · Zitiert von: 9 — Title:Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres. Authors:Maike Schwammberger (University of Oldenburg). View a PDF of the ...
A Reference Architecture of Human Cyber-Physical Systems Part …WebLuedtke, Alexander Pretschner, Astrid Rakow, Jochem Rieger, Daniel Sonntag, Janos Sztipanovits, Maike Schwammberger, Mark Schweda, Alexander Trende, Anirudh Unni, …
20 Wissenschaftliche Publikationen
An abstract model for proving safety of autonomous urban ...ScienceDirect.comvon 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.
Nachwuchsgruppen und Juniorprofessuren | ICMWebJun.-Prof. Dr. rer. nat. Maike Schwammberger . Die Arbeitsgruppe beschäftigt sich mit logischen und diagrammbasierten Modellen und Analyse-Verfahren im Bereich des …
Science of Computer Programming | Article collectionsScienceDirect.comAdvances in Formal Methods for Autonomous Systems. Guest editors: Matt Luckcuck, Marie Farrell, Mario Gleirscher, Maike Schwammberger - Submission deadline: Advances in Formal Methods for Autonomous Systems. Guest editors: Matt Luckcuck, Marie Farrell, Mario Gleirscher, Maike Schwammberger - Submission deadline:
Organization | ExenWebMaike Schwammberger finished her doctoral studies at Carl von Ossietzky University of Oldenburg within the field of modeling and verification of autonomous traffic maneuvers. …
5 Allgemeine Veröffentlichungen
Integrating Formal Verification and Simulation-based ...DeepAI— 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 ...
Verification of Fair Controllers for Urban Traffic ...ResearchGateMaike 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 ...
A Quest of Self-ExplainabilityLeibniz Universität Hannover— ... A Quest of Self-Explainability: — When Causal Diagrams meet,Autonomous Urban Traffic Manoeuvres. Dr. Maike Schwammberger @RE4ES' — ... A Quest of Self-Explainability: — When Causal Diagrams meet,Autonomous Urban Traffic Manoeuvres. Dr. Maike Schwammberger @RE4ES'21.
An Abstract Model for Proving Safety of Autonomous Urban Traffic |...Martin Hilscher (15); Maike Schwammberger · - oldenburg.de (15). Author Affiliations Department of ...
12 Video- & Audioinhalte
Die Google-GenerationYouTube · KITinformatik410+ Aufrufe · vor 12 JahrenComments ; Inaugural Lecture / Antrittsvorlesung Jun.-Prof. Maike Schwammberger · 692 views ; Mit Daniel Richter | Das Buch meines Lebens mit ...
Ergänzungsfach im Informatik Bachelor StudiumYouTube · KITinformatik200+ Aufrufe · vor 1 JahrMaike Schwammberger and Prof. André Platzer. KITinformatik•186 views · 4:37 · Go to channel · Short Inaugural Lecture / Antrittsvorlesung: Jun ...
Full inaugural lectures / Antrittsvorlesungen Jun-Prof. Maike ...YouTube · KITinformatik190+ Aufrufe · vor 4 Monaten... Maike Schwammberger und Alexander-von-Humboldt-Professor André Platzer feierlich am Karlsruher Institut für Technologie (KIT) begrüßt und ...
Inaugural Lecture / Antrittsvorlesung Jun.-Prof. Maike ...YouTube · KITinformatik700+ Aufrufe · vor 4 MonatenInaugural Lecture by junior professor Maike Schwammberger at Karlsruhe Institute of Technology (KIT). In her inaugural lecture, ...
4 Meinungen & Artikel
FACS-EVENTS ArchivesJISCMailMaike 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 ...
Forum MINT – Vortragsprogramm auf der ...Vocatium– 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 ...
Google Groups: [DarkVamp Rundmail 26] Re: Wahl: Maike Schwammberger ... DarkVamp joa, von mir aus doch die
Twitter-Nachrichten: FMASWorkshop on Twitter: "#NewPaper Extending Urban ...— #NewPaper Extending Urban Multi-Lane Spatial Logic to Formalise Road Junction Rules by Maike Schwammberger &. › status
94 Webfunde aus dem Netz
Maike SchwammbergerGoogle ScholarMaike 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 ...
Maike Schwammberger | University of Oldenburg | CUFinerCUFinderMaike Schwammberger, University of Oldenburg | Cited by 170 | Carl von Ossietzky Universität Oldenburg | Contact Maike Schwammberger. Maike Schwammberger, University of Oldenburg | Cited by 170 | Carl von Ossietzky Universität Oldenburg | Contact Maike Schwammberger.
KIT - YIN - Wir sind YIN - Maike SchwammbergerWeb3 thg 2, · Applied Formal Methods. Gruppe: Juniorprof. maike schwammberger ∂ kit edu. KASTEL Institut. Am Fasanengarten Karlsruhe. Das Young Investigator …
Maike Schwammberger ( )ORCIDIEEE 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.
Jun.-Prof. Dr. Maike Schwammberger // Universität OldenburgWebM. Schwammberger, "Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL" in Proc. Proceedings 2nd International Workshop on Safe …
KIT - TeamWebModellierung und Analyse im Mobility Software Engineering. Jun.-Prof. Dr. Maike Schwammberger. schwammberger ∂ kit edu. Am Fasanengarten Karlsruhe.
Autonome Autos: Sicher, Lebendig und Fair?! - KlarText BlogWeb2 thg 6, · Maike Schwammberger hat an der Carl von Ossietzky Universität Oldenburg Informatik, Mathematik und Kunst und Medien studiert. Schon in ihrer Masterarbeit hat …
KCIST Das Zentrum - KCIST MitgliederWebJun.-Prof. Dr. Maike Schwammberger. schwammberger ∂ does-not-exist. kit edu; Homepage
KIT – Fakultät für Informatik – Forschung - ForschungsgruppenWebJun.-Prof. Dr. Maike Schwammberger. PDF: Intelligente Systemsicherheit. T.-T.-Prof. Dr. Christian Wressnegger. PDF
Towards a Digital Highway Code using Formal Modelling and …WebGleifer Vaz Alves, Maike Schwammberger 79 Life Sequence Charts (LSCs) [9], thus also capable of describing dynamic system behaviour. An advan-tage of our approach, in …
Von sicheren Fahrzeugen und neuem Wind für die ForschungWeb28 thg 6, · Forschungsgruppe Prof. Maike Schwammberger. Mit einem einfachen „Moin!“ begrüßte Prof. Holger Hanselka, Präsident des Karlsruher Instituts für …
A Vision on What Explanations of Autonomous Systems are of ...Research Explorer The University of Manchestervon M Schwammberger · — A Vision on What Explanations of Autonomous Systems are of Interest to Lawyers. Miriam c. Buiten, Louise a. Dennis, Maike Schwammberger. Autonomy and ... von M Schwammberger · — A Vision on What Explanations of Autonomous Systems are of Interest to Lawyers. Miriam c. Buiten, Louise a. Dennis, Maike Schwammberger. Autonomy and ...
Committees · iFM 2023Universiteit LeidenMaike Schwammberger (Karlsruhe Institute of Technology, Germany). Publicity Chair. Alfons Laarman (LIACS, Leiden University, The Netherland). iFM Program ... Maike Schwammberger (Karlsruhe Institute of Technology, Germany). Publicity Chair. Alfons Laarman (LIACS, Leiden University, The Netherland). iFM Program ...
Dagstuhl-Seminar : Integrated Rigorous Analysis in ...dagstuhl.deMaike Schwammberger (KIT - Karlsruher Institut für Technologie, DE) [dblp]; William Earl Scott III (ScubaTx - Newcatle upon Tyne, GB & Newcastle University ... Maike Schwammberger (KIT - Karlsruher Institut für Technologie, DE) [dblp]; William Earl Scott III (ScubaTx - Newcatle upon Tyne, GB & Newcastle University ...
ETAPS Extended Stay Support Scheme (ESSS)etaps 2024Karlsruhe Institute of Technology, Karlsruhe Contact: Bernhard Beckert, Andre Platzer, Ina Schaefer, Maike Schwammberger. How To Apply? For applying as a ... Karlsruhe Institute of Technology, Karlsruhe Contact: Bernhard Beckert, Andre Platzer, Ina Schaefer, Maike Schwammberger. How To Apply? For applying as a ...
Explaining Cyberphysical System Behavior With Digital ...IEEE Computer Societyvon J Michael · · Zitiert von: 1 — Maike Schwammberger is an assistant professor at Karlsruhe Institute of Technology, Karlsruhe, Germany. Her research interests include the ... von J Michael · · Zitiert von: 1 — Maike Schwammberger is an assistant professor at Karlsruhe Institute of Technology, Karlsruhe, Germany. Her research interests include the ...
Find and explore academic papersConnected PapersMaike Schwammberger, G. V. Alves , FMAS. Proving properties of autonomous car manoeuvres in urban traffic. Maike Schwammberger , it - Information ... Maike Schwammberger, G. V. Alves , FMAS. Proving properties of autonomous car manoeuvres in urban traffic. Maike Schwammberger , it - Information ...
Maike SchwammbergerThe Mathematics Genealogy ProjectMaike Schwammberger. Dr. rer. nat. Carl-von-Ossietzky-Universität Oldenburg Germany. Dissertation: Mathematics Subject Classification: 68—Computer ... Maike Schwammberger. Dr. rer. nat. Carl-von-Ossietzky-Universität Oldenburg Germany. Dissertation: Mathematics Subject Classification: 68—Computer ...
Program Committee Awards | 26th European Conference ...European Conference on Artificial Intelligence ECAI 2023Maike Schwammberger Swaprava Nath François Durand Jordi Coll Caballero Vasco Manquinho Arianna Novaro Nardine Osman Alexandre Niveau Stéphanie Roussel Maike Schwammberger Swaprava Nath François Durand Jordi Coll Caballero Vasco Manquinho Arianna Novaro Nardine Osman Alexandre Niveau Stéphanie Roussel
ProgramEasyChairMaike Schwammberger and Christopher Bischopink. Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections (abstract). 12:00. Keith Clark ... Maike Schwammberger and Christopher Bischopink. Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections (abstract). 12:00. Keith Clark ...
Bedeutung zum Vornamen Maike
Weiblicher Vorname (Deutsch, Niederdeutsch, Friesisch): Maike; Verbitterung (?); Hebräisch (Altes Testament); mirjam = die Bitterkeit, die Verbitterung (Aramäisch); mry = der Geliebte (Ägyptisch); als Name der Mutter Jesu Symbol für reine und tiefe Liebe; Bedeutung nicht sicher geklärt; eine Möglichkeit: 'Verbitterung'; eine andere Möglichkeit ist ein ägyptischer Ursprung und eine Ableitung von 'mry' (die/der Geliebte, im Sinne von: die, welche geliebt wird/der, welcher geliebt wird); 'Maria' ist die griechische/lateinische Ursprungs-Form, 'Mirjam' die ältere aramäische/hebräische; wohl der am weitesten verbreitete christliche weibliche Name
Verwandte Personensuchen
- Martin Hilscher
- Christoph Sommer
- Mark Schweda
- Andreas Vogelsang
- Mathias Blumreiter
- Verena Klös
- Ernst-Rüdiger Olderog
- Michael Lübke
- Mario Gleirscher
- Graeme Smith
- Florian Hinz
Personensuche zu Maike Schwammberger & mehr
Die Personensuchmaschine Namenfinden.de ist die neue Personensuche für Deutschland, die Profile, Kontaktdaten, Bilder, Dokumente und Webseiten zu Maike Schwammberger und vielen weiteren Namen aus öffentlich zugänglichen Quellen im Internet anzeigt.