Publications

MAy 05, 2017

 

Peer-reviewed journals and Editorial


  1. Paolo Arcaini, Elvinia Riccobene, and Patrizia Scandurra. Formal design and verification of self-adaptive systems with decentralized control. ACM Transactions on Autonomous and Adaptive Systems (TAAS), 11(4):25:1–25:35, 2017, ISSN:1556-4665
  2. Bucchiarone Antonio, Giuseppe (Peppo) Valetto, and Patrizia Scandurra, editors. Special Issue on Software Architectures for Decentralized Adaptive Systems (To appear). IET Software, 2017.
  3. Capelli S. and Scandurra P. A framework for early design and prototyping of service-oriented applications with design patterns. Elsevier COMPUTER LANGUAGES, SYSTEMS & STRUCTURES, 46:140–166, 2016.
  4. Perez-Palacin Diego and Scandurra P., editors. Special track on software architecture: Theory, technology, and applications (SA-TTA), volume 04-08-. Association for Computing Machinery, 2016.
  5. P. Arcaini, E. Riccobene, P. Scandurra. Modeling and Validating Self-adaptive Service-oriented Applications. In: ACM SIGAPP APPLIED COMPUTING REVIEW SEP. 2015, VOL. 15, NO. 3. Pages 35-48. ACM New York, NY, USA.
  6. Bucchiarone Antonio, Mirandola Raffaela, Kang Sungwon, and Scandurra P., editors. Software Architecture: Theory, Technology, and Applications (SA-TTA), volume 13-17-. Association for Computing Machinery, 2015.
  7. R. Mirandola, E. Riccobene, P. Potena, P. Scandurra. A reliability model for Service Component Architectures, in Elsevier Journal of Systems & Software, Volume 89, March 2014, Pages 109–127. DOI: http://dx.doi.org/10.1016/j.jss.2013.11.002
  8. E. Riccobene, P. Scandurra. A formal framework for service modeling and prototyping, Journal of Formal Aspects of Computing , 25 Dec 2013. DOI: http://10.1007/s00165-013-0289-0
  9. R. Mirandola, P. Potena, P. Scandurra. Adaptation Space Exploration for Service-oriented Applications. Accepted for publication in Elsevier Science of Computer Programming, Volume 80, Part B, 1 February 2014, Pages 356–384
    DOI:
    http://dx.doi.org/10.1016/j.scico.2013.09.017
  10. Massimo Bombino, Patrizia Scandurra: A model-driven co-simulation environment for heterogeneous systems. Int J. Software Tools on Technology Transfer (STTT) 15(4): 363-374 (2013), Page 363-374, Springer pdf
  11. E. Riccobene, P. Scandurra. Integrating the SysML and the SystemC-UML profiles in a model-driven embedded system design flow. Design Automation for Embedded Systems (JDAES), volume 16, Issue 3 (2013), Page 53-91, Springer Science+Business Media New York 2012, DOI: 10.1007/s10617-012-9097-7 pdf
  12. A. Bucchiarone, R. Mirandola, P. Scandurra (2013). Proceedings of the 28th annual ACM Symposium on Applied Computing, SAC 2013, Pages 1720-1721, Coimbra; Portugal; 18 March 2013 through 22 March 2013; Code 96995. Special track on software architecture: Theory, technology, and applications (SA-TTA).
  13. P. Arcaini, A. Gargantini, E. Riccobene, P. Scandurra. A model-driven process for engineering a tool set for a formal method. Journal SOFTWARE-PRACTICE & EXPERIENCE, Volume 41, Issue 2, pages 155–166, February 2011, ISSN: 0038-0644, 2011.
  14. A. Gargantini, E. Riccobene, P. Scandurra. Combining Formal Methods and MDE Techniques for Model-driven System Design and Analysis. International Journal On Advances in Software, vol 3, no 1&2, ISSN: 1942-2628, 2010. pdf
  15. Bocchio, S. Lavazza, L. Mantellini, L. Riccobene, E. Rosti, A. Scandurra, P. SystemC/C-based Model-driven Design for Embedded Systems. ACM Transactions on Embedded Computing Systems (TECS), Volume 8 , Issue 4, July 2009.
  16. A. Gargantini, E. Riccobene, P. Scandurra. A semantic framework for metamodel-based languages. Automated Software Engineering (ASE). 16(3-4): 415-454, Springer, 2009.
  17. D. Brugali and P. Scandurra. Component-based Robotic Engineering. Part I: Reusable building blocks. In IEEE Robotics and Automation Magazine, Volume 16, Issue 4, pages 84-96, December 2009.
  18. E. Riccobene, P. Scandurra. Model transformations in the UPES/UPSoC development process for embedded systems. Springer Journal on Innovations in Systems and Software Engineering (ISSE), 5(1): 35-47, 2009.
  19. A. Gargantini, E. Riccobene, P. Scandurra. A Language and a Simulation Engine for Abstract State Machines based on Metamodelling. In Journal of Universal Computer Science (JUCS), Vol. 14, No. 12 (2008), p.1949-1983.
  20. Damiani E, Marrara S, Uden L, Azzini A, Page T, Callaghan M, SCANDURRA P, Pasi G, Tammaro A, Hwang F-K, Makkonen P, Lau EKW, Liaw S-S, Cristea AI, Weller M, Elia G, Chang E, Dreher HV, Quinton S, Milani M (2007). Proceedings - International Workshop on Database and Expert Systems Applications ELSys'07. ISBN: 0769529321.
  21. Cavarra, E. Riccobene, P. Scandurra. Mapping UML into Abstract State Machines: a Framework to simulate UML models. Journal Studia Informatica Universalis (SIU), special issue on Software Engineering. Regular Issue Vol.3 No.3 ISBN 2-912590-30-2, p. 367-398.

