Elvinia Riccobene publication list

2011

2010

Arcaini, P., Gargantini, A. & Riccobene, E.

AsmetaSMW : a way to link high-level ASM models to low-level nuSMV specifications

Abstract state machines, Alloy, B and Z : second international conference, ABZ 2010 : Orford, QC, Canada, february 22-25, 2010 : proceedings

Springer, 2010, pp. 61 - 74

Arcaini, P., Gargantini, A. & Riccobene, E.

AsmetaSMW : a way to link high-level ASM models to low-level nuSMV specifications

Abstract state machines, Alloy, B and Z : second international conference, ABZ 2010 : Orford, QC, Canada, february 22-25, 2010 : proceedings

Springer, 2010, pp. 61 - 74

Arcaini, P., Gargantini, A. & Riccobene, E.

Automatic review of Abstract State Machines by meta-property verification

Proceedings of the Second NASA formal methods symposium

NASA, 2010, pp. 4 - 13

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, IARIA, 2010, Vol. 3(1,2), pp. 1 - 18

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, pp. 75 - 90

Riccobene, E. & Scandurra, P.

Weaving executability into UML class models at PIM level

Behaviour modelling in model driven architecture : first European workshop on behaviour modelling in model driven architecture(BM-MDA) : Enschede, The Netherlands, june 23, 2009 : proceedings

University of Twente, Centre for telematics and information technology, 2009, pp. 10 - 28

2009

Riccobene, E. & Scandurra, P.

Model transformations in the UPES/UPSoC development process for embedded systems

Innovations in systems and software engineering, Springer, 2009, Vol. 5(1), pp. 35 - 47

Gargantini, A., Riccobene, E. & Scandurra, P.

Ten reasons to metamodel ASMs

Rigorous methods for software construction and analysis : essays dedicated to Egon Börger on the occasion of his 60th birthday

Springer, 2009, pp. 33 - 49

Gargantini, A., Riccobene, E. & Scandurra, P.

Model-driven system validation by scenarios

Languages for embedded systems and their applications : selected contributions on specification, design, and verification from FDL'08

Springer, 2009

Gargantini, A., Riccobene, E. & Scandurra, P.

Model-driven design and ASM-based analysis of embedded systems

Behavioral modeling for embedded systems and technologies : applications for design and implementation

Information science reference, 2009

Gargantini, A., Riccobene, E. & Scandurra, P.

A semantic framework for metamodel-based languages

Automated software engineering, Springer, 2009, Vol. 16(3-4), pp. 415 - 454

Gargantini, A., Riccobene, E. & Scandurra, P.

Integrating formal methods with model-driven engineering

The fourth International conference on software engineering advances, ICSEA 2009 : 20-25 september 2009, Porto, Portugal : proceedings

Institute of electrical and electronics engineers, 2009, pp. 86 - 92

2008

• Bocchio,S., Riccobene , E., Rosti,A., Scandurra,P.,. (2008). An Enhanced SystemC UML Profile for Modeling at Transaction-Level. In: E. VILLAR. Embedded systems specification and design languages. Springer, 2008, pp. 211 - 226. ISBN: 978-1-4020-8296-2.

• Carioni, A., Gargantini, A., Riccobene, E. & Scandurra, P.
  A Scenario-Based Validation Language for ASMs
  Börger, E., Butler, M., Bowen, J. P. & Boca, P. (ed.)
  Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings, Springer, 2008, Vol. 5238, pp. 71-84
• Gargantini, A., Riccobene, E. & Scandurra, P.
  Exploiting the ASM Method for Validation & Verification of Embedded Systems
  Börger, E., Butler, M., Bowen, J. P. & Boca, P. (ed.)
  Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings, Springer, 2008, Vol. 5238, pp. 348
• Gargantini, A., Riccobene, E. & Scandurra, P.
  Model-Driven Language Engineering: The ASMETA Case Study
  Proc. Third International Conference on Software Engineering Advances ICSEA '08
  2008, pp. 373-378
• Gargantini, A., Riccobene, E. & Scandurra, P.
  A model-driven validation &verification environment for embedded systems
  Proc. International Symposium on Industrial Embedded Systems SIES 2008  2008, pp. 241-244
