| [1] |
S. Kupferschmid, J. Hoffmann, H. Dierks, and G. Behrmann.
Adapting an AI Planning Heuristic for Directed Model Checking.
In A. Valmari, editor, 13th International SPIN Workshop on
Model Checking of Software, volume 3925 of Lecture Notes in Computer
Science, Vienna, Austria, March 2006. [ bib ] |
| [2] |
H. Dierks.
Time, Abstraction and Heuristics - Automatic Verification and
Planning of Timed Systems using Abstraction and Heuristics.
Habilitation thesis, July 2005. [ bib | .pdf ] |
| [3] |
H. Dierks.
Heuristic Guided Model-Checking of Real-Time Systems.
Technical report, University of Oldenburg, Department of Computer
Science, Oldenburg, Germany, 2005.
full version. [ bib | .pdf ] |
| [4] |
H. Dierks.
Finding Optimal Plans for Domains with Continuous Effects with
UPPAAL CORA.
In Proceedings of the ICAPS'05 Workshop on Verification and
Validation of Model-Based Planning and Scheduling Systems, 2005. [ bib | .pdf ] |
| [5] |
H. Dierks.
Heuristic Guided Model-Checking of Real-Time Systems (Extended
Abstract).
In P. Pettersson and Wang Yi, editors, Proceedings of the 16th
Nordic Workshop on Programming Theory, Technical Report 2004-041, pages
14-16. Uppsala University, Sweden, October 2004. [ bib | .pdf ] |
| [6] |
H. Dierks.
Comparing Model-Checking and Logical Reasoning for Real-Time
Systems.
Formal Aspects of Computing, 16(2):104-120, May 2004. [ bib | .pdf ] |
| [7] |
E.-R. Olderog and H. Dierks.
Moby/RT: A Tool for Specification and Verification of Real-Time
Systems.
Journal of Universal Computer Science, 9(2):88-105, February
2003. [ bib | .pdf ] |
| [8] |
H. Dierks and E.-R. Olderog.
Temporale Spezifikationslogiken.
at-Automatisierungstechnik, 51(2):A1-A4, 2003. [ bib | .pdf ] |
| [9] |
H. Dierks and J. Tapken.
Moby/DC - A Tool for Model-Checking Parametric Real-Time
Specifications.
In H. Garavel and J. Hatcliff, editors, Tools and Algorithms for
the Construction and Analysis of Systems (TACAS), volume 2619 of
Lecture Notes in Computer Science, pages 271-277. Springer-Verlag, 2003. [ bib | .pdf ] |
| [10] |
H. Dierks and M. Lettrari.
Constructing Test Automata from Graphical Real-Time Requirements.
In W. Damm and E.-R. Olderog, editors, FTRTFT 2002, volume 2469
of Lecture Notes in Computer Science, pages 433-453. Springer-Verlag,
September 2002. [ bib | .pdf ] |
| [11] |
H. Dierks, G. Behrmann, and K.G. Larsen.
Solving Planning Problems Using Real-Time Model-Checking
(Translating PDDL3 into Timed Automata).
In F. Kabanza and S. Thiebaux, editors, AIPS-Workshop Planning
via Model-Checking, pages 30-39, April 2002. [ bib | .pdf ] |
| [12] |
H. Dierks and J. Tapken.
Moby/PLC: Eine graphische Entwicklungsumgebung für
SPS-Programme.
at-Automatisierungstechnik, 49(1):38-44, 2001. [ bib | .pdf ] |
| [13] |
H. Dierks.
PLC-Automata: A New Class of Implementable Real-Time Automata.
Theoret. Comput. Sci., 253(1):61-93, December 2000. [ bib | .pdf ] |
| [14] |
H. Dierks and J. Tapken.
Modelling and Verifying of `Cash-Point Service' Using Moby/PLC.
Formal Aspects of Computing, 12:221-222, 2000. [ bib | .pdf ] |
| [15] |
H. Dierks.
A Process Algebra for Real-Time Programs.
In T. Maibaum, editor, FASE 2000: Fundamental Approaches to
Software Engineering, volume 1783 of Lecture Notes in Computer
Science, pages 66-81. Springer-Verlag, 2000. [ bib | .pdf ] |
| [16] |
H. Dierks.
Specification and Verification of Polling Real-Time Systems.
In H. Fiedler, O. Günther, W. Grass, S. Hölldobler, G. Hotz,
R. Reischuk, B. Seeger, and D. Wagner, editors, Ausgezeichnete
Informatikdissertationen 1999, pages 32-41. Teubner, 2000. [ bib | .pdf ] |
| [17] |
H. Dierks.
Specification and Verification of Polling Real-Time Systems.
PhD thesis, University of Oldenburg, July 1999. [ bib | .pdf ] |
| [18] |
H. Dierks.
Synthesizing Controllers from Real-Time Specifications.
IEEE Transactions on Computer-Aided Design of Integrated
Circuits and Systems, 18(1):33-43, 1999. [ bib | .pdf ] |
| [19] |
H. Dierks and M. Schenke.
A Unifying Framework for Correct Program Construction.
In J. Jeuring, editor, Mathematics of Program Construction 98,
volume 1422 of Lecture Notes in Computer Science, pages 122-150.
Springer-Verlag, June 1998. [ bib | .pdf ] |
| [20] |
H. Dierks and J. Tapken.
Tool-Supported Hierarchical Design of Distributed Real-Time
Systems.
In Proceedings of the 10th EuroMicro Workshop on Real Time
Systems, pages 222-229. IEEE Computer Society, June 1998. [ bib | .pdf ] |
| [21] |
H. Dierks, A. Fehnker, A. Mader, and F.W. Vaandrager.
Operational and Logical Semantics for Polling Real-Time Systems.
Technical Report CSI-R9813, Computer Science Institute Nijmegen,
Faculty of Mathematics and Informatics, Catholic University of Nijmegen,
April 1998. [ bib | .pdf ] |
| [22] |
H. Dierks, A. Fehnker, A. Mader, and F.W. Vaandrager.
Operational and Logical Semantics for Polling Real-Time Systems.
In A.P. Ravn and H. Rischel, editors, FTRTFT'98, volume 1486 of
Lecture Notes in Computer Science, pages 29-40, Lyngby, Denmark,
September 1998. Springer-Verlag. [ bib | .pdf ] |
| [23] |
H. Dierks.
Comparing Model-Checking and Logical Reasoning for Real-Time
Systems.
In ESSLLI'98, pages 13-22, 1998.
Workshop proceedings. [ bib | .pdf ] |
| [24] |
E.-R. Olderog and H. Dierks.
Decomposing Real-Time Specifications.
In H. Langmaack, A. Pnueli, and W.P. de Roever, editors,
Compositionality: The Significant Difference, volume 1536 of Lecture
Notes in Computer Science, pages 465-489. Springer-Verlag, 1998. [ bib | .pdf ] |
| [25] |
J. Tapken and H. Dierks.
MOBY/PLC - Graphical Development of PLC-Automata.
In A.P. Ravn and H. Rischel, editors, FTRTFT'98, volume 1486 of
Lecture Notes in Computer Science, pages 311-314, Lyngby, Denmark,
September 1998. Springer-Verlag. [ bib | .pdf ] |
| [26] |
H. Dierks.
Der Einsatz von Theorem-Beweisern am Beispiel der Graphentheorie.
Master's thesis, University of Oldenburg, Department of Mathematics,
Oldenburg, Germany, August 1997. [ bib ] |
| [27] |
H. Dierks.
PLC-Automata: A New Class of Implementable Real-Time Automata.
In M. Bertran and T. Rus, editors, ARTS'97, volume 1231 of
Lecture Notes in Computer Science, pages 111-125, Mallorca, Spain, May
1997. Springer-Verlag. [ bib | .pdf ] |
| [28] |
H. Dierks and C. Dietz.
Graphical Specification and Reasoning: Case Study ``Generalized
Railroad Crossing''.
In J. Fitzgerald, C.B. Jones, and P. Lucas, editors, FME'97,
volume 1313 of Lecture Notes in Computer Science, pages 20-39, Graz,
Austria, September 1997. Springer-Verlag. [ bib | .pdf ] |
| [29] |
H. Dierks.
Synthesising Controllers from Real-Time Specifications.
In Tenth International Symposium on System Synthesis, pages
126-133. IEEE Computer Society, September 1997. [ bib | .pdf ] |
| [30] |
H. Dierks.
The Production Cell: A Verified Real-Time System.
In B. Jonsson and J. Parrow, editors, Formal Techniques in
Real-Time and Fault-Tolerant Systems, volume 1135 of Lecture Notes in
Computer Science, pages 208-227, Uppsala, Sweden, September 1996.
Springer-Verlag. [ bib | .pdf ] |
| [31] |
H. Dierks.
Die Fertigungszelle als verifiziertes Realzeitsystem.
Master's thesis, University of Oldenburg, Department of Computer
Science, Oldenburg, Germany, May 1995. [ bib ] |
This file has been generated by bibtex2html 1.78