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