Research Output

Filter
Book editing
Book editing

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
270 Downloads (Pure)

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)

Applications of Process Algebra (2nd ed)

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

Research output: Book/ReportBook editingProfessional

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

Open Access
File
122 Downloads (Pure)

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

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

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

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)

Formal methods: 22nd international symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, proceedings

Havelund, K. (ed.), Peleska, J. (ed.), Roscoe, B. (ed.) & de Vink, E. (ed.), 2018, Cham: Springer. (Lecture Notes in Computer Science; vol. 10951)(Programming and software engineering; vol. 10951)

Research output: Book/ReportBook editingAcademicpeer-review

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

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)

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)

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

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

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

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

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

Model checking software: 23rd international symposium, SPIN 2016 co-located with ETAPS 2016 Eindhoven, the Netherlands, April 7-8, 2016

Bošnački, D. (ed.) & Wijs, A. J. (ed.), 2016, Berlin: Springer. 245 p. (Lecture Notes in Computer Science; vol. 9641)

Research output: Book/ReportBook editingAcademicpeer-review

Model management and analytics for large scale systems

Tekinerdogan, B. (ed.), Babur, Ö. (ed.), Cleophas, L. G. W. A. (ed.), van den Brand, M. G. J. (ed.) & Aksit, M. (ed.), 17 Sep 2019, Academic Press Inc. 344 p.

Research output: Book/ReportBook editingAcademicpeer-review

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

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 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 15th workshop on Quantitative Aspects of Programming Languages and systems (QAPL 2017): Uppsala, Sweden, 23rd April 2017

Wiklicky, H. & de Vink, E. P., 2017, Electronic Proceedings in Theoretical Computer Science ed. Uppsala. 126 p.

Research output: Book/ReportBook editingAcademicpeer-review

Open Access

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 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 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
Open Access
File
89 Downloads (Pure)

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

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

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
120 Downloads (Pure)

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

Proceedings of the 25th International Conference on Program Comprehension, ICPC 2017, 22-23 May 2017, Buenos Aires, Argentina

Scanniello, G., Lo, D. & Serebrenik, A., 2017, Brussels: IEEE Computer Society.

Research output: Book/ReportBook editingAcademicpeer-review

Open Access
File
22 Downloads (Pure)

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)

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
281 Downloads (Pure)

Proceedings of the First International Workshop on Automotive Software Architecture (WASA'15, Montreal, Canada, May 4, 2015)

Kruchten, P. (ed.), Dajsuren, Y. (ed.), Altinger, H. (ed.) & Staron, M. (ed.), 2015, New York NY: Association for Computing Machinery, Inc.

Research output: Book/ReportBook editingAcademic

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
45 Downloads (Pure)

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

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

Proceedings Second Graphs as Models Workshop, Eindhoven, The Netherlands, April 2-3, 2016

Heußner, A. (ed.), Kissinger, A. (ed.) & Wijs, A. (ed.), 4 Dec 2016, EPTCS. (Electronic Proceedings in Theoretical Computer Science; vol. 231)

Research output: Book/ReportBook editingAcademicpeer-review

Open Access

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

Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications (Vienna, Austria, July 12-13, 2014)

Verbeek, F. (ed.) & Schmaltz, J. (ed.), 2014, EPTCS. 177 p.

Research output: Book/ReportBook editingAcademic

7 Downloads (Pure)

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

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

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