EmbLab/Publications: Difference between revisions
< EmbLab
Jump to navigation
Jump to search
(→2010) |
(→Papers) |
||
| Line 10: | Line 10: | ||
* Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliDCDS09CameraReady.pdf Part-Whole Hierarchical Modularization of Fault-Tolerant and Goal-Based Autonomic Systems]'', DCDS09, Bari, Italy, [http://www.dii.unimo.it/~emblab/DCDS09Presentation.pdf Presentation]; | |||
* Luca Pazzi, Marco Pradelli, ''Modularization issues in Fault-Tolerant and Goal-Based Autonomic Systems'', ASI [http://www.asi.it/it/eventi/workshop/robotica_mobile_per_esplorazione_lunare_unmanned Robotica mobile per esplorazione lunare Unmanned] (Mobile robotics for Unmanned lunar exploration, event organized by Italian Space Agency (ASI)), Roma, Italy. | |||
====2008==== | ====2008==== | ||
* Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliCbms08.pdf A state-based systemic view of behaviour for safe medical computer applications]'', IEEE-CBMS2008, Finland, 2008, [http://www.dii.unimo.it/~emblab/pazziPresentationCBMS2008.pdf Presentation] | |||
* Luca Pazzi, Marco Pradelli, ''[http://www.dii.unimo.it/~emblab/PazziPradelliQEES2008.pdf Improving Quality Factors in Model-Based Embedded Software]'', QEES 2008, Berlin, Germany, 2008, [http://www.dii.unimo.it/~emblab/pazziPradelliQEES2008Presentation.pdf Presentation] | |||
Revision as of 09:19, 28 September 2010
Home Staff Publications Technical reports Thesis
Papers
2010
- 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.
2009
- 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.
2008
- Luca Pazzi, Marco Pradelli, A state-based systemic view of behaviour for safe medical computer applications, IEEE-CBMS2008, Finland, 2008, Presentation
- Luca Pazzi, Marco Pradelli, Improving Quality Factors in Model-Based Embedded Software, QEES 2008, Berlin, Germany, 2008, Presentation