Research Output

Filter
Book editing
2019

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

Technology Trends: 4th International Conference, CITT 2018, Babahoyo, Ecuador, August 29-31, 2018, revised selected papers

Botto-Tobar, M. (ed.), Pizarro, G. (ed.), Zúñiga-Prieto, M. (ed.), D'Armas, M. (ed.) & Zúñiga Sánchez, M. (ed.), 2019, Dordrecht: Springer. (Communications in Computer and Information Science; vol. 895)

Research output: Book/ReportBook editingAcademicpeer-review

2018

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

Technology Trends: Third International Conference, CITT 2017, Babahoyo, Ecuador, November 8-10, 2017, Proceedings

Botto-Tobar, M. (ed.), Esparza-Cruz, N. (ed.), León-Acurio, J. (ed.), Crespo-Torres, N. (ed.) & Beltrán-Mora, M. (ed.), 2018, Dordrecht: Springer. (Communications in Computer and Information Science; vol. 798)

Research output: Book/ReportBook editingAcademicpeer-review

26 Downloads (Pure)
2017

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

SOFSEM 2017: theory and practice of computer science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

Steffen, B. (ed.), Baier, C. (ed.), van den Brand, M. G. J., Eder, J. (ed.), Hinchey, M. (ed.) & Margaria, T. (ed.), 2017, Springer. (Lecture Notes in Computer Science; vol. 10139)

Research output: Book/ReportBook editingAcademicpeer-review

Theory and practice of model transformation: 10th international conference, ICMT 2017 held as part of STAF 2017 Marburg, Germany, July 17–18, 2017 proceedings

Guerra, E. (ed.) & van den Brand, M. (ed.), 2017, Cham: Springer. 183 p. (Lecture Notes in Computer Science; vol. 10374)

Research output: Book/ReportBook editingAcademicpeer-review

2016

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

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

Special issue on new ideas and emerging results in understanding software

Vinju, J. J. (ed.), 2015, Amsterdam: Elsevier. 180 p. (Science of computer programming; vol. 97, no. Part 1)

Research output: Book/ReportBook editingAcademic

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

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)

Special Theme "Software Quality"

Vinju, J. J. (ed.) & Cleve, A. (ed.), 2014, Sophia Antipolis: ERCIM.

Research output: Book/ReportBook editingAcademic

SPLat 2014 : First International Workshop on Software Product Line Analysis Tools

Legay, A. (ed.) & Vink, de, E. P. (ed.), 2014, New York NY: Association for Computing Machinery, Inc. 353 p.

Research output: Book/ReportBook editingAcademic

1 Citation (Scopus)
1 Downloads (Pure)
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
63 Downloads (Pure)
2012
Open Access
File
86 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

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

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

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
123 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
118 Downloads (Pure)
2008
Open Access
File
104 Downloads (Pure)
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

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

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