• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Nederland

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

    5600 MB Eindhoven

    Nederland

Onderzoeksoutput

Filter
Conferentiebijdrage
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. (redactie). Berlin: Springer, blz. 187-202 (Lecture Notes in Computer Science; vol. 5201).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5 Citaten (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. (redactie). Berlin: Springer, blz. 116-129 (Lecture Notes in Computer Science; vol. 4981).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

13 Citaten (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. (redactie). blz. 21-53 (Electronic Notes in Theoretical Computer Science; vol. 209).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

8 Citaten (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. (redactie). Berlin: Springer, blz. 441-455 (Lecture Notes in Computer Science; vol. 5117).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

12 Citaten (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, blz. 113-118

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (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. (redactie). Berlin: Springer, blz. 111-125 (Lecture Notes in Computer Science; vol. 5160).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

7 Citaten (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. (redactie). Berlin: Springer, blz. 367-386 (Lecture Notes in Computer Science; vol. 5307).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5 Citaten (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. (redactie). blz. 119-135 (Electronic Notes in Theoretical Computer Science; vol. 223).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (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. (redactie). Serebrenik: Technische Universiteit Eindhoven, blz. 18-22 (Computer Science Reports; vol. 08-33).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Open Access
Bestand
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). blz. 5-1/10

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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). blz. 13-16

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

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). blz. 1-4

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

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, blz. 3867-3874

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. (redactie). Berlin: Springer, blz. 140-159 (Lecture Notes in Computer Science; vol. 4502).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
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, blz. 35-46

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

14 Citaten (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. (redactie). Berlijn, Germany: Springer, blz. 287-301 (Lecture Notes in Computer Science; vol. 4767).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
2 Citaten (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. (redactie). Berlin, Germany: Springer, blz. 301-318 (Lecture Notes in Computer Science; vol. 4661).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
21 Citaten (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. (redactie). Berlin, Germany: Springer, blz. 347-361 (Lecture Notes in Computer Science; vol. 4762).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
2 Citaten (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. (redactie). Berlin: Springer, blz. 619-630 (Lecture Notes in Computer Science; vol. 4596).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
10 Citaten (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. (redactie). Berlin, Germany: Springer, blz. 50-61 (Lecture Notes in Computer Science; vol. 4896).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
1 Citaat (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. (redactie). Berlin, Germany: Springer, blz. 18-32 (Lecture Notes in Computer Science; vol. 4748).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
2 Citaten (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. (redactie). blz. 5-28 (Electronic Notes in Theoretical Computer Science; vol. 168).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

21 Citaten (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. (redactie). London: College Publications, blz. 129-144 (Texts in Computer Science; vol. 8).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. (redactie). blz. 159-174 (Electronic Notes in Theoretical Computer Science; vol. 168).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

28 Citaten (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. (redactie). Berlin, Germany: Springer, blz. 120-135 (Lecture Notes in Computer Science; vol. 4703).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
29 Citaten (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. (redactie). Berlin: Springer, blz. 132-147 (Lecture Notes in Computer Science; vol. 4346).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

14 Citaten (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. (redactie). Berlin, Germany: Springer, blz. 538-557 (Lecture Notes in Computer Science; vol. 4591).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
7 Citaten (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. (redactie). Berlin, Germany: Springer, blz. 116-131 (Lecture Notes in Computer Science; vol. 4661).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Citaten (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. (redactie). Berlijn, Germany: Springer, blz. 33-48 (Lecture Notes in Computer Science; vol. 4767).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
9 Citaten (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. (redactie). Berlin, Germany: Springer, blz. 226-241 (Lecture Notes in Computer Science; vol. 4790).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
18 Citaten (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. (redactie). Heidelberg: Springer, blz. 543-552 (Lecture Notes in Computer Science; vol. 4762).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

7 Citaten (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, blz. 177-186

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (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. (redactie). blz. 85-113 (Electronic Notes in Theoretical Computer Science; vol. 191).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Citaten (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, blz. 216-222

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Citaten (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. (redactie). Nicosia: University of Cyprus, Computer Science Department, blz. 1-15

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. (redactie). Springer, blz. 404-418 (Lecture Notes in Computer Science; vol. 4533).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
3 Citaten (Scopus)
69 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. (redactie). Berlin, Germany: Springer, blz. 138-154 (Lecture Notes in Computer Science; vol. 4581).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
3 Citaten (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. (redactie). Schloss Dagstuhl, Germany: Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), blz. 1/34- (Dagstuhl Seminar Proceedings; vol. 06351).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. (redactie). Berlin, Germany: Springer, blz. 303-313 (Lecture Notes in Computer Science; vol. 4533).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageProfessioneel

Open Access
Bestand
17 Citaten (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. (redactie). Berlin, Germany: Springer, blz. 98-113 (Lecture Notes in Computer Science; vol. 4763).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
6 Citaten (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. (redactie). INSTICC Press, blz. 126-137

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

66 Citaten (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 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. (redactie). Berlin: Springer, blz. 327-342 (Lecture Notes in Computer Science; vol. 4137).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

6 Citaten (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).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

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. (redactie). Berlin: Springer, blz. 492-503 (Lecture Notes in Computer Science; vol. 4052).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (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. (redactie). blz. 65-71 (Electronic Notes in Theoretical Computer Science; vol. 162).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (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. (redactie). blz. 3-25 (Electronic Notes in Theoretical Computer Science; vol. 156(1)).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

6 Citaten (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. (redactie). Berlin: Springer, blz. 40-54 15 blz. (Lecture Notes in Computer Science (LNCS); vol. 4262).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

59 Citaten (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. (redactie). Berlin: Springer, blz. 332-346 (Lecture Notes in Computer Science; vol. 4130).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (Scopus)
2 Downloads (Pure)