Research Output

Filter
Book editing
1990

Protocol, specification, testing, and verification, IX : proceedings of the IFIP WG 6.1 ninth international symposium of protocol specification, testing, and verification, Enschede, the Netherlands, 6-9 June, 1989

Brinksma, E. (ed.), Scollo, G. (ed.) & Vissers, C. A. (ed.), 1990, Amsterdam: North-Holland Publishing Company. 401 p. (Protocol specification, testing, and verification : proceedings of the IFIP WG 6.1 ... international workshop; vol. 9)

Research output: Book/ReportBook editingProfessional

1991

C.S. Scholten dedicata : van oude machines en nieuwe rekenwijzen

Feijen, W. H. J. (ed.) & Gasteren, van, A. J. M. (ed.), 1991, Schoonhoven: Academic Service. 247 p.

Research output: Book/ReportBook editingProfessional

1992

Protocol test systems, IV : proceedings of the IFIP TC6 Fourth International Workshop on Protocol Test Systems organized by PTT Research Leidschendam, The Netherlands, 15-17 October, 1991

Kroon, J. (ed.), Heijink, R. J. (ed.) & Brinksma, E. (ed.), 1992, Amsterdam: North-Holland Publishing Company. 310 p.

Research output: Book/ReportBook editingProfessional

1995

Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS'95, Aarhus, Denmark, May 19-20, 1995 : selected papers

Brinksma, E. (ed.), Cleaveland, W. R. (ed.), Larsen, K. G. (ed.), Margaria, T. (ed.) & Steffen, B. (ed.), 1995, Berlin: Springer. 289 p. (Lecture notes in computer science; vol. 1019)(TACAS : tools and algorithms for the construction and analysis of systems : international conference : proceedings; vol. 1)

Research output: Book/ReportBook editingAcademic

1997

Tools and algorithms for the construction and analysis of systems: third international workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings

Brinksma, E. (ed.), 1997, Berlin: Springer. (Lecture notes in computer science; vol. 1217)(TACAS : tools and algorithms for the construction and analysis of systems : international conference : proceedings; vol. 3)

Research output: Book/ReportBook editingProfessional

1998

Multimodal human-computer communication : systems, techniques, and experiments

Bunt, H. C. (ed.), Beun, R. J. (ed.) & Borghuis, V. A. J. (ed.), 1998, Berlin: Springer. 343 p. (Lecture notes in computer science; vol. 1374)(Lecture notes in artificial intelligence; vol. 1374)

Research output: Book/ReportBook editingAcademicpeer-review

Proceedings of the third international workshop on Formal Methods for industrial critical systems, Amsterdam, The Netherlands, May 25-26, 1988

Groote, J. F. (ed.), Luttik, S. P. (ed.) & Wamel, van, J. J. (ed.), 1998, Amsterdam: SMC. 370 p.

Research output: Book/ReportBook editingAcademicpeer-review

1999

CONCUR'99 : concurrency theory: 10th international conference, Eindhoven, The Netherlands, August 24-27, 1999 : proceedings

Baeten, J. C. M. (ed.) & Mauw, S. (ed.), 1999, Berlin: Springer. 573 p. (Lecture notes in computer science; vol. 1664)(CONCUR, international conference on concurrency theory : proceedings; vol. 10)

Research output: Book/ReportBook editingProfessional

The proceedings of the first international symposium on Visual Formal Methods VFM'99, Eindhoven, August 23rd, 1989

Bosnacki, D. (ed.), Mauw, S. (ed.) & Willemse, T. A. C. (ed.), 1999, Eindhoven: Technische Universiteit Eindhoven. 114 p. (Computing science reports; vol. 9908)

Research output: Book/ReportBook editingAcademic

Open Access
File
70 Downloads (Pure)
2001

7e Nederlandse testdag, Eindhoven, 8 November 2001 : proceedings

Feijs, L. M. G. (ed.), Mauw, S. (ed.), Goga, N. (ed.) & Willemse, T. A. C. (ed.), 2001, Eindhoven: Technische Universiteit Eindhoven. 110 p. (Computer science reports; vol. 0110)

Research output: Book/ReportBook editingAcademic

Open Access
File
112 Downloads (Pure)

Lectures on formal methods and performance analysis : first EEF/Euro summer school on Trends in computer science, Berg en Dal, the Netherlands, July 3-7, 2000 : revised lectures

