Wooter Wijngaards

Learn More
A BDI-based continuous-time modelling approach for intracellular dynamics is presented. It is shown how temporalized BDI-models make it possible to model intracellular biochemical processes as decision processes. By abstracting from some of the details of the biochemical pathways, the model achieves understanding in nearly intuitive terms, without losing(More)
Within a design process, the evaluation of a candidate design solution against a set of requirements may be hard, especially when the requirements concern dynamic properties. For a component-based design, evaluation of the dynamics can be based on dynamic properties of the components, and the way in which they are connected. In this paper an automated(More)
Any opinions, findings, and conclusions or recommendations expressed in this material are those of the authors or originators and do not necessarily reflect the views of the National Science Foundation. We are deeply grateful to the Netalyzr users for enabling this study and to our beta testers for the insightful comments and feedback. We would particularly(More)
  • 1