Menu:

UPCOMING Events:

Links:

2018

P. Arcaini, A. Gargantini, E. Riccobene: Interactive Testing and Repairing of Regular Expressions. In 30th IFIP International Conference on Testing Software and Systems (ICTSS 2018), Cadiz, Spain, October 1-3, 2018 (to appear)

P. Arcaini, R. Mirandola, E. Riccobene, P. Scandurra: A DSL for MAPE-K patterns representation in self-adapting systems. In 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24-28, 2018 (to appear)

P. Arcaini, R. Melioli, E. Riccobene: AsmetaF: a flattener for the ASMETA framework. In 4th Workshop on Formal Integrated Development Environment (F-IDE 2018), Oxford, UK, July 14, 2018 (to appear)

Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene: Integrating formal methods into medical software development: The ASM approach. Sci. Comput. Program. 158: 148-167 (2018)

P. Arcaini, A. Gargantini, E. Riccobene: Fault-based test generation for regular expressions by mutation. In: SOFTWARE TESTING VERIFICATION RELIABILITY. - ISSN 0960-0833. - (2018), p. e1664. [Epub ahead of print]

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene: Closing the gap between the specification and the implementation: the ASMETA way. Models: Concepts, Theory, Logic, Reasoning and Semantics. Atif Mashkoor, Qing Wang, Bernhard Thalheim (eds). College Publications, 2018. - ISBN 978-1-84890-276-3. - pp. 242-263

2017

P. Arcaini, A. Gargantini, E. Riccobene: Decomposition-Based Approach for Model-Based Test Generation. In: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. - ISSN 0098-5589. - (2017), pp. [Epub ahead of print]

Paolo Arcaini, Elvinia Riccobene, Patrizia Scandurra: Formal Design and Verification of Self-Adaptive Systems with Decentralized Control. ACM Transactions on Autonomous and Adaptive Systems and Adaptive Systems (TAAS) 11(4): 25:1-25:35 (2017)

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Paolo Vavassori: A novel use of equivalent mutants for static anomaly detection in software artifacts. Information & Software Technology 81: 52-64 (2017)

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene: Rigorous development process of a safety-critical system: from ASM models to Java code. STTT 19(2): 247-269 (2017)

Silvia Bonfanti, Valentina Centurelli, Elvinia Riccobene, Patrizia Scandurra: The female contribution in architecting a set of tools for a formal method: role of women in software architecture. ECSA (Companion) 2017: 12-15

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene: MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions. ICST Workshops 2017: 87-96

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene: NuSeen: A Tool Framework for the NuSMV Model Checker. ICST 2017: 476-483

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene: SMT for state-based formal methods: the ASM case study. In Automated Formal Methods, (eds) Natarajan Shankar and Bruno Dutertre. Kalpa Publications in Computing, 2018. ISBN 2515-1762. pp. 1-18

2016

Paolo Arcaini, Roxana-Maria Holom, & Elvinia Riccobene. Asm-based formal design of an adaptivity component for a cloud system. Formal Aspects of Computing, 28(4):567-595, 2016.

Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, & Elvinia Riccobene. Visual notation and patterns for Abstract State Machines. Lecture Notes in Computer Science, , volume 9946, chapter in Software Technologies: Applications and Foundations, STAF 2016, Post-Proceedings, pages 1-16. Springer, 2016. ISBN 978-3-319-33599-5.

Paolo Arcaini, Elvinia Riccobene, & Angelo Gargantini. Model-based offline and online testing for medical software. In 23rd EuroAsiaSPI Conference, Graz, Austria, 14-16.09. 2016, Proceedings, pages 11.11-11.20, 2016. ISBN 978-87-998116-6-3.

Paolo Arcaini, Angelo Gargantini, & Elvinia Riccobene. SMT-based automatic proof of ASM model refinement. In Rocco De Nicola and Eva Kuehn, editors, Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings, volume 9763 of Lecture Notes in Computer Science, pages 253-269. Springer, 2016. ISBN 978-3-319-41590-1.

Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, & Elvinia Riccobene. How to assure correctness and safety of medical software: The hemodialysis machine case study. In Michael J. Butler, Klaus-Dieter Schewe, Atif Mashkoor, and Miklos Biro, editors, Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, volume 9675 of Lecture Notes in Computer Science, pages 344-359. Springer, 2016. ISBN 978-3-319-33599-5.

Paolo Arcaini, Silvia Bonfanti, Marcel Dausend, Angelo Gargantini, Atif Mashkoor, Alexander Raschke, Elvinia Riccobene, Patrizia Scandurra, & Michael Stegmaier. Unified syntax for abstract state machines. In Michael J. Butler, Klaus-Dieter Schewe, Atif Mashkoor, and Miklos Biro, editors, Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, volume 9675 of Lecture Notes in Computer Science, pages 231-236. Springer, ISBN 978-3-319-33599-5, 2016.

