• 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
2005

From Chi-t to mCRL : combining performance and functional analysis

Wijs, A. J. & Fokkink, W. J., 2005, Proceedings of the 10th Conference on Engineering of Complex Computer Systems. Washington: Institute of Electrical and Electronics Engineers, p. 184-193

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

Generalized innermost rewriting

Pol, van de, J. C. & Zantema, H., 2005, Rewriting Techniques and Applications (Proceedings 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005). Giesl, J. (ed.). Berlin: Springer, p. 2-16 (Lecture Notes in Computer Science; vol. 3467).

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

1 Citation (Scopus)
2 Downloads (Pure)

Incremental verification of Owicki/Gries proof outlines using PVS

Mooij, A. J. & Wesselink, J. W., 2005, Formal methods and software engineering : 7th international conference, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings. Lau, K. K. & Banach, R. (eds.). Berlin: Springer, p. 390-404 (Lecture Notes in Computer Science; vol. 3785).

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

4 Citations (Scopus)

Is timed branching bisimilarity an equivalence indeed?

Fokkink, W. J., Pang, J. & Wijs, A. J., 2005, Proceedings of the 3rd Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2005). Pettersson, P. & Yi, W. (eds.). Heidelberg: Springer, p. 258-272 (Lecture Notes in Computer Science; vol. 3829).

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

10 Citations (Scopus)

Lock-free parallel garbage collection

