EmbLab/Publications

Home Staff Publications Technical reports Thesis

Papers

2010

1. Luca Pazzi, Marco Pradelli, Using Part-Whole Statecharts for the Safe Modeling of Clinical Guidelines, WHCM2010, Venice, Italy.

2009

1. Luca Pazzi, Marco Pradelli, Part-Whole Hierarchical Modularization of Fault-Tolerant and Goal-Based Autonomic Systems, DCDS09, Bari, Italy, Presentation;
2. Luca Pazzi, Marco Pradelli, Modularization issues in Fault-Tolerant and Goal-Based Autonomic Systems, ASI Robotica mobile per esplorazione lunare Unmanned (Mobile robotics for Unmanned lunar exploration, event organized by Italian Space Agency (ASI)), Roma, Italy.

2008

1. Luca Pazzi, Marco Pradelli, A state-based systemic view of behaviour for safe medical computer applications, IEEE-CBMS2008, Finland, 2008, Presentation
2. Luca Pazzi, Marco Pradelli, Improving Quality Factors in Model-Based Embedded Software, QEES 2008, Berlin, Germany, 2008, Presentation