2015

Arcaini, P., Gargantini, A. & Riccobene, E. How to Optimize the Use of SAT &SMT Solvers for Test Generation of Boolean Expressions. The Computer Journal, 58(11):2900-2920, 2015

P. Arcaini, A. Gargantini, &E. Riccobene. Rigorous development process of a safety-critical system: from asm models to java code. International Journal on Software Tools for Technology Transfer, 2015.

Raffaela Mirandola, Pasqualina Potena, Elvinia Riccobene, & Patrizia Scandurra. Formal Reliability Models for Web Services, chapter in Correct Software in Web Applications and Web Services, pages 229-256. Texts & Monographs in Symbolic Computation. Springer, ISBN 978-3-319-17111-1, 2015.

Paolo Arcaini, Elvinia Riccobene, &Patrizia Scandurra. Modeling and validating self-adaptive serviceoriented applications. SIGAPP Applied Computing Review, 15(3):35-48, ISSN 1559-6915, 2015.

Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, &Elvinia Riccobene. Formal validation and verification of a medical software critical component. In 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, pages 80-89. IEEE, 2015.

P. Arcaini, A. Gargantini, &E. Riccobene. Improving model-based test generation by model decomposition. In Elisabetta Di Nitto, Mark Harman, and Patrick Heymans, editors, Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, Bergamo, Italy, August 30 - September 4, 2015, pages 119-130, ISBN 978-1-4503-3675-8, 2015.

Arcaini, P., Gargantini, A., Riccobene, E. & Vavassori, P. Rehabilitating equivalent mutants as static anomaly detectors in software artifacts. Proc. Mutation 2015, 10th International Workshop on Mutation Analysis (co-located with ICST 2015) IEEE, 2015

Riccobene, E. & Scandurra, P. Formal modeling self-adaptive service-oriented applications. Proc. ACM SAC 2015, 30th ACM Symposium on Applied Computing, Service-Oriented Architecture and Programming (SOAP) Track, 2015

Arcaini, P., Riccobene, E. & Scandurra, P. Modeling and analyzing MAPEK feedback loops. Proc. SEAMS 2015, 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (co-located with ICSE 2015) ACM Press, 2015

2014

Arcaini, P., Gargantini, A. & Riccobene, E. Modeling and Analyzing Using ASMs: The Landing Gear System Case Study. Boniol, F., Wiels, V., Ait Ameur, Y. & Schewe, K.-D. (ed.). ABZ 2014: The Landing Gear Case Study Springer International Publishing, 2014, Vol. 433, pp. 36-51

Arcaini, P., Gargantini, A. & Riccobene, E. Using SMT for dealing with nondeterminism in ASM-based runtime verification. Proceedings of Automated Verification of Critical Systems AVOCS 2014 ECEASST, 2014, Vol. 70 Automated Verification of Critical Systems 2014

Arcaini, P., Holom, R. & Riccobene, E. Modeling and formal analysis of a client-server application for Cloud services. in WS-FM:FASOCC 2014, 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing, Eindhoven, The Netherlands, September 11-12, 2014 2014

Mirandola, R., Potena, P., Riccobene, E. & Scandurra, P. A reliability model for Service Component Architectures. Journal of Systems and Software, 2014, Vol. 89, pp. 109-127

Riccobene, E. & Scandurra, P. A formal framework for service modeling and prototyping. Formal Aspects of Computing, 2014, Vol. 26, pp. 1077-1113

Riccobene, E. & Reeves, S. Preface: Abstract State Machines, Alloy, B, VDM, and Z. Selected & extended papers from ABZ 2012. Science of Compututer Programming, 2014, Vol. 94, pp. 67-68

Riccobene, E. & Scandurra, P. Towards ASM-Based Formal Specification of Self-Adaptive Systems. Ameur, Y. A. & Schewe, K. (ed.). Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings Springer, 2014, Vol. 8477, pp. 204-209

Arcaini, P., Gargantini, A. & Riccobene, E. Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module. Boniol, F., Wiels, V., Ait Ameur, Y. & Schewe, K.-D. (ed.). ABZ 2014: The Landing Gear Case Study Springer International Publishing, 2014, Vol. 433, pp. 95-109

Arcaini, P., Gargantini, A. & Riccobene, E. Using mutation to assess fault detection capability of model review. Software Testing, Verification and Reliability, John Wiley & Sons, Ltd, 2014, pp. (on line first)

Arcaini, P., Gargantini, A. & Riccobene, E. An Abstraction Technique for Testing Decomposable Systems by Model Checking. Seidl, M. & Tillmann, N. (ed.). 8th International Conference on Tests & Proofs, July 24 - July 25, 2014, York, UK Springer International Publishing, 2014, Vol. 8570, pp. 36-52

2013

Arcaini, P., Gargantini, A. & Riccobene, E. Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism. The 9th Workshop on Advances in Model Based Testing (A-MOST 2013) colocated with ICST IEEE Computer Society, 2013, pp. 178-187

