Research Output 1972 2019

Filter
Book editing
2019

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

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
Computer programming languages
Semantics
Satellites
Bandwidth

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

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

Computer science
Knowledge engineering
Formal languages
Graph theory
Coloring

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

Model Transformation
Paradigm
Strategy
Language
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

Model checking
Model Checking
Software
Model Verification
Temporal logic

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
Satellites

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

Software architecture
Software engineering
Railroad cars
Automotive engineering
Industrial research

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

Software design
Computer programming
Teaching
Students
2014
25 Citations (Scopus)

Evolving software systems

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

Research output: Book/ReportBook editingAcademic

Software engineering
Computer software maintenance
Requirements engineering
Glossaries
Ecosystems
Computer science
Teaching
Specifications
Industry
Formal verification

Special Theme "Software Quality"

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

Research output: Book/ReportBook editingAcademic

1 Citation (Scopus)

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

Explosions
2013
1 Citation (Scopus)

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

Formal Methods
Software System
Communication Systems
Dynamical system
Model Checking

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
Semantics
Computer programming languages
Mathematical models
Computer systems programming
Object oriented programming
2012
Open Access
File
Semantics
Computer programming languages
Mathematical models
Computer systems programming
Object oriented programming

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

England
Computational
Classical Logic
Proceedings
Logic

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

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

Theorem proving
Industry
Planning

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

Software architecture
Grid computing
Maintainability
Reusability
Computer programming

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

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
First International
Iceland
language
communication policy
programming

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

edition
computer science
Finland
biology
Netherlands

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

Metalanguage
Language Practices
The Netherlands
Proceedings
Theory of Language

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

Netherlands
engineering
language
software

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

Computational Biology
Systems Biology
Transactions
Formal Methods
Heritability
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)(SLE, software language engineering : international conference; vol. 3)

Research output: Book/ReportBook editingAcademic

Open Access
File
Software engineering
Computer programming languages
Ontology
Data structures
Demonstrations

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 architecture
Sensor networks
Satellites

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

Second International
engineering
language
software
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

Colloquium
Logic
Proceedings
Kurt Gödel
The Netherlands

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
method

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
Second International
Netherlands
European Community
2008

BENEVOL 2008 : the 7th Belgian-Netherlands software eVOLution workshop proceedings, December 11-12, 2008, Eindhoven : informal pre-proceedings

Serebrenik, A. (ed.), 2008, Eindhoven: Technische Universiteit Eindhoven. 56 p. (Computer science reports; vol. 0830)(BENEVOL : Belgium Netherlands workshop on software evolution; vol. 7)

Research output: Book/ReportBook editingAcademic

Open Access
File
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

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

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
Netherlands
Group
research facility
Czech Republic
computer science
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

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