Suche in der Hochschulbibliografie

Suche nach: Person = 'Dierks, Henning'

Treffer 11-20 von 31

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

11
49GBVUOB_ALMA2123666982000350149GBVUOB_ALMA21236669820003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236669820003501
Artikel
Finding optimal plans for domains with restricted continuous effects with Uppaal Cora : effects with UPPAAL CORA
von Henning Dierks
2005
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Dierks, Henning
Enthalten in: Proceedings of the ICAPS '05 Workshop on Verification and Validation of Model-BAsed Planning and Scheduling Systems 2005 S. 1 - 10
Sprache: Englisch
>> Volltext
12
49GBVUOB_ALMA2123658663000350149GBVUOB_ALMA21236586630003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236586630003501
Artikel
Heuristic guided model-checking of real-time systems
von Henning Dierks
2004
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Dierks, Henning
Enthalten in: Proceedings of the 16th Nordic Workshop on Programming Theory, Uppsala, 2004
Sprache: Englisch
13
49GBVUOB_ALMA2123669589000350149GBVUOB_ALMA21236695890003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236695890003501
Artikel
MOBY/DC : a tool for model-checking parametric real-time specifications
von Henning Dierks ; Josef Tapken
2003
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Tapken, Josef ([-2001])Dierks, Henning
Enthalten in: Lecture notes in computer science (2003), S. 1 - 6
Sprache: Englisch
>> Volltext
14
49GBVUOB_ALMA2123667195000350149GBVUOB_ALMA21236671950003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236671950003501
Artikel
Temporale Spezifikationslogiken
von Henning Dierks ; Ernst-Rüdiger Olderog
2003
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Olderog, Ernst-RüdigerDierks, Henning
Enthalten in: at-Automatisierungstechnik 51 (2003), 2, S. 1 - 4
Sprache: Deutsch
>> Volltext
15
49GBVUOB_ALMA2123667349000350149GBVUOB_ALMA21236673490003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236673490003501
Artikel
MOBY/RT : a tool for specification and verification of real-time systems
von Ernst-Rüdiger Olderog ; Henning Dierks
2003
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Dierks, HenningOlderog, Ernst-Rüdiger
Enthalten in: Journal of universal computer science 9 (2003), 2, S. 88 - 105
Sprache: Englisch
>> Volltext
16
49GBVUOB_ALMA2123619070000350149GBVUOB_ALMA21236190700003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236190700003501
Artikel
Constructing test automata from graphical real-time requirements
von Henning Dierks ; Marc Lettrari
2002
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Lettrari, Marc ([2000-2005])Dierks, Henning
Enthalten in: Formal techniques in real-time and fault-tolerant systems Berlin [u.a.], 2002 S. [433] - 453
Notation: inf 001 k
Sprache: Englisch
17
49GBVUOB_ALMA2123619639000350149GBVUOB_ALMA21236196390003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236196390003501
Artikel
Solving planning problems using real-time model-checking : (translating PDDL3 into timed automata)
von Henning Dierks ; Gerd Behrmann ; Kim G. Larsen
2002
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Dierks, Henning
Enthalten in: AIPS-workshop planning via model-checking 2002 S. [30] - [39]
Sprache: Englisch
>> Volltext
18
49GBVUOB_ALMA2123649836000350149GBVUOB_ALMA21236498360003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236498360003501
Artikel
Moby/PLC : eine graphische Entwicklungsumgebung für SPS-Programme
von Henning Dierks ; Josef Tapken
2001
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Tapken, Josef ([-2001])Dierks, Henning
Enthalten in: at-Automatisierungstechnik 1 (2001), S. 38 - 44
Sprache: Deutsch
>> Volltext
19
49GBVUOB_ALMA2123633776000350149GBVUOB_ALMA21236337760003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236337760003501
Artikel
Specification and verification of polling real-time systems
von Henning Dierks
2000
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Dierks, Henning
Enthalten in: Ausgezeichnete Informatikdissertationen 1999 Stuttgart [u.a.], 2000 S. 32 - 41
Sprache: Englisch
>> Volltext
20
49GBVUOB_ALMA2123630969000350149GBVUOB_ALMA21236309690003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236309690003501
Artikel
A process algebra for real-time programs
von Henning Dierks
2000
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Dierks, Henning
Enthalten in: Fundamental approaches to software engineering Berlin [u.a.], 2000 S. 66 - 81
Sprache: Englisch
>> Volltext