Arcaini, P., Gargantini, A., Riccobene, E. & Scandurra, P. Formal and Practical Aspects of Domain-Specific Languages: Recent Developments. Mernik, M. (ed.). Chapter 8. Formal semantics for Metamodel-based Domain Specific Languages IGI Global, 2013, pp. 216-241

Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372). Glaesser, U., Hallerstede, S., Leuschel, M. & Riccobene, E. (ed.). Dagstuhl Reports, 2013, Vol. 3(9), pp. 74-105

Arcaini, P., Gargantini, A. & Riccobene, E. Online testing of LTL properties for Java code. Bertacco, V. & Legay, A. (ed.). Hardware and Software: Verification and Testing, Haifa Verification Conference HVC 2013 Springer Berlin / Heidelberg, 2013, Vol. 8244, pp. 95-111

Eclipse-IT 2013 : Proceedings of VIII Workshop of the Italian Eclipse Community : Crema, September 19-20 2013. Riccobene, E. (ed.). Eclipse Italian Community, 2013

2012

Arcaini, P., Gargantini, A., Riccobene, E. & Scandurra, P. The ASMETA framework. Mazzanti, F. & Trentanni, G. (ed.). Proceedings of the Posters & Tool demos Session iFM 2012 & ABZ 2012 CNR-ISTI, 2012, pp. 1-5

Brugali, D., Gherardi, L., Riccobene, E. & Scandurra, P. Post Proc. of the 8th International Symposium on Formal Aspects of Component Software (FACS 2011). Proceedings. Arbab, F. & Olveczky, P. (ed.). Chapter Coordinated execution of heterogeneous service-oriented components by Abstract State Machines Springer Berlin Heidelberg, 2012, Vol. 7253, pp. 331-349

Arcaini, P., Gargantini, A. & Riccobene, E. epop: An Eclipse-based Extensible Research Evaluator. Maresca, P. & Stanganelli, L. (ed.). eclipse-IT 12, the VII Workshop of the Italian Eclipse Community Università di Napoli Federico II, 2012, pp. 1-13

Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Derrick, J., Fitzgerald, J. A., Gnesi, S., Khurshid, S., Leuschel, M., Reeves, S. & Riccobene, E. (ed.). LECTURE NOTES IN COMPUTER SCIENCE Springer, 2012, Vol. 7316

Arcaini, P., Gargantini, A. & Riccobene, E. Components monitoring through formal specifications. Proceedings of the 17th international doctoral symposium on Components and Architecture WCOP ACM, 2012, pp. 25-30

Riccobene, E. & Scandurra, P. Integrating the SysML and the SystemC-UML profiles in a model-driven embedded system design flow. Design Automation for Embedded Systems, 2012, Vol. 16(3), pp. 53-91

Riccobene, E., Potena, P. & Scandurra, P. Reliability prediction for service component architectures with the SCA-ASM component model. 38th Euromicro Conference on software engineering and advanced applications : proceedings IEEE, 2012

Arcaini, P., Gargantini, A. & Riccobene, E. CoMA: Conformance Monitoring of Java programs by Abstract State Machines. Khurshid, S. & Sen, K. (ed.). 2nd International Conference on Runtime Verification RV 2011, September 27 - September 30, 2011, San Francisco, California Springer, 2012, Vol. 7186, pp. 223-238

Reeves, S. & Riccobene, E. Abstract State Machines, Alloy, B, Vdm, And Z : Third International Conference, Abz 2012 : Pisa, italy, June 18-21, 2012 : Proceedings. Chapter Preface to the volume Springer, 2012, pp. -

2011

Arcaini, P., Gargantini, A. & Riccobene, E. Optimizing the Automatic Test Generation by SAT and SMT solving for Boolean Expressions. Alexander, P., Pasareanu, C. S. & Hosking, J. G. (ed.). Automated Software Engineering (ASE), 2011 26th IEEE/ACM International Conference on IEEE, 2011, pp. 388 -391

Brugali, D., Gherardi, L., Riccobene, E. & Scandurra, P. A formal framework for coordinated simulation of heterogeneous service-oriented applications. 8th International Symposium on Formal Aspects of Component Software (FACS 2011). Research Report n. 410 dell’Univ. di OSLO, Dep. Informatics 2011

Albani, F., Riccobene, E. & Scandurra, P. An Eclipse-based SCA design framework to support coordinated execution of services. ECLIPSE IT 2011 : the 6th Workshop of the Italian Eclipse community : proceedings of the workshop : september 22th and september 23th, 2011, University of Milano Bicocca, Italy, 2011

Arcaini, P., Gargantini, A. & Riccobene, E. A Model Advisor for NuSMV Specifications. Innovations in Systems and Software Engineering, Springer London, 2011, Vol. 7, pp. 97-107