Brinksma, E. (ed.), Hermanns, H. (ed.) & Katoen, J. P. (ed.), 2001, Berlin: Springer. 429 p. (Lecture notes in computer science; vol. 2090)(EEF/Euro summer school on trends in computer science; vol. 1)

Research output: Book/ReportBook editingProfessional

Third Dutch model checking day, Eindhoven, November 7, 2001 : proceedings

Baeten, J. C. M. (ed.), Bosnacki, D. (ed.), Voeten, J. P. M. (ed.) & Holenderski, L. (ed.), 2001, Eindhoven: Technische Universiteit Eindhoven. 91 p. (Computer science reports; vol. 0114)

Research output: Book/ReportBook editingAcademic

Open Access
File
55 Downloads (Pure)
2002

Computer aided verification : 14th international conference CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings

Brinksma, E. (ed.) & Larsen, K. G. (ed.), 2002, Berlin: Springer. 623 p. (Lecture notes in computer science; vol. 2404)(CAV : computer-aided verification : international conference : proceedings; vol. 14)

Research output: Book/ReportBook editingProfessional

Implementation and application of automata : 6th international conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001 : revised papers

Watson, B. W. (ed.) & Wood, D. (ed.), 2002, Berlin: Springer. 288 p. (Lecture notes in computer science; vol. 2494)(CIAA : international conference on implementation and application of automata; vol. 6)

Research output: Book/ReportBook editingAcademic

2003

Automata, languages and programming: 30th international colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003 : proceedings

Baeten, J. C. M. (ed.), Lenstra, J. K. (ed.), Parrow, J. (ed.) & Woeginger, G. J. (ed.), 2003, Berlin: Springer. 1199 p. (Lecture notes in computer science; vol. 2719)(ICALP : international colloquium on automata, languages and programming : proceedings; vol. 30)

Research output: Book/ReportBook editingAcademic

2004

Proceedings of the Eindhoven FASTAR Days 2004 : Eindhoven, The Netherlands, September 3-4, 2004

Cleophas, L. G. W. A. (ed.) & Watson, B. W. (ed.), 2004, Eindhoven: Technische Universiteit Eindhoven. 214 p. (Computer science reports; vol. 0440)

Research output: Book/ReportBook editingAcademic

Open Access
File
297 Downloads (Pure)
2005

Applications of Process Algebra (2nd ed)

Baeten, J. C. M. (ed.), 2005, Cambridge, UK: Cambridge University Press. 329 p.

Research output: Book/ReportBook editingProfessional

IFM2005 doctoral symposium on integrated formal methods, Eindhoven, The Netherlands, November 29, 2005

Romijn, J. M. T. (ed.), Smith, G. (ed.) & Pol, van de, J. C. (ed.), 2005, Eindhoven: Technische Universiteit Eindhoven. 80 p. (Computer science reports; vol. 0529)

Research output: Book/ReportBook editingAcademic

Open Access
File
71 Downloads (Pure)

Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005

Romijn, J. M. T. (ed.), Smith, G. (ed.) & Pol, van de, J. C. (ed.), 2005, Berlin: Springer. 407 p. (Lecture notes in computer science; vol. 3771)(IFM : integrated formal methods : international conference : proceedings; vol. 5)

Research output: Book/ReportBook editingAcademic

Perspectives of model-based testing

Brinksma, E. (ed.), Grieskamp, W. (ed.) & Tretmans, J. (ed.), 2005, Schloss Dagstuhl: IBFI. (Dagstuhl seminar proceedings; no. 04371)

Research output: Book/ReportBook editingProfessional

Proceedings of the 12th Workshop on Expressiveness on Concurrency (EXPRESS 2005, San Francisco CA, USA, August 27, 2005)

Baeten, J. C. M. (ed.) & Phillips, I. C. C. (ed.), 2005, Amsterdam: Elsevier. 124 p. (Electronic Notes in Theoretical Computer Science; vol. 154, no. 3)

Research output: Book/ReportBook editingProfessional

2006

Proceedings of the First International Workshop on Security and Trust Management (STM'05, Milan, Italy, September 15, 2005; in conjunction with ESORICS'05)

Mauw, S. (ed.), Issarny, V. (ed.) & Cremers, C. J. F. (ed.), 2006, s.n. 158 p.

Research output: Book/ReportBook editingAcademic

2007

