| 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. |
| DOI | Henrik Bohnenkamp, Johan Gorter, Jarno Guidi, Joost-Pieter Katoen. Are you still there? : a lightweight algorithm to monitor node presence in self-configuring networks, Proceedings / 2005 international conference on dependable systems and networks : 28 june - 1 july 2005, yokohama, japan / sponsored by IEEE computer society technical committee on fault-tolerant computing; IFIP WG 10.4 on dependable computing and fault tolerance; IEICE technical group on dependable comouting, 704-709, IEEE Computer Society, 2005. |
| DOI | Joost-Pieter Katoen, Maneesh Khattri, Ivan S. Zapreev. A Markov reward model checker, Proceedings / second international conference on the quantitative evaluation of systems : 19 - 22 september 2005, torino, italy / organized by dipartimento di informatica, università di torino ..., 243-244, IEEE Computer Society, 2005. |
| Thomas Noll, Chanchal Kumar Roy. Modeling Erlang in the pi-Calculus, Erlang 05 : proceedings of the ACM SIGPLAN 2005 erlang workshop ; september 25, 2005, tallin, estonia ; [co-located with the annual international conference in functional programming (ICFP)] / sponsored by the association for computing machinery, special interest group on programming languages (SIGPLAN) / erlang workshop ¡4, 2005, tallinn¿, 72-77, ACM Press, 2005. |
| Thomas Noll, Chanchal Kumar Roy. Towards automatic verification of Erlang programs by pi-calculus translation, Erlang 05 : proceedings of the ACM SIGPLAN 2005 erlang workshop ; september 25, 2005, tallin, estonia ; [co-located with the annual international conference in functional programming (ICFP)] / sponsored by the association for computing machinery, special interest group on programming languages (SIGPLAN) / erlang workshop ¡4, 2005, tallinn¿, 38-50, ACM Press, 2005. |
| DOI | Lucia Cloth, Joost-Pieter Katoen, Maneesh Khattri, Reza Pulungan. Model checking Markov reward models with impulse rewards, Proceedings / 2005 international conference on dependable systems and networks : 28 june - 1 july 2005, yokohama, japan / sponsored by IEEE computer society technical committee on fault-tolerant computing; IFIP WG 10.4 on dependable computing and fault tolerance; IEICE technical group on dependable comouting, 722-731, IEEE Computer Society, 2005. |
| Carsten Kern. Analysis and imlementations of MSC specifications, IFM2005 doctoral symposium on integrated formal methods / judi romijn, graeme smith, jaco van de pol, 55-61, TU, 2005. |
| DOI | Erika Ábrahám, Marcello Bonsangue, Frank S. Boer, Martin Steffen. Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes, Theoretical aspects of computing - ICTAC 2004 : first international colloquium, Guiyang, China, September 20 - 24, 2004 ; revised selected papers / Zhiming Liu ... (eds.), 37-51, Springer, 2005. |