RICCOBENE, ELVINIA MARIA
RICCOBENE, ELVINIA MARIA
Dipartimento di Informatica Giovanni Degli Antoni
A formal framework for service modeling and prototyping
2013-10-01 E. Riccobene, P. Scandurra
A framework for adapting service-oriented applications based on functional/extra-functional requirements tradeoffs
2011-01-01 R. Mirandola, P. Potena, E. Riccobene, P. Scandurra
A model advisor for NuSMV specifications
2011-01-01 P. Arcaini, A. Gargantini, E. Riccobene
A model-driven process for engineering a toolset for a formal method
2011-01-01 P. Arcaini, A. Gargantini, E. Riccobene, P. Scandurra
A modeling and executable language for designing and prototyping service-oriented applications
2011-01-01 E. Riccobene, P. Scandurra, F. Albani
Abstract state machines, alloy, B, VDM, and Z : third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012
2012-01-01 J. Derrick, J.A. Fitzgerald, S. Gnesi, S. Khurshid, M. Leuschel, S. Reeves, E. Riccobene
An abstraction technique for testing decomposable systems by model checking
2014-01-01 P. Arcaini, A. Gargantini, E. Riccobene
Addressing usability in a formal development environment
2020-01-01 P. Arcaini, S. Bonfanti, A. Gargantini, E. Riccobene, P. Scandurra
An ASM-based executable formal model of service-oriented component interactions and orchestration
2010-01-01 E. Riccobene, P. Scandurra
An Eclipse-based SCA design framework to support coordinated execution of services
2011-01-01 F. Albani, E. Riccobene, P. Scandurra
An executable semantics of the SystemC UML profile
2010-01-01 E. Riccobene, P. Scandurra
ASM
2006-01-01 E. Boerger, A. Gargantini, E.M. Riccobene
ASM-based formal design of an adaptivity component for a Cloud system
2016-07-01 P. Arcaini, R. Holom, E. Riccobene
AsmEE : an Eclipse plug-in in a metamodel based framework for the abstract state machines
2007-01-01 A. Gargantini, E. Riccobene, P. Scandurra
The ASMETA Approach to Safety Assurance of Software Systems
2021-01-01 P. Arcaini, A. Bombarda, S. Bonfanti, A. Gargantini, E. Riccobene, P. Scandurra
AsmetaF: A flattener for the ASMETA framework
2018-01-01 P. Arcaini, R. Melioli, E. Riccobene
AsmetaSMV : a model checker for AsmetaL models. Tutorial
2009-01-01 P. Arcaini, A. Gargantini, E. Riccobene
AsmetaSMV : a way to link high-level ASM models to low-level nuSMV specifications
2010-01-01 P. Arcaini, A. Gargantini, E. Riccobene
Automatic refinement of ASM abstract test cases
2019-01-01 P. Arcaini, E. Riccobene
Automatic review of Abstract State Machines by meta-property verification
2010-01-01 P. Arcaini, A. Gargantini, E. Riccobene