• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Netherlands

  • P.O. Box 513, Department of Mathematics and Computer Science

    5600 MB Eindhoven

    Netherlands

Research Output

Filter
Conference contribution
2008

Invariants for parameterised Boolean equation systems

Orzan, S. M. & Willemse, T. A. C., 2008, CONCUR 2008 - Concurrency Theory (19th International Conference, Toronto, Canada, August 19-22, 2008, Proceedings). Breugel, van, F. & Chechik, M. (eds.). Berlin: Springer, p. 187-202 (Lecture Notes in Computer Science; vol. 5201).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)

Lost in translation: Hybrid-time flows vs. real-time transitions

Cuijpers, P. J. L. & Reniers, M. A., 2008, Hybrid Systems: Computation and Control (11th International Workshop, HSCC'08, St. Louis MO, USA, April 22-24, 2008, Proceedings). Egerstedt, M. & Mishra, B. (eds.). Berlin: Springer, p. 116-129 (Lecture Notes in Computer Science; vol. 4981).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

13 Citations (Scopus)

Model-based engineering of embedded systems using the hybrid process algebra Chi

Baeten, J. C. M., Beek, van, D. A., Cuijpers, P. J. L., Reniers, M. A., Rooda, J. E., Schiffelers, R. R. H. & Theunissen, R. J. M., 2008, Proceedings LIX Colloquium on Emerging Trends in Concurrency Theory (Paris, France, November 13-15, 2006). Palamidessi, C. & Valencia, F. D. (eds.). p. 21-53 (Electronic Notes in Theoretical Computer Science; vol. 209).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

8 Citations (Scopus)
1 Downloads (Pure)

Normalization of infinite terms

Zantema, H., 2008, Rewriting Techniques and Applications (19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings). Voronkov, A. (ed.). Berlin: Springer, p. 441-455 (Lecture Notes in Computer Science; vol. 5117).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

12 Citations (Scopus)
2 Downloads (Pure)

Performance analysis of chi models using discrete-time probabilistic reward graphs

Trcka, N., Georgievska, S., Markovski, J., Andova, S. & Vink, de, E. P., 2008, Proceedings 9th International Workshop on Discrete Event Systems (WODES'08, Göteborg, Sweden, May 28-30, 2008). Institute of Electrical and Electronics Engineers, p. 113-118

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)

Refinement of Kripke models for dynamics

Dechesne, F., Orzan, S. M. & Wang, Y., 2008, Theoretical Aspects of Computing - ICTAC 2008 (5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings). Fitzgerald, J. S., Haxthausen, A. E. & Yenigun, H. (eds.). Berlin: Springer, p. 111-125 (Lecture Notes in Computer Science; vol. 5160).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

7 Citations (Scopus)

Stochastic analysis of amino acid substitution in protein synthesis

Bosnacki, D., Eikelder, ten, H. M. M., Steijaert, M. N. & Vink, de, E. P., 2008, Computational Methods in Systems Biology (6th International Conference, CMSB 2008, Rostock, Germany, October 12-15, 2008, Proceedings). Heimer, M. & Uhrmacher, A. M. (eds.). Berlin: Springer, p. 367-386 (Lecture Notes in Computer Science; vol. 5307).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)

Switching graphs

Groote, J. F. & Ploeger, B., 2008, Proceedings 2nd Workshop on Reachability Problems (RP 2008, Liverpool, UK, September 15-17, 2008). Halava, V. & Potapov, I. (eds.). p. 119-135 (Electronic Notes in Theoretical Computer Science; vol. 223).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)

System evolution by migration coordination

Andova, S., Groenewegen, L. P. J. & Vink, de, E. P., 2008, 7th Belgian-Netherlands Software Evolution Workshop (Benevol 2008, Eindhoven, The Netherlands, December 11-12, 2008, Informal pre-proceedings). Serebrenik, A. (ed.). Serebrenik: Technische Universiteit Eindhoven, p. 18-22 (Computer Science Reports; vol. 08-33).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
File
28 Downloads (Pure)

The mCRL2 toolset

Groote, J. F., Keiren, J. J. A., Mathijssen, A. H. J., Ploeger, B., Stappers, F. P. M., Tankink, C., Usenko, Y. S., Weerdenburg, van, M. J., Wesselink, J. W., Willemse, T. A. C. & Wulp, van der, J., 2008, Informal proceedings of the International Workshop on Advanced Software Development Tools and Techniques (WASDeTT 2008, Paphos, Cyprus, July 8, 2008; co-located with ECOOP). p. 5-1/10

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Downloads (Pure)