Mirandola, R., Potena, P., Riccobene, E. & Scandurra, P. A framework for adapting service-oriented applications based on functional/extra-functional requirements tradeoffs. The sixth International conference on software engineering advances, ICSEA 2011 : october 23-29, 2011, Barcelona, Spain : proceedings IARIA, 2011

Riccobene, E., Scandurra, P. & Albani, F. A modeling and executable language for designing and prototyping service-oriented applications. 37th EUROMICRO Conference on software engineering and advanced applications, SEAA 2011: proceedings IEEE, 2011, pp. 4-11

2010

Gargantini, A., Riccobene, E. & Scandurra, P. Behavioral modeling for embedded systems and technologies : applications for design and implementation. Gomes, L. & Fernandes, J. M. (ed.). Chapter Model-driven design and ASM-based validation of embedded systems IGI Global, 2010, pp. 24-54

Gargantini, A., Riccobene, E. & Scandurra, P. Combining Formal Methods and MDE Techniques for Model-driven System Design and Analysis. International Journal On Advances In Software, 2010, Vol. 3, no 1\&2, pp. 1-18

Arcaini, P., Gargantini, A. & Riccobene, E. Automatic review of Abstract State Machines by Meta Property Verification. Muñoz, Cé. (ed.). Proceedings of the Second NASA Formal Methods Symposium (NFM 2010) NASA, 2010, Vol. NASA/CP-2010-216215(NASA/CP-2010-216215), pp. 4-13

Riccobene, E. & Scandurra, P. An ASM-based executable formal model of service-oriented component interactions and orchestration. Proceedings of the second International workshop on behaviour modelling : foundation and applications Association for Computing Machinery, 2010

Riccobene, E. & Scandurra, P. Specifying formal executable behavioral models for structural models of service-oriented components. Architectures, concepts and technologies for service oriented computing : proceedings of the 4th International workshop on architectures, concepts and technologies for service oriented computing : ACT4SOC 2010 SciTe Press, 2010, pp. 29-41

Riccobene, E. & Scandurra, P. An Executable Semantics of the SystemC UML Profile. Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings Springer, 2010, Vol. LNCS 5977, pp. 75-90

Arcaini, P., Gargantini, A. & Riccobene, E. AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications. Frappier, M., Glaesser, U., Khurshid, S., Laleau, Ré. & Reeves, S. (ed.). Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings Springer Berlin / Heidelberg, 2010, Vol. 5977, pp. 61-74

Arcaini, P., Carioni, A., Gargantini, A., Riccobene, E. & Scandurra, P. A model-driven process for engineering a tool set for a formal method. Gervais, F. & Fraikin, B. (ed.). Workshop on Tool Building in Formal Methods, WS-TBFM 2010 Software: Practice and Experience, John Wiley & Sons, Ltd., 2010, Vol. 41(2), pp. 155-166

2009

Gargantini, A., Riccobene, E. & Scandurra, P. A semantic framework for metamodel-based languages. Automated Software Engineering, 2009, Vol. 16(3-4), pp. 415-454

Arcaini, P., Gargantini, A. & Riccobene, E. AsmetaSMV: A Model Checker For Asmetal Models. Tutorial. DTI Dept., University of Milan, 2009, Vol. TR 120, DTI Dept., Uuiversity of Milan

Carioni, A., Gargantini, A., Riccobene, E. & Scandurra, P. Languages for Embedded Systems and their Applications. Radetzki, M. (ed.). Chapter Model-driven system validation by scenarios Springer Verlag, 2009, Vol. 36, pp. 57-69

Gargantini, A., Riccobene, E. & Scandurra, P. Rigorous Methods for Software Construction and Analysis - Essays Dedicated to Egon Boerger on the Occasion of His 60th Birthday. Abrial, J. R. & Glaesser, U. (ed.). Chapter Ten reasons to metamodel ASMs Springer Berlin Heidelberg, 2009, Vol. 5115, pp. 33-49

Gargantini, A., Riccobene, E. & Scandurra, P. LEMP: a Language Engineering Model-driven Process. DTI Dept., University of Milan, 2009, Vol. TR 124, DTI Dept., Uuiversity of Milan(124)

Gargantini, A., Riccobene, E. & Scandurra, P. Integrating Formal Methods with Model-driven Engineering. Boness, K., Fernandes, J. M., Hall, J. G., Machado, R. J. & Oberhauser, R. (ed.). The Fourth International Conference on Software Engineering Advances ICSEA 2009 - September 20-25, 2009 - Porto, Portugal IEEE Computer Society, 2009, pp. 86-92

Riccobene, E., Scandurra, P., Bocchio, S., Rosti, A., Lavazza, L. & Mantellini, L. SystemC/C-based model-driven design for embedded systems. Acm Transactions On Embedded Computing Systems, 2009, Vol. 8, pp. 30-37

