|
Click on a project in the table below for all publications registered to that project.
Project AFM8: A Common Framework for the Analysis of Reactive and Timed Systems
2010
- S. Orzan, T.A.C. Willemse. Invariants for Parameterised Boolean Equation Systems. In Theoretical Computer Science, 411(11-13):1338-1371, 2010.
- M.A. Reniers, T.A.C. Willemse. In B. Klin and P. Sobocinski, editors, SOS 2009, Electronic Proceedings in Theoretical Computer Science, 18:92-107, 2010.
2009
- C. Brandt, W. Boehmer, J.F. Groote. Evaluation of a business continuity plan using process algebra and modal logic. TUE technical report 09-12, 2009.
- J. Keiren, T.A.C. Willemse. Eindhoven University of Technology, Department of Computer Science, CSR 09-17, 2009.
- M.G. Meulen, B.W. Stappers and T.A.C. Willemse. Breadth-Bounded Model Checking. TUE technical report 09-03, 2009.
- Tom A.N. Engels, Jan Friso Groote, Muck J. van Weerdenburg and T.A.C. Willemse. Search Algorithms for Automated Validation. J. Log. Algebr. Program, 2009.
- S.M. Orzan, J.W. Wesselink and T.A.C. Willemse. Static Analysis Techniques for Parameterised Boolean Equation Systems. In S. Kowalewski and A. Philippou, editors, TACAS 2009, Lecture Notes in Computer Science 5505, pp. 230-245, 2009.
- 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
- S.M. Orzan and T.A.C. Willemse. Invariants for Parameterised Boolean Equation Systems (extended abstract). In F. van Breugel, M. Chechik, editors, Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, Lecture Notes in Computer Science 5201, Springer-Verlag, pp. 187-202, 2008.
- A. van Dam, B. Ploeger and T.A.C. Willemse. Instantiation for Parameterised Boolean Equation Systems. In J.S. Fitzgerald, A.E. Haxthausen, H. Yenigün, editors, Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey Lecture Notes in Computer Science 5160, Springer-Verlag, pp. 440-454, 2008.
- J.F. Groote, J. Keiren, A. Mathijssen, B. Ploeger, F. Stappers, C. Tankink, Y. Usenko, M. van Weerdenburg, W. Wesselink, T. Willemse and J. van der Wulp. The mCRL2 toolset. In Proceedings of the International Workshop on Advanced Software Development Tools and Techniques 2008.
- J.F. Groote and S. Orzan, Parameterised Anonymity. In Proceedings FAST'08, Malaga, Spain, October 2008.
- S. Orzan and M. Torabi Dashti. Data failures (brief announcement). In Proceedings DISC'08, Arcachon, France, September 2008. LNCS 5218.
- S. Orzan and M. Torabi Dashti. Fair exchange is incomparable to consensus. In Proceedings ICTAC'08, Istanbul, Turkey, September 2008. LNCS 5160.
- F.Dechesne, S. Orzan and Y. Wang. Refinement of Kripke Models for Dynamics. In Proceedings ICTAC'08, Istanbul, Turkey, LNCS 5160, 2008.
- J.F. Groote, M.A. Reniers and Y.S. Usenko. Verification of networks of timed automata using mCRL2. IPDPS, pp. 1-8, 2008.
- J.F. Groote and B. Ploeger. Switching graphs. In V. Hlava and I. Potapov, editors, workshop on Reachability Problems RP'08, Electronic Notes in Theoretical Computer Science, pp. 119-135, 2008.
- J.C.M. Baeten, D.A. van Beek, Pieter J. L. Cuijpers, M. A. Reniers, J. E. Rooda, Ramon R. H. Schiffelers and R. J. M. Theunissen. Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra. Chi. Electr. Notes Theor. Comput. Sci. 209, pp. 21-53, 2008.
- J. van de Pol and M. Weber. A Multi-Core Solver for Parity Games. Electr. Notes Theor. Comput. Sci. 220(2), pp. 19-34, 2008.
2007
- T. Chen, B. Ploeger, J. van de Pol and T.A.C. Willemse. Equivalence Checking for Infinite Systems using Parameterized Boolean Equation Systems. In L. Caires, V.T. Vasconcelos, editors, Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, Lecture Notes in Computer Science 4703, Springer-Verlag, pp. 120-135, 2007.
- M. Gromov and T.A.C. Willemse. Testing and Model-Checking Techniques for Diagnosis. In A. Petrenko, M. Veanes, J. Tretmans, W. Grieskamp, editors, Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, Lecture Notes in Computer Science 4581, Springer-Verlag, pp. 138-154, 2007.
- M. Oostdijk, V. Rusu, J. Tretmans, R.G. de Vries and T.A.C. Willemse. Integrating verification, testing and learning for cryptographic protocols. In J. Davies, J. Gibbons, editors, Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK , Lecture Notes in Computer Science 4591, Springer-Verlag, pp. 538-557, 2007.
- T.A.C. Willemse, Heuristics for ioco-Based Test-Based Modelling (extended abstract). In L. Brim, B. Haverkort, M. Leucker and J. van de Pol, editors, Proceedings of FMICS and PDMC 2006, Lecture Notes in Computer Science 4346, Springer-Verlag, pp. 123-147, 2007.
- F. Dechesne, M. Mousavi and S. Orzan. Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap. In Proceedings LPAR'07, LNCS 4790, 2007.
- S. Blom, J. Calame, B. Lisser, J. Pang, S. Orzan, J. van de Pol, M.T. Dashti and A. Wijs. Distributed analysis with muCRL: A compendium of case studies. In Proceedings TACAS'07, LNCS 4424, 2007.
- J.W. Wesselink, J.M.T. Romijn and A.J. Mooij. Assertion-based proof checking of Chang-Roberts leader election in PVS. In K.S. Namjoshi, T. Yoneda, T. Higashino, Y. Okamura (Eds.), Proceedings of ATVA 2007, Lecture Notes in Computer Science 4762, pp. 347-361, Springer, 2007.
- J.F. Groote, A.H.J. Mathijssen, M.A. Reniers, Y.S. Usenko and M.J. van Weerdenburg. The Formal Specification Language mCRL2. In E. Brinksma, D. Harel, A. Mader, P. Stevens and R. Wieringa, editors, Methods for Modelling Software Systems (MMOSS), Dagstuhl Seminar Proceedings 06351, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2007.
- K. Klai, L. Petrucci and M. A. Reniers. An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets. FORTE 2007, pp. 280-295, 2007.
- M.A. Reniers, Muck van Weerdenburg. Action Abstraction in Timed Process Algebra. In FSEN 2007: 287-301, 2007.
- M.V. Espada and J. van de Pol. An abstract interpretation toolkit for μCRL. Formal Methods in System Design 30(3): 249-273, 2007.
2006
- S. Andova, J.C.M. Baeten, P.R. D'Argenio and T.A.C. Willemse. A compositional merge of probabilistic processes in the alternating model. In L. Aceto and A. Ingolfsdottir, editors, Proceedings of NWPT'06, 2006.
- J.F. Groote, M.A. Reniers and Y.S. Usenko. Time Abstraction in Timed muCRL a la Regions. In 14th Int. Workshop on Parallel and Distributed Real-Time Systems (WPDRTS'06), April 25-26, Island of Rhodes, Greece, 2006.
|
