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

Verifying a sliding window protocol in µCRL

Fokkink, W. J., Groote, J. F., Pang, J., Badban, B. & Pol, van de, J. C., 2004, Algebraic Methodology and Software Technology (Proceedings 10th International Conference, AMAST 2004, Stirling, UK, July 12-16, 2004). Rattray, C., Maharaj, S. & Shankland, C. (eds.). Berlin: Springer, p. 148-163 (Lecture Notes in Computer Science; vol. 3116).

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

17 Citations (Scopus)
2003

A hierarchy of probabilistic system types

Bartels, F., Sokolova, A. & Vink, de, E. P., 2003, Proceedings 6th International Workshop on Coalgebraic Methods in Computer Science (CMCS'03, Warsaw, Poland, April 5-6, 2003). (Electronic Notes in Theoretical Computer Science; vol. 82(1)).

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

27 Citations (Scopus)

A hybrid language for modeling, simulation and verification

Schiffelers, R. R. H., Beek, van, D. A., Man, K. L., Reniers, M. A. & Rooda, J. E., 2003, Proceedings 5th IFAC Conference in Analysis and Design of Hybrid Systems (ADHS03, Saint-Malo, France, June 16-18, 2003). Engell, S., Gueguen, H. & Zaytoon, J. (eds.). Elsevier, p. 235-240

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

An analysis of medical device communication standard IEEE 1073.2

Mooij, A. J., Goga, N., Wesselink, J. W. & Bosnacki, D., 2003, Communication Systems and Networks (Proceedings of the Second IASTED International Conference, CSN 2003, Benalmádena, Spain, September 8-10, 2003). Palau Salvador, E. C. (ed.). ACTA Press

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

1 Downloads (Pure)

A unique decomposition theorem for ordered monoids with applications in process theory

Luttik, B., 2003, Mathematical Foundations of Computer Science (Proceedings 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003). Rovan, B. & Vojtás, P. (eds.). Berlin: Springer, p. 562-571 (Lecture Notes in Computer Science; vol. 2747).

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

4 Citations (Scopus)

Automath and pure type systems

Kamareddine, F., Laan, T. D. L. & Nederpelt, R. P., 2003, Proceedings Mathematics, Logic and Computation (Eindhoven, The Netherlands, July 4-5, 2003). p. 30-49 (Electronic Notes in Theoretical Computer Science; vol. 85).

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

1 Downloads (Pure)

Consistency in ISpec specifications

van Gogh, K., Kuiper, R. & Luit, E. J., 2003, Proceedings 4th PROGRESS Symposium on Embedded Systems (Nieuwegein, The Netherlands, October 22, 2003). Utrecht: STW Technology Foundation, p. 84-92

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

Defining authentication in a trace model

Cremers, C. J. F., Mauw, S. & Vink, de, E. P., 2003, Proceedings 1st International Workshop on Formal Aspects in Security and Trust (FAST 2003, Pisa, Italy, September 8-9, 2003), IIT-CNR Technical Report. Dimitrakos, T. & Martinelli, F. (eds.). p. 131-145

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

Dynamic contracts for adaptive specification

Huizing, C. & Kuiper, R., 2003, Proceedings Seventh World Multi-Conference in Systemics, Cybernetics and Informatics (SCI 2003, Orlando FL, USA, July 27-30, 2003). Callaos, N., Di Sciullo, A. M., Ohta, T. & Liu, T. K. (eds.). Orlando FL, USA: IIIS, Vol. 16. p. 95-101

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

Embedding untimed into timed process algebra : the case for explicit termination

Baeten, J. C. M., 2003, Proceedings 7th International Workshop on Expressiveness in Concurrency (EXPRESS'00, State College PA, USA, August 21, 2000). Aceto, L. & Victor, B. (eds.). (Electronic Notes in Theoretical Computer Science; vol. 39(1)).

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

Enhancing formal methods for SystemC designs

Man, K. L., 2003, Proceedings 4th PROGRESS Symposium on Embedded Systems (Nieuwegein, The Netherlands, October 22, 2003). Utrecht: STW Technology Foundation, p. 141-146

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

Founding fire wire bridges through Promela prototyping

Langevelde, van, I., Romijn, J. M. T. & Goga, N., 2003, Proceedings 17th International Parallel and Distributed Processing Symposium (IPDPS 2003, Nice, France, April 22-26, 2003), Paper 239a. Los Alamitos CA: IEEE Computer Society, p. 1-8

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

8 Citations (Scopus)

IMP : A BDD-based formal verification tool for arithmetic circuits

Man, K. L., 2003, Proceedings of the 16th IEEE European Conference on Circuits Theory and Design (ECCTD 2003, Cracow, Poland, September 1-4, 2003). Galias, Z. (ed.). Vol. 2. p. 225-228

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

Large state space visualization

Groote, J. F. & Ham, van, F. J. J., 2003, Tools and Algorithms for the Construction and Analysis of Systems (Proceedings TACAS '03, Warsaw, Poland, April 7-11, 2003). Gargamel, H. & Hatcliff, J. (eds.). Berlin: Springer, p. 585-590 (Lecture Notes in Computer Science; vol. 2619).

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

8 Citations (Scopus)

Liveness in rewriting

Giesl, J. & Zantema, H., 2003, Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings. Nieuwenhuis, R. (ed.). Berlin: Springer, p. 321-336 (Lecture Notes in Computer Science; vol. 2706).

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

13 Citations (Scopus)
2 Downloads (Pure)

New developments around the µCRL tool set

Blom, S. C. C., Groote, J. F., Langevelde, van, I., Lisser, B. & Pol, van de, J. C., 2003, Proceedings Eighth International Workshop on Formal Methods for Industrial Systems (FMICS'03, Trondheim, Norway, June 5-7, 2003). (Electronic Notes in Theoretical Computer Science; vol. 80).

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

6 Citations (Scopus)

On relational properties of lumpability

Sokolova, A. & Vink, de, E. P., 2003, Proceedings 4th PROGRESS Symposium on Embedded Systems (Nieuwegein, The Netherlands, October 22, 2003). Utrecht: STW Technology Foundation, p. 220-225

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

Open Access
File
36 Downloads (Pure)

Over 30 years of process algebra : past, present and future

Baeten, J. C. M., 2003, Process Algebra : Open Problems and Future Directions. PA '03, Bologna, Italy, 21-25 July, 2003. Aceto, L., Ésik, Z., Fokkink, W. J. & Ingólfsdóttir, A. (eds.). Amsterdam: Elsevier, p. 7-12 (BRICS notes series).

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

2 Downloads (Pure)

PINPAS: a tool for power analysis of smartcards

Hartog, den, J. I., Vink, de, E. P., Verschuren, J. H. S., Vos, de, J. & Wiersma, W. T., 2003, Security and Privacy in the Age of Uncertainty (Proceedings IFIP TC11 18th International Conference on Information Security, SEC2003, Athens Greece, May 26-28, 2003). Gritzalis, D., De Capitani di Vimercati, S., Samarati, P. & Katsikas, S. K. (eds.). Kluwer, p. 453-457 (IFIP Conference Proceedings; vol. 250).

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

13 Citations (Scopus)

Process semantics for UML component specifications to assess inheritance

Roubtsova, E. E. & Kuiper, R., 2003, Proceedings First International Conference on Graph Transformation and Visual Modeling Techniques (GT-VMT'2002, Barcelona, Spain, October 11-12, 2002). p. 145-159 (Electronic Notes in Theoretical Computer Science; vol. 72).

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

7 Citations (Scopus)

Proving liveness in ring protocols by termination

Zantema, H. & Giesl, J., 2003, Proceedings 6th International Workshop on Termination (WST2003, Valencia, Spain, June 13-14, 2003), Technical Report DSIC-II/15/03. Rubio, A. (ed.). Valencia: Universidad Politecnica de Valencia, p. 16-18

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

Relating Chi to hybrid automata

Beek, van, D. A., Jansen, N. G., Man, K. L., Reniers, M. A., Rooda, J. E. & Schiffelers, R. R. H., 2003, Proceedings of the 2003 winter simulation conference : New Orleans, LA, USA, December 7-10, 2003. Vol. 1. Chick, S., Sanchez, P. J., Ferrin, D. & Morrice, D. J. (eds.). Piscataway NJ: Institute of Electrical and Electronics Engineers, p. 632-640

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

3 Citations (Scopus)

Shortest solutions for Sokoban

Wesselink, J. W. & Zantema, H., 2003, Proceedings 15th Netherlands/Belgium Conference on Artificial Intelligence (BNAIC'03, Nijmegen, The Netherlands, October 23-24, 2003). Heskes, T. & et al., X. (eds.). Nijmegen: SNN/KUN, p. 323-330

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

Simulating liveness by reduction strategies

Giesl, J. & Zantema, H., 2003, Proceedings 3rd International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2003, Valencia, Spain, June 8, 2003). Gramlich, B. & Lucas, S. (eds.). (Electronic Notes in Theoretical Computer Science; vol. 86(4)).

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

2 Citations (Scopus)

Transforming equality logic to propositional logic

Zantema, H. & Groote, J. F., 2003, Proceedings 4th International Workshop on First-Order Theorem Proving (FTP'03, Valencia, Spain, June 12-14, 2003). (Electronic Notes in Theoretical Computer Science; vol. 86(1)).

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

4 Citations (Scopus)

Verification and improvement of the sliding window protocol

Chkliaev, D., Hooman, J. J. M. & Vink, de, E. P., 2003, Tools and Algorithms for the Construction and Analysis of Systems (Proceedings TACAS 2003, Warsaw, Poland, April 7-11, 2003). Garavel, H. & Hatcliff, J. (eds.). Berlin: Springer, p. 113-127 (Lecture Notes in Computer Science; vol. 2619).

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

30 Citations (Scopus)

Verification of random behaviours

Andova, S. & Willemse, T. A. C., 2003, Proceedings 1st South-East European Workshop on Formal Methods (SEEFM 2003, Thessaloniki, Greece, November 20, 2003), included in Proceedings 1st Balkan Conference in Informatics. p. 84-99

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

Open Access
File
26 Downloads (Pure)
2002

Analysis and synthesis of systems with discrete and continuous control

Cuijpers, P. J. L., Juloski, A. L., Reniers, M. A., Heemels, W. P. M. H., Groote, J. F. & Bosch, van den, P. P. J., 2002, Proceedings 3rd PROGRESS Workshop on Embedded Systems (Utrecht, The Netherlands, October 24, 2002). p. 28-33

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

Open Access
File
50 Downloads (Pure)

Axiomatizing GSOS with termination

Baeten, J. C. M. & Vink, de, E. P., 2002, Proceedings 19th Annual Symposium on Theoretical Aspects of Computer Science (STACS 2002, Antibes - Juan-les-Pins, France, March 14-16, 2002). Alt, H. & Ferreira, A. (eds.). Berlin: Springer, p. 583-595 (Lecture Notes in Computer Science; vol. 2285).

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

7 Citations (Scopus)

Characteristic entry logs in the MemorySafe information system

Qian, Y., Feijs, L. M. G. & Udink, R., 2002, Proceedings 14th IAESTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2002, Cambridge MA, USA, November 4-6, 2002). Anaheim CA: ACTA Press, p. 185-190

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

Comparing techniques for proving unsatisfiability (extended abstract)

Tveretina, O. & Zantema, H., 2002, Proceedings International Conference on Mathematical Methods in Electromagnetic Theory, MMET '02, Kiev, Ukraine, September 10-13, 2002. Piscataway NJ: Institute of Electrical and Electronics Engineers, Vol. 2. p. 605-607

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

2 Downloads (Pure)

Component specification and composition in a UML based tool

Roubtsova, E. E., Jonkers, H. B. M. & Kuiper, R., 2002, Proceedings 6th Multiconference on Systemics, Cybernetics and Informatics: International Conference on Information Systems, Analysis and Synthesis (SCI'2002/ISAS'2002, Orlando FL, July 14-17, 2002). Callaos, N., Zhao, R., Sanchez, B. & Lesso, W. (eds.). International Institute of Informatics and Systemics (IIIS), Vol. 18. p. 136-144

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

Computer assisted manipulation of algebraic process specifications

Groote, J. F. & Lisser, B., 2002, Proceedings 3rd International Workshop on Verification and Computational Logic (VCL 2002, Pittsburgh PA, USA, October 5, 2002), Technical Report DSSE-TR-2002-5. Leuschel, M. & Ultes-Nitsche, U. (eds.). Southampton: Dept. of Electronics and Computer Science

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

Controlling networked devices : a validation of two middleware architectures

Tran, T. M., Peters, P. J. F., Lukkien, J. J. & Verhoeven, P. H. F. M., 2002, Proceedings 3rd PROGRESS Workshop on Embedded Systems (Utrecht, The Netherlands, October 24, 2002). Utrecht: STW Technology Foundation, p. 239-245

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

Formal verification of an improved sliding window protocol

Chkliaev, D., Hooman, J. J. M. & Vink, de, E. P., 2002, Proceedings 3rd PROGRESS Workshop on Embedded Systems (Utrecht, The Netherlands, October 24, 2002). Utrecht: STW Technology Foundation, p. 18-27

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

Open Access
File
38 Downloads (Pure)

Highlights of RTL to gate comparison by the use of formality

Man, K. L., Fedeli, A. & Toto, F., 2002, Proceedings SNUG Europe 2002.

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

IF-logic and Skolemization: falsity conditions for IF-formulas (Abstract)

Dechesne, F., 2002, Proceedings Philosophical Insights into Logic and Mathematics (PILM '02, Nancy, France, September 30-October 4, 2002). Nancy: Université Nancy 2

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

Implementation and validation of UPnP for embedded systems in a home environment

Tran, T. M., Feijs, L. M. G. & Lukkien, J. J., 2002, Proceedings of the 2002 international conference on Internet, Communication and Information Technology (CIIT 2002, St. Thomas, Virgin Islands, November 18-20, 2002). Hamza, M. H. (ed.). Anaheim CA: ACTA Press, p. 279-284

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

Interface suites as contracts : composition of contracts in UML

Roubtsova, E. E., Jonkers, H. B. M. & Kuiper, R., 2002, Proceedings 3rd PROGRESS Workshop on Embedded Systems (Utrecht, The Netherlands, October 24, 2002). Karelse, F. (ed.). Utrecht, The Netherlands: STW Technology Foundation, p. 203-210

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

Open Access
File
29 Downloads (Pure)

Language-driven system design

Mauw, S., Wiersma, W. T. & Willemse, T. A. C., 2002, Proceedings 35th Annual Hawaii International Conference on System Sciences (HICSS 2002, Big Island, Hawaii, January 7-10, 2002). Los Alamitos CA: IEEE Computer Society, p. 3637-3646

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

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

On BAN logics for industrial security protocols

Agray, N., Hoek, van der, W. & Vink, de, E. P., 2002, From Theory to Practice in Multi-Agent Systems (Proceedings CEEMAS 2001, Cracow, Poland, September 26-29, 2001). Dunin-Keplicz, B. & Nawarecki, E. (eds.). Berlin: Springer, p. 29-38 (Lecture Notes in Computer Science; vol. 2296).

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

9 Citations (Scopus)

Operational semantics for coordination in Paradigm

Groenewegen, L. P. J. & Vink, de, E. P., 2002, Coordination Models and Languages (Proceedings COORDINATION 2002, York, UK, April 8-11, 2002). Arbab, F. & Talcott, C. (eds.). Berlin: Springer, p. 191-206 (Lecture Notes in Computer Science; vol. 2315).

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

11 Citations (Scopus)

Parameters in pure type systems

Bloo, C. J., Kamareddine, F., Laan, T. D. L. & Nederpelt, R. P., 2002, LATIN 2002: theoretical informatics proceedings 5th Latin American symposium, Cancun, Mexico, April 3-6, 2002. Rajsbaum, S. (ed.). Berlin: Springer, p. 371-385 (Lecture Notes in Computer Science; vol. 2286).

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

2 Citations (Scopus)

Perceptual evaluation of audiovisual cues for prominence

Krahmer, E. J., Ruttkay, Z., Swerts, M. G. J. & Wesselink, J. W., 2002, Proceedings 7th Int. Conf. on Spoken Language Processing (Denver CO, USA, 16-20 September 2002). Denver, CO, USA: ISLP, Vol. 3. p. 1933-11936

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

9 Citations (Scopus)

Pitch, eyebrows and the perception of focus

Krahmer, E. J., Ruttkay, Z., Swerts, M. G. J. & Wesselink, J. W., 2002, Proceedings of the Speech Prosody 2002 Conference, Aix-en-Provence, France, April 11-13, 2002. Bel, B. & Marlien, I. (eds.). Aix-en-Provence, France: Laboratoire Parole et Language, p. 443-446

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

Pitch, eyebrows and the perception of focus speech

Krahmer, E. J., Ruttkay, Z., Swerts, M. G. J. & Wesselink, J. W., 2002, Proceedings Prosody 2002 (Aix-en-Provence, France, April 2002).

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

SAT techniques for knowledge base verification

Tveretina, O. & Zantema, H., 2002, Proceedings 3rd International Multiconference on Applied and Theoretical Mathematics (Miedzyzdroje, Poland, September 1-5, 2002). Athens, Greece: WSEAS, p. 213-217

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

Service discovery mechanisms : two case studies

Lukkien, J. J., Tran, T. M., Verhoeven, P. H. F. M. & Peters, P. J. F., 2002, Proceedings of the 2002 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'02, Las Vegas NV, USA, June 24-27, 2002). Arabnia, H. R. (ed.). CSREA Press, Vol. 3. p. 1187-1192

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

Specification and simulation of microprocessor operations and parallel instructions

Feijs, L. M. G., Gorissen, P. & Trescher, J., 2002, Proceedings Euromicro Symposium on Digital System Design: Architectures, Methods, and Tools (DSD'02, Dortmund, Germany, September 4-6, 2002). Edwards, M. (ed.). Los Alamitos CA: IEEE Computer Society, p. 110-117

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

2 Downloads (Pure)

Test selection, trace distance and heuristics

Feijs, L. M. G., Mauw, S., Goga, N. & Tretmans, J., 2002, Testing of Computer Systems XIV: Applications to Internet Technologies and Services (Proceedings TestCom 2002, Berlin, Germany, March 19-22, 2002). Schieferdecker, I., König, H. & Wolisz, A. (eds.). Dordrecht: Kluwer Academic Publishers, p. 267-282 (IFIP Conference Proceedings; vol. 210).

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