EmbLab/Publications: Difference between revisions

From Web
Jump to navigation Jump to search
 
(One intermediate revision by the same user not shown)
Line 4: Line 4:
====2010====
====2010====


* Luca Pazzi, Matteo Interlandi, Marco Pradelli, "[http://www.dii.unimo.it/~emblab/HASE-2010.pdf Automatic Fault Behavior Detection and Modeling by a State-based Specification Method]", HASE 2010, San Jose, CA, issn 1530-2059. [http://www.dii.unimo.it/~emblab/Pradelli-HASE.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, ''[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.

Latest revision as of 15:05, 17 November 2010

Home Staff Publications Technical reports Thesis

Embedded Software Research Group


Papers

2010

2009

2008