2012

Here we list the publications of FMT by year (click on << or >> to shift to a different year).
There is also a combined list that contains all years.
Our staff page has links to the publications of each staff member.
Our research project pages typically have links to the publications for the project.
The faculty EPrints service page offers yet other ways to search or browse the publications.

<< 2012 >>

Stoelinga, M.I.A. and Timmer, M., ed. (2012) Proceedings of the 17th Dutch Testing Day: Testing Evolvability. CTIT Workshop Proceedings Series (WP12-01). Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 0929-0672

Amighi, A. and Blom, S.C.C. and Huisman, M. and Zaharieva-Stojanovski, M. (2012) The VerCors Project: Setting Up Basecamp. In: Sixth Workshop Programming Languages meets Program Verification (PLPV 2012), 24 Jan 2012, Philadelphia, USA. pp. 71-82. ACM. ISBN 978-1-4503-1125-0

Broersma, H.J. and Ryjáček, Z. and Vrána, P. (2012) How many conjectures can you stand: a survey. Graphs and combinatorics, 28 (1). pp. 57-75. ISSN 0911-0119 *** ISI Impact 0,242 ***

Ghamarian, A.H. and de Mol, M.J. and Rensink, A. and Zambon, Eduardo and Zimakova, M.V. (2012) Modelling and analysis using GROOVE. International journal on software tools for technology transfer, 14 (1). pp. 15-40. ISSN 1433-2779

Ghamarian, A.H. and Rensink, A. (2012) Graph Passing in Graph Transformation. Technical Report TR-CTIT-12-04, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Katoen, J.P. and van de Pol, J.C. and Stoelinga, M.I.A. and Timmer, M. (2012) A linear process-algebraic format with data for probabilistic automata. Theoretical Computer Science, 413 (1). pp. 36-57. ISSN 0304-3975 *** ISI Impact 0,838 ***

de Mol, M.J. and Rensink, A. and Hunt, J.J. (2012) Graph Transforming Java Data. In: Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012), 26-29 Mar 2012, Talinn, Estonia. pp. 209-223. Lecture Notes in Computer Science 7212. Springer Verlag. ISBN 978-3-642-28872-2

Stoelinga, M.I.A. and Timmer, M. (2012) Preface. In: Proceedings of the 17th Dutch Testing Day: Testing Evolvability, 29 Nov 2011, Enschede, The Netherlands. pp. 3-3. CTIT Workshop Proceedings Series (WP12-01). Centre for Telematics and Information Technology, University of Twente. ISSN 0929-0672

Stokkink, W.G.J. and Timmer, M. and Stoelinga, M.I.A. (2012) Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation (extended version). Technical Report TR-CTIT-12-05, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Stokkink, W.G.J. and Timmer, M. and Stoelinga, M.I.A. (2012) Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation. In: Proceedings of the 7th Workshop on Model-Based Testing (MBT 2012), 25 Mar 2012, Tallinn, Estonia. pp. 73-87. Electronic Proceedings in Theoretical Computer Science 80. Open Publishing Association. ISSN 2075-2180

Timmer, M. and Jeurnink, G.A.M. and Verhoef, N.C. (2012) Analytische meetkunde door een synthetische bril. In: Conferentiegids van de 18e Nationale Wiskunde Dagen, 3-4 Feb 2012, Noordwijkerhout. pp. 44-44. Freudenthal Instituut. ISBN not assigned

	FMT Home > Research > Publications
<< EEMCS (EWI) Home News In the Media Research » Projects » Publications » Tools Education People Events Vacancies Internal Contact	2012 Here we list the publications of FMT by year (click on << or >> to shift to a different year). There is also a combined list that contains all years. Our staff page has links to the publications of each staff member. Our research project pages typically have links to the publications for the project. The faculty EPrints service page offers yet other ways to search or browse the publications. << 2012 >> Stoelinga, M.I.A. and Timmer, M., ed. (2012) Proceedings of the 17th Dutch Testing Day: Testing Evolvability. CTIT Workshop Proceedings Series (WP12-01). Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 0929-0672 Amighi, A. and Blom, S.C.C. and Huisman, M. and Zaharieva-Stojanovski, M. (2012) The VerCors Project: Setting Up Basecamp. In: Sixth Workshop Programming Languages meets Program Verification (PLPV 2012), 24 Jan 2012, Philadelphia, USA. pp. 71-82. ACM. ISBN 978-1-4503-1125-0 Broersma, H.J. and Ryjáček, Z. and Vrána, P. (2012) How many conjectures can you stand: a survey. Graphs and combinatorics, 28 (1). pp. 57-75. ISSN 0911-0119 * ISI Impact 0,242 * Ghamarian, A.H. and de Mol, M.J. and Rensink, A. and Zambon, Eduardo and Zimakova, M.V. (2012) Modelling and analysis using GROOVE. International journal on software tools for technology transfer, 14 (1). pp. 15-40. ISSN 1433-2779 Ghamarian, A.H. and Rensink, A. (2012) Graph Passing in Graph Transformation. Technical Report TR-CTIT-12-04, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Katoen, J.P. and van de Pol, J.C. and Stoelinga, M.I.A. and Timmer, M. (2012) A linear process-algebraic format with data for probabilistic automata. Theoretical Computer Science, 413 (1). pp. 36-57. ISSN 0304-3975 * ISI Impact 0,838 * de Mol, M.J. and Rensink, A. and Hunt, J.J. (2012) Graph Transforming Java Data. In: Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012), 26-29 Mar 2012, Talinn, Estonia. pp. 209-223. Lecture Notes in Computer Science 7212. Springer Verlag. ISBN 978-3-642-28872-2 Stoelinga, M.I.A. and Timmer, M. (2012) Preface. In: Proceedings of the 17th Dutch Testing Day: Testing Evolvability, 29 Nov 2011, Enschede, The Netherlands. pp. 3-3. CTIT Workshop Proceedings Series (WP12-01). Centre for Telematics and Information Technology, University of Twente. ISSN 0929-0672 Stokkink, W.G.J. and Timmer, M. and Stoelinga, M.I.A. (2012) Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation (extended version). Technical Report TR-CTIT-12-05, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625 Stokkink, W.G.J. and Timmer, M. and Stoelinga, M.I.A. (2012) Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation. In: Proceedings of the 7th Workshop on Model-Based Testing (MBT 2012), 25 Mar 2012, Tallinn, Estonia. pp. 73-87. Electronic Proceedings in Theoretical Computer Science 80. Open Publishing Association. ISSN 2075-2180 Timmer, M. and Jeurnink, G.A.M. and Verhoef, N.C. (2012) Analytische meetkunde door een synthetische bril. In: Conferentiegids van de 18e Nationale Wiskunde Dagen, 3-4 Feb 2012, Noordwijkerhout. pp. 44-44. Freudenthal Instituut. ISBN not assigned