Year: 2016

  • Requirements for the formal representation of pathophysiology mechanisms by clinicians: B. de Bono et al, Interface Focus, Vol. 6, 4, 2016. more online version pdf bibtex
  • Action Systems for Pharmacokinetic Modeling: M. M. Bonsangue, M. Helvensteijn, J. N. Kok and N. Kokash, From Action Systems to Distributed Systems: The Refinement Approach. 2016. pp. 189–200. more online version bibtex
  • Toward a Formal Foundation for Time Travel in Stories and Games: M. Helvensteijn and F. Arbab, Theory and Practice of Formal Methods. E. Ábrahám, M. Bonsangue and E. B. Johnsen eds. 2016. pp. 261-276. more online version pdf bibtex

Year: 2015

  • The Open Physiology workflow: modeling processes over physiology circuitboards of interoperable tissue units: B. de Bono et al, Frontiers in Physiology, Vol. 6, 2, 2015, pp. 24. more online version pdf bibtex

Year: 2014

  • ApiNATOMY: Towards Multiscale Views of Human Anatomy: B. de Bono, P. Grenon, M. Helvensteijn, J. Kok and N. Kokash, Advances in Intelligent Data Analysis, Vol. XIII. 2014, pp. 72–83. more online version pdf bibtex
  • ApiNATOMY: The Generation of Interactive Circuitboard Views of Complex Physiology Knowledge: B. de Bono, P. Grenon, M. Helvensteijn, J. Kok and N. Kokash, Proceedings of the Virtual Physiological Human Conference. 2014. more bibtex
  • The pkgloader and lt3graph Packages: Toward simple and powerful package management for LaTeX: M. Helvensteijn, TUGboat: The Communications of the TeX Users Group, Vol. Volume 35. 2014, pp. 47–51. more pdf bibtex

Year: 2013

  • HATS Abstract Behavioral Specification: The Architectural View: R. Hähnle et al., Formal Methods for Components and Objects. B. Beckert, F. Damiani, F. S. de Boer and M. M. Bonsangue eds. 2013. pp. 109-132. more online version pdf bibtex

Year: 2012

  • Abstract Delta Modeling: D. Clarke, M. Helvensteijn and I. Schaefer, MSCS (Mathematical Structures in Computer Science). 2012. more pdf bibtex
  • Delta Modeling Workflow: M. Helvensteijn, Proceedings of the 6th International Workshop on Variability Modelling of Software-intensive Systems, Leipzig, Germany, January 25-27 2012. 2012. pp. 129-137. more online version pdf errata bibtex
  • Delta Modeling in Practice, a Fredhopper Case Study: M. Helvensteijn, R. Muschevici and P. Wong, Proceedings of the 6th International Workshop on Variability Modelling of Software-intensive Systems, Leipzig, Germany, January 25-27 2012. 2012. pp. 139-148. more online version pdf bibtex
  • A Modal Logic for Abstract Delta Modeling: F. de Boer, M. Helvensteijn and J. Winter, Proceedings of the 16th International Software Product Line Conference - Volume 2. 2012. pp. 45-52. more online version pdf bibtex
  • Dynamic Delta Modeling: M. Helvensteijn, Proceedings of the 16th International Software Product Line Conference - Volume 2. 2012. pp. 127-134. more online version pdf bibtex
  • Abstract Delta Modeling: My Research Plan: M. Helvensteijn, Proceedings of the 16th International Software Product Line Conference - Volume 2. 2012. pp. 217-224. more online version pdf bibtex

Year: 2010

  • Abstract Delta Modeling: D. Clarke, M. Helvensteijn and I. Schaefer, GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering. 2010. pp. 13-22. more online version pdf bibtex

Year: 2008

  • Applying Data Mining to the Study of Joseki: M. Helvensteijn, Artificial Intelligence in Theory and Practice II, IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy. 2008. pp. 87-96. more online version pdf bibtex
Results 1 - 16 of 16