Suche in der Hochschulbibliografie

Suche nach: Person = 'Dierks, Henning'

Treffer 1-10 von 31

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

1
49GBVUOB_ALMA7115820215000350149GBVUOB_ALMA71158202150003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71158202150003501
E-Book
AVACS technical report: The power of Uppaal : [a language-based characterisation of verification complexity]
2011
Details anzeigen
Verlag: Oldenburg u.a.: Sonderforschungsbereich/Transregio 14 AVACS Automatic Verification and Analysis of Complex Systems
Umfang: Online-Ressource (PDF-Datei: 12 S.).
Übergeordnetes Werk: AVACS technical report
Verknüpfte Titel: AVACS technical report ; 72
Sprache: Englisch
>> Volltext
2
49GBVUOB_ALMA2115532410000350149GBVUOB_ALMA21155324100003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21155324100003501
Artikel
Towards component based design of hybrid systems : safety and stability
von Werner Damm ; Henning Dierks ; Jens Oehlerking ; Amir Pnueli
2010
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Dierks, HenningOehlerking, JensDamm, Werner
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://www.springerlink.com/content/d6uh344586k27t76/fulltext.pdf
Enthalten in: Time for verification Berlin : Springer, 2010 (2010), Seite 96-143 X, 399 S.
Sprache: Englisch
3
49GBVUOB_ALMA7115504454000350149GBVUOB_ALMA71155044540003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71155044540003501
Artikel
Efficient model-checking for real-time task networks
von Henning Dierks ; Alexander Metzner ; Ingo Stierand
2009
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Dierks, Henning
Enthalten in: 2009 6th International Conference on Embedded Software and Systems (ICESS) Piscataway, NJ : IEEE, 2009 (2009), Seite 11-18 620 S.
Sprache: Englisch
4
49GBVUOB_ALMA2118583001000350149GBVUOB_ALMA21185830010003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21185830010003501
Buch
Real-time systems: formal specification and automatic verification
von Ernst-Rüdiger Olderog ; Henning Dierks
2008
Details anzeigen
ISBN: 05218833349780521883337
Beteiligte Personen (Uni Oldenburg): Dierks, HenningOlderog, Ernst-Rüdiger
Verlag: Cambridge u.a.: Cambridge University Press
Umfang: XVI, 320 S. graph. Darst..
Weitere Angaben:
Literaturverz. S. 304 - 311
Schlagwörter: Real-time data processingEchtzeitsystemFormale SpezifikationstechnikProgrammverifikationVerifikationHoare-LogikSpezifikationstechnikFormale BeschreibungstechnikAlgebraische SpezifikationBetriebssystemDatenverarbeitungssystem
Notation: inf 531inf 321inf 324inf 341inf 357
Sprache: Englisch
5
49GBVUOB_ALMA2123655935000350149GBVUOB_ALMA21236559350003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236559350003501
Artikel
Combining timed automata based formal specifications and real-time scheduling analysis
von Ingo Stierand ; Henning Dierks ; Alexander Metzner
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Dierks, HenningMetzner, Alexander ([1995-])Stierand, Ingo ([1998-])
Enthalten in: Reports of SFB/TR 14 AVACS 18 (2007), [21] Bl. <21>
Sprache: Englisch
>> Volltext
6
49GBVUOB_ALMA2123656488000350149GBVUOB_ALMA21236564880003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236564880003501
Artikel
Automatic abstraction refinement for timed automata
von Henning Dierks ; Sebastian Kupferschmid ; Kim Guldstrand Larsen
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Dierks, Henning
Enthalten in: Formal modeling and analysis of timed systems Berlin [u.a.], 2007 S. 114 - 129
Sprache: Englisch
7
49GBVUOB_ALMA2123658638000350149GBVUOB_ALMA21236586380003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236586380003501
Artikel
Uppaal/DMC : abstraction-based heuristics for directed model checking
von Sebastian Kupferschmid ; Klaus Dräger ; Jörg Hoffmann ; Bernd Finkbeiner ; Henning Dierks ; Andreas Podelski ; Gerd Behrmann
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Dierks, Henning
Enthalten in: Tools and algorithms for the construction and analysis of systems Berlin [u.a.], 2007 S. 679 - 682
Sprache: Englisch
8
dedupmrg151660137549GBVUOB_ALMA21164416960003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21164416960003501
Buch
Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften: Time, abstraction and heuristics : automatic verification and planning of timed systems using abstraction and heuristics
von Henning Dierks
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Dierks, Henning
Verlag: Oldenburg: Carl-von-Ossietzky-Univ., Dept. für Informatik
Umfang: XVIII, 260 S. graph. Darst..
Weitere Angaben:
Zugl.: Oldenburg, Univ., Habil.-Schr., 2005
Schlagwörter: Hochschulschrift; ForschungsberichtEchtzeitsystemProgrammverifikationVerifikationHoare-LogikBetriebssystemDatenverarbeitungssystem
Beschreibung:
Zsfassungen in dt. und engl. Sprache
Übergeordnetes Werk: Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften
Verknüpfte Titel: Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften ; 2006, 1
Sprache: Englisch
9
49GBVUOB_ALMA2123690366000350149GBVUOB_ALMA21236903660003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236903660003501
Artikel
Boosting UPPAAL by an AI planning heuristic
von Sebastian Kupferschmid ; Jörg Hoffmann ; Henning Dierks
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Dierks, Henning
Enthalten in: Tools and algorithms for the construction and analysis of systems Berlin [u.a.], 2006
Sprache: Englisch
10
49GBVUOB_ALMA2123684514000350149GBVUOB_ALMA21236845140003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236845140003501
Artikel
Adapting an AI planning heuristic for directed model checking
von Sebastian Kupferschmid ; Jörg Hoffmann ; Henning Dierks ; Gerd Behrmann
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Dierks, Henning
Enthalten in: Model checking software Berlin [u.a.], 2006 S. 35 - 52
Sprache: Englisch