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 161-170 von 181
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 17 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)
161
49GBVUOB_ALMA21236814840003501
49GBVUOB_ALMA21236814840003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236814840003501
Artikel
Interval constraint solving using propositional SAT solving techniques
von
Martin Fränzle ; Christian Herde ; Stefan Ratschan ; Tobias Schubert ; Tino Teige
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Herde, Christian
Teige, Tino
Fränzle, Martin ([1998-])
Enthalten in:
Principles and practice of constraint programming Berlin, 2006 S. 81 - 95
Sprache:
Englisch
162
49GBVUOB_ALMA21236182660003501
49GBVUOB_ALMA21236182660003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236182660003501
Artikel
Test automation for hybrid systems
von
Bahareh Badban ; Martin Fränzle ; Jan Peleska ; Tino Teige
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Fränzle, Martin ([1998-])
Teige, Tino
Badban, Bahareh ([2006-2007])
Enthalten in:
Proceedings of the 3rd International Workshop on Software Quality Assurance New York, N.Y., 2006 S. 14 - 21
Sprache:
Englisch
>> Volltext
163
49GBVUOB_ALMA21236840610003501
49GBVUOB_ALMA21236840610003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236840610003501
Artikel
An optimal approach to the task allocation problem on hierarchical architectures
von
Alexander Metzner ; Martin Fränzle ; Christian Herde ; Ingo Stierand
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Fränzle, Martin ([1998-])
Herde, Christian
Stierand, Ingo ([1998-])
Metzner, Alexander ([1995-])
Enthalten in:
Proceedings of the 20th IEEE International Parallel and Distributed Processing Symposium Los Alamitos, Calif. [u.a.], 2006 8 S. <8>
Sprache:
Englisch
>> Volltext
164
49GBVUOB_ALMA21236705860003501
49GBVUOB_ALMA21236705860003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236705860003501
Artikel
Bounded model construction for duration calculus
von
Jacob Enslev ; Anne-Sofie Nielsen ; Martin Fränzle ; Michael R. Hansen
2005
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Fränzle, Martin ([1998-])
Hansen, Michael R. ([-1994])
Enthalten in:
Proceedings of the 17th Nordic Workshop Programming Theory Neil Jones ..., eds., 2005
Sprache:
Englisch
165
49GBVUOB_ALMA21236693100003501
49GBVUOB_ALMA21236693100003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236693100003501
Artikel
Automatic and scalable verification of robust real-time systems
von
Martin Fränzle ; Mani Swaminathan
2005
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Swaminathan, Mani ([2005-])
Fränzle, Martin ([1998-])
Enthalten in:
Proceedings of the 17th Nordic Workshop on Programming Theory 2005 S.
Sprache:
Englisch
166
49GBVUOB_ALMA21236694670003501
49GBVUOB_ALMA21236694670003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236694670003501
Artikel
Efficient engines for bounded model checking of hybrid systems
von
Martin Fränzle ; Christian Herde
2005
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Herde, Christian
Fränzle, Martin ([1998-])
Enthalten in:
Formal methods in system design (2005), S.
Sprache:
Englisch
167
49GBVUOB_ALMA21236703710003501
49GBVUOB_ALMA21236703710003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236703710003501
Artikel
Scheduling distributed real-time systems by satisfiability checking
von
Alexander Metzner ; Martin Fränzle ; Christian Herde ; Ingo Stierand
2005
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Fränzle, Martin ([1998-])
Herde, Christian
Stierand, Ingo ([1998-])
Metzner, Alexander ([1995-])
Enthalten in:
Proceedings of the IEEE Conference on Embedded and Real-Time Computing Systems and Applications 2005 S. 409 - 415
Sprache:
Englisch
>> Volltext
168
49GBVUOB_ALMA21236386230003501
49GBVUOB_ALMA21236386230003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236386230003501
Artikel
A robust interpretation of duration calculus
von
Martin Fränzle ; Michael R. Hansen
2004
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Hansen, Michael R. ([-1994])
Fränzle, Martin ([1998-])
Enthalten in:
Nordic Workshop on Programming Theory (NWPT) 2004 2004 3 S. <3>
Sprache:
Englisch
>> Volltext
169
49GBVUOB_ALMA21236778670003501
49GBVUOB_ALMA21236778670003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236778670003501
Artikel
Bounded model checking and inductive verification of hybrid discrete-continuous systems
von
Bernd Becker ; Markus Behle ; Fritz Eisenbrand ; Martin Fränzle ; Marc Herbstritt ; Christian Herde ; Joerg Hoffmann ; Daniel Kröning ; Bernhard Nebel ; Ilia Polian ; Ralf Wimmer
2004
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Fränzle, Martin ([1998-])
Herde, Christian
Enthalten in:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Aachen, 2004 S. 65 - 75
Sprache:
Englisch
>> Volltext
170
49GBVUOB_ALMA21236385080003501
49GBVUOB_ALMA21236385080003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236385080003501
Artikel
Efficient proof engines for bounded model checking of hybrid systems
von
Martin Fränzle ; Christian Herde
2004
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Herde, Christian
Fränzle, Martin ([1998-])
Enthalten in:
International Workshop on Formal Methods for Industrial Critical Systems (FMICS) 2004 18 S. <18>
Sprache:
Englisch
>> Volltext
Seite 17 von 19