Riccobene, E. & Scandurra, P. Model transformations in the UPES/UPSoC development process for embedded systems. Innovations In Systems And Software Engineering, 2009, Vol. 5, pp. 35-47

Riccobene, E. & Scandurra, P. Weaving executability into UML class models at PIM level. First European Workshop on Behaviour Modelling in Model Driven Architecture (BM-MDA’09). Proceedings ACM, 2009, pp. 10-27

2008

Gargantini, A., Riccobene, E., Scandurra, P. & Carioni, A. Scenario-based validation of embedded systems. Forum on specification and design languages : Proceedings IEEE, 2008, pp. 191-196

Gargantini, A., Riccobene, E. & Scandurra, P. A model-driven validation & verification environment for embedded systems. SIES’2008 : third International symposium on industrial embedded systems IEEE, 2008, pp. 241-244

Gargantini, A., Riccobene, E. & Scandurra, P. Integrating formal methods with model-driven development techniques. WADT 2008 : preliminary proceedings : 19. International workshop on algebraic development techniques Universitá di Pisa, Dipartimento di Informatica, 2008, pp. 50-52

Gargantini, A., Riccobene, E. & Scandurra, P. Model-driven language engineering : the ASMETA case study. ICSEA 2008 : the third International conference on software engineering advances IEEE, 2008, pp. 373-378

Carioni, A., Gargantini, A., Riccobene, E. & Scandurra, P. A scenario-based validation language for ASMs. Boerger, E., Butler, M., Bowen, J. P. & Boca, P. (ed.). ABZ Conference, September 16-18, 2008, London, UK Springer, 2008, Vol. 5238, pp. 71-84

Gargantini, A., Riccobene, E. & Scandurra, P. Exploiting the ASM method for Validation and Verification of Embedded Systems. Boerger, E., Butler, M., Bowen, J. P. & Boca, P. (ed.). Abstract State Machines, B and Z, September 16-18, 2008, London, UK Springer Berlin Heidelberg, 2008, Vol. 5238, pp. 348-348

Gargantini, A., Riccobene, E. & Scandurra, P. A Metamodel-based Language and a Simulation Engine for Abstract State Machines. Journal of Universal Computer Science, 2008, Vol. 14(12)(12), pp. 1949-1983

Gargantini, A., Riccobene, E. & Scandurra, P. A precise and executable semantics of the SystemC UML profile by the meta-hooking approach. DTI Dept., University of Milan, 2008, Vol. TR 110(110), pp. -

Bocchio, S., Riccobene, E., Rosti, A. & Scandurra, P. Embedded systems specification and design languages : selected contributions from FDL’07. Chapter An enhanced SystemC UML profile for modeling at transaction-level Springer, 2008, pp. 211-226

2007

Gargantini, A., Riccobene, E. & Scandurra, P. A Metamodel-based Simulator for ASMs. Prinz, A. (ed.). The 14th International ASM Workshop, Grimstad, Norwegen, May 2008 2007, pp. -

Gargantini, A., Riccobene, E. & Scandurra, P. AsmEE: an Eclipse plug-in in a metamodel based framework for the Abstract State Machines. First International Conference on Eclipse Technologies ECLIPSE-IT 2007 Cuzzolin Editore, 2007

Bocchio, S., Riccobene, E., Rosti, A. & Scandurra, P. Advances in Design and Specification Languages for Embedded Systems. Chapter A Model-driven Co-design Flow for Embedded Systems Springer Netherlands, 2007, pp. 265-284

Bocchio, S., Riccobene, E., Rosti, A. & Scandurra, P. Process State Machines for Behavioral Modeling of Embedded Systems. IEEE Second International Symposium on Industrial Embedded Systems - SIES’2007 IEEE, 2007, pp. 274-281

Riccobene, E., Scandurra, P., Rosti, A. & Bocchio, S. Designing a Unified Process for Embedded Systems. 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2007 IEEE Computer Society, 2007, pp. 77-90

Riccobene, E., Scandurra, P., Rosti, A. & Bocchio, S. A UML2 Profile for SystemC 2.1. ST Microelectronics, 2007, pp. -

Bocchio, S., Riccobene, E., Rosti, A. & Scandurra, P. UML and MDA for Transactional Level Modeling. International DAC Workshop - UML for SoC Design (UML-SoC’07) 2007

Bocchio, S., Riccobene, E., Rosti, A. & Scandurra, P. A complete SystemC UML profile with dynamic features for behavioural descriptions. Forum on specification and Design Languages, FDL 2007 ECSI, 2007, pp. 191-197

2006

Gargantini, A., Riccobene, E. & Scandurra, P. Deriving a textual notation from a metamodel: an experience on bridging Modelware and Grammarware. 3M4MDA 2006 - European Workshop on Milestones, Models and Mappings for Model-Driven Architecture - European Conference on Model Driven Architecture, in Bilbao, Spain from July 10th-13th 2006. CTIT Workshop Proceedings Series WP06-01 Centre fo, 2006, pp. 33-47

