Detail page

Knowledge Web

Person

Martin Fränzle

Informatiker

Name	Martin Fränzle
Place	Deutschland
Gender	männlich
Academic degree	Prof. Dr.
Profession	Informatiker (characteristic profession)
Variant	Martin Georg Fränzle
Related	Christian-Albrechts-Universität zu Kiel (1983-1997) Carl von Ossietzky Universität Oldenburg. Department für Informatik
Further information	Professor am Department für Informatik der Carl von Ossietzky Universität Oldenburg und Leiter der Abteilung Hybride Systeme
Source	Homepage: https://uol.de/hs/mitarbeiterinnen-und-mitarbeiter/prof-dr-martin-fraenzle (Stand: 13.04.2020)
Record type	Person
GND-Identifier	1209157535
Record ID	1209157535
Involved in show all An integrated environment for modeling and deploying Digital Twins Verification of Neural Networks Containing Non-Linear Activation Functions Contract-based specification of mode-dependent timing behavior Globally Accurate Locally Inaccurate (GALI): On the Combination of Time-Triggered Architectures with Instruction Accurate Simulators for the Analysis of System Behavior Menschmodellierung für adaptive Straßenfahrzeuge Affine Encodings for Optimal Monitoring of Temporal Properties under Uncertain Observation Phase transition in the bipartite z-matching Self-Verification - Verification of Embedded Systems after Deployment Indecision and delays are the parents of failure—taming them algorithmically by synthesizing delay-resilient control Editorial Multi-formalism in different levels of abstraction for requirements engineering and architectural design of real-time embedded systems Statistisches Model Checking mittels geführter Simulation im Kontext modellbasierter Entwicklung sicherheitskritischer Fahrerassistenzsysteme Application modelling and performance estimation of mixed-critical embedded systems Automatic stability verification via Lyapunov functions: representations, transformations, and practical issues Costs and rewards in priced timed automata Geometry-predicting communication protocols for car2X applications Nonlinear model predictive control for trajectory tracking and collision avoidance of surface vessels Advancing software model-checking by SMT interpolation beyond decidable arithmetic theories : an approach to verify safety properties in embedded and hybrid system models Driver Modeling and Simulation of Lane Change Situations : Influence of Different Rear View Mirror Types on Gap Acceptance Behavior Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain (CSSMT) Bewertung von Simulationszuständen für eine gezielte Analyse risikoreicher Systeme Dependable Software Engineering: Theories, Tools, and Applications : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings Dependable Software Engineering: Theories, Tools, and Applications : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings Formal Modeling and Analysis of Timed Systems : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings Quantitative and structural analysis of real-time and probabilistic systems Simulative Überprüfung von Sensordatenverarbeitungssystemen Prozessgetriebene Risikoanalyse zur Bewertung maritimer Operationen Das Adaptive-Information-Expectancy-Modell zur Aufmerksamkeitssimulation eines kognitiven Fahrermodells Direct handling of ordinary differential equations in constraint-solving-based analysis of hybrid systems Effiziente Integration von Hardwarebeschreibungen in Simulink/TDF-Simulationen Stochastische Modellerstellung für das Verhalten von Fahrern im Straßenverkehr An automated semantic-based approach for creating task structures Bahnplanungsframework für ein autonomes Fahrzeug Stochastic satisfiability modulo theories : a symbolic technique for the analysis of probabilistic hybrid systems Controller design from temporal logic: undecidability need not matter

Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

Katalog der Deutschen Nationalbibliothek

Martin Fränzle

An integrated environment for modeling and deploying Digital Twins

Verification of Neural Networks Containing Non-Linear Activation Functions

Contract-based specification of mode-dependent timing behavior

Globally Accurate Locally Inaccurate (GALI): On the Combination of Time-Triggered Architectures with Instruction Accurate Simulators for the Analysis of System Behavior

Menschmodellierung für adaptive Straßenfahrzeuge

Affine Encodings for Optimal Monitoring of Temporal Properties under Uncertain Observation

Phase transition in the bipartite z-matching

Self-Verification - Verification of Embedded Systems after Deployment

Indecision and delays are the parents of failure—taming them algorithmically by synthesizing delay-resilient control

Editorial

Multi-formalism in different levels of abstraction for requirements engineering and architectural design of real-time embedded systems

Statistisches Model Checking mittels geführter Simulation im Kontext modellbasierter Entwicklung sicherheitskritischer Fahrerassistenzsysteme

Application modelling and performance estimation of mixed-critical embedded systems

Automatic stability verification via Lyapunov functions: representations, transformations, and practical issues

Costs and rewards in priced timed automata

Geometry-predicting communication protocols for car2X applications

Nonlinear model predictive control for trajectory tracking and collision avoidance of surface vessels

Advancing software model-checking by SMT interpolation beyond decidable arithmetic theories : an approach to verify safety properties in embedded and hybrid system models

Driver Modeling and Simulation of Lane Change Situations : Influence of Different Rear View Mirror Types on Gap Acceptance Behavior

Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain (CSSMT)

Bewertung von Simulationszuständen für eine gezielte Analyse risikoreicher Systeme

Dependable Software Engineering: Theories, Tools, and Applications : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

Dependable Software Engineering: Theories, Tools, and Applications : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

Formal Modeling and Analysis of Timed Systems : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Quantitative and structural analysis of real-time and probabilistic systems

Simulative Überprüfung von Sensordatenverarbeitungssystemen

Prozessgetriebene Risikoanalyse zur Bewertung maritimer Operationen

Das Adaptive-Information-Expectancy-Modell zur Aufmerksamkeitssimulation eines kognitiven Fahrermodells

Direct handling of ordinary differential equations in constraint-solving-based analysis of hybrid systems

Effiziente Integration von Hardwarebeschreibungen in Simulink/TDF-Simulationen

Stochastische Modellerstellung für das Verhalten von Fahrern im Straßenverkehr

An automated semantic-based approach for creating task structures

Bahnplanungsframework für ein autonomes Fahrzeug

Stochastic satisfiability modulo theories : a symbolic technique for the analysis of probabilistic hybrid systems

Controller design from temporal logic: undecidability need not matter