< EmbLabJump to navigation Jump to search
- Luca Pazzi, Matteo Interlandi, Marco Pradelli, "Automatic Fault Behavior Detection and Modeling by a State-based Specification Method", HASE 2010, San Jose, CA, issn 1530-2059. Presentation.
- 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.
- 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