Towards exploiting the preservation strategy of deferrable servers

Bril, R. J. & Cuijpers, P. J. L., 2008, Proceedings of the Work in Progress (WiP) Session of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'08, St. Louis MO, USA, April 22-24, 2008). p. 13-16

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Towards exploiting the preservation strategy of sporadic servers

Bril, R. J. & Cuijpers, P. J. L., 2008, Proceedings Work in Progress (WiP) Session of the 20th Euromicro Conference on Real-Time Sustems (ECRTS'08, Prague, Czech Republic, July 2-4, 2008). p. 1-4

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Verification of networks of timed automata using mCRL2

Groote, J. F., Reniers, M. A. & Usenko, Y. S., 2008, Proceedings 22nd IEEE International Parallel and Distributed Processing Symposium (IPDPS 2008, Miami FL, USA, April 14-18, 2008). Piscataway NJ: Institute of Electrical and Electronics Engineers, p. 3867-3874

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2007

(In)consistency of extensions of higher order logic and type theory

Geuvers, J. H., 2007, Revised Selected Papers of the International Workshop on Types for Proofs and Programs (TYPES 2006) 18-21 April 2006, Nottingham, United Kingdom. Altenkirsch, T. & McBride, C. (eds.). Berlin: Springer, p. 140-159 (Lecture Notes in Computer Science; vol. 4502).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
77 Downloads (Pure)

Achieving discrete relative timing with untimed process algebra

Wijs, A. J., 2007, Proceedings of the 12th Conference on Engineering of Complex Computer Systems. Washington: Institute of Electrical and Electronics Engineers, p. 35-46

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

14 Citations (Scopus)

Action abstraction in timed process algebra : the case for an untimed silent step

Reniers, M. A. & Weerdenburg, van, M. J., 2007, Proceedings of the 2nd International Symposium on Fundamentals of Software Engineering (FSEN 2007) 17-19 April 2007, Tehran, Iran. Arbab, F. & Sirjani, M. (eds.). Berlijn, Germany: Springer, p. 287-301 (Lecture Notes in Computer Science; vol. 4767).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
2 Citations (Scopus)
36 Downloads (Pure)

A framework for automatically checking anonymity with μ CRL

Chothia, T., Orzan, S. M., Pang, J. & Torabi Dashti, M., 2007, Revised Selected Papers of the Second Symposium on Trustworthy Global Computing (TGC 2006) 7-9 November 2006, Lucca, Italy. Montanari, U., Sannella, D. & Bruni, R. (eds.). Berlin, Germany: Springer, p. 301-318 (Lecture Notes in Computer Science; vol. 4661).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
21 Citations (Scopus)
93 Downloads (Pure)

Assertion-based proof checking of Chang-Roberts leader election in PVS

Wesselink, J. W., Romijn, J. M. T. & Mooij, A. J., 2007, Proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis (ATVA 2007) 22-25 October 2007, Tokyo, Japan. Namjoshi, K. S., Yoneda, T., Higashino, T. & Okamura, Y. (eds.). Berlin, Germany: Springer, p. 347-361 (Lecture Notes in Computer Science; vol. 4762).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
2 Citations (Scopus)
82 Downloads (Pure)

Categoral views on computations on trees (Extended abstract)

Hasuo, I., Jacobs, B. P. F. & Uustalu, T., 2007, Proceedings of the 34th International Colloquium on Automata, Languages and Programming (ICALP 2007) 9-13 July 2007, Wroclaw, Poland. Arge, L., Cachin, C., Jurdzinski, T. & Tarlecki, A. (eds.). Berlin: Springer, p. 619-630 (Lecture Notes in Computer Science; vol. 4596).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
10 Citations (Scopus)
36 Downloads (Pure)

Compliance of RIES to the proposed e-voting protection profile

Jonker, H. L. & Volkamer, M., 2007, Revised selected papers of the first International Conference on E-Voting and Identity (VOTE-ID 2007) 4-5 October 2007, Bochum, Germany. Alkassar, A. & Volkamer, M. (eds.). Berlin, Germany: Springer, p. 50-61 (Lecture Notes in Computer Science; vol. 4896).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
1 Citation (Scopus)
59 Downloads (Pure)

Compositionality for Markov reward chains with fast transitions

Markovski, J., Sokolova, A., Trcka, N. & Vink, de, E. P., 2007, Proceedings of the 4th European Performance Engineering Workshop on Formal Methods and Stochastic Models for Performance Evaluation (EPEW 2007) 27-28 September 2007, Berlin, Germany. Wolter, K. (ed.). Berlin, Germany: Springer, p. 18-32 (Lecture Notes in Computer Science; vol. 4748).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
2 Citations (Scopus)
55 Downloads (Pure)

Data anonymity in the FOO voting scheme

Mauw, S., Verschuren, J. H. S. & Vink, de, E. P., 2007, Proceedings of the Second International Workshop on Views on Designing Complex Architectures (VODCA 2006) 16-17 September 2006, Bertinoro, Italy. Beek, ter, M. & Gadducci, F. (eds.). p. 5-28 (Electronic Notes in Theoretical Computer Science; vol. 168).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

21 Citations (Scopus)

Dynamic epistemic verification of security protocols : framework and case study

Dechesne, F. & Wang, Y., 2007, Proceedings of the Workshop on Logic, Rationality and Interaction, 5-9 August 2007, Beijing, China. Benthem, van, J. F. A. K., Ju, S. & Veltman, F. (eds.). London: College Publications, p. 129-144 (Texts in Computer Science; vol. 8).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Epistemic verification of anonymity

Eijck, van, J. & Orzan, S. M., 2007, Proceedings Second International Workshop on Views on Designing Complex Architectures (VODCA 2006) 16-17 September 2006, Bertinoro, Italy. Gadducci, F. (ed.). p. 159-174 (Electronic Notes in Theoretical Computer Science; vol. 168).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

28 Citations (Scopus)
1 Downloads (Pure)

Equivalence checking for infinite systems using parameterized Boolean equation systems

Chen, T., Ploeger, B., Pol, van de, J. C. & Willemse, T. A. C., 2007, Proceedings of the 18th International Conference on Concurrency Theory (CONCUR 2007) 3-8 September 2007, Lisboa, Portugal. Caires, L. & Vasconcelos, V. T. (eds.). Berlin, Germany: Springer, p. 120-135 (Lecture Notes in Computer Science; vol. 4703).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
29 Citations (Scopus)
83 Downloads (Pure)

Heuristics for ioco-based test-based modelling

Willemse, T. A. C., 2007, Proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 11) and 5th International Workshop on Parallel and Distributed Methods in Verification (PDMC 5) 26-27 August 2006 and 31 August 2006, Bonn, Germany. Brim, L., Haverkort, B. R., Leucker, M., Pol, van de, J. & Haverkort, B. (eds.). Berlin: Springer, p. 132-147 (Lecture Notes in Computer Science; vol. 4346).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

