Publications

Export 8 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: Author is S. Donatelli  [Clear All Filters]
Conference Paper
[IPReTeSi99] Recalde, L, Teruel E, Silva M.  1999.  Autonomous Continuous PT systems. 1639:107-126.
0 icon
99_RTS_ICATPN.pdf
[MBCD-wodes02] Merseguer, J, Bernardi S, Campos J, Donatelli S.  2002.  A Compositional Semantics for UML State Machines Aimed at Performance Evaluation. :295-302.
0 icon
02_MBCD_WODES.pdf
[BDM-WOSP-02] Bernardi, S, Donatelli S, Merseguer J.  2002.  From UML Sequence Diagrams and Statecharts to analysable Petri Net models. :35-45.
0 icon
02_BDM_WOSP.ps
[CDS-StMalo-97] Campos, J, Donatelli S, Silva M.  1997.  Structured Solution of Stochastic DSSP Systems. :91-100.
0 icon
97_CDS_StMalo.ps
Journal Article
[CM-LNCS-06] Campos, J, Merseguer J.  2006.  On the integration of UML and Petri nets in software development. Lecture Notes in Computer Science. 4024:19-36.
0 icon
CM-LNCS-06.pdf
[CDS-TSE-99] Campos, J, Donatelli S, Silva M.  1999.  Structured Solution of Asynchronously Communicating Stochastic Modules. IEEE Transactions on Software Engineering. 25:147-165.
0 icon
99_CDS_TSE.ps
Report
[BCDM-TSE] Bernardi, S, Campos J, Donatelli S, Merseguer J.  2004.  GSPN Compositional Semantics for UML Statecharts and Sequence Diagrams.
[BDM-Tutorial] Bernardi, S, Donatelli S, Merseguer J.  2005.  On derivation of Petri net quantitative models from UML software system specifications.