Book chapters


  1. Raffaela Mirandola, Pasqualina Potena, Elvinia Riccobene, Patrizia Scandurra: Formal Reliability Models for Web Services. In: Correct Software in Web Applications and Web Services, 229-256. 2015
  2. P. Arcaini, A. Gargantini, E. Riccobene, P. Scandurra. Formal Semantics for Metamodel-Based Domain Specific Languages. In: Formal and Practical Aspects of Domain-Specific Languages: Recent Developments. Editors: Dr. Marjan Mernik (University of Maribor, Slovenia). 2012.
  3. A. Gargantini, E. Riccobene, P. Scandurra. Model-driven design and ASM-based analysis of embedded systems. In Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation, edited by L. Gomes and J. M. Fernandes. 2009.
  4. A. Carioni, A. Gargantini, E. Riccobene, P. Scandurra. Model-driven system validation by scenarios. In Martin Radetzki (ed), Languages for Embedded Systems and their Applications. Lecture Notes in Electrical Engineering (LNEE), vol. 36, p. 57-69, Springer Verlag, 2009, ISSN: 1876-1100.
  5. A. Gargantini, E. Riccobene, P. Scandurra. Ten reasons to metamodel ASMs. In J. R. Abrial and U. Glässer (editors), Rigorous Methods for Software Construction and Analysis, - Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday, LNCS volume 5115, pages 33-49, Springer Verlag Berlin Heidelberg, 2009.
  6. S. Bocchio, E. Riccobene, A. Rosti, P. Scandurra. An Enhanced SystemC UML Profile for Modeling at Transaction-Level. In Embedded Systems Specification and Design Languages. E. Villar (ed.), Springer, 2008, ISBN 978-1-4020-8296-2.
  7. S. Bocchio, E. Riccobene, A. Rosti, P. Scandurra. A Model-driven co-design flow for Embedded Systems. In Advances in Design and Specification Languages for Embedded Systems. Huss, Sorin A. (Ed.), Springer, 2007, ISBN: 978-1-4020-6147-9.