Bocchio, S., Riccobene, E., Rosti, A. & Scandurra, P. A Model-driven co-design flow for Embedded Systems. Forum on specification and Design Languages, FDL 2006, Proceedings ECSI, 2006, pp. 345-351

Bocchio, S., Riccobene, E., Rosti, A. & Scandurra, P. A SoC design flow based on UML 2.0 and SystemC.. International DAC Workshop - UML for SoC Design (UML-SoC’06) 2006

Boerger, E., Gargantini, A. & Riccobene, E. Software Specification Methods, An Overview Using a Case Study. Habrias, H. & Frappier, F. M. (ed.). Chapter ASM Wiley, 2006, pp. 103-119

Gargantini, A., Riccobene, E. & Scandurra, P. Metamodelling a Formal Method: Applying MDE to Abstract State Machines. DTI Dept., University of Milan, 2006, Vol. TR 97, pp. -

Gargantini, A., Riccobene, E. & Scandurra, P. Exploiting the ASM method within the Model-driven Engineering paradigm. Dagstuhl Seminar Proceedings 06191 - Rigorous Methods for Software Construction and Analysis Dagstuhl Seminar Proceedings 06191 - Rigorous Methods for Software Construction and Analysis (Jean-Raymond Abrial and Uwe Glaesser, eds.) 2006. ISSN 1862-4405., 2006

Mueller, W., Rosti, A., Bocchio, S., Riccobene, E., Scandurra, P., Dehaene, W. & Vanderperren, Y. UML for ESL Design - Basic Principles, Tools, and Applications. 2006 International Conference on Computer-Aided Design (ICCAD’06) ACM, 2006, pp. 73-80

Riccobene, E., Scandurra, P., Rosti, A. & Bocchio, S. A model-driven design environment for embedded systems. Proc. 43rd ACM/IEEE Design Automation Conference (DAC) 2006 ACM, 2006, pp. 915-918

Bocchio, S., Riccobene, E., Rosti, A. & Scandurra, P. Exploiting the MDA approach for Embedded System Design. Proc. of 19th International Conference Software & Systems Engineering and their Applications (ICSSEA’06) 2006

2005

Bocchio, S., Riccobene, E., Rosti, A. & Scandurra, P. A SoC design flow based on UML 2.0 and SystemC. International DAC Workshop UML-SoC 2005, UML for SoC Design, Proceedings 2005, pp. 49-54

Gargantini, A., Genovese, C., Genovese, T., Riccobene, E. & Scandurra, P. A Concrete Syntax derived from the Abstract State Machine Metamodel. Proc. of ASM 2005 12th International Workshop on Abstract State Machines March 8-11, 2005, Paris, France 2005, pp. 345-368

Gargantini, A. & Riccobene, E. ViBBA: A Toolbox for Automatic Model Driven Animation. Schulze, T., Horton, G., Preim, B. & Schlechtweg, S. (ed.). Proc. of SIMVIS 2005, Simulation and Visualization 2005, 16th Conference, Otto-von-Guericke University of Magdeburg, March 2005 in Magdeburg, Germany SCS Publishing House e.V., 2005, pp. 101-114

Riccobene, E. & Scandurra, P. Modelling SystemC Process Behavior by the UML Method State Machines. Rapid Integration of Software Engineering Techniques (RISE 2004). Revised Selected Papers Springer, 2005, Vol. LNCS 3475, pp. 112-121

Riccobene, E., Scandurra, P., Rosti, A. & Bocchio, S. A HW/SW Co-design Environment based on UML and SystemC. Forum on specification and Design Languages, FDL 2005, Proceedings ECSI, 2005, pp. 515-519

Riccobene, E., Scandurra, P., Rosti, A. & Bocchio, S. A UML 2.0 profile for SystemC: toward high-level SoC design. EMSOFT 2005, 5th ACM International Conference On Embedded Software, Proceedings ACM, 2005, pp. 138-141

Riccobene, E., Scandurra, P., Rosti, A. & Bocchio, S. A SoC Design Methodology involving a UML 2.0 profile for SystemC. 2005 Design, Automation and Test in Europe Conference and Exposition (DATE 2005) IEEE Computer Society, 2005, pp. 704-709

Riccobene, E., Scandurra, P., Rosti, A. & Bocchio, S. A UML 2.0 Profile for SystemC. AST-AGR-2005-3 - ST MIcroelectronics, 2005, Vol. AST-AGR-2005-3

2004

Cavarra, A., Riccobene, E. & Scandurra, P. Mapping UML into Abstract State Machines: A Framework to Simulate UML Models. Studia Informatica Universalis, 2004, Vol. 3(3), pp. 367-398

Cavarra, A., Riccobene, E. & Scandurra, P. 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) ACM Press, 2004, pp. 1519-1523

