Elenco pubblicazioni di
Patrizia Scandurra - triennio 30.12.2008 - 29.12.2011
Vengono sotto elencate le pubblicazioni in ordine cronologico inverso. Sono stati pubblicati un totale di 27 lavori, di cui 7 articoli su rivista, 3 capitoli di libri, 17 articoli in atti di convegni a livello internazionale di cui uno premiato come BEST PAPER. Sono stati prodotti anche 3 technical report, non allegati al plico, ma reperibili on-line dall’indirizzo web indicato.
Riviste Internazionali
(con peer review)1. P. Arcaini, A. Gargantini, E. Riccobene, P. Scandurra. (2011) A model-driven process for engineering a tool set for a formal method. Journal SOFTWARE-PRACTICE & EXPERIENCE, ISSN: 0038-0644, 2011
2. Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra (2010). Combining Formal Methods and MDE Techniques for Model-driven System Design and Analysis. INTERNATIONAL JOURNAL ON
ADVANCES IN SOFTWARE, ISSN: 1942-2628, n. 1-2, vol. 3, IARIA, pag. 1-18, 2010
3. Bocchio S, Lavazza, L, Mantellini L, Riccobene E, Rosti, A, Scandurra P. (2009). SystemC/Cbased Model-driven Design for Embedded Systems. ACM TRANSACTIONS ON EMBEDDED
COMPUTING SYSTEMS (TECS), vol. 8(4), ISSN: 1539-9087, 2009
4. A. Gargantini, E. Riccobene, P. Scandurra. (2009). A semantic framework for metamodel-based languages. AUTOMATED SOFTWARE ENGINEERING (ASE), vol. 16(3-4); p. 415-454, ISSN: 0928- 8910, 2009
5. Brugali D., Scandurra P. (2009). Component-based Robotic Engineering. Part I: Reusable building blocks. IEEE ROBOTICS AND AUTOMATION MAGAZINE, vol. VOLUME 16, ISSUE 4; p. 84-96, ISSN: 1070-9932, 2009
6. Riccobene E, Scandurra P. (2009). Model Transformations In The Upes/Upsoc Development Process For Embedded Systems. Innovations In Systems And Software Engineering - A NASA Journal, ISSN: 1614-5046, 2009
7. Gargantini A, Riccobene E, Scandurra P. (2008). A Language and a Simulation Engine for Abstract State Machines based on Metamodelling. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, vol. VOL. 14 NO. 12; p. 1949-1983, ISSN: 0948-695X, 2008
Capitoli in libri scientifici internazionali
(con peer review)8. GARGANTINI A, RICCOBENE E, SCANDURRA P. (2009). Ten Reasons To Metamodel ASMs. In: J.
R. Abrial And U. Glaesser. Rigorous Methods For Software Construction and Analysis. vol. LNCS
5115, p. 33-49, Springer, ISBN/ISSN: 0302-9743
9. GARGANTINI A, RICCOBENE E, SCANDURRA P. (2009). Model-driven design and ASM-based analysis of embedded systems. In: L. GOMES AND J. M. FERNANDES. Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation. IGI Global, ISBN/ISSN: 9781605667508, doi: 10.4018/978-1-60566-750-8
10. GARGANTINI A, RICCOBENE E, SCANDURRA P. (2009). Model-driven system validation by scenarios. In: Radetzki, Martin. Languages For Embedded Systems and their applications. vol.
LNEE Vol. 36, SPRINGER, ISBN/ISSN: 978-1-4020-9713-3
Conferenze/Workshop internazionali
(con peer review)2012
11. 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. To appear.
12. R. Capilla, R. Mirandola, P. Potena, C. Raibulet and P. Scandurra. Adapting cloud-based applications through a Coordinated and optimized resource allocation approach. The 2nd International Conference on Cloud Computing and Services Science, CLOSER 2012. To appear.
13. R. Capilla, R. Mirandola, P. Potena, C. Raibulet and P. Scandurra. A layered coordination framework for optimizing resource allocation in adapting cloud-based applications, Proc. of the the 27th Symposium On Applied Computing (SAC 2012). To appear.
2011
14. 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.
15. 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
16. D. Brugali, L. Gherardi, E. Riccobene, P. Scandurra. A formal framework for coordinated simulation of heterogeneous service-oriented applications. In Proc. of the 8th International Symposium on Formal Aspects of Component Software (FACS 2011), Oslo, Norway, September 14-16, 2011, ISBN: 82-7368-372-9.
17. 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, IARIA, ISBN: 978-1-61208-165-6.
18. 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.
19. 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 2011) - May 9, 2011 - Shanghai, China.
2010
20. RICCOBENE E, SCANDURRA P. (2010). An Executable Semantics of the SystemC UML Profile. In:
Abstract State Machines, Alloy, B and Z (ABZ 2010). Orford, Québec, Canada, February 22-25, 2010, vol. LNCS 5977, p. 75-90, ISBN/ISSN: 978-3-642-11810-4, doi: 10.1007/978-3-642-11811- 1_7
21. RICCOBENE E, SCANDURRA P. (2010). 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, in conjunction with ICSOFT 2010, Athens, Greece, July 2010. SciTePress 2010, ISBN 978-989- 8425-20-1Athens, Greece, 23 July, 2010.
22. 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.
23. 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.
24. ARCAINI P, CARIONI A, GARGANTINI A, RICCOBENE E, SCANDURRA P. (2010). A model-driven process for engineering a tool set for a formal method. In: Workshop on Tool Building in Formal Methods (WSTBFM 2010) -- at the 2nd International ABZ Conference. Orford, Quebec, Canada, 22 February 2010.
25. RICCOBENE E, SCANDURRA P. (2010). 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
2009
26. ANGELO GARGANTINI, ELVINIA RICCOBENE, SCANDURRA P. (2009). Integrating Formal Methods with Model-Driven Engineering. In: Fourth International Conference on Software Engineering Advances (ICSEA'09) Proc., September 20-25, 2009, PORTO: IEEE computer society, p. 86-92, ISBN/ISSN: 978-0-7695-3777-1 Best Paper Award
27. ELVINIA RICCOBENE, SCANDURRA P. (2009). Weaving executability into UML class models at PIM level. In: Proc. of First European Workshop on Behaviour Modelling in Model Driven Architecture (BMMDA'09). Enschede, June 23, 2009, ENSCHEDE: ACM, p. 10-27, ISBN/ISSN:
978-1-60558-503-1 Technical report
28. 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.
http://aisberg.unibg.it/handle/10446/25217
29. 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.
http://aisberg.unibg.it/handle/10446/25216
30. A. Gargantini, E. Riccobene, and P. Scandurra. Lemp: a language engineering model-driven process. Technical Report n.124, DTI Dept., University of Milan,2009.
http://air.unimi.it/bitstream/2434/69043/2/Riccobene.pdf
