Difference between revisions of "EmbLab/Publications"

From Web
Jump to navigation Jump to search
(New page: {{EmbLab}} ==2009== # Luca Pazzi, Marco Pradelli, Architectural issues in mixing heterogeneous paradigms in autonomic systems, DCDS09, Bari, Italy ==2008== # Luca Pazzi, Marco Pradel...)
 
 
(23 intermediate revisions by the same user not shown)
Line 1: Line 1:
 
{{EmbLab}}
 
{{EmbLab}}
  
 +
= Papers =
 +
====2010====
  
==2009==
+
* 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, 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, Architectural issues in mixing heterogeneous paradigms in autonomic systems, DCDS09, Bari, Italy
+
====2009====
  
  
==2008==
+
* 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.
  
# Luca Pazzi, Marco Pradelli, A state-based systemic view of behaviour for safe medical computer applications, IEEE-CBMS2008, Finland, 2008
+
====2008====
# Luca Pazzi, Marco Pradelli, Improving Quality Factors in Model-Based Embedded Software, QEES 2008, Berlin, Germany
+
 
 +
* 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]

Latest revision as of 16:05, 17 November 2010

Home Staff Publications Technical reports Thesis

Embedded Software Research Group


Papers

2010

2009

2008