| 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. |
| DOI | Erika Ábrahám, Frank S. Boer, Willem-Paul Roever, Martin Steffen. Inductive Proof Outlines for Exceptions in Multithreaded Java,
Proceedings of the First IPM International Workshop on Foundations of Software Engineering (FSEN 2005) : Tehran, Iran, 01-03 October 2005 / ed. by F. Arbab ..., 281-297, Elsevier, 2005. |
| DOI | Erika Ábrahám, Frank S. Boer, Marcello Bonsangue, Andreas Grüner, Martin Steffen. Observability, Connectivity, and Replay in a Sequential Calculus of Classes,
Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004 ; revised lectures / Frank S. de Boer ... (eds.), 296-316, Springer-Verlag, 2005. |
| DOI | Frank S. Boer, Marcello Bonsangue, Martin Steffen, Erika Ábrahám. A Fully Abstract Trace Semantics for UML Components,
Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004 ; revised lectures / Frank S. de Boer ... (eds.), 49-69, Springer-Verlag, 2005. |
| DOI | Erika Ábrahám, Bernd Becker, Felix Klaedtke, Martin Steffen. Optimizing Bounded Model Checking for Linear Hybrid Systems,
Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17 - 19, 2005 ; proceedings / Radhia Cousot (ed.), 396-412, Springer, 2005. |
| Erika Ábrahám, Andreas Grüner, Martin Steffen. Dynamic Heap-Abstraction for Open, Object-Oriented Systems with Thread Classes,
COSMICAH 2005 : workshop on verification of COncurrent Systems with dynaMIC Allocated Heaps (a satellite event of ICALP 2005) : informal proceedings, 47-61, Queen Mary, University of London, Department of Computer Science, 2005. |
| DOI | Benedikt Bollig, Martin Leucker. A hierarchy of implementable MSC languages,
Formal techniques for networked and distributed systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005 ; proceedings / Farn Wang (ed.), 53-67, Springer, 2005. |
| DOI | Benedikt Bollig. On the expressiveness of asynchronous cellular automata,
Fundamentals of computation theory : 15th international symposium, FCT 2005, Lübeck, Germany, August 17 - 20, 2005 ; proceedings / Maciej Liśkiewicz ... (eds.), 528-539, Springer, 2005. |
| DOI | Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber. Functional programming languages for verification tools : a comparison of ML and Haskell,
184-194, Springer, 2005. |
| DOI | Pedro R. D'Argenio, Joost-Pieter Katoen. A theory of stochastic systems. Part I: Stochastic automata,
1-38, Elsevier, 2005. |
| DOI | Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf. Comparative branching-time semantics for Markov chains,
149-214, Elsevier, 2005. |
| DOI | Pedro R. D'Argenio, Joost-Pieter Katoen. A theory of stochastic systems. Part II: Process algebra,
39-74, Elsevier, 2005. |
| DOI | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Model checking meets performance evaluation,
10-15, Association for Computing Machinery, 2005. |
| DOI | Erika Ábrahám, Frank S. Boer, Willem-Paul Roever, Martin Steffen. An Assertion-Based Proof System for Multithreaded Java,
251-290, Elsevier, 2005. |
| 2003 |
|---|
| DOI | Benedikt Bollig, Martin Leucker. Model checking probabilistic distributed systems,
Advances in computing science - ASIAN 2003 : programming languages and distributed computation ; 8th Asian Computing Science Conference Mumbai, India, December 10 - 12, 2003, proceedings / Vijay A. Saraswat (ed.), 291-304, Springer, 2003. |
| DOI | Benedikt Bollig, Martin Leucker. Deciding LTL over Mazurkiewicz traces,
North-Holland, 2003. |
| 2002 |
|---|
| DOI | . Implementation of functional languages : 13th international workshop; selected papers,
VI, 185 S. : graph. Darst., Springer, 2002. |
| Frank Günter Huch, Volker Stolz. Implementation of port-based distributed Haskell,
Implementation of functional languages : 13th international workshop; selected papers /IFL 2001, Stockholm, Sweden, September 24 - 26, 2001. Thomas Arts; Markus Mohnen (ed.), Springer, 2002. |