• Gargantini, A., Riccobene, E. & Scandurra, P.
  A Metamodel-based Language and a Simulation Engine for Abstract State Machines
  Journal of Universal Computer Science (JUCS), 2008, Vol. 14(12), pp. 1949-1983
• Gargantini, A., Riccobene, E. & Scandurra, P.
  Ten reasons to metamodel ASMs
  Rigorous Methods for Software Construction and Analysis - Papers Dedicated to Egon Börger on the Occasion of His 60th Birthday Abrial, J. R. & Glässer, U. (ed.), Springer-Verlag, 2008, Vol. 5115
• Gargantini, A., Riccobene, E. & Scandurra, P.
  Integrating formal methods with model-driven development techniques
  WADT2008 19th International Workshop on Algebraic Development Techniques, Pisa, Italy, June 13-16, 2008
  2008
• Gargantini, A., Riccobene, E., Scandurra, P. & Carioni, A.
  Scenario-based validation of embedded systems
  Proc. Forum on Specification, Verification and Design Languages FDL 2008
  2008, pp. 191-196

2007

• S. BOCCHIO, RICCOBENE E., A. ROSTI, P. SCANDURRA. (2007). A Model-driven co-design flow for Embedded Systems. In: HUSS, SORIN A. ED. Advances in Design and Specification Languages for Embedded Systems. ISBN: 978-1-4020-6147-9.
• ANGELO GARGANTINI, RICCOBENE E., PATRIZIA SCANDURRA. (2007). A metamodel-based simulator for ASMs. In: Proceedings of the 14th International Workshop on Abstract State Machines (ASM '07).
• ANGELO GARGANTINI, RICCOBENE E., PATRIZIA SCANDURRA. (2007). AsmEE: an Eclipse plug-in in a metamodel based framework for the Abstract State Machines. In: Eclipse-IT’07 workshop.
• S. BOCCHIO, RICCOBENE E., A. ROSTI, P. SCANDURRA. (2007). A complete SystemC UML profile with dynamic features for behavioural descriptions. In: Forum on Specification & Design Languages ( FDL’07).
• S. BOCCHIO, RICCOBENE E., A. ROSTI, P. SCANDURRA. (2007). UML and MDA for Transactional Level Modeling. In: INTERNATIONAL DAC WORKSHOP - UML FOR SOC DESIGN (UML-SOC’07).
• Bocchio, S., Riccobene, E., Rosti, A. & Scandurra, P.
  Process State Machines for Behavioral Modeling of Embedded Systems
  Proc. International Symposium on Industrial Embedded Systems SIES '07
  2007, pp. 274-281
• Riccobene, E., Scandurra, P., Rosti, A. & Bocchio, S.
  Designing a Unified Process for Embedded Systems
  Proc. Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software MOMPES '07
  2007, pp. 77-90

2006

• Gargantini, A., Riccobene, E. & Scandurra, P.
  Exploiting the ASM method within the Model-driven Engineering paradigm
  Abrial, J.-R. & Glässer, U. (ed.)
  Rigorous Methods for Software Construction and Analysis
  Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006(06191)
• Mueller, W., Rosti, A., Bocchio, S., Riccobene, E., Scandurra, P., Dehaene, W. & Vanderperren, Y.
  UML for ESL Design - Basic Principles, Tools, and Applications
  Proc. IEEE/ACM International Conference on Computer-Aided Design ICCAD '06
  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, pp. 915-918
• Egon Boerger and Angelo Gargantini and Elvinia Riccobene
  ASM
  in Software Specification Methods, An Overview Using a Case Study Edited by: Henri Habrias and France Marc Frappier,
  ISBN: 1905209347 (2006)
• 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.
• 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.
• 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"]
• 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.
• GARGANTINI A, RICCOBENE E., SCANDURRA P. (2006). Exploiting the ASM method within the Model-driven Engineering paradigm. In: Abrial, J.-R. & Glässer, U. (ed.) Rigorous Methods for Software Construction and Analysis.

2005

• Riccobene, E., Scandurra, P., Rosti, A. & Bocchio, S.
  A SoC design methodology involving a UML 2.0 profile for SystemC
  Proc. Design, Automation and Test in Europe  (DATE) 2005, pp. 704-709
• Scandurra, P., Gargantini, A., Genovese, C., Genovese, T. & Riccobene, E.
  A Concrete Syntax Derived From the Abstract State Machine Metamodel
  Abstract State Machines  2005, pp. 345-368
• Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio:
  A UML 2.0 profile for SystemC: toward high-level SoC design.
  EMSOFT 2005: 138-141
• Angelo Gargantini, Elvinia Riccobene:
  ViBBA: A Toolbox for Automatic Model Driven Animation. SimVis 2005: 101-114
• 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.
• 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.
• RICCOBENE E., SCANDURRA P. (2005). Modelling SystemC Process Behaviour by the UML Method State Machines. Rapid Integration of Software Engineering Techniques (RISE'04). (vol. LNCS 3475).
• RICCOBENE E., SCANDURRA P., ROSTI A., BOCCHIO S. (2005). A UML 2.0 Profile for SystemC. ST Microelectronics Technical Report. (vol. AST-AGR-2005-3).

2004

• Börger, E., Cavarra, A. & Riccobene, E.
  On formalizing UML state machines using ASM
  Information & Software Technology, 2004, Vol. 46(5), pp. 287-292
• Riccobene, E. & Scandurra, P.
  Modelling SystemC Process Behavior by the UML Method State Machines
  Guelfi, N. (ed.)  Rapid Integration of Software Engineering Techniques, First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3475 Springer 2005, ISBN 3-540-25812-4
  Springer, 2004, Vol. 3475, pp. 112-121
• 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
• 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).
• 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.

2003

• A.Gargantini, A. Morzenti, E.Riccobene,
  Using counters to model temporal relationships among events
  Proc. STEVE -Satellite Workshop of FM 03, Sept. 03
  
• Egon Boerger, Angelo Gargantini, Elvinia Riccobene (Eds)
  Abstract State Machines - Advances in Theory and Applications
  10th International Workshop, ASM 2003, LNCS 2589, Springer Verlag, March 2003
  

• A.Gargantini, E.Riccobene, 
  Automatic model-Driven Animation
  Proc. FASE03, Main Conference of ETAPS 2003, Springer LNCS, 2003
  

• E. Boerger, A. Cavarra, E. Riccobene,
  Modeling the meaning of transitions from and to concurrent states in UML State Machines
  Proc. ACM SAC 2003 - Software Engineering Track
  

• A.Gargantini, E.Riccobene, S. Rinzivillo, 
  Using Spin to Generate Tests from ASM Specifications
  Proc. ASM03, LNCS 2589, 2003
  

• A. Cavarra, E. Riccobene, P.Scandurra,
  Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanism of UML State Machines
  Proc. ASM03, LNCS 2589, Springer, 2003
  

• M. Nicolosi Asmundo, E. Riccobene,
  Consistent Integration for Sequential Abstract State Machines
  Proc. ASM03, LNCS 2589, 2003

• E. Boerger, A. Cavarra, E. Riccobene,
  On Formalizing UML State Machines Using ASMs
  Elsevier Publisher, (to appear Nov.2003)
  

• A. Cavarra, E. Riccobene, P.Scandurra,
  A Framework to Simulate UML Models
  (submitted to SAC 04), 2003

  ---

2002

• Constance Heitmeyer, Myla Archer, Elvinia Riccobene,
  Proving Invariants of I/O Automata with TAME
  Automated Software Engineering Journal, Kluwer Academic Publishers, vol9, Issue 3, August 2002
  

• E. Börger, C.Cavarra, E.Riccobene,
  A precise semantics of UML State Machines: making semantic variation points and ambiguities explicit
  Proc. of Semantic Foundations of Engineering Design Languages (SFEDL), Satellite Workshop on ETAPS 2002, Grenoble, France, April 2002
   

• E. Börger, C.Cavarra, E.Riccobene,
  A complete formal semantics of UML State Diagrams
  Proc. ASM02, Report No 336-2002 International Conference And Research Center For Computer Science, Schloss Dagstuhl, Germany, March 2002
   

• M. Nicolosi Asmundo, E. Riccobene,
  A consistent operation to compose ASMs and rigorous techniques to define, recognize and prove properties of distributed ASMs
  Proc. ASM02, Report No 336-2002 International Conference And Research Center For Computer Science, Schloss Dagstuhl, Germany, March 2002
  

• A.Gargantini, E.Riccobene,
  Using Model Checking for Automatic Test Sequence Generation
  Proc. ASM02, Report No 336-2002 International Conference And Research Center For Computer Science, Schloss Dagstuhl, Germany, March 2002

  ---

2001

• Angelo Gargantini, Elvinia Riccobene,
  ASM-based Testing: Coverage Criteria and Automatic Test Sequence Generation
  Journal of Universal Computer Science (JUCS), Springer, vol.  7, no.  11 (2001), pag 1050-1067
  
• E. Börger, C. Cavarra, E. Riccobene,
  Solving Conflict in UML State Machines Concurrent State
  Workshop on Concurrency Issues in UML, UML 2001, Toronto (Canada), 2001
   
• C. Cavarra, E. Riccobene,
  Simulating UML Statecharts
  Proc. Eurocast 2001, February 19-23, 2001, Casa de Colón, Las Palmas de Gran Canaria, Spain
  
• M. Nicolosi Asmundo, E.Riccobene,
  Using ASM for Inconsistency Handling through ViewPoints Framework
  Proc. Eurocast 2001, February 19-23, 2001, Casa de Colón, Las Palmas de Gran Canaria, Spain
  
• Angelo Gargantini, Elvinia Riccobene,
  ASM-based Testing: Coverage criteria and Automatic Tests Generation
  Proc.  Eurocast 2001, February 19-23, 2001 ,Casa de Colón, Las Palmas de Gran Canaria, Spain

2000

• E. Börger, E. Riccobene, J. Schmid,
  Capturing Requirements by Abstract State Machines: The Light Control Case Study
  Journal of Universal Computer Science (JUCS), Special Issue on Requirements Engineering: The Light Control Case Study, Springer, vol.  6(7), pp.  597-620, 2000
   
• M. Archer, C. Heitmeyer, E. Riccobene,
  Using TAME to Prove Invariants of Automata Models: Case Studies
  2000 ACM SIGSOFT Third Workshop on Formal Methods in Software Practice (FMSP00), ACM Press, August 2000
  
• E.  Börger, A. Cavarra, E. Riccobene,
  An ASM Semantics for UML Activity Diagrams
  In T.  Rus (ed.) Algebraic Methodology and Software Technology (AMAST 2000), Springer LNCS 1816, pg. 287-302, May 2000
  
• E.  Börger, A. Cavarra, E. Riccobene,
  Modeling UML State Machines
  In Y. Gurevich, P. Kutter, M. Odersky, L.  Thiele (eds.) International Workshop on Abstract State Machine ASM 2000, Springer LNCS 1912, pp. 223-241, 2000
  
• A.  Gargantini, E. Riccobene,
  Encoding Abstract State Machines in PVS
  In Y. Gurevich, P. Kutter, M. Odersky, L.  Thiele (eds. ) International Workshop on Abstract State Machine ASM 2000, Springer LNCS 1912, March 2000
   
• A. Cavarra, E. Riccobene, A. Zavanella,
  A formal model for the parallel semantics of P3L
  In J. Carroll, E. Damiani, H.  Haddad, D. Oppenheim (eds. ) Proc.  of the 2000 ACM Symposium
  on Applied Computing SAC 2000, ACM Press, Vol.  2, pp.  804-812, March 2000. 
  
• E.  Börger, A. Cavarra, E. Riccobene,
  An ASM Semantics for UML Activity Diagrams and UML State Machines
  TIK-Report Nr.  87, Computer Engineering and Networks Laboratory, Swiss Federal Institute of Technology (ETH) Zurich, pp.  66-67, March 2000
   
• E. Riccobene, M. Archer, C. Heitmeyer
  Applying TAME to I/O Automata: A User's Perspective
  Technical Report, NRL/MR/5540--00--8448, Naval Research Laboratory, Washington DC, April 2000
   
• A. Cavarra, E. Riccobene,
  panel section, FORTE00
   
• E. Riccobene,
  Using Abstract State Machines to formalize and Integrate UML
  Dagstuhl-Seminar n. ?????-Report n. ???, Semi-Formal and Formal Specification Techniques for Software Systems (Eds.  U. Montanari, M.Wirsing, ???), pp.  17-18, October 2000