RICCOBENE, ELVINIA MARIA

RICCOBENE, ELVINIA MARIA  

Dipartimento di Informatica Giovanni Degli Antoni  

Mostra records
Risultati 1 - 20 di 129 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
A complete SystemC UML profile with dynamic features for behavioural descriptions 1-gen-2007 E. RiccobeneP. Scandurra + Book Part (author) -
A concrete syntax derived from the abstract state machine metamodel 1-gen-2005 E. RICCOBENE + Conference Object -
A DSL for MAPE patterns representation in self-adapting systems 1-gen-2018 Arcaini, PaoloRiccobene, ElviniaScandurra, Patrizia + Book Part (author) -
A formal design of the hybrid European rail traffic management system 1-gen-2019 Riccobene E. + Book Part (author) -
A formal framework for service modeling and prototyping 1-gen-2014 E. Riccobene + Article (author) -
A formal framework for service modeling and prototyping 1-ott-2013 E. Riccobene + Article (author) -
A framework for adapting service-oriented applications based on functional/extra-functional requirements tradeoffs 1-gen-2011 E. Riccobene + Book Part (author) -
A HW/SW Co-design environment based on UML and SystemC 1-gen-2005 E. RICCOBENE + Book Part (author) -
A metamodel-based language and a simulation engine for abstract state machines 1-gen-2008 E. RiccobeneP. Scandurra + Article (author) -
A metamodel-based simulator for ASMs 1-gen-2007 Elvinia RiccobenePatrizia Scandurra + Book Part (author) -
A model advisor for NuSMV specifications 1-gen-2011 P. ArcainiE. Riccobene + Article (author) -
A Model Driven Approach for Cyber Security Scenarios Deployment 1-gen-2020 Braghin, ChiaraCimato, StelvioDamiani, ErnestoFrati, FulvioMauri, LaraRiccobene, Elvinia Book Part (author) -
A model-based approach for vulnerability analysis of IoT security protocols: The Z-Wave case study 1-apr-2023 Braghin C.Lilli M.Riccobene E. Article (author) -
A model-driven co-design flow for embedded systems 1-gen-2007 Elvinia RiccobenePatrizia Scandurra + Book Part (author) -
A model-driven design environment for embedded systems 1-gen-2006 E. RiccobeneP. Scandurra + Book Part (author) -
A model-driven process for engineering a toolset for a formal method 1-gen-2011 P. ArcainiE. Riccobene + Article (author) -
A model-driven validation & verification environment for embedded systems 1-gen-2008 E. RiccobeneP. Scandurra + Book Part (author) -
A modeling and executable language for designing and prototyping service-oriented applications 1-gen-2011 E. Riccobene + Book Part (author) -
A novel use of equivalent mutants for static anomaly detection in software artifacts 1-gen-2017 E. Riccobene + Article (author) -
A Pattern-Oriented Design Framework for Self-Adaptive Software Systems 1-gen-2019 Riccobene E. + Book Part (author) -