| 2006 |
|---|
| Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. Replaying play in and play out : synthesis of design models from scenarios by learning,
26 Bl. : graph. Darst., 2006. |
| Tingting Han, Joost-Pieter Katoen. Counterexamples in probabilistic model checking,
35 Bl. : graph. Darst., RWTH, Department of Computer Science, 2006. |
| Michael Weber. Parallel algorithms for verification of large systems,
II, 133 S. : graph. Darst., RWTH, Department of Computer Science, 2006. |
| Angelika Mader, Henrik Bohnenkamp, Yaroslav S. Usenko, David N. Jansen, Johann Hurink, Holger Hermanns. Synthesis and stochastic assessment of cost-optimal schedules,
Technical Report / Centre for Telmatics and Information Technology, University of Twente, 2006. |
| DOI | Dino Distefano, Joost-Pieter Katoen, Arend Rensink. Safety and liveness in concurrent pointer programs,
Formal methods for components and objects : 4th international symposium ; revised lectures / FMCO 2005, Amsterdam, The Netherlands, November 1- 4, 2005. Frank S. de Boer ... (ed.), 280-312, Springer, 2006. |
| DOI | Benedikt Bollig, Carsten Kern, Markus Schlütter, Volker Stolz. MSCan : a tool for analyzing MSC specifications,
Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 ; proceedings / Holger Hermanns ... (eds.), 455-458, Springer, 2006. |
| DOI | Thomas Noll, Chanchal Kumar Roy. Towards automatic verification of Erlang programs by pi-calculus translation,
Proceedings of the ACM SIGPLAN Workshop on Generic Programming 2006 : WGP 06, held 16 September 2006, Portland Oregon / ACM SIGPLAN, 38-50, ACM, 2006. |
| DOI | Erika Ábrahám, Andreas Grüner, Martin Steffen. Abstract interface behavior of object-oriented languages with monitors,
Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 International Conference ; proceedigs / FMOODS 2006, Bologna, Italy, June 14 - 16, 2006. Roberto Gorrieri ... (ed.), 218-232, Springer, 2006. |
| DOI | Erika Ábrahám, Andreas Grüner, Martin Steffen. Dynamic heap-abstraction for open, object-oriented systems with thread classes,
Logical approaches to computational barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30 - July 5, 2006 ; proceedings / Arnold Beckmann; Ulrich Berger; Benedikt Löwe; John V. Tucker (eds.), 1-10, Springer, 2006. |
| Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen. Memory-aware bounded model checking for linear hybrid systems,
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 9. ITG/GI/GMM Workshop, 20. - 22. Februar 2006 in Dresden / Fraunhofer-Institut Integrierte Schaltungen, IIS; Informationstechnische Gesellschaft im VDE, ITG; Gesellschaft für Informatik, GI; VDE/VDI-Gesellschaft Mikroelektronik, Mikro- und Feinwerktechnik, GMM. [Veranstalter: Fachgruppen 3 und 4 der RSS, Kooperationsgemeinschaft Rechnergestützter Schaltungs- und Systementwurf der GI, ITG und GMM]. Bernd Straube ... (Hrsg.), 153-162, Fraunhofer-Institut für Integrierte Schaltungen, Außenstelle Entwurfsautomatisierung, 2006. |
| DOI | Jürgen Giesl, Stephan Swiderski, Peter Schneider-Kamp, René Thiemann. Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages,
Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August 12 - 14, 2006 ; proceedings / Frank Pfenning (ed.), 297-312, Springer, 2006. |
| DOI | Eric Bodden, Volker Stolz. Tracechecks: Defining semantic interfaces with temporal logic,
Software Composition : 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers / Editors: Welf Löwe ; Mario Südholt, 147-162, SPIE [u.a.], 2006. |
| DOI | Taolue Chen, Tingting Han, Jian Lu. On the Markovian randomized strategy of controller for Markov decision processes,
Fuzzy systems and knowledge discovery : third international conference, FSKD 2006, Xi'an, China, September 24 - 28, 2006 ; proceedings / Lipo Wang ... (eds.), 149-158, Springer, 2006. |
| DOI | Klaus Indermark, Thomas Noll. Algebraic correctness proofs for compiling recursive function definitions with strictness information,
1-43, Springer, 2006. |
| DOI | Henrik Bohnenkamp, Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen. MoDeST : a compositional modeling formalism for real-time and stochastic systems,
812-830, IEEE, 2006. |
| DOI | Mario Bravetti, Holger Hermanns, Joost-Pieter Katoen. YMCA : why Markov chain algebra?,
107-112, Elsevier, 2006. |
| DOI | Rocco Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink. Towards a logic for performance and mobility,
161-175, Elsevier, 2006. |
| DOI | Joost-Pieter Katoen, Ivan S. Zapreev. Safe on-the-fly steady-state detection for time-bounded reachability,
Third International Conference on the Quantitative Evaluation of Systems : QEST 2006 ; Riverside, California, 11 - 14 September 2006 / IEEE Computer Society; IEEE, 301-310, IEEE Computer Society, 2006. |
| DOI | Jasper Berendsen, David N. Jansen, Joost-Pieter Katoen. Probably on time and within budget : on reachability in priced probabilistic timed automata,
Third International Conference on the Quantitative Evaluation of Systems : QEST 2006 ; Riverside, California, 11 - 14 September 2006 / IEEE Computer Society; IEEE, 311-320, IEEE Computer Society, 2006. |
| Thomas Noll, Stefan Rieger. Optimization of straight-line code revisited,
GI, 2006. |
| DOI | Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen. Bounded model checking with parametric data structures,
3-16, Elsevier, 2006. |
| DOI | Benedikt Bollig, Martin Leucker. Message-passing automata are expressively equivalent to EMSO logic,
150-172, Elsevier, 2006. |
| DOI | Giuliana Franceschinis, Joost-Pieter Katoen, Murray Woodside. Guest editors introduction to the special section on the first International Conference on the Quantitative Evaluation of SysTems (QEST),
529-530, IEEE, 2006. |
| 2005 |
|---|
| DOI | . Model-based testing of reactive systems : advanced lectures ; [outcome of a research seminar held in Schloss Dagstuhl in January 2004],
VIII, 659 S.. : graph. Darst., Springer, 2005. |
| DOI | . Equational abstractions for model checking Erlang programs,
145-162, Elsevier Science, 2005. |