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 141-150 von 181
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 15 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 (3)
Eingebettetes System (3)
Fahrerassistenzsystem (1)
Faktor Mensch (1)
Formale Methode (2)
Hybrides System (3)
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 (2)
Stochastischer Automat (1)
Störungstheorie (1)
Verifikation (3)
Zeitbehafteter Automat (3)
Zeitdiskretes System (2)
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)
141
49GBVUOB_ALMA21178310990003501
49GBVUOB_ALMA21178310990003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21178310990003501
Artikel
Application of constraint solving and ODE-enclosure methods to the analysis of hybrid systems
von
Andreas Eggers ; Martin Fränzle ; Christian Herde
2009
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Fränzle, Martin ([1998-])
Herde, Christian
Eggers, Andreas
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://www.avacs.org/Publikationen/Open/eggers.icnaam09.pdf
Enthalten in:
Numerical analysis and applied mathematics ; Vol. 2 Melville, NY : American Inst. of Physics, 2009 (2009), Seite 1326-1330 XXX S., S. 575 - 1612, 9 S.
Sprache:
Englisch
142
49GBVUOB_ALMA21181753850003501
49GBVUOB_ALMA21181753850003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21181753850003501
Datenträger
DeSCAS - formale Ontologien zur Verwebung von interdisziplinären Entwicklungsprozessen : ein Prozessmodell für die Entwicklung sicherheitskritischer Fahrerassistenzsysteme im Automobilbereich
von
Jan Gačnik ; Henning Jost ; Frank Köster ; J. Rataj ; K. Lemmer ; Werner Damm ; Martin Fränzle ; E. Schnieder
2009
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Jost, Henning ([2006-])
Köster, Frank ([2016-])
Damm, Werner
Fränzle, Martin ([1998-])
Umfang:
12.
Enthalten in:
Automation 2009 Düsseldorf : VDI-Verl., 2009 2009, insges. 12 S. 1 CD-ROM
Sprache:
Deutsch
143
49GBVUOB_ALMA21236827110003501
49GBVUOB_ALMA21236827110003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236827110003501
Artikel
Hybrid discrete-continuous systems
von
Martin Fränzle ; Andreas Eggers ; Christian Herde ; Tino Teige
2009
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Eggers, Andreas
Herde, Christian
Teige, Tino
Fränzle, Martin ([1998-])
Enthalten in:
Modern computational science 09 Oldenburg, 2009 S. 363 - 378
Sprache:
Englisch
144
49GBVUOB_ALMA21182787550003501
49GBVUOB_ALMA21182787550003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21182787550003501
Artikel
Engineering constraint solvers for the analysis of hybrid systems : [abstract]
von
Martin Fränzle
2008
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Fränzle, Martin ([1998-])
Enthalten in:
Abstracts Tallinn, 2008 (2008), Seite 9 106 S.
Sprache:
Englisch
145
49GBVUOB_ALMA21236405840003501
49GBVUOB_ALMA21236405840003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236405840003501
Artikel
Efficient model checking for duration calculus based on branching-time approximations
von
Martin Fränzle ; Michael R. Hansen
2008
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Hansen, Michael R. ([-1994])
Fränzle, Martin ([1998-])
Enthalten in:
6th IEEE International Conference on Software Engineering and Formal Methods Los Alamitos, Calif., 2008 S. 63 - 72
Sprache:
Englisch
146
49GBVUOB_ALMA21236389690003501
49GBVUOB_ALMA21236389690003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236389690003501
Artikel
The surprising robustness of (closed) timed automata against clock-drift
von
Mani Swaminathan ; Martin Fränzle ; Joost-Pieter Katoen
2008
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Fränzle, Martin ([1998-])
Swaminathan, Mani ([2005-])
Enthalten in:
Fifth IFIP International Conference on Theoretical Computer Science New York, 2008 S. 537 - 553
Sprache:
Englisch
>> Volltext
147
49GBVUOB_ALMA21236408340003501
49GBVUOB_ALMA21236408340003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236408340003501
Artikel
Stochastic satisfiability modulo theory : a novel technique for the analysis of probabilistic hybrid systems
von
Martin Fränzle ; H. Hermanns ; Tino Teige
2008
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Teige, Tino
Fränzle, Martin ([1998-])
Enthalten in:
Hybrid systems: computation and control ; 11th international workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008 ; proceedings Berlin [u.a.], 2008 S. 172 - 186
Sprache:
Englisch
148
49GBVUOB_ALMA21236404950003501
49GBVUOB_ALMA21236404950003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236404950003501
Artikel
Stochastic satisfiability modulo theories for nonlinear arithmetic
von
Tino Teige ; Martin Fränzle
2008
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Fränzle, Martin ([1998-])
Teige, Tino
Enthalten in:
Integration of AI and OR techniques in constraint programming for combinatorial optimization problems Berlin [u.a.]: Springer, 2008 S. 248 - 262
Sprache:
Englisch
149
49GBVUOB_ALMA21236408900003501
49GBVUOB_ALMA21236408900003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236408900003501
Artikel
Stochastic satisfiability modulo theory
von
Martin Fränzle ; H. Hermanns ; Tino Teige
2008
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Teige, Tino
Fränzle, Martin ([1998-])
Enthalten in:
Pre-proceedings of the ETAPS 2008 Sixth Workhop on Quantitative Aspects of Programming Languages 2008 S. 1 - 4
Sprache:
Deutsch
150
49GBVUOB_ALMA21236394050003501
49GBVUOB_ALMA21236394050003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236394050003501
Artikel
SAT modulo ODE : a direct SAT approach to hybrid systems
von
Andreas Eggers ; Martin Fränzle ; Christian Herde
2008
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Fränzle, Martin ([1998-])
Herde, Christian
Eggers, Andreas
Enthalten in:
Automated technology for verification and analysis Berlin [u.a.], 2008 S. 171 - 185
Sprache:
Englisch
Seite 15 von 19