14 Citations (Scopus)

Integrating verification, testing, and learning for cryptographic protocols

Oostdijk, M. D., Rusu, V., Tretmans, J., Vries, de, R. G. & Willemse, T. A. C., 2007, Proceedings of the 6th International Conference on Integrated Formal Methods (IFM 2007) 2-5 July 2007, Oxford, United Kingdom. Gibbons, J. & Davies, J. (eds.). Berlin, Germany: Springer, p. 538-557 (Lecture Notes in Computer Science; vol. 4591).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
7 Citations (Scopus)
68 Downloads (Pure)

Integration of a security type system into a program logic

Hähnle, R., Pan, J., Rümmer, P. & Walter, D., 2007, Revised Selected Papers of the Second Symposium on Trustworthy Global Computing (TGC 2006) 7-9 November 2006, Lucca, Italy. Montanari, U., Sannella, D. & Bruni, R. (eds.). Berlin, Germany: Springer, p. 116-131 (Lecture Notes in Computer Science; vol. 4661).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)

Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme

Torabi Dashti, M., Krishnan Nair, S. & Jonker, H. L., 2007, Proceedings of the 2nd International Symposium on Fundamentals of Software Engineering (FSEN 2007) 17-19 April 2007, Tehran, Iran. Arbab, F. & Sirjani, M. (eds.). Berlijn, Germany: Springer, p. 33-48 (Lecture Notes in Computer Science; vol. 4767).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
9 Citations (Scopus)
61 Downloads (Pure)

Operational and epistemic approaches to protocol analysis: bridging the gap

