Publications 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.

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.

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.

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.

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.

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.

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.

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.

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.

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.