EmbLab/Publications

From Web
< EmbLab
Revision as of 09:17, 28 September 2010 by 22104 (talk | contribs) (→‎2010)
Jump to navigation Jump to search

Home Staff Publications Technical reports Thesis

Embedded Software Research Group


Papers

2010

  1. Luca Pazzi, Marco Pradelli, Using Part-Whole Statecharts for the Safe Modeling of Clinical Guidelines, WHCM2010, Venice, Italy. Presentation.
  1. Luca Pazzi, Marco Pradelli, Matteo Interlandi, "Design-Time Model Checking in Part-Whole Statecharts", AVoCS 2010, Düsseldorf, Germany. Presentation.

The version linked here is an extended abstract, the complete article will be linked within a month.

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