Gao, H., Groote, J. F. & Hesselink, W. H., 2005, Parallel and distributed processing and applications (Third International Symposium, ISPA'05, Nanjing, China, November 2-5, 2005. Proceedings). Pan, Y., Chen, D., Guo, M., Cao, J. & Dongarra, J. J. (eds.). Berlin: Springer, p. 263-274 (Lecture Notes in Computer Science; vol. 3758).

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

2 Citations (Scopus)
1 Downloads (Pure)

Looking for stability

Huizing, C., Kuiper, R., Punter, H. T. & Serebrenik, A., 2005, Proceedings 6th Net.Object Days (Erfurt, Germany, September 19-22, 2005). Franczyk, B. & et al., X. (eds.). Ilmenau, Germany: tranSIT GmbH, p. 575-585

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

Looking for stability

Huizing, C., Kuiper, R., Punter, H. T. & Serebrenik, A., 2005, Proceedings of Development and Deployment of Product Software 2005 (DDoPS-05, San Diego CA, USA, June 27-28, 2005). Dey, P., Amin, M. & Brinkkemper, S. (eds.). p. 291-304

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

Looking for stability

Huizing, C., Kuiper, R., Punter, H. T. & Serebrenik, A., 2005, Proceedings of VVSS2005 : verification and validation of software systems (Eindhoven, The Netherlands, November 24, 2005). Punter, T. & Eekelen, van, M. (eds.). Eindhoven: Technische Universiteit Eindhoven, p. 148-161 (Computer Science Reports; vol. 05-30).

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

Modeling the epistemics of communication with functional programming

Orzan, S. M. & Eijck, van, J., 2005, Proceedings 6th Symposium on Trends in Functional Programming (TFP'05, Tallinn, Estonia, September 23-24, 2005). Eekelen, van, M. (ed.). Tallinn: Institute of Cybernetics, p. 44-59

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

On tree automata that certify termination of left-linear term rewriting systems

Geser, A., Hofbauer, D., Waldmann, J. & Zantema, H., 2005, Rewriting Techniques and Applications (Proceedings 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005). Giesl, J. (ed.). Berlin: Springer, p. 353-367 (Lecture Notes in Computer Science; vol. 3467).

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

11 Citations (Scopus)
2 Downloads (Pure)

Operational semantics of security protocols

Cremers, C. J. F. & Mauw, S., 2005, Scenarios : Models, Transformations and Tools : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised selected papers. Leue, S. & Systä, T. J. (eds.). Berlin: Springer, p. 66-89 24 p. (Lecture Notes in Computer Science (LNCS); vol. 3466).

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

30 Citations (Scopus)

Proving liveness with fairness using rewriting

Koprowski, A. & Zantema, H., 2005, Frontiers of Combining Systems (Proceedings 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005). Gramlich, B. (ed.). Berlin: Springer, p. 232-247 16 p. (Lecture Notes in Computer Science (LNCS); vol. 3717)(Lecture Notes in Artificial Intelligence (LNAI); vol. 3717).

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

5 Citations (Scopus)

Reflections on a geometry of processes

Grabmayer, C. A., Klop, J. W. & Luttik, B., 2005, Algebraic Process Calculi: The First Twenty Five Years and Beyond (Short contributions from the workshop, Bertinoro, Forli, Italy, August 1-5, 2005), BRICS Notes Series NS-05-3. Aceto, L. & Gordon, A. D. (eds.). Aarhus, Denmark: BRICS, University of Aarhus, p. 118-125

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

Regular expressions in process algebra

Baeten, J. C. M. & Corradini, F., 2005, Logic in Computer Science (Proceedings Twentieth Annual IEEE Symposium, LICS 2005, Chicago IL, USA, June 26-29, 2005). Los Alamitos: Institute of Electrical and Electronics Engineers, p. 12-19

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

4 Citations (Scopus)

Six themes for future concurrency research

Baeten, J. C. M. & Bergstra, J. A., 2005, Algebraic process calculi : the first twenty five years and beyond : short contributions from the workshop, PA'05, Bertinoro, Forli, Italy, August 1-5, 2005. Aceto, L. & Gordon, A. D. (eds.). Aarhus: University of Aarhus, p. 21-23 (BRICS notes series; vol. NS-05-3).

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

Strong splitting bisimulation equivalence

Bergstra, J. A. & Middelburg, C. A., 2005, Algebra and Coalgebra in Computer Science (Proceedings First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005). Fiadeiro, J. L., Harman, N., Roggenbach, M. & Rutten, J. (eds.). Berlin: Springer, p. 83-97 (Lecture Notes in Computer Science; vol. 3629).

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

3 Citations (Scopus)

Stuttering congruence for $\Chi$

Luttik, B. & Trcka, N., 2005, Model Checking Software (Proceedings 12th International SPIN Workshop, San Francisco CA, USA, August 22-24, 2005). Godefroid, P. (ed.). Berlin: Springer, p. 185-199 (Lecture Notes in Computer Science; vol. 3639).

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

1 Citation (Scopus)

SystemC^FL : a formalism for hardware/software co-design

Man, K. L., 2005, Proceedings of the 17th European Conference on Circuit Theory and Design (ECCTD'05, Cork, Ireland, August 29-September 2, 2005). O'Regan, F. & Wegener, C. (eds.). Piscataway: Institute of Electrical and Electronics Engineers, Vol. 1. p. 193-196

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

Open Access
File
4 Citations (Scopus)
43 Downloads (Pure)

Toward reasoning about security protocols : a semantic approach

Hommersom, A., Meyer, J-JC. & Vink, de, E. P., 2005, Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems (LCMAS 2004, Nancy, France, August 16-20, 2004). p. 53-75 (Electronic Notes in Theoretical Computer Science; vol. 126).

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

93 Citations (Scopus)

Verifying SystemC^FL designs using the SMV model checker

Man, K. L., 2005, Proceedings of the 8th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS'05, Sopron, Hungary, April 13-16, 2005). p. 244-247

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

Virtual analysis and reduction of side-channel vulnerabilities of smartcards

Hartog, den, J. I. & Vink, de, E. P., 2005, Formal Aspects in Security and Trust (Proceedings IFIP TC1 WG1.7 Workshop, FAST, Toulouse, France, August 26-27, 2004). Dimitrakos, T. & Martinelli, F. (eds.). Boston: Kluwer Academic Publishers, p. 85-98

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

11 Citations (Scopus)

Weak bisimulation for action-type coalgebras (Extended abstract)

Sokolova, A., Vink, de, E. P. & Woracek, H., 2005, Proceedings 10th Conference on Category Theory and Computer Science (CTCS 2004, Copenhagen, Denmark, August 12-14, 2004). p. 211-228 (Electronic Notes in Theoretical Computer Science; vol. 122).

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

8 Citations (Scopus)

What is algebraic in process theory?

Luttik, B., 2005, Algebraic Process Calculi: The First Twenty Five Years and Beyond (Short contributions from the workshop, Bertinoro, Forli, Italy, August 1-5, 2005), BRICS Notes Series NS-05-3. Aceto, L. & Gordon, A. D. (eds.). Aarhus, Denmark: BRICS, University of Aarhus, p. 159-163

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

XML security in the next generation optical disc context

Nair, G. G., Gopalakrishnan, A., Mauw, S. & Moll, E., 2005, Secure Data Management (Proceedings 2nd VLDB Workshop, SDM 2005, Trondheim, Norway, September 2-3, 2005). Petkovic, M. (ed.). Berlin: Springer, p. 217-233 (Lecture Notes in Computer Science; vol. 3674).

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

1 Citation (Scopus)
2004

A checker for modal formulae for processes with data

Groote, J. F. & Willemse, T. A. C., 2004, Formal Methods for Components and Objects (Revised Lectures, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003). Boer, F. S., Bonsangue, M. M., Graf, S. & Roever, de, W. P. (eds.). Berlin: Springer, p. 223-239 (Lecture Notes in Computer Science; vol. 3188).

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

2 Citations (Scopus)
5 Downloads (Pure)

A distributed spanning tree algorithm for topology-aware networks

Mooij, A. J., Goga, N. & Wesselink, J. W., 2004, Proceedings of the Conference on Design, Analysis, and Simulation of Distributed Systems 2004 (DASD 2004, Arlington VA, USA, April 18-22, 2004). Unger, H. (ed.). The Society for Modeling and Simulation International (SCS), p. 168-178

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

A formalization of anonymity and onion routing

Mauw, S., Verschuren, J. H. S. & Vink, de, E. P., 2004, Computer Security - ESORICS 2004 (Proceedings 9th European Symposium on Research in Computer Security, Sophia Antipolis, France, September 13-15, 2004). Samarati, P., Ryan, P., Gollmann, D. & Molva, R. (eds.). Berlin: Springer, p. 109-124 (Lecture Notes in Computer Science; vol. 3193).

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

40 Citations (Scopus)
4 Downloads (Pure)

Almost wait-free resizable hashtable

Gao, H., Groote, J. F. & Hesselink, W. H., 2004, Proceedings 18th International Parallel and Distributed Processing Symposium (IPDPS 2004, Santa Fe, New Mexico, USA, April 26-30, 2004), Paper 50a. Los Alamitos CA: IEEE Computer Society, p. 1-9

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

16 Citations (Scopus)
1 Downloads (Pure)

Analyzing SystemC^FL designs using timed automata

Man, K. L., 2004, Proceedings 9th Biennial Baltic Electronics Conference (BEC 2004, Tallinn, Estonia, October 3-6, 2004).

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

A proof system and a decision procedure for equality logic

Tveretina, O. & Zantema, H., 2004, LATIN 2004: Theoretical Informatics (Proceedings 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004). Farach-Colton, M. (ed.). Berlin: Springer, p. 530-539 (Lecture Notes in Computer Science; vol. 2976).

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

1 Citation (Scopus)
2 Downloads (Pure)

Automatic conformance testing of internet applications

Beek, van, H. M. A. & Mauw, S., 2004, Formal Approaches to Software Testing (Proceedings Third International Workshop, FATES 2003, Montreal, Quebec, Canada, October 6, 2003). Petrenko, A. & Ulrich, A. (eds.). Berlin: Springer, p. 205-222 (Lecture Notes in Computer Science; vol. 2931).

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

5 Citations (Scopus)

Congruence for SOS with data

Mousavi, M. R., Reniers, M. A. & Groote, J. F., 2004, Proceedings 19th IEEE Symposium on Logic in Computer Science (LICS 2004, Turku, Finland, July 14-17, 2004). Los Alamitos CA, USA: IEEE Computer Society, p. 303-312

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

9 Citations (Scopus)

Denkniveaus bij algoritmen

Perrenet, J. C., Groote, J. F. & Kaasenbrood, E. J. S., 2004, NIOC Proceedings 2004 (Groningen, The Netherlands, November 3-4, 2004). Smedinga, R. & Tolboom, J. (eds.). Groningen: Uitgeverij Passage, p. 83-88

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

Open Access
File
48 Downloads (Pure)

Embeddings of hybrid automata in process algebra

Willemse, T. A. C., 2004, Integrated Formal Methods (Proceedings IFM 2004, Canterbury, UK, April 4-7, 2004). Boiten, E., Derrick, J. & Smith, G. (eds.). Berlin: Springer, p. 343-362 (Lecture Notes in Computer Science; vol. 2999).

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

1 Citation (Scopus)
2 Downloads (Pure)

Extensions of SystemC^FL for mixed-signal systems and formal verification

Man, K. L., 2004, Proceedings 5th PROGRESS Symposium on Embedded Systems (Nieuwegein, The Netherlands, October 20, 2004). Utrecht: STW Technology Foundation, p. 103-107

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

Open Access
File
33 Downloads (Pure)

Formal semantics of hybrid Chi

Schiffelers, R. R. H., Beek, van, D. A., Man, K. L., Reniers, M. A. & Rooda, J. E., 2004, Formal Modeling and Analysis of Timed Systems (First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers). Larsen, K. G. & Niebert, P. (eds.). Berlin: Springer, p. 151-165 (Lecture Notes in Computer Science; vol. 2791).

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

9 Citations (Scopus)

Parameterised Boolean equation systems (Extended abstract)

Groote, J. F. & Willemse, T. A. C., 2004, CONCUR 2004 - concurrency theory : proceedings 15th international conference, London, UK, August 31-September 3, 2004. Gardner, P. & Yoshida, N. (eds.). Berlin: Springer, p. 308-324 (Lecture Notes in Computer Science; vol. 3170).

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

Plug-ins for ISpec

Gool, van, L. C. M., Jonkers, H. B. M., Luit, E. J., Kuiper, R. & Roubtsov, S. A., 2004, Proceedings 5th PROGRESS Symposium on Embedded Systems (Nieuwegein, The Netherlands, October 20, 2004). Utrecht: STW Technology Foundation, p. 35-40

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

Open Access
File
39 Downloads (Pure)

Relative termination in term rewriting

Zantema, H., 2004, Proceedings 7th International Workshop on Termination (WST-04, Aachen, Germany, June 1-2, 2004), Aachener Informatik Berichte AIB-2004-07. Codish, M. & Middelkoop, A. (eds.). Aachen, Germany: RWTH, p. 51-54

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

2 Downloads (Pure)

Rewriting for Fitch style natural deductions

Geuvers, J. H. & Nederpelt, R. P., 2004, Rewriting Techniques and Applications (Proceedings 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004). Oostrom, van, V. (ed.). Berlin: Springer, p. 134-154 (Lecture Notes in Computer Science; vol. 3091).

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

5 Citations (Scopus)

Security aspects of DRM systems

Jonker, H. L., Mauw, S., Verschuren, J. H. S. & Schoonen, A. T. S. C., 2004, Proceedings of the 25th Symposium on Information Theory in the Benelux (Kerkrade, The Netherlands, June 2-4, 2004). Pellikaan, G. R. (ed.). Eindhoven, The Netherlands: Werkgemeenschap voor Informatie- en Communicatietheorie (WIC), p. 169-176

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

Solving disjunctive/conjunctive boolean equation systems with alternating fixed points

Groote, J. F. & Keinänen, M. K., 2004, Tools and Algorithms for the Construction and Analysis of Systems (Proceedings TACAS 2004, Part of ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004). Jensen, K. & Podelski, A. (eds.). Berlin: Springer, p. 436-450 (Lecture Notes in Computer Science; vol. 2988).

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

8 Citations (Scopus)
3 Downloads (Pure)

Solving satisfiability of ground term algebras using DPLL and unification

Badban, B., Pol, van de, J. C., Tveretina, O. & Zantema, H., 2004, Proceedings 18th Workshop on Unification (UNIF2004, Cork, Ireland, July 5, 2004; affiliated with IJCAR'04). Kohlhase, M. (ed.).

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

2 Downloads (Pure)

Statistical certification of software systems

Di Bucchianico, A., Groote, J. F., Hee, van, K. M. & Kruidhof, R., 2004, Proceedings CONQUEST 2004 (Nuremberg, Germany, September 22-24, 2004). Erlangen, Germany: ASQF, p. 161-171

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

SystemC^FL: formalization of SystemC

Man, K. L., 2004, Proceedings 12th IEEE Mediterranean Electrotechnical Conference (Melecon 2004, Dubrovnik, Croatia, May 12-15, 2004). Matijasivic, M., Pejcinovic, B., Tomsic, Z. & Butkovic, Z. (eds.). Piscataway: Institute of Electrical and Electronics Engineers, p. 201-204

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

Test generation based on symbolic specifications

Frantzen, L., Tretmans, J. & Willemse, T. A. C., 2004, Formal Approaches to Software Testing (4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised selected papers). Grabowski, J. & Nielsen, B. (eds.). Berlin: Springer, p. 1-15 (Lecture Notes in Computer Science; vol. 3395).

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

74 Citations (Scopus)

Thompson transformations for IF-logic?

Dechesne, F., 2004, Informal Proceedings of the workshop Knowledge and Games (KAG 2004, Liverpool, UK, July 10-11, 2004). Liverpool, UK: Department of Computer Science

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

TORPA : termination of rewriting proved automatically

Zantema, H., 2004, Rewriting techniques and applications : proceedings 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Oostrom, van, V. (ed.). Berlin: Springer, p. 95-104 (Lecture Notes in Computer Science; vol. 3091).

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

12 Citations (Scopus)
2 Downloads (Pure)

Tree automata that certify termination of term rewriting systems

Geser, A., Hofbauer, D., Waldmann, J. & Zantema, H., 2004, Proceedings 7th International Workshop on Termination (WST-04, Aachen, Germany, June 1-2, 2004), Aachener Informatik Berichte AIB-2004-07. Codish, M. & Middelkoop, A. (eds.). Aachen, Germany: RWTH, p. 14-17

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

2 Downloads (Pure)

Verification of a sliding window protocol in µCRL

Badban, B., Fokkink, W. J., Groote, J. F., Pang, J. & Pol, van de, J. C., 2004, Proceedings 5th PROGRESS Symposium on Embedded Systems (Nieuwegein, The Netherlands, October 20, 2004). Utrecht: STW Technology Foundation, p. 157-176

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

Open Access
File
62 Downloads (Pure)