Difference between revisions of "EmbLab/Publications"

From Web
Jump to navigation Jump to search
Line 6: Line 6:
 
# Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliWHCM10.pdf Using Part-Whole Statecharts for the Safe Modeling of Clinical Guidelines]'', [http://www.deei.units.it/WHCM2010/ WHCM2010], Venice, Italy. [http://www.dii.unimo.it/~emblab/PresentationWHCM10.pdf Presentation].
 
# Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliWHCM10.pdf Using Part-Whole Statecharts for the Safe Modeling of Clinical Guidelines]'', [http://www.deei.units.it/WHCM2010/ WHCM2010], Venice, Italy. [http://www.dii.unimo.it/~emblab/PresentationWHCM10.pdf Presentation].
  
#Luca Pazzi, Marco Pradelli, Matteo Interlandi, "[http://www.dii.unimo.it/~emblab/pazziAVOCS2010AB1.pdf Design-Time Model Checking in Part-Whole Statecharts]", AVoCS 2010, Düsseldorf, Germany. [http://www.dii.unimo.it/~emblab/pazziAvocs2010Presentation.pdf Presentation]. The version linked here is an extended abstract, the complete article will be linked in a month.
+
#Luca Pazzi, Marco Pradelli, Matteo Interlandi, "[http://www.dii.unimo.it/~emblab/pazziAVOCS2010AB1.pdf Design-Time Model Checking in Part-Whole Statecharts]", AVoCS 2010, Düsseldorf, Germany. [http://www.dii.unimo.it/~emblab/pazziAvocs2010Presentation.pdf Presentation].
 +
The version linked here is an extended abstract, the complete article will be linked within a month.
  
 
====2009====
 
====2009====

Revision as of 10:17, 28 September 2010

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