Formal methods: applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006 Bonn, Germany, August 26-27 and August 31, 2006 : revised selected papers

Brim, L. (ed.), Haverkort, B. R. H. M. (ed.), Leucker, M. (ed.) & Pol, van de, J. C. (ed.), 2007, Berlin: Springer. 363 p. (Lecture notes in computer science; vol. 4346)

Research output: Book/ReportBook editingAcademic

Reflections on type theory, lambda-calculus, and the mind : essays dedicated to Henk Barendregt on the occasion of his 60th birthday

Barendsen, E. (ed.), Capretta, V. (ed.), Geuvers, J. H. (ed.) & Niqui, M. (ed.), 2007, s.l.: s.n.

Research output: Book/ReportBook editingAcademic

2008
Open Access
File
122 Downloads (Pure)
2009

Logic Colloquium 2006

Cooper, S. B. (ed.), Geuvers, J. H. (ed.), Pillay, A. (ed.) & Väänänen, J. (ed.), 2009, Cambridge: Cambridge University Press.

Research output: Book/ReportBook editingAcademic

Proceedings First Workshop on Quantitative Formal Methods : theory and applications (QFM'09, Eindhoven, The Netherlands, November 3, 2009)

Andova, S. (ed.), McIver, A. (ed.), D'Argenio, P. R. (ed.), Cuijpers, P. J. L. (ed.), Markovski, J. (ed.), Morgan, C. (ed.) & Núñez, M. (ed.), 2009, s.n. (Electronic Proceedings in Theoretical Computer Science; vol. 13)

Research output: Book/ReportBook editingAcademic

Open Access
File
124 Downloads (Pure)

Proceedings of Formal Methods 2009 Doctoral Symposium, November 6, 2009, Eindhoven, The Netherlands

Mousavi, M. R. (ed.) & Sekerinski, E. (ed.), 2009, Eindhoven: Technische Universiteit Eindhoven. 67 p. (Computer science reports; vol. 0915)

Research output: Book/ReportBook editingAcademic

Open Access
File
121 Downloads (Pure)
2010

3rd international software language engineering conference (SLE) : pre-proceedings, October 12-13, 2010, Eindhoven, the Netherlands

Brand, van den, M. G. J. (ed.), Malloy, B. (ed.) & Staab, S. (ed.), 2010, Eindhoven: Technische Universiteit Eindhoven. 31 p. (Computer science reports; vol. 1012)

Research output: Book/ReportBook editingAcademic

Open Access
File
274 Downloads (Pure)

Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA, Paris, France, September 4, 2010)

Mousavi, M. R. (ed.) & Salaün, G. (ed.), 2010, EPTCS. (Electronic Proceedings in Theoretical Computer Science; vol. 30)

Research output: Book/ReportBook editingAcademic

Software language engineering : second international conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 : revised selected papers

Brand, van den, M. G. J. (ed.), Gasevic, D. (ed.) & Gray, J. (ed.), 2010, Berlin: Springer. (Lecture notes in computer science; vol. 5969)

Research output: Book/ReportBook editingAcademic

2011

Interactive theorem proving : second international conference, ITP 2011, Berg en Dal, The Netherlands, 22-25, 2011 : proceedings

van Eekelen, M. (ed.), Geuvers, J. H. (ed.), Schmaltz, J. (ed.) & Wiedijk, F. (ed.), 2011, Berlin: Springer. (Lecture notes in computer science; vol. 6898)

Research output: Book/ReportBook editingAcademic

Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2011, Aachen, Germany, September 10, 2011)

Mousavi, M. R. (ed.) & Ravara, A. (ed.), 2011, EPTCS. 79 p. (Electronic Proceedings in Theoretical Computer Science; vol. 58)

Research output: Book/ReportBook editingAcademic

1 Downloads (Pure)

Proceedings 18th International Workshop on Expressiveness in Concurrency (Aachen, Germany, September 5, 2011)

Luttik, B. (ed.) & Valencia, F. D. (ed.), 2011, EPTCS. (Electronic Proceedings in Theoretical Computer Science; vol. 64)

Research output: Book/ReportBook editingAcademic

Open Access
File
71 Downloads (Pure)

Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011, Reykjavik, Iceland, June 9, 2011)

Aceto, L. (ed.) & Mousavi, M. R. (ed.), 2011, Amsterdam: Elsevier. (Electronic Proceedings in Theoretical Computer Science; vol. 60)

