| 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. |
| DOI | Henrik Bohnenkamp, Axel Belinfante. Timed testing with TorX,
Formal methods : FM 2005 ; international symposium of formal methods europe, newcastle, UK, july 18 - 22, 2005 ; proceedings / john fitzgerald ... (ed.), 173-188, Springer, 2005. |