Dechesne, F., Mousavi, M. & Orzan, S. M., 2007, Proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2007) 15-19 October 2007, Yerevan, Armenia. Dershowitz, N. & Voronkov, A. (eds.). Berlin, Germany: Springer, p. 226-241 (Lecture Notes in Computer Science; vol. 4790).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
18 Citations (Scopus)
89 Downloads (Pure)

Pruning state spaces with extended beam search

Torabi Dashti, M. & Wijs, A. J., 2007, Proceedings of the 5th International Symposium of Automated Technology for Verification and Analysis. Namjoshi, K. S. (ed.). Heidelberg: Springer, p. 543-552 (Lecture Notes in Computer Science; vol. 4762).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

7 Citations (Scopus)
1 Downloads (Pure)

Real-time process algebra with stochastic delays

Markovski, J. & Vink, de, E. P., 2007, Proceedings of the 7th International Conference on Application of Concurrency to System Design (ACSD 2007) 10-13 July 2007, Bratislava, Slovak Republic. Piscataway NJ: Institute of Electrical and Electronics Engineers, p. 177-186

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)

Relating Hybrid Chi to other formalisms

Beek, van, D. A., Rooda, J. E., Schiffelers, R. R. H., Man, K. L. & Reniers, M. A., 2007, Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference (IFM 2005) 29 November 2005, Eindhoven, The Netherlands. Romijn, J., Smith, G. & Pol, van de, J. (eds.). p. 85-113 (Electronic Notes in Theoretical Computer Science; vol. 191).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)

Sarir: a Rebeca to mCRL2 translator

Hojjat, H., Sirjani, M., Mousavi, M. & Groote, J. F., 2007, Proceedings of the 7th International Conference on Application of Concurrency to System Design (ACSD '07) 10-13 July 2007, Bratislava, Slovak Republic. IEEE Computer Society, p. 216-222

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)

Stochastic modeling of codon bias with PRISM

Pronk, T. E., Vink, de, E. P., Bosnacki, D. & Breit, T. M., 2007, Proceedings of the 3rd international workshop on Methods and Tools for Coordinating, Distributed and Mobile Systems (MTCoord 2007, Paphos, Cyprus, June 4, 2007). Linden, I. & Talcott, C. (eds.). Nicosia: University of Cyprus, Computer Science Department, p. 1-15

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Termination by quasi-periodic interpretations

Zantema, H. & Waldmann, J., 2007, Proceedings of the 18th International Conference on Term Rewriting and Applications (RTA 2007) 26-28 June 2007, Paris, France. Baader, F. (ed.). Springer, p. 404-418 (Lecture Notes in Computer Science; vol. 4533).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
3 Citations (Scopus)
68 Downloads (Pure)

Testing and model-checking techniques for diagnosis

Gromov, M. & Willemse, T. A. C., 2007, Proceedings of the 19th IFIP TC6/WG6.1 International Conference on Testing of Software and Communicating Systems (TestCom 2007) & 7th International Workshop on Formal Approaches to Testing of Software (FATES 2007) 26-29 June 2007, Tallinn, Estonia. Petrenko, A., Veanes, M., Tretmans, J. & Grieskamp, W. (eds.). Berlin, Germany: Springer, p. 138-154 (Lecture Notes in Computer Science; vol. 4581).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
3 Citations (Scopus)
63 Downloads (Pure)

The formal specification language mCRL2

Groote, J. F., Mathijssen, A. H. J., Reniers, M. A., Usenko, Y. S. & Weerdenburg, van, M. J., 2007, Proceedings of the 2007 Methods for Modelling Software Systems (MMOSS 2007) 27 August - 1 September 2007, Schloss Dagstuhl, Germany. Brinksma, E., Harel, D., Mader, A., Stevens, P. & Wieringa, R. (eds.). Schloss Dagstuhl, Germany: Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), p. 1/34- (Dagstuhl Seminar Proceedings; vol. 06351).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Downloads (Pure)

The Termination Competition

Marché, C. & Zantema, H., 2007, Proceedings of the 18th International Conference on Term Rewriting and Applications (RTA 2007) 26-28 June 2007, Paris, France. Baader, F. (ed.). Berlin, Germany: Springer, p. 303-313 (Lecture Notes in Computer Science; vol. 4533).

Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

Open Access
File
17 Citations (Scopus)
89 Downloads (Pure)

Towards budgeting in real-time calculus : deferrable servers

