Fränzle, Martin
Martin Fränzle Dr. rer. nat. Christian-Albrechts-Universität zu Kiel 1997
Fränzle, Martin, 1964-
VIAF ID: 3701147665819160670001 ( Personal )
Permalink: http://viaf.org/viaf/3701147665819160670001
Preferred Forms
- 100 1 _ ‡a Fränzle, Martin
-
- 100 1 _ ‡a Fränzle, Martin
-
-
- 100 0 _ ‡a Martin Fränzle ‡c Dr. rer. nat. Christian-Albrechts-Universität zu Kiel 1997
4xx's: Alternate Name Forms (1)
5xx's: Related Names (2)
- 510 2 _ ‡a Carl von Ossietzky Universität Oldenburg ‡b Department für Informatik ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Christian-Albrechts-Universität zu Kiel ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
Adaptive Information Expectancy Model for the Simulation of Attention of a Cognitive Driver Model | |
Advancing software model-checking by SMT interpolation beyond decidable arithmetic theories : an approach to verify safety properties in embedded and hybrid system models | |
Affine Encodings for Optimal Monitoring of Temporal Properties under Uncertain Observation | |
Anwendungsmodellierung und Performanz-Abschätzung gemischt-kritischer eingebetteter Systeme | |
Application modelling and performance estimation of mixed-critical embedded systems | |
An automated semantic-based approach for creating task structures | |
Automatisierte Stabilitätsverifikation mit Lyapunov-Funktionen | |
Bahnplanungsframework für ein autonomes Fahrzeug | |
Bewertung von Simulationszuständen für eine gezielte Analyse risikoreicher Systeme | |
Controller design from temporal logic: undecidability need not matter | |
Dependable Software Engineering: Theories, Tools, and Applications : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings | |
Direct handling of ordinary differential equations in constraint-solving-based analysis of hybrid systems | |
Direkte Behandlung gewöhnlicher Differentialgleichungen in erfüllbarkeitsbasierter Analyse hybrider Systeme | |
Driver Modeling and Simulation of Lane Change Situations : Influence of Different Rear View Mirror Types on Gap Acceptance Behavior | |
Effiziente Integration von Hardwarebeschreibungen in Simulink/TDF-Simulationen | |
Evaluation of simulation states for a targeted analysis of risky systems | |
Fahrermodellierung und Simulation von Spurwechselsituationen : Einfluss von unterschiedlichen Rückspiegeltypen auf das Lückenakzeptanzverhalten. | |
Formal Modeling and Analysis of Timed Systems, [2016]: | |
Geometrie-Voraussagende Kommunikationsprotokolle für Car2X Anwendungen | |
Geometry-predicting communication protocols for car2X applications | |
Menschmodellierung für adaptive Straßenfahrzeuge | |
Multi-formalism in different levels of abstraction for requirements engineering and architectural design of real-time embedded systems | |
Nichtlineare modellbasierte prädiktive Regelung für Trajektorie-Verfolgung und Kollision Vermeidung von Oberflächenschiffen | |
Nonlinear model predictive control for trajectory tracking and collision avoidance of surface vessels | |
Process-driven risk analysis for evalation of maritime operations | |
Prozessgetriebene Risikoanalyse zur Bewertung maritimer Operationen | |
Quantitative und strukturelle Analyse von Realzeit- und probabilistischen Systemen | |
semantikbasierter Ansatz zur automatisierten Erzeugung von Task-Strukturen | |
Simulation-based assessment of sensor-processing units | |
Simulative Überprüfung von Sensordatenverarbeitungssystemen | |
Statistical Model Checking using guided simulation in context of model-based development of safety-critical driver assistance systems | |
Statistisches Model Checking mittels geführter Simulation im Kontext modellbasierter Entwicklung sicherheitskritischer Fahrerassistenzsysteme | |
Stochastic modelling of driver behaviour in road traffic | |
Stochastic satisfiability modulo theories : a symbolic technique for the analysis of probabilistic hybrid systems | |
Stochastische Modellerstellung für das Verhalten von Fahrern im Straßenverkehr | |
Verifikation von stochastischen Systemen durch Satisfiability Modulo Theory mit kontinuierlichem Domain (CSSMT) |