Suche in der Hochschulbibliografie
Fakultät / Sonst. Einrichtungen
Keine Eingrenzung
Fakultät I - Bildungs- und Sozialwissenschaften
Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften
Fakultät III - Sprach- und Kulturwissenschaften
Fakultät IV - Human- und Gesellschaftswissenschaften
Fakultät V - Mathematik und Naturwissenschaften
Fakultät VI - Medizin und Gesundheitswissenschaften
Sonstige Einrichtungen
Institut / Einrichtungen
Keine Eingrenzung
Fach / AG / Einrichtung
Keine Eingrenzung
Jahr
Titel
Person
Suchen
Suche nach:
Person (Universität Oldenburg) = '
Fränzle, Martin ((DE-588)1209157535)
'
Treffer 111-120 von 181
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 12 von 19
Alle Titel auf dieser Seite auswählen
Ausgewählte Titel exportieren
Alle Titel exportieren
:
[ Export-Format auswählen ]
EndNote Web
EndNote
RIS
BibTeX
MS Excel
COinS
OK
Alle Details anzeigen
Ergebnisse eingrenzen
nach Schlagwort:
Algorithmus (1)
Application software (1)
Architektur (1)
Assistenzsystem (1)
Autonomes Fahrzeug (2)
Computer logic (1)
Computer science (1)
Computers (1)
Computersimulation (1)
Echtzeitsystem (2)
Eingebettetes System (3)
Fahrerassistenzsystem (1)
Faktor Mensch (1)
Formale Methode (1)
Hybrides System (2)
Kollisionsschutz (1)
Ljapunov-Stabilitätstheorie (1)
Machine theory (1)
Mathematical logic (1)
Mensch-Maschine-Kommunikation (1)
Model Checking (1)
Modellierung (1)
Nebenläufigkeit (1)
Nichtlineare modellprädiktive Regelung (1)
Optimierungsproblem (1)
Preis (1)
Programmierparadigma (1)
Requirements engineering (1)
Sicherheitskritisches System (1)
Simulation (1)
Software engineering (1)
Spezifikation (1)
Stochastischer Automat (1)
Störungstheorie (1)
Verifikation (2)
Zeitbehafteter Automat (2)
Zeitdiskretes System (1)
Zeitgesteuertes System (1)
nach Person:
Abate, Alessandro (4)
Abdelaal, Mohamed (4)
Alam, Muhammad (2)
Austel, Benedikt (2)
Becker, Bernd (7)
Bengler, Klaus (4)
Biebl, Bianca (6)
Bienmüller, Tom (2)
Bolles, André (2)
Böde, Eckard (6)
Büker, Matthias (5)
Chen, Mingshuai (6)
Damm, Werner (17)
Dorff, Sebastian vom (2)
Easwaran, Arvind (2)
Eggers, Andreas (9)
Ehmen, Günter (3)
Feng, Shenghua (2)
Fränzle, Martin (181)
Gao, Yang (4)
Gerwinn, Sebastian (8)
Gezgin, Tayfun (2)
Grüttner, Kim (4)
Hagemann, Willem (8)
Hahn, Axel (6)
Hahn, Ernst Moritz (2)
Hansen, Michael R (7)
Held, Moritz (3)
Herde, Christian (17)
Hermanns, H (2)
Hess, David (3)
Hungar, Hardi (3)
Ihme, Klas (3)
Ittershagen, Philipp (2)
Josko, Bernhard (2)
Jost, Henning (2)
Kacianka, Severin (4)
Kapur, Deepak (2)
Katoen, Joost-Pieter (3)
Kerscher, Alyssa J (3)
Khan, Saifullah (3)
Kneissl, Maximilian (2)
Koopmann, Björn (5)
Kramer, Birte (4)
Krefting, Ina (3)
Kröger, Janis (3)
Kröger, Paul (12)
Kuka, Christian (2)
Köster, Frank (3)
Lehnhoff, Sebastian (4)
Li, Yangjia (3)
Luedtke, Andreas (2)
Lüdtke, Andreas (7)
Lüth, Karsten (2)
Mahdi, Ahmed (5)
Markey, Nicolas (2)
Metzner, Alexander (3)
Moradkhani, Farzaneh (2)
Mosaad, Peter N (3)
Mosaad, Peter Nazier (4)
Möhlmann, Eike (2)
Müller-Olm, Markus (2)
Müllner, Nils Henning (3)
Nebel, Wolfgang (2)
Neubauer, Felix (3)
Neurohr, Christian (2)
Ody, Heinrich (2)
Olderog, Ernst-Rüdiger (4)
Poppen, Frank (2)
Pretschner, Alexander (3)
Pretschner, Walter Alexander (3)
Puch, Stefan (5)
Rakow, Astrid (6)
Ratschan, Stefan (2)
Rettberg, Achim (3)
Rieger, Jochem (12)
Sauter, Gerald (2)
Scheibler, Karsten (3)
Schubert, Tobias (3)
Schwammberger, Maike (3)
Schweda, Mark (3)
Shirmohammadi, Mahsa (2)
Siegel, Michael (2)
Sonntag, Daniel (3)
Stierand, Ingo (6)
Swaminathan, Mani (7)
Sztipanovits, Janos (5)
Tabassam, Nadra (2)
Teige, Tino (18)
Theel, Oliver (5)
Trende, Alexander (11)
Unni, Anirudh (9)
Veith, Eric M. S. P (3)
Wang, Qiuye (3)
Wang, Shuling (2)
Weber, Lars (3)
Worrell, James (2)
Xue, Bai (19)
Zhan, Naijun (21)
Zou, Liang (2)
nach Medientyp:
Artikel (163)
E-Books (14)
Bücher (7)
Datenträger (1)
Reihe (1)
111
49GBVUOB_ALMA51219894530003501
49GBVUOB_ALMA51219894530003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51219894530003501
Artikel
Formal verification of simulink/stateflow diagrams
von
Liang Zou ; Naijun Zhan ; Shuling Wang ; Martin Fränzle
2015
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Fränzle, Martin ([1998-])
Enthalten in:
Automated Technology for Verification and Analysis 1st ed. 2015 Cham : Springer, 2015 (2015), Seite 464-481 Online-Ressource (XIII, 520 p. 96 illus, online resource)
Sprache:
Englisch
>> Volltext
112
49GBVUOB_ALMA51219858130003501
49GBVUOB_ALMA51219858130003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51219858130003501
Artikel
Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods
von
Andreas Eggers ; Nacim Ramdani ; Nedialko S. Nedialkov ; Martin Fränzle
2015
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Fränzle, Martin ([1998-])
Eggers, Andreas
Enthalten in:
Software and systems modeling Berlin : Springer, 2002 14(2015), 1, Seite 121-148 Online-Ressource
Sprache:
Englisch
>> Volltext
113
49GBVUOB_ALMA51219882540003501
49GBVUOB_ALMA51219882540003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51219882540003501
Artikel
A solving procedure for stochastic satisfiability modulo theories with continuous domain
von
Yang Gao ; Martin Fränzle
2015
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Fränzle, Martin ([1998-])
Gao, Yang
Enthalten in:
Quantitative Evaluation of Systems 1st ed. 2015 Cham [u.a.] : Springer, 2015 (2015), Seite 295-311 Online-Ressource (XVI, 329 p. 99 illus, online resource)
Sprache:
Englisch
>> Volltext
114
49GBVUOB_ALMA51219871270003501
49GBVUOB_ALMA51219871270003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51219871270003501
Artikel
Multi-objective parameter synthesis in probabilistic hybrid systems
von
Martin Fränzle ; Sebastian Gerwinn ; Paul Kröger ; Alessandro Abate ; Joost-Pieter Katoen
2015
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Gerwinn, Sebastian
Kröger, Paul
Fränzle, Martin ([1998-])
Enthalten in:
Formal Modeling and Analysis of Timed Systems 1st ed. 2015 Cham [u.a.] : Springer, 2015 (2015), Seite 93-107 Online-Ressource (X, 321 p. 90 illus, online resource)
Sprache:
Englisch
>> Volltext
115
49GBVUOB_ALMA51219897760003501
49GBVUOB_ALMA51219897760003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51219897760003501
Artikel
State-based real-time analysis of SDF applications on MPSoCs with shared communication resources
von
Maher Ali Fakih ; Kim Grüttner ; Martin Fränzle ; Achim Rettberg
2015
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Grüttner, Kim
Fränzle, Martin ([1998-])
Rettberg, Achim ([2008-])
Fakih, Maher Ali
Enthalten in:
Journal of systems architecture Amsterdam : Elsevier, 1996 61(2015), 9, Seite 486-509 Online-Ressource
Sprache:
Englisch
>> Volltext
116
49GBVUOB_ALMA51219751090003501
49GBVUOB_ALMA51219751090003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51219751090003501
Artikel
No need knowing numerous neighbours : towards a realizable interpretation of MLSL
von
Martin Fränzle ; Michael R. Hansen ; Heinrich Ody
2015
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Hansen, Michael R. ([-1994])
Ody, Heinrich
Fränzle, Martin ([1998-])
Enthalten in:
Correct System Design 1st ed. 2015 Cham : Springer, 2015 (2015), Seite 152-171 Online-Ressource (XII, 279 p. 69 illus, online resource)
Sprache:
Englisch
>> Volltext
117
49GBVUOB_ALMA51218399900003501
49GBVUOB_ALMA51218399900003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51218399900003501
Artikel
Generalized Craig interpolation for stochastic satisfiability modulo theory problems
von
Ahmed Mahdi ; Martin Fränzle
2014
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Fränzle, Martin ([1998-])
Mahdi, Ahmed ([2013-])
Enthalten in:
Ouaknine, Joe͏̈l Reachability Problems Cham [u.a.] : Springer, 2014 (2014), Seite 203-215 Online-Ressource (XX, 246 p. 59 illus, online resource)
Sprache:
Englisch
>> Volltext
118
49GBVUOB_ALMA51218411120003501
49GBVUOB_ALMA51218411120003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51218411120003501
Artikel
Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains
von
Christian Ellen ; Sebastian Gerwinn ; Martin Fränzle
2014
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Gerwinn, Sebastian
Fränzle, Martin ([1998-])
Ellen, Christian
Umfang:
20.
Weitere Angaben:
Published online: 03 August 2014
Enthalten in:
International journal on software tools for technology transfer Berlin : Springer, 1997 2014 (Aug.), insges. 20 S. Online-Ressource
Sprache:
Englisch
>> Volltext
119
49GBVUOB_ALMA51218433710003501
49GBVUOB_ALMA51218433710003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51218433710003501
Artikel
Transformations for compositional verification of assumption-commitment properties
von
Ahmed Mahdi ; Bernd Westphal ; Martin Fränzle
2014
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Westphal, Bernd
Fränzle, Martin ([1998-])
Mahdi, Ahmed ([2013-])
Enthalten in:
Ouaknine, Joe͏̈l Reachability Problems Cham [u.a.] : Springer, 2014 (2014), Seite 216-229 Online-Ressource (XX, 246 p. 59 illus, online resource)
Sprache:
Englisch
>> Volltext
120
49GBVUOB_ALMA51217173450003501
49GBVUOB_ALMA51217173450003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51217173450003501
Artikel
Preface
von
Martin Fränzle ; Antonios Tsourdos
2013
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Fränzle, Martin ([1998-])
Enthalten in:
Electronic notes in theoretical computer science Amsterdam [u.a.] : Elsevier Science, 1995 297(2013), Seite 1-2 Online-Ressource
Sprache:
Englisch
>> Volltext
Seite 12 von 19