Cuijpers, P. J. L. & Bril, R. J., 2007, Proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2007) 3-5 October 2007, Salzburg, Austria. Raskin, J. F. & Thiagarajan, P. S. (eds.). Berlin, Germany: Springer, p. 98-113 (Lecture Notes in Computer Science; vol. 4763).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
6 Citations (Scopus)
85 Downloads (Pure)

Transformation of BPMN models for behaviour analysis

Raedts, I. G. J., Petkovic, M., Usenko, Y. S., Werf, van der, J. M. E. M., Groote, J. F. & Somers, L. J. A. M., 2007, Proceedings of the 5th International Workshop in conjunction with the 9th International Conference on Enterprise Information Systems (MSVVEIS 2007) 12-13 June 2007, Funchal, Madeira, Portugal. Augusto, J. C., Barjis, J. & Ultes-Nitsche, U. (eds.). INSTICC Press, p. 126-137

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

66 Citations (Scopus)

Vote buying revisited : implications for receipt-freeness

Pieters, W. & Jonker, H. L., 2007, Proceedings 2nd Benelux Workshop on Information and System Security (WISSec'08, Luxembourg, Grand Duchy of Luxembourg, September 20-21, 2007). 13 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2006

A complete axiomatisation of branching bisimulation for probabilistic systems, with an application in protocol verification

Andova, S., Baeten, J. C. M. & Willemse, T. A. C., 2006, CONCUR 2006 - Concurrency Theory (Proceedings 17th International Conference, Bonn, Germany, August 27-30, 2006). Baier, C. & Hermanns, H. (eds.). Berlin: Springer, p. 327-342 (Lecture Notes in Computer Science; vol. 4137).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)
1 Downloads (Pure)

A compositional merge of probabilistic processes in the alternating model

Andova, S., Baeten, J. C. M., D'Argenio, P. R. & Willemse, T. A. C., 2006, Proceedings 18th Nordic Workshop on Programming Theory (NWPT'06, Reykjavik, Iceland, October 18-20, 2006).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

A family of multi-party authentication protocols

Cremers, C. J. F. & Mauw, S., 2006, Online Proceedings 1st Benelux Workshop on Information and System Security (WISSEC 2006, Antwerpen, Belgium, November 8-9, 2006). Katholieke Universiteit Leuven

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

A finite equational base for CCS with left merge and communication merge

Aceto, L., Fokkink, W. J., Ingólfsdóttir, A. & Luttik, B., 2006, Automata, Languages and Programming (Proceedings 33rd International Colloquium, ICALP 2006, Venice, Italy, July 9-16, 2006), Part II. Bugliesi, M., Preneel, B., Sassone, V. & Wegener, I. (eds.). Berlin: Springer, p. 492-503 (Lecture Notes in Computer Science; vol. 4052).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)

A generic process algebra

Baeten, J. C. M. & Bravetti, M., 2006, Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25, Bertinoro, Italy, August 1-5, 2005). Aceto, L. & Gordon, A. D. (eds.). p. 65-71 (Electronic Notes in Theoretical Computer Science; vol. 162).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
4 Downloads (Pure)

A hierarchy of SOS rule formats

Groote, J. F., Mousavi, M. R. & Reniers, M. A., 2006, Proceedings of the 2nd Workshop on Structural Operational Semantics (SOS2005, Lisbon, Portugal, July 10, 2005; satellite to ICALP2005). Mosses, P. D. & Ulidowski, I. (eds.). p. 3-25 (Electronic Notes in Theoretical Computer Science; vol. 156(1)).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)
1 Downloads (Pure)

A symbolic framework for model-based testing

Frantzen, L., Tretmans, J. & Willemse, T. A. C., 2006, Formal Approaches to Testing and Runtime Verification : First Combined International Workshops FATES 2006 and RV 2006, Seattle WA, USA, August 15-16, 2006, Revised Selected Papers. Havelund, K., Núñez, M., Rosu, G. & Wolff, B. (eds.). Berlin: Springer, p. 40-54 15 p. (Lecture Notes in Computer Science (LNCS); vol. 4262).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

59 Citations (Scopus)

Automation of recursive path ordering for infinite labelled rewrite systems

Koprowski, A. & Zantema, H., 2006, Automated Reasoning (Proceedings 3rd International Joint Conference, IJCAR'06, Seattle WA, USA, August 17-20, 2006). Shankar, N. & Furbach, U. (eds.). Berlin: Springer, p. 332-346 (Lecture Notes in Computer Science; vol. 4130).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)
2 Downloads (Pure)