Publications 2009

van den Broek, T. & Schmaltz, J. Towards A Formally Verified Network-on-Chip. 9th International Conference on Formal Methods in Computer-Aided Design (FMCAD'09), pp. 184-187, Austin, TX, USA, November 15-18, IEEE Society, 2009.

van Eekelen, M. Foundational Aspects of Size Analysis. Invited lecture and tutorial/laboratory at the Scottish Informatics and Computer Science Alliance (SICSA) Summer School on Advances in Programming Languages, august 26, 2009, Edinburgh (UK), 2009.

van Gastel, B., Lensink, L., Smetsers, S. & van Eekelen, M. Reentrant readers-writers: A case study combining model checking and theorem proving. In Revised selected papers of the 13th Int'l Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008) (edited by D. Cofer & P. Merino), volume 5596 of Lect. Notes Comp. Sci., pp. 83-103. Springer-Verlag, 2009. This paper received from the EASST, the European Association of Software Science and Technology, the FMICS2008 Best Paper Award recognizing it as the Best Software Science Paper.

Gerdes, A., Heeren, B. & Jeuring, J. Constructing strategies for programming. In José Cordeiro, Boris Shishkov, Alexander Verbraeck & Markus Helfert, editors, Proceedings CSEDU'09: 1st International Conference on Computer Supported Education, pp. 65-72, 2009.

Hage, J. & Heeren, B., Strategies for solving constraints in type and effect systems, Views On Designing Complex Architectures 2008. Electronic Notes in Theoretical Computer Science (ENTCS). Volume 236, (April 2009), pp. 163-183. Elsevier Science Publishers, 2009.

Heeren, B. & Jeuring, J. Canonical forms in interactive exercise assistants. In L. Dixon et al., editor, MKM 2009: Mathematical Knowledge Management, 8th International Conference, volume 5625 of LNAI, pp. 325-340. Springer-Verlag, 2009.

Heidarian, F., Schmaltz, J. & Vaandrager, F. Analysis of a clock synchronization protocol for wireless sensor networks. Second World Congress on Formal Methods (FM'09), pp. 516-531, Lecture Notes in Computer Science 5850, Eindhoven, The Netherlands, November 2-6, Springer-Verlag, 2009.

Jeuring J. & Heeren, B. An interactive exercise player for MathBridge. In Natasa Brouwer, Bas Giebers, Bart Rienties & Leendert van Gastel, editors, Proceedings of Student Mobility and ICT: Dimensions of Transition, pp. 213-217, 2009.

Jeuring, J., Leather, S., Magalhães, J.P. & Rodriguez Yakushev, A. Libraries for generic programming in Haskell. In Proceedings of the Sixth Advanced Functional Programming School, AFP'08, volume 5832 of Lecture Notes in Computer Science, pp. 165-229. Springer-Verlag, 2009.

Jeuring J. & Meertens, L. Geniaal programmeren - generic programming at Utrecht. In Hans Bodlaender et al., editor, Fascination for computation, 25 jaar opleiding informatica, pp. 75-88, 2009.

Jeuring J. & Rodriguez Yakushev, A. Enumerating well-typed terms generically. In Proceedings of the 3rd workshop on Approaches and Applications of Inductive Programming, Edinburg, Springer-Verlag, Lecture Notes in Computer Science 5812, 2009.

Koppelman, H. & Vranken, H. Comparing Synchronous and Asynchronous Interaction in CS Distance Education. In Proceedings of Informatics Education Europe IV (Freiburg, Germany, November 5 - 6, 2009). pp. 103-108, 2009.

Mostowski, W., Poll, E., Schmaltz, J., Tretmans, J. & Wichers Schreur, R. Model-based testing of electronic passports. 14th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'09), pp. 207-209, Lecture Notes in Computer Science 5825, Eindhoven, The Netherlands, November 2-3, Springer-Verlag, 2009.

Rodriguez Yakushev, A., Holdermans, S., Löh, A. & Jeuring, J. Generic programming with fixed points for mutually recursive datatypes. In Graham Hutton & Andrew P. Tolmach, editors, Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming, ICFP'09, pp. 233-244. ACM, 2009.

Schierboom, E. Tamalet, A., Tews, H., van Eekelen, M. & Sjaak Smetsers. Preemption abstraction: A lightweight approach to modelling concurrency. In Formal Methods for Industrial Critical Systems (FMICS 2009), volume 5825 of Lect. Notes Comp. Sci., pp. 149-164. Springer-Verlag, 2009.

Shkaravska, O., van Eekelen, M. & van Kesteren, R. Polynomial size analysis of first-order shapely functions. Logical Methods in Computer Science, 5(2), 2009.

Tamalet, A., Shkaravska, O. & van Eekelen, M. Size analysis of algebraic data types. In Trends in Functional Programming (edited by Peter Achten, Pieter Koopman & Marco T. Morazán), volume 9 of Trends in Functional Programming, pp. 33-48. Intellect, 2009.

Vranken, H. & Koppelman, H,. A virtual computer security lab for distance education. In Proceedings of the 5th IASTED European Conference on Internet and Multimedia Systems and Applications (Cambridge, UK, July 13 - 15, 2009). EuroIMSA '09. Acta Press, Calgary, Canada, pp. 21-27, 2009.

Vranken, H. Improving wiki quality by applying web of trust. In Proceedings of the 5th IASTED European Conference on Internet and Multimedia Systems and Applications (Cambridge, UK, July 13 - 15, 2009). EuroIMSA '09. Acta Press, Calgary, Canada, pp. 121-127, 2009.