Revision as of 09:18, 28 September 2010

Papers

Luca Pazzi, Marco Pradelli, Using Part-Whole Statecharts for the Safe Modeling of Clinical Guidelines, WHCM2010, Venice, Italy. Presentation.
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.

Luca Pazzi, Marco Pradelli, Part-Whole Hierarchical Modularization of Fault-Tolerant and Goal-Based Autonomic Systems, DCDS09, Bari, Italy, Presentation;
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.

@@ Line 4: / Line 4: @@
 ====2010====
-# 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 within 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====