Conference/workshop proceedings


    2017

  1. Camilli Matteo, Gargantini Angelo, Scandurra Patrizia, and Bellettini Carlo. Event-based Runtime Verification of Temporal Properties using Time Basic Petri Nets. In Proceedings of the Second NASA Formal Methods Symposium (NFM 2017), volume LNCS 10227. Springer, May 16-18 2017.

    2016
  2. Grieco L. A., Colucci S., Mongiello M., and Scandurra P. Towards a goal-oriented approach to adaptable re-deployment of cloud-based applications. In CLOSER 2016 - Proceedings of the 6th International Conference on Cloud Computing and Services Science, pages 253–260. SciTePress, dal 23 Aprile al 25 Aprile 2016.
  3. Arcaini P., Bonfanti S., Dausend M., Gargantini A., Mashkoor A., Raschke A., Riccobene E., Scandurra P., and Stegmaier M. Unified syntax for abstract state machines. In Abstract State Machines, Alloy, B, TLA, VDM, and Z. 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, volume 9675, pages 231–236. Springer, May 23-27, 2016.

    2015
  4. Raffaela Mirandola, Diego Perez-Palacin, Patrizia Scandurra, Michele Brignoli, Andrea Zonca: Business Process Adaptability Metrics for QoS-Based Service Compositions. In: ESOCC 2015: 110-124
  5. Paolo Arcaini, Elvinia Riccobene, Patrizia Scandurra: Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation. In: SEAMS@ICSE 2015: 13-23
  6. Matteo Camilli, Angelo Gargantini, Patrizia Scandurra: Specifying and verifying real-time self-adaptive systems. In: ISSRE 2015 : 303-313.
  7. Patrizia Scandurra, Giuseppe Psaila, Rafael Capilla, Raffaela Mirandola: Challenges and assessment in migrating IT legacy applications to the cloud. In: MESOCA 2015 : 7-14
  8. Elvinia Riccobene, Patrizia Scandurra: Formal modeling self-adaptive service-oriented applications. In: SAC 2015: 1704-1710

  9. 2014

  10. Elvinia Riccobene, Patrizia Scandurra: Towards ASM-Based Formal Specification of Self-Adaptive Systems. Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014, LNCS Volume 8477, Springer 2014
  11. Giuseppe Psaila, Patrizia Scandurra, Steven Rovelli, Enrico Mazzucchelli, and Matteo Taiocchi. A Mobile/Cloud Emergency Response Application for Indoor Assisted Living. 8th International Conference on Next Generation Mobile Apps, Services and Technologies ( NGMAST 2014 ), Oxford, UK, 10-12 Sept. 2014.
  12. Patrizia Scandurra, Steven Capelli. A practical and automated approach for engineering service-oriented applications with design patterns. COMPSAC-SSS 2014 The 7th IEEE International Workshop on Service Science and Systems, July 21-25, Västerås, Sweeden, 2014.

  13. 2013

  14. Rosario Madaudo, Patrizia Scandurra. Native versus Cross-platform frameworks for mobile application development. In Proc. of Eclipse-IT 2013 - VIII Workshop of the Italian Eclipse Community Crema, September 19-20 2013. ISBN: 978-88-904388-4-4

  15. 2012

  16. D. Brugali, L. Gherardi, E. Riccobene, P. Scandurra. Coordinated execution of heterogeneous service-oriented components by Abstract State Machines. In Proc. of the 8th International Symposium on Formal Aspects of Component Software (FACS 2011), Oslo, Norway, September 14-16, 2011, LNCS 7253, Springer 2012.
  17. Pasqualina Potena, Elvinia Riccobene, Patrizia Scandurra. Reliability Prediction for Service Component Architectures
    with the SCA-ASM Component Model. EUROMICRO-SEAA 2012 In Proc. of the 38th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2012, Cesme, Izmir, Turkey, September 5-8, 2012, pp. 125-132, ISBN 978-1-4673-2451-9. IEEE Computer Society, 2012.
  18. Raffaela Mirandola, Pasqualina Potena, Patrizia Scandurra. A Reliability Prediction Method for Abstract State Machines.
    In International ABZ 2012 Conference Abstract State Machines (ASM), Alloy, B, VDM, Z, June 18-21, 2012
    CNR, Pisa, Italy (in conjunction with IFM 2012), LNCS 7316, isbn 978-3-642-30884-0, Springer.
  19. Andrea Luzzana, Mattia Rossetti, and Patrizia Scandurra. A Formal High-level Modeling Approach to Develop Reliable Components in Vision-based Robotics. Proc. of the 6th International Conference on Software Engineering Advances (ICSEA 2012). November 18-23, 2012 - Lisbon, Portugal. To appear.
  20. Andrea Luzzana, Mattia Rossetti, Paolo Righettini, Patrizia Scandurra. Modeling synchronization/communication patterns in Vision-Based Robot Control applications using ASMs. In International ABZ 2012 Conference Abstract State Machines (ASM), Alloy, B, VDM, Z, June 18-21, 2012 CNR, Pisa, Italy (in conjunction with IFM 2012), LNCS 7316, isbn 978-3-642-30884-0, Springer.
  21. Patrizia Scandurra, Claudia Raibulet, Pasqualina Potena, Raffaela Mirandola and Rafael Capilla. Adapting Cloud-Based Applications Through A Coordinated And Optimized Resource Allocation Approach. CLOSER 2012 - Proceedings of the 2nd International Conference on Cloud Computing and Services Science (CLOSER 2012), Porto, Portugal, 18-21 April 2012, ISBN 978-989-8565-05-1, pages 355-364, SciTePress.
  22. Patrizia Scandurra, Tao Yue, Andrea Arnoldi, Marco Dolci. Functional Requirements Validation by transforming Use
    Case Models into Abstract State Machines. In Proc. of the 27th Symposium On Applied Computing (SAC 2012), Requirements Engineering Track (RE-Track'12), Riva del Garda (Trento), Italy, March 26-30, 2012, pages 1063-1068, ISBN 978-1-4503-0857-1, ACM, 2012.
  23. Patrizia Scandurra, Claudia Raibulet, Pasqualina Potena, Raffaela Mirandola and Rafael Capilla. A Layered Coordination Framework for Optimizing Resource Allocation in Adapting Cloud-based Applications. POSTER in Proc. of the 27th Symposium On Applied Computing (SAC 2012), Requirements Engineering Track (RE-Track'12), Riva del Garda (Trento), Italy, March 26-30, 2012, ISBN 978-1-4503-0857-1, ACM, 2012.
  24. Steven Capelli, Benedetta Nodari, and Patrizia Scandurra. SCA-PatternBox: an Eclipse-based design pattern editor for Service Component Architectures. In Proc. of the Italian Eclipse Workshop ( Eclipse-IT'2012), September 20-21, 2012, Accademia Aeronautica Pozzuoli, Naples – Italy, ISBN: 978-88-904388-3-7.

  25. 2011

  26. Raffaela Mirandola, Pasqualina Potena, Patrizia Scandurra. An Optimization Process for Adaptation Space Exploration of Service-oriented Applications. In Proc. of the 6th IEEE International Symposium on Service-Oriented System Engineering (SOSE 2011). December 12-14, 2011, Irvine, CA, USA. (To appear)
  27. F. Albani, E. Riccobene, P. Scandurra. A modeling and executable language for designing and prototyping service-oriented applications. In Proc. of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2011), 2011, Oulu, Finland, August 30-September 02, IEEE, ISBN: 978-0-7695-4488-5
  28. D. Brugali, L. Gherardi, E. Riccobene, P. Scandurra. A formal framework for coordinated simulation of heterogeneous service-oriented applications. In Preliminary Proc. of the 8th International Symposium on Formal Aspects of Component Software (FACS 2011), Oslo, Norway, September 14-16, 2011, Research report n. 410 University of OSLO, Dep. Informatics. ISBN: 82-7368-372-9, ISSN 0806-3036. Sept. 2011.
  29. Raffaela Mirandola, Pasqualina Potena, Elvinia Riccobene, Patrizia Scandurra. A framework for adapting service-oriented applications based on functional/extra-functional requirements tradeoffs. In Proc. of the 6th International Conference on Software Engineering Advances (ICSEA 2011), October 23-28, 2011 - Barcelona, Spain, pp. 118- 123. ISBN: 9781618397058 , Curran Associates, Inc. ( Jul 2012 ).
  30. Fabio Albani, Elvinia Riccobene, Patrizia Scandurra. An Eclipse-based SCA design framework to support coordinated execution of services. In Proc. of the 6th Workshop of the Italian Eclipse Community (Eclipse-IT'2011), September 22-23, 201, University of Milano Bicocca, Italy Milano – Italy, ISBN: 9788890438820.
  31. D. Brugali, L. Gherardi and P. Scandurra. A Robotics Coordination Case Study. In SDIR VI - Whorkshop on Software Development and Integration in Robotics, IEEE/RAS International Conference on Robotics and Automation (ICRA 201) - May 9, 2011 - Shanghai, China.

  32. 2010

  33. Elvinia Riccobene, Patrizia Scandurra. Specifying formal executable behavioral models for structural models of service-oriented components. In: Proc. of the 4th International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing - ACT4SOC 2010. Athens, Greece, 23 July, 2010, ISBN: 978-989-8425-20-1
  34. Elvinia Riccobene, Patrizia Scandurra. An ASM-based executable formal model of service-oriented component interactions and orchestration. In: Workshop on Behavioural Modelling Foundations and Application (BM-FA 2010). Paris, France, June 2010, ACM DL, ISBN/ISSN: 978-1-60558-961-9.
  35. M. Bombino, M. Hause, P. Scandurra. Heterogeneous systems co-simulation: a model-driven approach based on SysML State Machines and Simulink. First Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems, HOPES 2010, Paris, France, June 15, 2010, in conjunction with ECMFA 2010.
  36. Elvinia Riccobene, Patrizia Scandurra. An Executable Semantics of the SystemC UML Profile. In M. Frappier et al. (Eds.): ABZ 2010, LNCS 5977, pp. 75--90. Springer, Heidelberg (2010).
  37. A. Gargantini, G. Salvaneschi, P. Scandurra. On the downscaling of the Jazz platform: Experimenting the Jazz RTC platform in a teaching course. Eclipse-IT 2010, Proc. of the V Workshop of the Eclipse Italian Community. ISBN: 9788890438813.
  38. Paolo Arcaini and Alessandro Carioni and Angelo Gargantini and Elvinia Riccobene and Patrizia Scandurra. A model-driven process for engineering a tool set for a formal method in Workshop on Tool Building in Formal Methods (WS-TBFM 2010) 2010.

  39. 2009

  40. Elvinia Riccobene, Patrizia Scandurra. Weaving executability into UML class models at PIM level. In Proc. of First European Workshop on Behaviour Modelling in Model Driven Architecture (BM-MDA'09 ), Enschede, The Netherlands, June 23, 2009, ACM Vol. 379, pag. 10-27, ISBN 978-1-60558-503-1.
  41. Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra. Integrating Formal Methods with Model-Driven Engineering. Fourth International Conference on Software Engineering Advances (ICSEA'09), September 20-25, 2009, PORTO: IEEE computer society, p. 86-92, ISBN/ISSN: 978-0-7695-3777-1. ["Best Paper Award"]

  42. 2008
  43. Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra. Model-driven Language Engineering: the ASMETA case study. In Proc. of International Conference on Software Engineering Advances (ICSEA'08), October 26-31, 2008 - Sliema, Malta, ISBN 978-1-4244-3218-9 , pp. 367-372, IEEE.
  44. Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra. A Model-driven Validation and Verification Environment for Embedded Systems. In Proc. of Third International Symposium on Industrial Embedded Systems (SIES'08), ISBN 978-1-4244-1994-4, pag. 241-244, June 11-13 2008, Montepellier, France, IEEE.
  45. Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra. Scenario-based Validation of Embedded Systems. Proc. of Forum on Specification and Design Languages (FDL'08), Sept. 23 - 25, 2008 Stuttgart, Germany, ISBN 978-1-4244-2266-1, pp. 191-196, IEEE press. [selected as "Best Papers"]
  46. Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra. Integrating formal methods with model-driven engineering. Workshop on Algebraic Development Techniques (WADT'08), Pisa, Italy, June 13-16, 2008. Extended abstract.
  47. Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra. A scenario-based validation language for ASMs. In Proc. of First International Conference on Abstract State Machines, B and Z (ABZ 2008), London, UK, September 16-18, 2008, LNCS 5238, pp. 71-84, Springer-Verlag.
  48. Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra. Exploiting the ASM method for validation and verification of embedded systems. (Short paper) In Proc. of First International Conference on Abstract State Machines, B and Z (ABZ 2008), London, UK, September 16-18, 2008, LNCS 5238, p. 348, Springer-Verlag.


    2007

  49. S. Bocchio, E. Riccobene, A. Rosti, P. Scandurra. FDL'07 A complete SystemC UML profile with dynamic features for behavioural descriptions. Forum on Specification & Design Languages ( FDL'07). [selected as "Best Papers"]
  50. S. Bocchio, E. Riccobene, A. Rosti, P. Scandurra. Process State Machines for Behavioral Modeling of Embedded Systems. In Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems (SIES'07), ISBN 1-4244-0840-7, pp. 274-281, Lisbon, Portugal, July 4 - 6, 2007. IEEE Computer Society.

  51. Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra. A metamodel-based simulator for ASMs. In Proceedings of the 14th International Workshop on Abstract State Machines (ASM'07), Grimstad, Norway, June 2007.
  52. S. Bocchio, E. Riccobene, A. Rosti, P. Scandurra. Designing a Unified Process for Embedded Systems. Proc. of 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES'07), ISBN 0-7695-2769-8, pp. 77-90, Braga - Portugal, 2007, IEEE press.
  53. Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra. AsmEE: an Eclipse plug-in in a metamodel based framework for the Abstract State Machines. Eclipse-IT'07 workshop, 4-5 Ottobre, Napoli (Italy).
  54. S. Bocchio, E. Riccobene, A. Rosti, P. Scandurra. UML and MDA for Transactional Level Modeling. International DAC Workshop - UML for SoC Design (UML-SoC'07), June 3rd, 2007, San Diego CA, USA.

  55. 2006

  56. S. Bocchio, E. Riccobene, A. Rosti, P. Scandurra. A Model-driven Design Environment for Embedded Systems. Proc. of the 43rd Design Automation Conference (DAC'06), July 24 - 28 2006 San Francisco, California, ISBN 1-59593-381-6, p. 915 - 918, ACM Press.
  57. S. Bocchio, W. Dehaene, W. Mueller, E. Riccobene, A. Rosti, P. Scandurra, Y. Vanderperren. UML for ESL Design - Basic Principles, Tools, and Applications. Proc. of International Conference on Computer-Aided Design (ICCAD'06), November 5-9, 2006, San Jose, CA, ACM press 1-59593-389-1/06/0011.
  58. S. Bocchio, E. Riccobene, A. Rosti, P. Scandurra. A SoC design flow based on UML 2.0 and SystemC. International DAC Workshop - UML for SoC Design (UML-SoC'06), July 24 - 28 2006, San Francisco, California.
  59. A. Gargantini, E. Riccobene, P. Scandurra. Deriving a textual notation from a metamodel: an experience on bridging Modelware and Grammarware. Proc. of Workshop on Milestones, Models and Mappings for Model-Driven Architecture (3M4MDA'06) at European Conference on MDA (ECMDA'06), CTITSeries WP06-02, ISSN 1574-0846.
  60. A. Gargantini, E. Riccobene, P. Scandurra. Exploiting the ASM method within the Model-driven Engineering paradigm. Dagstuhl Seminar Proceedings 06191 - Rigorous Methods for Software Construction and Analysis (Jean-Raymond Abrial and Uwe Glaesser, eds.) 2006. ISSN 1862-4405.

  61. S. Bocchio, E. Riccobene, A. Rosti, P. Scandurra. A Model-driven co-design flow for Embedded Systems. Forum on Specification & Design Languages (FDL'06), TU Darmstadt, Germany, September 19-22, 2006. [selected as "Best Papers"]
  62. S. Bocchio, E. Riccobene, A. Rosti, P. Scandurra. Exploiting the MDA approach for Embedded System Design. Proc. of 19th International Conference Software & Systems Engineering and their Applications (ICSSEA'06). December 5-7, 2006 Paris, France. CNAM/CMSL ISSN 1637-5033.

  63. 2005

  64. E. Riccobene, P. Scandurra, A. Rosti, and S. Bocchio. A UML 2.0 Profile for SystemC: Toward High level SoC Design. Proc. of the 5th ACM international conference on Embedded Software (EMSOFT'05), September 18 - 22, 2005, Jersey City Hyatt (USA), ISBN 1-59593-091-4, p. 138 - 141, ACM press.
  65. E. Riccobene, P. Scandurra, A. Rosti, S. Bocchio. A SoC Design Methodology involving a UML 2.0 Profile for SystemC. Proc. of Design Automation and Test in Europe (DATE'05), ISBN 0-7695-2288-2, pages 704-709, March 2005, Munich Germany, IEEE Computer Society Press.
  66. S. Bocchio, E. Riccobene, A. Rosti, P. Scandurra. A HW/SW Co-design Environment based on UML and SystemC. Forum on Specification & Design Languages (FDL'05), Lausanne, Switzerland, 27-30 September 2005.
  67. Patrizia Scandurra. Towards Model-driven development of Embedded SoC with UML and SystemC. Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE'05) - Participants workshop, 4 - 8 July, 2005, Braga, Portugal.
  68. S. Bocchio, E. Riccobene, A. Rosti, P. Scandurra. A SoC design flow based on UML 2.0 and SystemC. International DAC Workshop - UML for SoC Design (UML-SoC'05), June 2005, Anaheim CA.
  69. P. Scandurra, A. Gargantini, C. Genovese, T. Genovese, and E. Riccobene. A Concrete Syntax derived from the Abstract State Machine Metamodel. 12th International Workshop on Abstract State Machines (ASM'05), 8-11 March 2005, Paris, France.
  70. E. Riccobene, P. Scandurra. Modelling SystemC Process Behavior by the UML Method State Machines. Proc. of International Workshop on Rapid Integration of Software Engineering techniques (RISE'04), Luxembourg-Kirchberg, Luxembourg, 2004, LNCS 3475, ISBN 3-540-25812-4 , pages 112-121, Springer 2005.

  71. 2004

  72. E. Riccobene, P. Scandurra. Towards an Interchange Language for ASMs, In W. Zimmermann, Bernhard Thalheim, editor, Abstract State Machines 2004 (ASM'04). Advances in Theory and Practice. ISBN 3-540-22094-1, LNCS 3052, pages 111 - 126, Springer-Verlag 2004.
  73. E. Riccobene, A. Rosti, P. Scandurra. Improving SoC Design Flow by means of MDA and UML Profiles. 3rd UML Workshop in Software Model Engineering (WiSME@UML'04).
  74. A. Cavarra, E. Riccobene, P. Scandurra. A framework to simulate UML models: moving from a semi-formal to a formal environment. Proceedings of the 2004 ACM Symposium on Applied Computing (SAC'04), Nicosia, Cyprus, March 14-17, 2004, ISBN 1-58113-812-1, pages 1519-1523, ACM press 2004.

  75. 2003

  76. A. Cavarra, E. Riccobene, P. Scandurra. Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanism of UML State Machines. In E. Boerger et al., editor, Abstract State Machines (ASM'03). Advances in Theory and Practice. ISBN 3-540-00624-9, LNCS 2589, pages 229-243, Springer-Verlag 2003.

Technical reports


  1. Raffaela Mirandola, Pasqualina Potena, Patrizia Scandurra. An Optimization Process for Adaptation Space Exploration of Service-oriented Applications: the Stock Trading System case study. Department of Information Technology and Mathematical Methods, Working Paper Series “Information Technology” n. 3/IT – 2011.

  2. Raffaela Mirandola, Pasqualina Potena, Patrizia Scandurra, Elvinia Riccobene. A framework for adapting service-oriented applications based on functional/extra-functional requirements tradeoffs: the Stock Trading System case study. Department of Information Technology and Mathematical Methods, Working Paper Series “Information Technology” n. 2/IT – 2011.

  3. A. Gargantini and E. Riccobene and P. Scandurra. LEMP: a Language Engineering Model-driven Process in Technical report of DTI Dept., University of Milan, n. 124, 2009.
  4. A. Gargantini, E. Riccobene, and P. Scandurra. A precise and executable semantics of the SystemC UML profile by the meta-hooking approach. Technical Report n. 110, DTI Dept., University of Milan, 2008.
  5. E. Riccobene, P. Scandurra, A. Rosti and S. Bocchio. A UML2 Profile for SystemC 2.1. ST Microelectronics, Technical Report, April 2007. [available on request]
  6. A. Gargantini, E. Riccobene, and P. Scandurra. Metamodelling a Formal Method: Applying MDE to Abstract State Machines. Technical Report n. 97, DTI Dept., University of Milan, 2006.
  7. E. Riccobene, P. Scandurra, A. Rosti and S. Bocchio. A UML 2.0 Profile for SystemC. ST Microelectronics, Technical Report, AST-AGR-2005-3. [available on request]


Posters


  1. SCANDURRA P., RAIBULET CLAUDIA, POTENA PASQUALINA, MIRANDOLA RAFFAELA, and CAPILLA RAFAEL. A layered coordination framework for optimizing resource allocation in adapting cloud-based applications, March 26-30, Proc. of the 27th ACM Symposium On Applied Computing (SAC 2012)
  2. E. Riccobene, P. Scandurra, A. Rosti, and S. Bocchio. A UML 2.0 Profile for SystemC: Toward High level SoC Design, The 5th ACM international conference on Embedded Software (EMSOFT 2005), Sept.18 - 22, 2005, Jersey City Hyatt (USA).
  3. E. Riccobene, P. Scandurra, A. Rosti, and S. Bocchio. A HW/SW Co-design Environment based on UML and SystemC, Forum on Specification & Design Languages (ECSI-FDL 2005), Lausanne, Switzerland, 27-30 September 2005.


Thesis


  1. Patrizia Scandurra. Model-driven Language Definition: metamodelling methodologies and applications. PhD thesis, Catania, Dicembre 2005.
    [available on request]
  2. Patrizia Scandurra. Un Ambiente per la Validazione di Modelli UML, Tesi di Laurea, Catania, 26 Luglio 2002. [available on request]