Boerger, E., Cavarra, A. & Riccobene, E. On formalizing UML state machines using ASMs. Information And Software Technology, 2004, Vol. 46, pp. 287-292

Riccobene, E. & Scandurra, P. Towards an Interchange Language for ASMs. Abstract State Machines 2004. Proceedings Springer, 2004, Vol. LNCS 3052, pp. 111-126

Riccobene, E., Rosti, A. & Scandurra, P. Improving SoC Design Flow by means of MDA and UML Profiles. 3rd UML Workshop in Software Model Engineering (WiSME@UML’04) ACM, 2004, pp. 1519-1523

2003

Boerger, E., Cavarra, A. & Riccobene, E. Modeling the meaning of transitions from and to concurrent states in UML State Machines. Proceedings of the 2003 ACM symposium on Applied computing. SAC 2003 ACM, 2003, pp. 1086-1091

Abstract State Machines - Advances in Theory and Applications 10th International Workshop, ASM 2003 - Taormina, Italy, March 2003. Proceedings. Boerger, E., Gargantini, A. & Riccobene, E. (ed.). Springer Verlag, Germany, 2003, Vol. 2589

Cavarra, A., Riccobene, E. & Scandurra, P. Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanism of UML State Machines. Boerger, E., Gargantini, A. & Riccobene, E. (ed.). Abstract State Machines 2003. Advances in Theory and Practice. Proceedings Springer, 2003, Vol. 2589, pp. 229-243

Gargantini, A., Riccobene, E. & Rinzivillo, S. Using Spin to Generate Tests from ASM Specifications. Boerger, E., Gargantini, A. & Riccobene, E. (ed.). ASM 2003 - Taormina, Italy, March 2003. Proceedings, LNCS 2589 Springer Berlin Heidelberg, 2003, Vol. 2589, pp. 263-277

Gargantini, A. & Riccobene, E. Automatic Model Driven Animation of SCR Specifications. Pezze’, M. (ed.). Fundamental Approaches to Software Engineering - FASE 2003 - Main conference of ETAPS 2003, Warsaw, Poland, April 7-11 Springer Berlin Heidelberg, 2003, Vol. 2621, pp. 294-309

Gargantini, A., Morzenti, A. & Riccobene, E. Using counters to model temporal relationships among events. Proc. St.Eve - Sarellite Workshop of Formal Methods 2003 2003

Nicolosi Asmundo, M. & Riccobene, E. Consistent Integration for Sequential Abstract State Machines. Boerger, E., Gargantini, A. & Riccobene, E. (ed.). Abstract State Machines 2003. Advances in Theory and Practice. Proceedings Spinger, 2003, Vol. 2589, pp. 324-340

2002

Gargantini, A. & Riccobene, E. Using Model Checking for Automatic Test Sequence Generation. Proc. ASM02 DAGSTUHL SEMINAR PROCEEDINGS, ISSN: 1862-4405, 2002, Vol. 336

Boerger, E., Cavarra, A. & Riccobene, E. A precise semantics of UML State Machines: making semantic variation points and ambiguities explicit. Proc. Semantic Foundations of Engineering Design Languages (SFEDL), Satellite Workshop of ETAPS 2002 2002

Boerger, E., Cavarra, A. & Riccobene, E. A precise semantics of UML State Machines: making semantic variation points and ambiguities explicit. Proc. ASM02 DAGSTUHL SEMINAR PROCEEDINGS, ISSN: 1862-4405, 2002, Vol. 336

Heitmeyer, C., Archer, M. & Riccobene, E. Proving Invariants of I/O Automata with TAME. Automated Software Engineering, 2002, Vol. 9, Issue 3, pp. 201-232

Gargantini, A. & Riccobene, E. ASM-based Testing: Coverage Criteria and Automatic Test Sequence Generation. International Conference And Research Center For Computer Science, Schloss Dagstuhl, Germania, 2002(Report 336-2002)

2001

Boerger, E., Cavarra, A. & Riccobene, E. Solving Conflict in UML State Machines Concurrent State. Workshop on Concurrency Issues in UML 2001

Cavarra, A. & Riccobene, E. Simulating UML Statecharts. Formal Methods and Tools for Computer Science. Eurocast 2001 2001, pp. 224-227

Gargantini, A. & Riccobene, E. ASM-based Testing: Coverage Criteria and Automatic Test Sequence Generation. JUCS - Journal of Universal Computer Science, 2001, Vol. 7(11), pp. 1050-1067

Gargantini, A. & Riccobene, E. ASM-based Testing: Coverage criteria and Automatic tests Generation. ASM 2001, EUROCAST 2001, Casa de Colón, Las Palmas de Gran Canaria, Spain, Feb. 19-23 2001 2001, pp. 262-265

Nicolosi Asmundo, M. & Riccobene, E. Using ASM for Inconsistency Handling through ViewPoints Framework. Formal Methods and Tools for Computer Science. Eurocast 2001 2001, pp. 228-231

