TU Delft
Jan David Mol
Delft University of Technology Research PDS Group
EWI PDS Jan David MolResearch
eng
 
 
 
 
 
 
 
 
Publications
Add or change here
2012
2011
  • Markus Herrmannsdörfer and Sander Vermolen and Guido Wachsmuth (2011). An Extensive Catalog of Operators for the Coupled Evolution of Metamodels and Models. In Mark van den Brand and Brian Malloy and Steffen Staab (Eds.), Software Language Engineering, Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers. Lecture Notes in Computer Science, Springer. [ Bibtex ]
2010
  • Markus Herrmannsdoerfer and Sander D. Vermolen and Guido Wachsmuth (2010). An Extensive Catalog of Operators for the Coupled Evolution of Metamodels and Models. In Mark van den Brand and Brian Malloy and Steffen Staab (Eds.), Software Language Engineering, Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers. Lecture Notes in Computer Science, Springer. [ Bibtex ]
  • Sander D. Vermolen and Jozef Hooman and Peter Gorm Larsen (2010). Proving consistency of VDM models using HOL. In Sung Y. Shin and Sascha Ossowski and Michael Schumacher and Mathew J. Palakal and Chih-Cheng Hung (Eds.), Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 2503-2510. ACM. [ Bibtex ]
2009
2008
  • Ulrich Ultes-Nitsche and Daniel Moldt and Juan Carlos Augusto (Eds.) (2008). Comparing Methodologies for Service-Orientation using the Generic System Development Process, INSTICC PRESS. [ Bibtex ]
  • Sander D. Vermolen (2008). Software Language Evolution. In Andy Zaidman and Massimiliano Di Penta and Ahmed Hassan (Eds.), Proceedings 15th Working Conference on Reverse Engineering (WCRE 2008), pp. 323--326. IEEE Press. [ Bibtex ]
2007
2006
  • J.J.D. Mol, D.H.J. Epema, H.J. Sips (2006). The Orchard Algorithm: P2P Multicasting without Free-Riding. In Proc. of the Twelfth Annual Conference of the Advanced School for Computing and Imaging (ASCI 2006), pp. 82-89, Lommel, Belgium. [ Bibtex ]
2005
                                                                                                                                                                                                                                                                             
Top of the page