Abstract delta modeling D Clarke, M Helvensteijn, I Schaefer ACM Sigplan Notices 46 (2), 13-22, 2010 | 156 | 2010 |
Dynamic Delta Modeling M Helvensteijn Proceedings of the 16th International Software Product Line Conference …, 2012 | 19 | 2012 |
The Open Physiology workflow: modeling processes over physiology circuitboards of interoperable tissue units B De Bono, S Safaei, P Grenon, DP Nickerson, S Alexander, ... Frontiers in physiology 6, 125952, 2015 | 18 | 2015 |
HATS abstract behavioral specification: The architectural view R Hähnle, M Helvensteijn, EB Johnsen, M Lienhardt, D Sangiorgi, ... International Symposium on Formal Methods for Components and Objects, 109-132, 2011 | 18 | 2011 |
Delta Modeling in Practice: a Fredhopper Case Study M Helvensteijn, R Muschevici, PYH Wong Proceedings of the Sixth International Workshop on Variability Modeling of …, 2012 | 17 | 2012 |
ApiNATOMY: Towards multiscale views of human anatomy B de Bono, P Grenon, M Helvensteijn, J Kok, N Kokash International Symposium on Intelligent Data Analysis, 72-83, 2014 | 11 | 2014 |
Delta Modeling Workflow M Helvensteijn Proceedings of the Sixth International Workshop on Variability Modeling of …, 2012 | 6 | 2012 |
Requirements for the formal representation of pathophysiology mechanisms by clinicians B de Bono, M Helvensteijn, N Kokash, I Martorelli, D Sarwar, S Islam, ... Interface Focus 6 (2), 20150099, 2016 | 4 | 2016 |
Abstract delta modeling: software product lines and beyond M Helvensteijn University of Leiden, 2014 | 3 | 2014 |
Applying Data Mining to the Study of Joseki M Helvensteijn Artificial Intelligence in Theory and Practice II, 87-96, 2008 | 2 | 2008 |
Toward a Formal Foundation for Time Travel in Stories and Games M Helvensteijn, F Arbab Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on …, 2016 | 1 | 2016 |
Abstract Delta Modeling: My Research Plan M Helvensteijn Proceedings of the 16th International Software Product Line Conference …, 2012 | 1 | 2012 |
A Modal Logic for Abstract Delta Modeling F de Boer, M Helvensteijn, J Winter Proceedings of the 16th International Software Product Line Conference …, 2012 | 1 | 2012 |
Automatic Program Verification in Mist S de Gouw, M Helvensteijn LIACS, Leiden, The Netherlands, 2009 | 1 | 2009 |
Action Systems for Pharmacokinetic Modeling. MM Bonsangue, M Helvensteijn, JN Kok, N Kokash From Action Systems to Distributed Systems, 189-200, 2016 | | 2016 |
The Open Physiology Workflow: building physiology circuitboards from interoperable tissue knowledge B Bono, S Safaei, P Grenon, D Nickerson, S Alexander, M Helvensteijn, ... | | 2015 |
Mist: A Verified Programming Language M Helvensteijn, S de Gouw | | 2009 |
The pkgloader and lt3graph packages M Helvensteijn | | |