Difference between revisions of "EmbLab/Publications"

From Web
Jump to navigation Jump to search
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]", San Jose, CA. [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.

Revision as of 11:24, 8 November 2010

Home Staff Publications Technical reports Thesis

Embedded Software Research Group


Papers

2010

2009

2008