Seguir
Michiel Helvensteijn
Michiel Helvensteijn
Software Engineer at Meta
Dirección de correo verificada de meta.com
Título
Citado por
Citado por
Año
Abstract delta modeling
D Clarke, M Helvensteijn, I Schaefer
ACM Sigplan Notices 46 (2), 13-22, 2010
1552010
Dynamic Delta Modeling
M Helvensteijn
Proceedings of the 16th International Software Product Line Conference …, 2012
192012
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
182015
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
182011
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
172012
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
112014
Delta Modeling Workflow
M Helvensteijn
Proceedings of the Sixth International Workshop on Variability Modeling of …, 2012
62012
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
42016
Abstract delta modeling: software product lines and beyond
M Helvensteijn
University of Leiden, 2014
32014
Applying Data Mining to the Study of Joseki
M Helvensteijn
Artificial Intelligence in Theory and Practice II, 87-96, 2008
22008
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
12016
Abstract Delta Modeling: My Research Plan
M Helvensteijn
Proceedings of the 16th International Software Product Line Conference …, 2012
12012
A Modal Logic for Abstract Delta Modeling
F de Boer, M Helvensteijn, J Winter
Proceedings of the 16th International Software Product Line Conference …, 2012
12012
Automatic Program Verification in Mist
S de Gouw, M Helvensteijn
LIACS, Leiden, The Netherlands, 2009
12009
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–18