2000

Heitmeyer, C., Archer, M. & Riccobene, E. Using TAME to prove invariants of automata models: Two case studies. Proceedings of the ACM SIGSOFT Third Workshop on Formal Methods in Software Practice ACM, 2000, pp. 25-36

Boerger, E., Riccobene, E. & Schmid, J. Capturing Requirements by Abstract State Machines: The Light Control Case Study. Journal of Universal Computer Science, 2000, Vol. vol. 6(7), pp. 597-620

Boerger, E., Cavarra, A. & Riccobene, E. Modeling the Dynamics of UML State Machines. Abstract State Machines: Theory and Applications Springer-Verlag, 2000, Vol. LNCS 1912, pp. 223-241

Boerger, E., Cavarra, A. & Riccobene, E. An ASM Semantics for UML Activity Diagrams. Algebraic Methodology and Software Technology Springer-Verlag, 2000, Vol. LNCS 1816, pp. 287-302

Cavarra, A. & Riccobene, E. Modeling the Dynamics of UML Behavioral Diagrams. Poster at FORTE/PSTV 2000 Joint Int. Conf. 2000

Cavarra, A., Riccobene, E. & Zavanella, A. A formal model for the parallel semantics of P3L. Proc. of the 2000 ACM Symposium on Applied Computing ACM Press, 2000, Vol. 2, pp. 804-812

Boerger, E., Cavarra, A. & Riccobene, E. An ASM Semantics for UML Activity Diagrams and UML State Machines. Abstract State Machine - ASM 2000 ETHZ, 2000, Vol. TIK-Report Nr. 87, pp. 66-67

Gargantini, A. & Riccobene, E. Encoding Abstract State Machines in PVS. Gurevich, Y., Kutter, P., Odersky, M. & Thiele, L. (ed.). Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verita’, Switzerland, March 19-24, 2000, Proceedings. Springer Berlin Heidelberg, 2000, Vol. 1912, pp. 303-322

Previous publications

Riccobene, E. Software Requirements Specification of the Light Control System. Requirements Capture, Documentation and Validation DAGSTUHL SEMINAR PROCEEDINGS, ISSN: 1862-4405, 1999, Vol. 242

Bella, G. & Riccobene, E. A Realistic Environment for Crypto-Protocol Analyses by ASMs. Proc. of INFORMATIK’98, Fifth International Workshop on Abstract State Machines Springer-Verlag, 1998, pp. 127-138

Bella, G. & Riccobene, E. A Formal Analysis of the Kerberos Authentication System. Journal of Universal Computer Science, 1997, Vol. 3(12), pp. 1337-1381

Bella, G. & Riccobene, E. The validation of a bidirectional serial/parallel shift register by Evolving Algebras. Atti del Congresso AICA ‘97 AICA, 1997, pp. 89-106

Bistarelli, S. & Riccobene, E. An operational model for the SCLP language. Proceedings of the Workshop on Tools and Environments for (Constraint) Logic Programming. Satellite Event of ILPS’97 1997

Beierle, C., Boerger, E., Durdanovich, I., Glaesser, U. & Riccobene, E. Formal Methods for Industrial Applications. Abrial, J., Boerger, E. & Langmaack, H. (ed.). Chapter Refining Abstract State Machine Specifications of the Steam Boiler Control to Well Documented Executable Code Springer-Verlag, 1996, Vol. LNCS 1165, pp. 52-78

Bella, G. & Riccobene, E. Le Algebre Evolventi per la validazione di hardware. Atti Congresso AICA ‘96 SIPI, 1996, pp. 273-293

Beierle, C., Boerger, E., Durdanovich, I., Glaesser, U. & Riccobene, E. Evolving Algebra Solution for the Steam Boiler Problem. Methods for Semantics and Specification Dagstuhl, 1995, Vol. n.9523 Report n.117

Boerger, E. & Riccobene, E. Advances in Logic Programming Theory. Chapter Logic + Control revisited: an abstract interpreter for Goedel programs Oxford University Press, 1994, pp. 231-254

Boerger, E. & Riccobene, E. Semantics of Programming Language and Model Theory. Chapter A formal specification of PARLOG Gordon and Breach, 1993, pp. 1-42

Riccobene, E. Modelli Matematici per Linguaggi Logici. Tesi di Dottorato. University of Catania, 1993

Boerger, E. & Riccobene, E. Logical Operational Semantics of Parlog, Part I: And-Parallelism. Boley, H. & Richter, M. M. (ed.). Processing Declarative Knowledge, International Workshop PDK’91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings Springer, 1991, Vol. 567, pp. 191-198

Boerger, E. & Riccobene, E. Logical Operational Semantics of Parlog. Part II: Or-Parallelism. Voronkov, A. (ed.). Logic Programming, Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings Springer, 1991, Vol. 592, pp. 27-34