Research output: Book/ReportBook editingAcademic

Open Access
File
46 Downloads (Pure)

Proceedings of the Third International Workshop on Computational Models for Cell Processes (CompMod 2011, Aachen, Germany, September 10, 2011)

Petre, I. (ed.) & Vink, de, E. P. (ed.), 2011, EPTCS. (Electronic Proceedings in Theoretical Computer Science; vol. 67)

Research output: Book/ReportBook editingAcademic

3 Downloads (Pure)

Proceedings Sixth International Workshop on Logical frameworks and meta-languages : theory and practice (Nijmegen, The Netherlands, August 26, 2011)

Geuvers, J. H. (ed.) & Nadathur, G. (ed.), 2011, EPTCS. (Electronic Proceedings in Theoretical Computer Science; vol. 71)

Research output: Book/ReportBook editingAcademic

Software language engineering : third international conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010 : revised selected papers

Malloy, B. (ed.), Staab, S. (ed.) & Brand, van den, M. G. J. (ed.), 2011, Berlin: Springer. (SLE, software language engineering : international conference; vol. 3)(Lecture notes in computer science; vol. 6563)

Research output: Book/ReportBook editingAcademic

Transactions on computational systems biology XIII

Priami, C. (ed.), Back, R. J. (ed.), Petre, I. (ed.) & Vink, de, E. P. (ed.), 2011, Berlin: Springer. (Lecture notes in bioinformatics; vol. 6575)(Transactions on computational systems biology; vol. 13)(Lecture notes in computer science; vol. 6575)

Research output: Book/ReportBook editingAcademic

2012
Open Access
File
89 Downloads (Pure)

Proceedings Fourth Workshop on Classical Logic and Computation (Warwick, England, 8th July 2012)

Geuvers, J. H. (ed.) & de'Liguoro, U. (ed.), 2012, EPTCS. (Electronic Proceedings in Theoretical Computer Science; vol. 97)

Research output: Book/ReportBook editingAcademic

Theoretical Computer Science : proceedings of the 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012

Baeten, J. C. M. (ed.), Ball, T. (ed.) & Boer, de, F. S. (ed.), 2012, Berlin: Springer. 387 p. (Lecture notes in computer science; vol. 7604)

Research output: Book/ReportBook editingAcademic

Transactions on Computational Systems Biology XIV

Priami, C. (ed.), Petre, I. (ed.) & Vink, de, E. P. (ed.), 2012, Berlin: Springer. (Lecture notes in computer science; vol. 7625)

Research output: Book/ReportBook editingAcademic

2013

Formal methods for dynamical systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013 : advanced lectures

Bernardo, M. (ed.), Vink, de, E. P. (ed.), Di Pierro, A. (ed.) & Wiklicky, H. (ed.), 2013, Berlin: Springer. 181 p. (Lecture notes in computer science; vol. 7938)

Research output: Book/ReportBook editingAcademic

1 Citation (Scopus)

Proceedings 2nd Workshop on GRAPH Inspection and Traversal Engineering (Rome, Italy, March 24, 2013)

Wijs, A. J. (ed.), Bosnacki, D. (ed.) & Edelkamp, S. (ed.), 2013, EPTCS. (Electronic Proceedings in Theoretical Computer Science; vol. 138)

Research output: Book/ReportBook editingAcademic

Proceedings of the Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics (EXPRESS/SOS 2013, Buenos Aires, Argentina, August 26, 2013)

Borgström, J. (ed.) & Luttik, B. (ed.), 2013, s.n. (Electronic Proceedings in Theoretical Computer Science; vol. 120)

Research output: Book/ReportBook editingAcademic

Open Access
File
64 Downloads (Pure)
2014

Evolving software systems

Mens, T. (ed.), Serebrenik, A. (ed.) & Cleve, A. (ed.), 1 Jan 2014, Berlin: Springer. 404 p.

Research output: Book/ReportBook editingAcademic

29 Citations (Scopus)

Proceedings 3rd workshop on GRAPH inspection and traversal engineering : Grenoble, France, April 5, 2014

Bosnacki, D. (ed.), Edelkamp, S. (ed.), Lluch Lafuente, A. (ed.) & Wijs, A. J. (ed.), 2014, EPTCS. 99 p. (Electronic Proceedings in Theoretical Computer Science (EPTCS); vol. 159)

Research output: Book/ReportBook editingAcademic

Open Access