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 41-50 von 88
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 5 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)
41
49GBVUOB_ALMA71190872420003501
49GBVUOB_ALMA71190872420003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71190872420003501
Artikel
Verification of object-oriented programs : a transformational approach
von
Krzysztof R. Apt ; Frank S. de Boer ; Ernst-Rüdiger Olderog
2012
Details anzeigen
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://www.sciencedirect.com/science/article/pii/S002200001100081X
Enthalten in:
Journal of computer and system sciences San Diego, Calif. [u.a.] : Elsevier, 1967 78(2012), 3 vom: Mai, Seite 823-852
Sprache:
Englisch
42
49GBVUOB_ALMA51214019650003501
49GBVUOB_ALMA51214019650003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51214019650003501
Artikel
Syspect : modelling, specifying, and verifying real-time systems with rich data
von
Johannes Faber ; Sven Linker ; Ernst-Rüdiger Olderog ; Jan-David Quesel
2011
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Linker, Sven
Olderog, Ernst-Rüdiger
Quesel, Jan-David ([2007-])
Faber, Johannes ([2004-])
Enthalten in:
International Journal of Software and Informatics Beijing : Institute of Software, the Chinese Academy of Sciences, 2007 Bd. 5.2011, 1/2, Part 1, S. 117-137 Online-Ressource
Sprache:
Englisch
>> Volltext
43
49GBVUOB_ALMA71168460800003501
49GBVUOB_ALMA71168460800003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71168460800003501
Artikel
An abstract model for proving safety of multi-lane traffic manoeuvres
von
Martin Hilscher ; Sven Linker ; Ernst-Rüdiger Olderog
2011
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Hilscher, Martin ([2008-])
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://www.springerlink.com/content/l7260174v852/#section=976692&page=1&locus=0
Enthalten in:
Formal methods and software engineering Berlin : Springer, 2011 (2011), Seite 404-419 XIV, 670 S.
Sprache:
Englisch
44
49GBVUOB_ALMA21152515200003501
49GBVUOB_ALMA21152515200003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21152515200003501
Artikel
Explicit fair scheduling for dynamic control
von
Ernst-Rüdiger Olderog ; Andreas Podelski
2010
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Olderog, Ernst-Rüdiger
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://www.springerlink.com/content/l47456w424h9x583/fulltext.pdf
Enthalten in:
Concurrency, compositionality, and correctness Berlin : Springer, 2010 (2010), Seite 96-117 X, 375 S.
Sprache:
Englisch
45
49GBVUOB_ALMA21169496590003501
49GBVUOB_ALMA21169496590003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21169496590003501
Artikel
Layered composition for timed automata
von
Ernst-Rüdiger Olderog ; Mani Swaminathan
2010
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Swaminathan, Mani ([2005-])
Olderog, Ernst-Rüdiger
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://www.springerlink.com/content/l251312k78l774p2/fulltext.pdf
Enthalten in:
Formal modeling and analysis of timed systems Berlin : Springer, 2010 (2010), Seite 228-242 X, 255 S.
Sprache:
Englisch
46
49GBVUOB_ALMA21149865750003501
49GBVUOB_ALMA21149865750003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21149865750003501
Artikel
Diagrammatic specification and verification of mobile real-time systems
von
Sven Linker
2010
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Olderog, Ernst-Rüdiger
Linker, Sven
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://www.algosyn.rwth-aachen.de/GK%20Workshop/Dagstuhl2010.pdf
Enthalten in:
Proceedings of the Joint Workshop of the German Training Groups in Computer Science Aachen : Mainz, 2010 (2010), Seite 53 213 S.
Sprache:
Englisch
47
49GBVUOB_ALMA21161672630003501
49GBVUOB_ALMA21161672630003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21161672630003501
Artikel
Fairness for dynamic control
von
Jochen Hoenicke ; Ernst-Rüdiger Olderog ; Andreas Podelski
2010
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Olderog, Ernst-Rüdiger
Hoenicke, Jochen ([-2006])
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://www.springerlink.com/content/v34814r25t810827/fulltext.pdf
Enthalten in:
Tools and algorithms for the construction and analysis of systems Berlin : Springer, 2010 (2010), Seite 251-265 XVI, 468 S.
Sprache:
Englisch
48
49GBVUOB_ALMA21154236880003501
49GBVUOB_ALMA21154236880003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21154236880003501
Artikel
Kleene, Rabin, and Scott are available
von
Jochen Hoenicke ; Roland Meyer ; Ernst-Rüdiger Olderog
2010
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Meyer, Roland ([2005-2009])
Olderog, Ernst-Rüdiger
Hoenicke, Jochen ([-2006])
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://www.springerlink.com/content/gq497lr282t22064/fulltext.pdf
Enthalten in:
CONCUR 2010 - concurrency theory Berlin : Springer, 2010 (2010), Seite 462-477 XIII, 600 S.
Sprache:
Englisch
49
49GBVUOB_ALMA71173487810003501
49GBVUOB_ALMA71173487810003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71173487810003501
Artikel
Automata-theoretic verification based on counterexample specification
von
Ernst-Rüdiger Olderog ; Roland Meyer
2009
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Olderog, Ernst-Rüdiger
Enthalten in:
Informatik als Dialog zwischen Theorie und Anwendung 1. Aufl. Wiesbaden : Vieweg + Teubner Research, 2009 (2009), Seite 217-225 XI, 250 S.
Sprache:
Englisch
50
49GBVUOB_ALMA21151812090003501
49GBVUOB_ALMA21151812090003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21151812090003501
Artikel
Vertrauenswürdige Software-Systeme
von
Ernst-Rüdiger Olderog
2009
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Olderog, Ernst-Rüdiger
Enthalten in:
Proceedings des gemeinsamen Workshops der Informatik-Graduiertenkollegs und Forschungskollegs Berlin : GITO-Verl., 2009 (2009), Seite 29-30 227 S
Sprache:
Deutsch
Seite 5 von 9