Publicaties 2010

Aarts, F., Schmaltz, J. & Vaandrager F. W. Inference and abstraction of the biometric passport. In: International Symposium on Leveraging Applications of Formal Methods (ISoLA'10), volume 6415 of Lecture Notes in Computer Science, pp. 673-686, 2010.

Benvenuti L., Hennipman, E.J, .Oppelaar, E.J., Cruijsberg, B., van der Veer, G.C. & Bakker, G: Experiencing and Learning with 3D Virtual Worlds, in: J.M. Spector, D.Ifenthaler, P.Isaias, Kinshuk, D.G.Sampson (Eds.) Learning and instruction in the digital age. Springer Science+Business Media, inc., New York, NY, 2010.

Berendsen, J. Jansen, D., Schmaltz, J. & Vaandrager, F. The axiomatization of overriding and update. Journal of Applied Logic 8: pp. 141-150, Elsevier, 2010.

Biehler, R., Fischer, P. R., Hochmuth R., Jeuring J, & Wassong, T. How to support students learning in mathematical bridging-courses using an ITS? Remedial scenarios in the European project Math-Bridge. In Proceedings of Student Mobility and ICT: World in Transition, 2010.

Counotte-Potman, A.D., Thiadens, Th.J.G. c.s.: Green data centres in the Netherlands, Paper 2010 11th annual GITMA (Global Information Technology Management Association), World conference in Washington DC, USA on June 20, 21 2010

Drachsler, H., Rutledge, L., van Rosmalen, P., Hummel, H. G. K., Pecceu, D., Arts, T., Hutten, E. & Koper, R. ReMashed - A Usability Study of a Recommender System for Mash-Ups for Learning. International Journal of Emerging Technologies in Learning (iJET). ICL2009 - Mash Ups for Learning, 5, pp. 7-11, 2010.

van Eekelen, M., Leven Lang Computeren, Leven Lang Foeteren? Er valt nog veel te leren!, Oratie Open Universiteit, 36 pages, Datawyse Maastricht, 5 maart, 2010.

Gerdes, A., Heeren, B. & Jeuring, J. Properties of exercise strategies. Proceedings of the 1st International Workshop on Strategies in Rewriting, Proving, and Programming (IWS 2010), pp. 21-35 (not yet in print; published online at http://eptcs.org/content.cgi?IWS2010).

Gerdes, A., Jeuring, J. & Heeren, B. Using Strategies for Assessment of Programming Exercises. In Gary Lewandowski, Steven Wolfman, Thomas J. Cortina, Ellen L. Walker & David R. Musicant, editors, Proceedings of the 41st ACM technical symposium on Computer science education, SIGCSE 2010, pp. 441-445, ACM, 2010.

Heck, P., Klabbers, M., van Eekelen, M. A Software Product Certification Model. In Software Quality Journal, Vol. 18 number 1, pp. 37-55. Springer-Verlag, March 2010.

Heeren, B. & Jeuring, J. Adapting mathematical domain reasoners. In Proceedings of MKM'10: the 9th International Conference on Mathematical Knowledge Management, pp. 315-330, Springer-Verlag, 2010.

Heeren, B., Jeuring, J. & Gerdes, A. Specifying rewrite strategies for interactive exercises. Mathematics in Computer Science, 3(3), pp. 349-370, 2010.

van den Herik, H.J. and Pieter Spronck, P. (Eds.), Advances in Computer Games. 12th International Conference, ACG2009. Pamplona, Spain, May 2009. Revised Papers. LNCS 6048. Springer-Verlag, Berlin Heidelberg, Germany, 2010

Jeuring, J., Magalhães, J.P & Heeren, B. Generic programming for domain reasoners. In Horvath, e.a. (editors), Proceedings of the 10th Symposium on Trends in Functional Programming (TFP'2009), pp. 113-128. Intellect, 2010.

Joosten, E., van Lankveld, G. and Spronck, P., Colors and Emotions in Video Games. 11th International Conference on Intelligent Games and Simulation GAME-ON 2010 (ed. Aladdin Ayesh), pp. 61-65, 2010.

Koppelman, H. & B. van Dijk, Teaching abstraction in introductory courses. In: Proceedings of the fifteenth annual conference on Innovation and technology in computer science education (ITiCSE '10). ACM, New York, NY, USA, 174-178. 2010, http://doi.acm.org/10.1145/1822090.1822140.

van Lankveld, G., Spronck, P., van den Herik, J. and Rauterberg, M., Incongruity-Based Adaptive Game Balancing. Advances in Computer Games. 12th International Conference, ACG2009. (eds. H.Jaap van den Herik and Pieter Spronck), pp. 208-220. Springer-Verlag, Berlin Heidelberg, Germany, 2010.

Leather, S., Löh, A. & Jeuring, J. Pull-ups, push-downs, and passing it around – exercises in functional incrementalization. In Marco T. Morazán & Sven-Bodo Scholz, editors, Proceedings of IFL 2009: the 21st Symposium on Implementation and Application of Functional Languages, Lecture Notes in Computer Science 6041, pp. 159-178, Springer-Verlag, 2010.

Madlener, K., Smetsers, S. & van Eekelen, M. A Formal Verification Study on the Rotterdam Storm Surge Barrier. In Jin Song Dong, Huibiao Zhu (Eds.) Proceedings of the 12th International Conference on Formal Engineering Methods (ICFEM2010). Shanghai, China, November 2010. Lecture Notes in Computer Science 6447. pp. 287-302, Springer-Verlag, 2010.

Magalhães. J.P., Dijkstra, A., Jeuring, J. & Löh, A. A generic deriving mechanism for Haskell. In Proceedings of Haskell 2010: the 3rd ACM SIGPLAN symposium on Haskell, pp. 37-48, ACM Press, 2010.

Magalhães, J.P., Holdermans, S., Jeuring, J. & Löh, A. Optimizing generics is easy! In Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation, PEPM 2010, pp. 33-42, ACM Press, 2010.

McNeile, A. & Roubtsova, E.E. Aspect-Oriented Development Using Protocol Modeling. In: S.Katz et al.(Eds). Transactions on Aspect-Oriented Software Development , vol. VII, Lecture Notes in Computer Science 6210, pp.115-150, Springer-Verlag, 2010.

van Noort, T., Rodriguez Yakushev, A., Holdermans, S., Jeuring, J., Heeren, B. & Magalhães, J.P A lightweight approach to datatype-generic rewriting. In Journal of Functional Programming, 20(3/4), pp. 375-413, 2010.

Rodriguez, A. & Jeuring, J. Enumerating Well-Typed Terms Generically. In Schmid e.a: Proceedings of AAIP 2009: workshop on Approaches and Applications of Inductive Programming, Lecture Notes in Computer Science 5812, pp. 93-116, Springer-Verlag, 2010.

Roubtsova, E.E., Joosten, S. & Wedemeijer L. Behavioural Model for a Business Rules Based Approach. In: Proceedings of the Second International Workshop on Behavioural Modelling - Foundations and Applications at the ECMFA, Paris, France, 15 June, 2010.

Roubtsova, E.E. & . McNeile, A.T. Coloured Petri Nets with Parallel Composition to Separate Concerns. Proceedings of the International Conference on Enterprise Information Systems, pp. 501-504, 8 -12 June, Madeira, Portugal, 2010.

Rutten, L. & van Eekelen, M. Efficient and Formally Proven Reduction of Large Integers by Small Moduli. In ACM Transactions on Mathematical Software, Volume 37 Issue 2, Article 16, April 2010

Schmaltz, J., Verbeek, F. & van den Broek, T. Formal validation and verification of networks-on-chips: Status and perspective. In Designing Correct Circuits (DCC'10), part of ETAPS 2010.

Schraefel, M.C. & Rutledge, L. User Interaction in Semantic Web research, Editorial in Journal of Web Semantics, Volume 8, Issue 4, pp.375-375, Elsevier, November 2010.

Shkaravska, O., Kersten, R. & van Eekelen, M. Test-Based Inference of Polynomial Loop-Bound Functions. In Proceedings of the 8th International Conference on Principles and Practice of Programming in Java (PPPJ2010). Vienna, September 2010. ACM International Proceedings Series, pp. 99-108. ACM 2010.

Shkaravska, O. & van Eekelen, M. (Eds). Foundational and Practical Aspects of Resource Analysis. Proceedings of the First International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA2010). November 2009. Eindhoven. Workshop of Formal Methods Europe 2009. Lecture Notes in Computer Science. Volume 6324. 170 pages. Springer-Verlag, 2010.

Spronck, P. and den Teuling, F., Player Modelling in Civilization IV. Proceedings of the Sixth Artificial Intelligence and Interactive Digital Entertainment Conference, pp. 180-185. AAAI Press, Menlo Park, CA, 2010.

van Steenbergen, M., Magalhães, J.P. & Jeuring, J. Generic selections of subexpressions. In Proceedings of WGP 2010: the 6th ACM SIGPLAN Workshop on Generic Programming, pp. 37-48, ACM Press, 2010.

Szita, I., Chaslot, G. and Spronck, P., Monte-Carlo Tree Search in Settlers of Catan. Advances in Computer Games. 12th International Conference, ACG2009. (eds. H. Jaap van den Herik and Pieter Spronck), pp. 21-32. Springer-Verlag, Berlin Heidelberg, Germany, 2010.

von Styp, S., Bohnenkamp, H. C. & Schmaltz, J. A conformance testing relation for symbolic timed automata. In 8th International Conference on Formal Modeling and Analysis of Timed Systems FORMATS'10), volume 6246 of Lecture Notes in Computer Science, pp 243-255, Springer-Verlag, 2010.

Tebbens, W,. Megías, D., Jacovkis D. & Bijlsma, L. Free Technology Academy: A joint venture of Free Software and OER 7th Annual Open Education Conference (OpenEd 2010), Barcelona, 2010.

Tebbens, W., Megías, D., Jacovkis, D. & Bijlsma, L. Free Technology Academy: Towards sustainable production of free educational materials. 3rd Free Culture Research Conference, Berlijn, 2010.

Verbeek, F. & Schmaltz, J. Formal Specification of Networks-on-Chips: Deadlock and Evacuation. International Conference on Design Automation and Test Europe (DATE'10),pp. 1701-1706, Dresden, Germany © IEEE/ACM 2010.

Verbeek, F. & Schmaltz, J. Proof Pearl: A formal proof of Dally&Seitz necessary and sufficient condition for deadlock-free routing in interconnection networks. Journal of Automated Reasoning. On-line first. September, Springer-Verlag 2010.

Verbeek, F. & Schmaltz, J. Proof Pearl: A formal proof of Duato's condition for deadlock-free adaptive networks. 1st International Conference on Interactive Theorem Proving (ITP'10), pp. 67-82, part of FLoC'10, Lecture Notes in Computer Science 6172, Kaufman & Paulson (Eds), July 11-14, Edinburgh, Scotland © Springer-Verlag, 2010.

Verbeek, F. & Schmaltz, J. Formal validation of networks-on-chips: Deadlock and evacuation. In Proc. of International Conference on Design, Automation and Test Europe (DATE'10), pp. 1701-1706, Dresden, ACM/IEEE, March 2010.