|
Click on a project in the table below for all publications registered to that project.
Project AFM6: A Verification Grid for Enhanced Model Checking
2010
- Hansen, H.H. and Ketema, J. and Luttik, S.P. and Mousavi, M.R. and van de Pol, J.C. (2010) Towards Model Checking Executable UML Specifications in mCRL2. Innovations in Systems and Software Engineering, 6 (1-2). pp. 83-90, 2010. ISSN 1614-5046
- Chaloupka, J. and van de Pol, J.C. (2009) Distributed Algorithms for SCC Decomposition. Journal of Logic and Computation, Advance Access published February 17, 2009, doi:10.1093/logcom/exp003. ISSN 0955-792X
- Blom, S.C.C. and van de Pol, J.C. (2009) Distributed Branching Bisimulation Minimization by Inductive Signatures. In: Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, 4 Nov 2009, Eindhoven, The Netherlands. pp. 32-46. Electronic Proceedings in Theoretical Computer Science 14. Open Publishing Association. ISSN 2075-2180
- Blom, S.C.C. and van de Pol, J.C. and Weber, M. (2009) Bridging the Gap between Enumerative and Symbolic Model Checkers. Technical Report TR-CTIT-09-30, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
- Kuijper, W. and van de Pol, J.C. (2009) Compositional Control Synthesis for Partially Observable Systems. In: CONCUR 2009 - Concurrency Theory, 1-4 Sep 2009, Bologna, Italy. pp. 431-447. Lecture Notes in Computer Science 5710. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-04080-1
- Kuijper, W. and van de Pol, J.C. (2009) Computing Weakest Strategies for Safety Games of Imperfect Information. In: Tools and Algorithms for the Construction and Analysis of Systems, 22-29 Mar 2009, York, UK. pp. 92-106. Lecture Notes in Computer Science 5505. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-00767-5
- van de Pol, J.C. and Timmer, M. (2009) State Space Reduction of Linear Processes Using Control Flow Reconstruction. In: ATVA 2009 - Automated Technology for Verification and Analysis. 7th International Symposium, 13 Oct - 16 Oct 2009, Macao SAR, China. pp. 54-68. Lecture Notes in Computer Science 5799. Springer Verlag. ISBN 978-3-642-04760-2
- Wijs, A.J. and van de Pol, J.C. and Bortnik, E.M. (2009) Solving scheduling problems by untimed model checking. The clinical chemical analyser case study. International journal on software tools for technology transfer, 11 (5). pp. 375-392. ISSN 1433-2779
- T.A.N. Engels, J.F. Groote, M.J. van Weerdenburg and T.A.C. Willemse. Search algorithms for automated validation. Journal of Logic and Algebraic Programming 78(4), 274-287, 2009. This article did also appear as CS-Report 07-24, Department of Computer Science, Eindhoven University of Technology, 2007.
- W. Boehmer, C. Brandt and J.F. Groote. Evaluation of a business continuity plan using process algebra and modal logic. Computer Science Report CSR-09-12, Eindhoven University of Technology, 2009.
- J.F. Groote, S. Orzan. Parameterised Anonymity. In P. Degano, J.D. Guttman and F. Martinelli, editors, proceeding of the 5th international workshop on Formal Aspects in Security and Trust (FAST), pages 177-191, LNCS 5491, 2009. See also CS Report 08-22 Department of Computer Science, Eindhoven University of Technology.
- J.F. Groote, A.H.J. Mathijssen, M.A. Reniers, Y.S. Usenko, and M.J. van Weerdenburg. Analysis of distributed systems with mCRL2. In M. Alexander, W. Gardner, editors, Process Algebra for Parallel and Distributed Processing. Chapman Hall, pp. 99-128, 2009.
2008
- Barnat, J. and Brim, L. and Simecek, P. and Weber, M. Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking. In 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2008, 29 Mar - 06 Apr 2008, Budapest, Hungary. pp. 48-62. Lecture Notes in Computer Science 4963. Springer Verlag. ISBN 978-3-540-78799-0
- Barnat, J. and Chaloupka, J. and van de Pol, J.C. Improved Distributed Algorithms for SCC Decomposition. In Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation, 8 Jul 2007, Berlin. pp. 63-77. Electronic Notes in Theoretical Computer Science 198 (1). Elsevier. ISSN 1571-0661
- Blom, S.C.C. and Haverkort, B.R.H.M. and Kuntz, G.W.M. and van de Pol, J.C. Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. In Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation, 29 Mar 2008, Budapest, Hungary. pp. 35-50. Electronic Notes in Theoretical Computer Science 220 (2). Elsevier. ISSN 1571-0661
- Blom, S.C.C. and Lisser, B. and van de Pol, J.C. and Weber, M. A Database Approach to Distributed State Space Generation. In Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation, 8 Jul 2007, Berlin. pp. 17-32. Electronic Notes in Theoretical Computer Science 198 (1). Elsevier. ISSN 1571-0661
- Boudali, H. and Crouzen, P. and Haverkort, B.R.H.M. and Kuntz, G.W.M. and Stoelinga, M.I.A. Arcade - A Formal, Extensible, Model-based Dependability Evaluation Framework. In Proc. of 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008), Belfast, UK. pp. 243-248. IEEE Computer Society Press. ISBN 978-0-7695-3139-7
- Boudali, H. and Crouzen, P. and Haverkort, B.R.H.M. and Kuntz, G.W.M. and Stoelinga, M.I.A. Architectural dependability evaluation with Arcade In Proc. of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Anchorage, USA, pp. 512-521. IEEE Computer Society Press
- Gabbay, M.J. and Mathijssen, A.H.J. Capture-avoiding substitution as a nominal algebra. Formal Aspects of Computing, 20(4-5), 451-479. Springer, July 2008.
- Gabbay, M.J. and Mathijssen, A.H.J. One-and-a-halfth-order logic. Gabbay, M.J. Journal of Logic and Computation, 18(4), 521-562. Oxford University Press, August 2008.
- Groote, J.F. and Mathijssen, A.H.J. and Reniers, M.A. and Usenko, Y.S. and Van Weerdenburg, M.J. Analysis of distributed systems with mCRL2. In M. Alexander, W. Gardner (Eds.), Process Algebra for Parallel and Distributed Processing, pages 99-128. Chapman and Hall, 2008.
- Groote, J.F. and Ploeger, S.C.W. Switching graphs. In V. Halava, I. Potapov (Eds.), Proceedings 2nd Workshop on Reachability Problems (RP 2008, Liverpool, UK, September 15-17, 2008). (Electronic Notes in Theoretical Computer Science, Vol. 223, pp. 119-135).
- Groote, J.F. and Reniers, M.A. and Usenko, Y.S. Verification of networks of timed automata using mCRL2. In Proceedings 22nd IEEE International Parallel and Distributed Processing Symposium (IPDPS 2008, Miami FL, USA, April 14-18, 2008). (pp. 3867-3874). Piscataway NJ: IEEE.
- Kuntz, G.W.M. and Haverkort, B.R.H.M. Formal Dependability Engineering with MIOA. Technical Report TR-CTIT-08-39, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
- van de Pol, J.C. and Weber, M. A Multi-Core Solver for Parity Games. In Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation, 29 Mar 2008, Budapest, Hungary. pp. 19-34. Electronic Notes in Theoretical Computer Science 220 (2). Elsevier. ISSN 1571-0661
- Gabbay, M.J. and Mathijssen, A.H.J. A nominal axiomatisation of the lambda-calculus. Computer Science Report No. 08-18, Eindhoven: Technische Universiteit Eindhoven, 18 pp.
- Groote, J.F. Honderduizend maal excuus voorkomt geen ramp. Het Brabants Dagblad. Zaterdag, 1 maart 2008. Also appeared as: Excuus van de fiscus en dan doormodderen. Eindhovens Dagblad. Maandag, 4 maart 2008.
- Groote, J.F. and Keiren, J. and Mathijssen, A.H.J. and Ploeger, S.C.W. and Stappers, F.P.M. and Tankink, C. and Usenko, Y.S. and Weerdenburg, M.J. van and Wesselink, J.W. and Willemse, T.A.C. and Wulp, J. van der. The mCRL2 toolset.
- Informal proceedings of the International Workshop on Advanced Software Development Tools and Techniques (WASDeTT 2008, Paphos, Cyprus, July 8, 2008; co-located with ECOOP). (pp. 5-1/10). Bern: Software Composition Group, Universitat Bern.
- Groote, J.F., Klint, P. and Vaandrager, F.W. ICT-onderwijs moet forse impuls krijgen. NRC, April 5, 2008.
2007
- M.J. Gabbay and A. Mathijssen. A Formal Calculus for Informal Equality with Binding. In Proc. 14th Workshop on Logic, Language, Information and Computation (WoLLIC 2007). LNCS 4576, pp 162-176, 2007.
- A. Mathijssen. Logical Calculi for Reasoning with Binding. PhD Dissertation, Eindhoven University of Technology, November 2007.
- M.J. Gabbay, A. Mathijssen. Capture-avoiding Substitution as a Nominal Algebra. Technical Report HW-MACS-TR-0053, Heriot-Watt University, Edinburgh, Scotland.
- M.J. Gabbay, A. Mathijssen. Nominal Algebra and the HSP Theorem. Technical Report HW-MACS-TR-0057, Heriot-Watt University, Edinburgh, Scotland.
- Matthias Kuntz and Boudewijn R. Haverkort. Parallel CSRL Model Checking: First Results and Pointers to the Future. In: Preliminary proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation (Edited by Boudewijn Haverkort and Ivana Cerna) (pages 105-120), Centre for Telematics and Information Technology, Enschede, 2007
- M. Kuntz and Boudewijn R. Haverkort. Faster SPDL Model Checking Through Property-Driven State Space Generation. In: Proceedings of the Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany (Edited by K. Wolter) (pages 80-96), Lecture Notes in Computer Science, Springer Verlag, Berlin, 2007
- . 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006. (Edited by Lubos Brim, Boudewijn R. Haverkort, Martin Leucker, and Jaco van de Pol) (volume 4346), Lecture Notes in Computer Science, Springer, 2007
- Stefan Blom, Bert Lisser, Jaco van de Pol, and Michael Weber. A Database Approach to Distributed State Space Generation. In: Preliminary proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation (Edited by Boudewijn Haverkort and Ivana Cerna) , Electronics Notes in Computer Science, 2007
- Jan Friso Groote, Aad Mathijssen, Michel Reniers, Yaroslav Usenko, and Muck van Weerdenburg. The Formal Specification Language mCRL2. In: Methods for Modelling Software Systems (MMOSS) (Edited by Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, and Roel Wieringa) (number 06351), Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, Dagstuhl, Germany, 2007,
- H. Hojjat, M. Sirjani, M.R. Mousavi, and J.F. Groote. Sarir: A Rebeca to mCRL2 Translator. In: Proceedings of the 7th International Conference on Application of Concurrency to System Design (ACSD'07), Bratislava, Slovak Republic (pages 216-222), IEEE, 2007
- Aad Mathijssen and A. Johannes Pretorius. Verified Design of an Automated Parking Garage. In: Formal Methods: Applications and Technology, 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers (volume 4346, pages 165-180), Lecture Notes in Computer Science, Springer, 2007
- Michael Weber. An Embeddable Virtual Machine for State Space Generation. In: Proceedings of SPIN (Edited by Dragan Bosnacki and Stefan Edelkamp) (volume 4595, pages 168-185), Lecture Notes in Computer Science, Springer, 2007
2006
- M.J. Gabbay and A. Mathijssen. Capture-avoiding Substitution as a Nominal Algebra. In Proc. 3rd Int'l Colloquium on Theoretical Aspects of Computing (ICTAC'06). LNCS 4281, pages 198-212. Springer, November 2006.
- M.J. Gabbay and A. Mathijssen. One-and-a-halfth-order Logic. In Proc. 8th Int'l ACM SIGPLAN Conf. on Principles and Practice of Declarative Programming (PPDP'06), pages 189-200. ACM, July 2006.
- M.J. Gabbay and A. Mathijssen. Nominal Algebra. Technical Report HW-MACS-TR-0045, Heriot-Watt University, Edinburgh, Scotland.
- M.J. Gabbay and A. Mathijssen. Nominal Algebra (abstract). In Proc. 18th Nordic Workshop on Programming Theory (NWPT'06), Reykjavik University.
- Moritz Hammer and Michael Weber. "To Store or Not To Store" Reloaded: Reclaiming Memory on Demand. In: Formal Methods: Applications and Technology (FMICS + PDMC) (Edited by Lubos Brim, Boudewijn Haverkort, Martin Leucker, and Jaco van de Pol) (volume 4346, pages 52-67), Lecture Notes in Computer Science, Springer, August 2006 Note: EASST Best Paper Award Winner
- J.F. Groote and F.J.J. van Ham. Interactive visualization of large state spaces. In: International Journal on Software Tools for Technology Transfer (volume 8, number 1, pages 77-91), 2006
- C. Baier, L. Cloth, B. Haverkort, M. Kuntz, and M. Siegle. Model Checking Markov Chains with State Labels and Actions. In: IEEE Transactions on Software Engineering, 2006 Note: to appear
- J.F. Groote, M.A. Reniers, and Y.S. Usenko. Time Abstraction in Timed muCRL a la Regions. In: 14th International Workshop on Parallel and Distributed Real-Time Systems (WPDRTS'06), April 25-26, Island of Rhodes, Greece, 2006
- Matthias Kuntz and Markus Siegle. Symbolic Model Checking of Stochastic Systems: Theory and Implementation. In: SPIN (pages 89-107), 2006
2005
- J.F. Groote and M. Keinänen. A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems. In: Proceedings of International Colloquium on Theoretical Aspects of Computing (ICTAC'2005) (Edited by D.V. Hung and M. Wirsing) (volume 3722, pages 545-558), Lecture Notes in Computer Science, Springer-Verlag, 2005
- H. Gao, J.F. Groote, and W.H. Hesselink. Lock-Free Parallel Garbage Collection. In: Proceedings of ISPA2005 (Edited by Y. Pan et al) (volume 3758, pages 263-274), LNCS, Springer-Verlag, 2005
- H. Gao, J.F. Groote, and W.H. Hesselink. Lock-free dynamic hash tables with open addressing. In: Distributed Computing (volume 17, pages 21-42), 2005
- J.F. Groote and T.A.C. Willemse. Parameterised Boolean Equation Systems. In: Theoretical Computer Science (volume 343, pages 332-369), 2005
- J.F. Groote and T.A.C. Willemse. A Checker for Modal Formulas for Processes with Data. In: Science of Computer Programming (volume 56, pages 251-273), 2005
- J.C. Perrenet, J.F. Groote, and E.J.S. Kaasenbrood. Exploring Students' Understanding of the Concept of Algorithm: Levels of Abstraction. In: Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education (pages 64-68), 2005
- J.F. Groote, F. Monin, and J. Springintveld. A computer checked algebraic verification of a distributed summation algorithm. In: Formal Aspects of Computing (volume 17, pages 19-37), 2005
- M.R. Mousavi, M.A. Reniers, and J.F. Groote. A Syntactic Commutativity Format for SOS. In: Information Processing Letters (volume 93, number 5, pages 217-223), 2005
- J.F. Groote, M.A. Reniers, and Y.S. Usenko. Time Abstraction in Timed muCRL a la Regions. In: Proc. Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond (volume NS-05-3, pages 132-136), BRICS, 2005
- K. Klai and S. Tata. Abstraction-based Workflow Cooperation Using Petri Net Theory. In: 3rd International Workshop on Distributed and Mobile Cooperation (DMC 2005), Linkoping University, Sweden, 2005
- K. Klai, S. Haddad, and Jean-Michel Ilié. Modular Verification of Petri net properties: a Structure-based Approach. In: In 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) (volume 3731, pages 189-203), Lecture Notes in Computer Science, Springer-Verlag, 2005
- J.F. Groote, A. Mathijssen, M. van Weerdenburg, and Y. Usenko. From μCRL to mCRL2: Motivation and Outline. In: Proc. Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond (volume NS-05-3, pages 126-131), BRICS, 2005
- B. Badban, W. Fokkink, J.F. Groote, J. Pang, and J.C. van de Pol. Verification of a sliding window protocol in ÂμCRL and PVS. In: Formal Aspects of Computing (volume 17, number 3, pages 342-388), 2005
- M.R. Mousavi, M.A. Reniers, and J.F. Groote. Notions of Bisimulation and Congruence Formats for SOS with Data. In: Information & Computation (volume 200, number 1, pages 107-147), 2005
- J.F. Groote, M. Mousavi, and M.A. Reniers. A hierarchy of SOS Rule formats (preliminary abstract). In: Preliminary proceedings of the 2nd workshop on Structural Operational Semantics (Edited by P.D. Mosses and I. Ulidowski) (pages 1 - 18), 2005
- S.C.C. Blom, J.F. Groote, S. Mauw, and A. Serebrenik. Analysing the BKE-security protocol with ÂμCRL. In: Electronic Notes in Theoretical Computer Science (volume 139, number 1, pages 49-90), 2005
|
