Zum Inhalt springen

Fränzle, Martin [VerfasserIn]

Controller design from temporal logic: undecidability need not matter

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Kiel: Inst. für Informatik und Praktische Mathematik, 1997

Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9710
Teige, Tino [VerfasserIn] ; Fränzle, Martin [AkademischeR BetreuerIn]

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

Online ansehen
Schließen

Zugang

https://d-nb.info/1026725305/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oldenburg: IBIT - Universitätsbibliothek, 2012
Fränzle, Martin [VerfasserIn]

Affine encodings for optimal monitoring of temporal properties under uncertain observation

Online ansehen
Schließen

Zugang

Zugang und weitere Informationen zur Ressource

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Hannover: Gottfried Wilhelm Leibniz Universität Hannover, 2022 ; Hannover: Technische Informationsbibliothek (TIB), 2022
Seyyedi, Razi [VerfasserIn] ; Nebel, Wolfgang [AkademischeR BetreuerIn]; Fränzle, Martin [AkademischeR BetreuerIn]

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

Online ansehen
Schließen

Zugang

https://d-nb.info/1293490296/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oldenburg: BIS der Universität Oldenburg, 2023
Trende, Alexander [VerfasserIn] ; Fränzle, Martin [AkademischeR BetreuerIn]; Rieger, Jochem [AkademischeR BetreuerIn]

Menschmodellierung für adaptive Straßenfahrzeuge

Online ansehen
Schließen

Zugang

https://d-nb.info/1298104629/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oldenburg: BIS der Universität Oldenburg, 2023
Puch, Stefan [VerfasserIn] ; Fränzle, Martin [AkademischeR BetreuerIn]; Hahn, Axel [AkademischeR BetreuerIn]

Statistisches Model Checking mittels geführter Simulation im Kontext modellbasierter Entwicklung sicherheitskritischer Fahrerassistenzsysteme

Online ansehen
Schließen

Zugang

https://d-nb.info/119840017X/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oldenburg: BIS der Universität Oldenburg, 2019
Ittershagen, Philipp [VerfasserIn] ; Nebel, Wolfgang [AkademischeR BetreuerIn]; Fränzle, Martin [AkademischeR BetreuerIn]

Application modelling and performance estimation of mixed-critical embedded systems

Online ansehen
Schließen

Zugang

https://d-nb.info/1174303700/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oldenburg: BIS der Universität Oldenburg, 2018
Möhlmann, Eike [VerfasserIn] ; Theel, Oliver [AkademischeR BetreuerIn]; Fränzle, Martin [AkademischeR BetreuerIn]

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

Online ansehen
Schließen

Zugang

https://d-nb.info/1199537357/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oldenburg: BIS der Universität Oldenburg, 2018
Weber, Lars [VerfasserIn] ; Möbus, Claus [AkademischeR BetreuerIn]; Fränzle, Martin [AkademischeR BetreuerIn]

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

Online ansehen
Schließen

Zugang

https://d-nb.info/1152005251/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oldenburg: BIS der Universität Oldenburg, 2017
Khan, Saifullah [VerfasserIn] ; Fränzle, Martin [AkademischeR BetreuerIn]; Uhlemann, Elisabeth [AkademischeR BetreuerIn]

Geometry-predicting communication protocols for car2X applications

Online ansehen
Schließen

Zugang

https://d-nb.info/1161845593/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oldenburg: BIS der Universität Oldenburg, 2018
Gao, Yang [VerfasserIn] ; Fränzle, Martin [AkademischeR BetreuerIn]; Zuliani, Paolo [AkademischeR BetreuerIn]

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

Online ansehen
Schließen

Zugang

https://d-nb.info/1147559287/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oldenburg: BIS der Universität Oldenburg, 2017
Gollücke, Volker [VerfasserIn] ; Hahn, Axel [AkademischeR BetreuerIn]; Fränzle, Martin [AkademischeR BetreuerIn]

Bewertung von Simulationszuständen für eine gezielte Analyse risikoreicher Systeme

Online ansehen
Schließen

Zugang

https://d-nb.info/112830791X/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oldenburg: BIS der Universität Oldenburg, 2016
Schweigert, Sören [VerfasserIn] ; Hahn, Axel [AkademischeR BetreuerIn]; Fränzle, Martin [AkademischeR BetreuerIn]

Simulative Überprüfung von Sensordatenverarbeitungssystemen

Online ansehen
Schließen

Zugang

https://d-nb.info/1135382840/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oldenburg: BIS der Universität Oldenburg, 2016
Eggers, Andreas [VerfasserIn] ; Fränzle, Martin [AkademischeR BetreuerIn]; Ramdani, Nacim [AkademischeR BetreuerIn]

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

Online ansehen
Schließen

Zugang

https://d-nb.info/1056999748/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oldenburg: BIS der Universität Oldenburg, 2014
Görgen, Ralph [VerfasserIn] ; Nebel, Wolfgang [AkademischeR BetreuerIn]; Fränzle, Martin [AkademischeR BetreuerIn]

Effiziente Integration von Hardwarebeschreibungen in Simulink/TDF-Simulationen

Online ansehen
Schließen

Zugang

https://d-nb.info/1049782011/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oldenburg: BIS der Universität Oldenburg, 2014
Pinkowski, Jan [VerfasserIn] ; Hahn, Axel [AkademischeR BetreuerIn]; Fränzle, Martin [AkademischeR BetreuerIn]

Prozessgetriebene Risikoanalyse zur Bewertung maritimer Operationen

Online ansehen
Schließen

Zugang

https://d-nb.info/1080298177/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oldenburg: BIS der Universität Oldenburg, 2015
Langner, Michael [VerfasserIn] ; Peinke, Joachim [AkademischeR BetreuerIn]; Fränzle, Martin [AkademischeR BetreuerIn]

Stochastische Modellerstellung für das Verhalten von Fahrern im Straßenverkehr

Online ansehen
Schließen

Zugang

https://d-nb.info/1059237296/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oldenburg: BIS der Universität Oldenburg, 2014
Wortelen, Bertram [VerfasserIn] ; Möbus, Claus [AkademischeR BetreuerIn]; Fränzle, Martin [AkademischeR BetreuerIn]

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

Online ansehen
Schließen

Zugang

https://d-nb.info/1060480891/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oldenburg: BIS der Universität Oldenburg, 2014
Büker, Matthias [VerfasserIn] ; Damm, Werner [AkademischeR BetreuerIn]; Fränzle, Martin [AkademischeR BetreuerIn]

An automated semantic-based approach for creating task structures

Online ansehen
Schließen

Zugang

https://d-nb.info/1048590321/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oldenburg: BIS der Universität Oldenburg, 2013
Ring, Martin [VerfasserIn] ; Lüth, Christoph [AkademischeR BetreuerIn]; Fränzle, Martin [AkademischeR BetreuerIn] Universität Bremen

Self-Verification : verification of embedded systems after deployment

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Bremen, [2021]

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr