RICCOBENE, ELVINIA MARIA
RICCOBENE, ELVINIA MARIA
Dipartimento di Informatica Giovanni Degli Antoni
A complete SystemC UML profile with dynamic features for behavioural descriptions
2007 S. Bocchio, E. Riccobene, A. Rosti, P. Scandurra
A concrete syntax derived from the abstract state machine metamodel
2005 A. Gargantini, C. Genovese, T. Genovese, E. Riccobene, P. Scandurra
A DSL for MAPE patterns representation in self-adapting systems
2018 P. Arcaini, R. Mirandola, E. Riccobene, P. Scandurra
A formal design of the hybrid European rail traffic management system
2019 P. Gaspari, E. Riccobene, A. Gargantini
A formal framework for service modeling and prototyping
2014 E. Riccobene, P. Scandurra
A formal framework for service modeling and prototyping
2013 E. Riccobene, P. Scandurra
A framework for adapting service-oriented applications based on functional/extra-functional requirements tradeoffs
2011 R. Mirandola, P. Potena, E. Riccobene, P. Scandurra
A HW/SW Co-design environment based on UML and SystemC
2005 E. Riccobene, P. Scandurra, A. Rosti, S. Bocchio
A metamodel-based language and a simulation engine for abstract state machines
2008 A. Gargantini, E. Riccobene, P. Scandurra
A metamodel-based simulator for ASMs
2007 A. Gargantini, E.M. Riccobene, P. Scandurra
A model advisor for NuSMV specifications
2011 P. Arcaini, A. Gargantini, E. Riccobene
A Model Driven Approach for Cyber Security Scenarios Deployment
2020 C. Braghin, S. Cimato, E. Damiani, F. Frati, L. Mauri, E. Riccobene
A model-based approach for vulnerability analysis of IoT security protocols: The Z-Wave case study
2023 C. Braghin, M. Lilli, E. Riccobene
A model-driven co-design flow for embedded systems
2007 S. Bocchio, E.M. Riccobene, A. Rosti, P. Scandurra
A model-driven design environment for embedded systems
2006 S. Bocchio, E. Riccobene, A. Rosti, P. Scandurra
A model-driven process for engineering a toolset for a formal method
2011 P. Arcaini, A. Gargantini, E. Riccobene, P. Scandurra
A model-driven validation & verification environment for embedded systems
2008 A. Gargantini, E. Riccobene, P. Scandurra
A modeling and executable language for designing and prototyping service-oriented applications
2011 E. Riccobene, P. Scandurra, F. Albani
A novel use of equivalent mutants for static anomaly detection in software artifacts
2017 P. Arcaini, A. Gargantini, E. Riccobene, P. Vavassori
A Pattern-Oriented Design Framework for Self-Adaptive Software Systems
2019 P. Arcaini, R. Mirandola, E. Riccobene, P. Scandurra