Michiel Helvensteijn

According to our database, Michiel Helvensteijn authored at least 12 papers between 2008 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2016

Toward a Formal Foundation for Time Travel in Stories and Games.

Michiel Helvensteijn, Farhad Arbab

Proceedings of the Theory and Practice of Formal Methods, 2016

Action Systems for Pharmacokinetic Modeling.

Marcello M. Bonsangue, Michiel Helvensteijn, Joost N. Kok, Natallia Kokash

Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2015

Abstract delta modelling.

Dave Clarke, Michiel Helvensteijn, Ina Schaefer

Math. Struct. Comput. Sci., 2015

2014

ApiNATOMY: Towards Multiscale Views of Human Anatomy.

Bernard de Bono, Pierre Grenon, Michiel Helvensteijn, Joost N. Kok, Natallia Kokash

Proceedings of the Advances in Intelligent Data Analysis XIII, 2014

2012

Delta modeling in practice: a Fredhopper case study.

Michiel Helvensteijn, Radu Muschevici, Peter Y. H. Wong

Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems, 2012

Delta modeling workflow.

Michiel Helvensteijn

Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems, 2012

Abstract delta modeling: my research plan.

Michiel Helvensteijn

Proceedings of the 16th International Software Product Line Conference, 2012

Dynamic delta modeling.

Michiel Helvensteijn

Proceedings of the 16th International Software Product Line Conference, 2012

A modal logic for abstract delta modeling.

Frank S. de Boer, Michiel Helvensteijn, Joost Winter

Proceedings of the 16th International Software Product Line Conference, 2012

2011

HATS Abstract Behavioral Specification: The Architectural View.

Reiner Hähnle, Michiel Helvensteijn, Einar Broch Johnsen, Michael Lienhardt, Davide Sangiorgi, Ina Schaefer, Peter Y. H. Wong

Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

2010

Abstract delta modeling.

Dave Clarke, Michiel Helvensteijn, Ina Schaefer

Proceedings of the Generative Programming And Component Engineering, 2010

2008

Applying Data Mining to the Study of Joseki.

Michiel Helvensteijn

Proceedings of the Artificial Intelligence in Theory and Practice II, 2008