Number of items: 21.

2015

Rensink, A. and Zambon, Eduardo (2015) Graphs as Models - Preface. In: Graphs as Models, 11-12 Apr 2015, London, U.K.. Electronic Proceedings in Theoretical Computer Science 181. Open Publishing Association. ISSN 2075-2180

2014

Zaharieva-Stojanovski, M. and Huisman, M. (2014) Verifying class invariants in concurrent programs. In: Proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE 2014), 5-13 April, 2014, Grenoble, France. pp. 230-245. Lecture Notes in Computer Science 8411. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-54803-1
Gnesi, S. and Rensink, A. (2014) Fundamental Approaches to Software Engineering - Preface. In: 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014, 05-13 Apr 2014, Grenoble, France. VII-VII. Lecture Notes in Computer Science 8411. Springer Verlag. ISBN 978-3-642-54803-1
Gnesi, S. and Rensink, A., ed. (2014) Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science (8411). Springer Verlag, Berlin. ISSN 0302-9743 ISBN 978-3-642-54803-1

2010

Corradini, A. and de Mol, M.J. (2010) ICGT 2010 Doctoral Symposium [Preface]. In: Proceedings of the Fifth Internal Conference on Graph Transformations (ICGT 2010), 27 Sep - 02 Oct 2010, Enschede, Netherlands. pp. 379-380. Lecture Notes in Computer Science 6372. Springer Verlag. ISBN 978-3-642-15927-5
Ehrig, H. and Rensink, A. and Rozenberg, G. and Schürr, A., ed. (2010) Graph Transformations: 5th International Conference. Lecture Notes in Computer Science 6372. Springer Verlag, Berlin. ISSN 0302-9743 ISBN 978-3-642-15927-5
Ehrig, H. and Rensink, A. and Rozenberg, G. and Schürr, A. (2010) Graph Transformationcs (ICGT 2010) - Preface. In: International Conference on Graph Transformationcs (ICGT 2010), 27 Sep - 2 Oct 2010, Enschede. V-VI. Lecture Notes in Computer Science 6372. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-15927-5
Zambon, Eduardo (2010) Using Graph Transformations and Graph Abstractions for Software Verification. In: Fifth International Conference on Graph Transformations (ICGT 2010), 27 Sep - 02 Oct 2010, Enschede, NL. pp. 416-418. Lecture Notes in Computer Science 6372. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-15927-5
Mazanek, S. and Rensink, A. and Van Gorp, P., ed. (2010) Transformation Tool Contest 2010, 1-2 July 2010, Malaga, Spain. CTIT Workshop Proceedings Series 10-03. Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1574-0846

2009

Paige, R.F. and Hartman, A. and Rensink, A., ed. (2009) Model Driven Architecture - Foundations and Applications. Lecture Notes in Computer Science 5562. Springer Verlag, Berlin. ISSN 0302-9743 ISBN 978-3-642-02673-7
van Sinderen, M.J. and Pras, A. and Haverkort, B.R.H.M. and Apers, P.M.G. and Hartel, P.H. and van de Pol, J.C. and Nijholt, A. and Wieringa, R.J. and Havinga, P.J.M. and Akşit, M. (2009) Research Self-Evaluation 2003-2008, Computer Science Department, University of Twente. Technical Report Number UNSPECIFIED, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

2008

König, B. and Rensink, A. and Heckel, R. (2008) Graph Transformation for Concurrency and Verification - Preface. In: Graph Transformation for Verification and Concurrency, 3 Sep 2007, Lisbon, Portugal. pp. 1-2. Electronic Notes in Theoretical Computer Science 213 (1). Elsevier. ISSN 1571-0661

2006

Durr, P.E.A. and Bergmans, L.M.J. and Akşit, M. (2006) Reasoning about Semantic Conflicts between Aspects. In: Proceedings of the First Aspect, Dependencies, and Interactions Workshop, 3 Jul 2006. pp. 10-18. Lancaster University. ISBN not assigned
Rensink, A. and Heckel, R. and König, B. (2006) Preface. In: Graph Transformation for Verification and Concurrency, Aug 2005, San Fransisco, USA. pp. 1-5. Electronic Notes in Theoretical Computer Science 154 (2). Elsevier. ISSN 1571-0661
Rensink, A. and Warmer, J., ed. (2006) Model Driven Architecture - Foundations and Applications. Lecture Notes in Computer Science 4066. Springer-Verlag, Berlin. ISBN 3-540-35909-5

2005

Assmann, U. and Akşit, M. and Rensink, A., ed. (2005) Model Driven Architecture. Lecture Notes in Computer Science 3599. Springer-Verlag. ISSN 0302-9743 ISBN 3-540-28240-8
Andrade Almeida, J.P. and Dijkman, R.M. and van Sinderen, M.J. and Ferreira Pires, L. (2005) Platform-independent modeling in MDA: supporting abstract platforms. In: Model Driven Architecture. European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004. Revised Selected Papers. pp. 174-188. Lecture Notes in Computer Science 3599. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-28240-2

2003

Kurtev, I. and van den Berg, K.G. (2003) A synthesis-based approach to transformations in an MDA software development process. In: First Workshop on Model Driven Architecture: Foundations and Applications, Enschede, the Netherlands. pp. 121-126. Centre for Telematics and Information Technology University of Twente. ISSN 1381-3625
Andrade Almeida, J.P. and van Sinderen, M.J. and Ferreira Pires, L. and Wegdam, M. (2003) Handling QoS in MDA: a discussion on availability and dynamic reconfiguration. In: Workshop on Model Driven Architecture: Foundations and Application (MDAFA) 2003, 26-27 Jun 2003, Enschede, The Netherlands. pp. 91-96. CTIT Technical Report TR–CTIT–03–27. Centre for Telematics and Information Technology University of Twente. ISSN 1381-3625

2002

Jacobs, B. and Rensink, A., ed. (2002) Formal Methods for Open Object-Based Distributed Systems V. Kluwer Academic Publishers, Boston. ISBN 0-7923-7683-8
Jacobs, B. and Rensink, A., ed. (2002) Formal Methods for Open Object-Based Distributed Systems V. IFIP Conference Proceedings 209. Kluwer Academic Publishers, Dordrecht. ISBN 0-7923-7683-8

This list was generated on Fri Mar 24 06:08:05 CET 2017.