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) = '
Olderog, Ernst-Rüdiger ((DE-588)136626890)
'
Treffer 31-40 von 88
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 4 von 9
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:
Artificial intelligence (1)
Autonomes Fahrzeug (2)
Computer logic (1)
Computer programs (2)
Computer software (1)
Computer software Verification (1)
Echtzeitsystem (2)
Eingebettetes System (1)
Entscheidbarkeit (1)
Fault-tolerant computing (1)
Fehlertoleranz (1)
Formale Methode (1)
Formale Semantik (1)
Formale Spezifikationstechnik (1)
Hoare-Logik (1)
Microprogramming (1)
Model Checking (2)
Petri-Netz (1)
Programmiersprache (1)
Programmverifikation (4)
Real-time data processing (2)
Software engineering (1)
Softwareentwicklung (1)
Special purpose computers (1)
Stadtverkehr (2)
Synthese (1)
Temporale Logik (2)
Typisierung (1)
Unentscheidbarkeit (1)
Verifikation (1)
Verkehrssicherheit (1)
Verteiltes System (1)
Zeitschrift (1)
informatik (1)
nach Person:
Apt, Krzysztof R (6)
Baer, Alexander (1)
Basin, David (2)
Becker, Bernd (1)
Bischopink, Christopher (1)
Bochmann, Gregor von (2)
Boer, Frank S. de (4)
Bowen, Jonathan P (1)
Broy, Manfred (1)
Damm, Werner (6)
Dierks, Henning (4)
Engelmann, Björn (3)
Faber, Johannes (1)
Finkbeiner, Bernd (11)
Fischer, Clemens (1)
Flick, Nils Erik (1)
Fränzle, Martin (4)
Gieseking, Manuel (12)
Gouw, Stijn de (1)
Grabowski, V (1)
Hannibal, Paul (1)
Hansen, Michael R (1)
Hecking-Harbusch, Jesko (7)
Hilscher, Martin (4)
Hinchey, Mike (1)
Hoenicke, Jochen (4)
Hungar, Hardi (2)
Katoen, Joost-Pieter (1)
Kleuker, Cheryl (1)
Kleuker, Stephan (1)
Krieg-Brückner, Bernd (1)
Kröger, Paul (1)
Larsen, Kim Guldstrand (2)
Linker, Sven (6)
Meyer, Roland (3)
Mikschl, Alfred (1)
Möller, Michael (2)
Müllner, Nils Henning (1)
Ody, Heinrich (1)
Oehlerking, Jens (1)
Olderog, Ernst-Rüdiger (88)
Pang, Jun (1)
Peleska, Jan (1)
Platzer, André (1)
Podelski, Andreas (3)
Quesel, Jan-David (1)
Rasch, Holger (2)
Ravn, A.P (1)
Ravn, Anders P (2)
Schenke, Michael (1)
Schwammberger, Maike (3)
Segelken, Marc (1)
Sevinc, Paul E (1)
Sevinç, Paul E (1)
Sonderforschungsbereich Transregio 14 Automatische Verifikation und Analyse Komplexer Systeme (1)
Steffen, Bernhard (3)
Swaminathan, Mani (3)
Theel, Oliver (2)
Wehrheim, Heike (5)
Wilhelm, Rainer (1)
Wilhelm, Reinhard (1)
Wirtz, Boris (1)
Wisniewski, R (1)
Wisniewski, Rafael (1)
Würdemann, Nick (2)
Yi, Wang (2)
nach Medientyp:
Artikel (74)
Bücher (9)
E-Books (8)
Lehrbücher (2)
Zeitschriften (1)
Medienkombinationen (1)
Reihe (1)
31
49GBVUOB_ALMA71172589350003501
49GBVUOB_ALMA71172589350003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71172589350003501
Artikel
Synthesizing controller for multi-lane traffic maneuvers
von
Gregor von Bochmann ; Martin Hilscher ; Sven Linker ; Ernst-Rüdiger Olderog
2015
Details anzeigen
Enthalten in:
Dependable software engineering Cham [u.a.] : Springer, 2015 (2015), Seite 71-86 XIX, 315 S.
Sprache:
Englisch
32
49GBVUOB_ALMA51219794760003501
49GBVUOB_ALMA51219794760003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51219794760003501
Artikel
ADAM : causality-based synthesis of distributed systems
von
Bernd Finkbeiner ; Manuel Gieseking ; Ernst-Rüdiger Olderog
2015
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Gieseking, Manuel
Olderog, Ernst-Rüdiger
Enthalten in:
Computer Aided Verification Cham [u.a.] : Springer, 2015 (2015), Seite 433-439 Online-Ressource (XXIII, 677 p. 141 illus, online resource)
Sprache:
Englisch
>> Volltext
33
49GBVUOB_ALMA51219757240003501
49GBVUOB_ALMA51219757240003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51219757240003501
E-Book
AVACS technical report: Synthesizing and verifying controllers for multi-lane traffic maneuvers
von
Gregor von Bochmann ; Martin Hilscher ; Sven Linker ; Ernst-Rüdiger Olderog
Oktober 2015
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Hilscher, Martin ([2008-])
Linker, Sven
Olderog, Ernst-Rüdiger
Verlag:
Oldenburg: Sonderforschungsbereich/Transregio 14 AVACS Automatic Verification and Analysis of Complex Systems
Umfang:
1 Online-Ressource (22 Seiten) Diagramme.
Übergeordnetes Werk:
AVACS technical report
Verknüpfte Titel:
AVACS technical report ; 109
Sprache:
Englisch
>> Volltext
34
49GBVUOB_ALMA51218433280003501
49GBVUOB_ALMA51218433280003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51218433280003501
Artikel
Petri games : synthesis of distributed systems with causal memory
von
Bernd Finkbeiner ; Ernst-Rüdiger Olderog
2014
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Olderog, Ernst-Rüdiger
Enthalten in:
Electronic proceedings in theoretical computer science Sydney : NICTA, 2008 161(2014), Seite 217-230
Sprache:
Englisch
>> Volltext
35
49GBVUOB_ALMA51218516980003501
49GBVUOB_ALMA51218516980003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51218516980003501
Artikel
Von Petri-Spielen zu endlichen Automaten
von
Ernst-Rüdiger Olderog
2014
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Olderog, Ernst-Rüdiger
Enthalten in:
Informatik 2014 Bonn : Gesellschaft für Informatik, 2014 (2014), Seite 2209
Sprache:
Englisch
>> Volltext
36
49GBVUOB_ALMA71147200640003501
49GBVUOB_ALMA71147200640003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71147200640003501
Artikel
Structural transformations for data-enriched real-time systems
von
Ernst-Rüdiger Olderog ; Mani Swaminathan
2013
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Olderog, Ernst-Rüdiger
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://dx.doi.org/10.1007/978-3-642-38613-8_26
Enthalten in:
Integrated formal methods Berlin : Springer, 2013 (2013), Seite 378-393 XIII, 442 S
Sprache:
Englisch
37
49GBVUOB_ALMA51217202150003501
49GBVUOB_ALMA51217202150003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51217202150003501
Artikel
Proving safety of traffic manoeuvres on country roads
von
Martin Hilscher ; Sven Linker ; Ernst-Rüdiger Olderog
2013
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Linker, Sven
Olderog, Ernst-Rüdiger
Hilscher, Martin ([2008-])
Enthalten in:
Liu, Zhiming Theories of Programming and Formal Methods Berlin, Heidelberg : Springer, 2013 (2013), Seite 196-212 Online-Ressource (XII, 413 p. 86 illus, online resource)
Sprache:
Englisch
>> Volltext
38
49GBVUOB_ALMA71169601190003501
49GBVUOB_ALMA71169601190003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71169601190003501
Artikel
Turing und die Verifikation
von
Ernst-Rüdiger Olderog ; Rainer Wilhelm
2012
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Olderog, Ernst-Rüdiger
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://link.springer.com/article/10.1007%2Fs00287-012-0627-2
Enthalten in:
Informatik-Spektrum Berlin : Springer, 1978 35(2012), 4, Seite 271-279
Sprache:
Deutsch
39
49GBVUOB_ALMA71166688890003501
49GBVUOB_ALMA71166688890003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71166688890003501
Artikel
Automatic verification of real-time systems with rich data : an overview
von
Ernst-Rüdiger Olderog
2012
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Olderog, Ernst-Rüdiger
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://link.springer.com/chapter/10.1007/978-3-642-29952-0_14
Enthalten in:
Theory and applications of models of computation Berlin : Springer, 2012 (2012), Seite 84-93 XV, 622 S.
Sprache:
Englisch
40
49GBVUOB_ALMA71161129310003501
49GBVUOB_ALMA71161129310003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71161129310003501
Artikel
Layered reasoning for randomized distributed algorithms
von
Mani Swaminathan ; Joost-Pieter Katoen ; Ernst-Rüdiger Olderog
2012
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Swaminathan, Mani ([2005-])
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://link.springer.com/article/10.1007/s00165-012-0231-x
Enthalten in:
Formal aspects of computing London : Springer, 1989 24(2012), 4/6, Seite 477-496
Sprache:
Englisch
Seite 4 von 9