Model Driven Software Engineering W&I

Onderzoeksoutput

Filter
Boekredactie
2019

Model management and analytics for large scale systems

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer 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. (redactie), Peleska, J. (redactie), Roscoe, B. (redactie) & de Vink, E. (redactie), 2018, Cham: Springer. (Lecture Notes in Computer Science; vol. 10951)(Programming and software engineering; vol. 10951)

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer 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 redactie Uppsala. 126 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer 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.

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

Open Access
Bestand
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. (redactie), Baier, C. (redactie), van den Brand, M. G. J., Eder, J. (redactie), Hinchey, M. (redactie) & Margaria, T. (redactie), 2017, Springer. (Lecture Notes in Computer Science; vol. 10139)

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer 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. (redactie) & van den Brand, M. (redactie), 2017, Cham: Springer. 183 blz. (Lecture Notes in Computer Science; vol. 10374)

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer 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. (redactie) & Wijs, A. J. (redactie), 2016, Berlin: Springer. 245 blz. (Lecture Notes in Computer Science; vol. 9641)

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademicpeer review

Open Access
2015

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Special issue on new ideas and emerging results in understanding software

Vinju, J. J. (redactie), 2015, Amsterdam: Elsevier. 180 blz. (Science of computer programming; vol. 97, nr. Part 1)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

2014

Evolving software systems

Mens, T. (redactie), Serebrenik, A. (redactie) & Cleve, A. (redactie), 1 jan 2014, Berlin: Springer. 404 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

29 Citaten (Scopus)

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access

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

Verbeek, F. (redactie) & Schmaltz, J. (redactie), 2014, EPTCS. 177 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

7 Downloads (Pure)

Special Theme "Software Quality"

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

1 Citaat (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. (redactie), Vink, de, E. P. (redactie), Di Pierro, A. (redactie) & Wiklicky, H. (redactie), 2013, Berlin: Springer. 181 blz. (Lecture notes in computer science; vol. 7938)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

1 Citaat (Scopus)

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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. (redactie) & Luttik, B. (redactie), 2013, s.n. (Electronic Proceedings in Theoretical Computer Science; vol. 120)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
63 Downloads (Pure)
2012
Open Access
Bestand
86 Downloads (Pure)

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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. (redactie), Ball, T. (redactie) & Boer, de, F. S. (redactie), 2012, Berlin: Springer. 387 blz. (Lecture notes in computer science; vol. 7604)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Transactions on Computational Systems Biology XIV

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

2011

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

1 Downloads (Pure)

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
71 Downloads (Pure)

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
44 Downloads (Pure)

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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. (redactie) & Nadathur, G. (redactie), 2011, EPTCS. (Electronic Proceedings in Theoretical Computer Science; vol. 71)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Transactions on computational systems biology XIII

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

2010

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
256 Downloads (Pure)

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

2009

Logic Colloquium 2006

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
123 Downloads (Pure)

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
118 Downloads (Pure)
2008
Open Access
Bestand
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. (redactie), Haverkort, B. R. H. M. (redactie), Leucker, M. (redactie) & Pol, van de, J. C. (redactie), 2007, Berlin: Springer. 363 blz. (Lecture notes in computer science; vol. 4346)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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. (redactie), Issarny, V. (redactie) & Cremers, C. J. F. (redactie), 2006, s.n. 158 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

2005

Applications of Process Algebra (2nd ed)

Baeten, J. C. M. (redactie), 2005, Cambridge, UK: Cambridge University Press. 329 blz.

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
66 Downloads (Pure)

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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Perspectives of model-based testing

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

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

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

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

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel