SCANDURRA, Patrizia Statistiche

SCANDURRA, Patrizia  

Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione  

Mostra schede
Risultati 1 - 20 di 109 (tempo di esecuzione: 0.052 secondi).
Data di pubblicazione Titolo Autore/i Tipologia Documento allegato
1-gen-2014 A formal framework for service modeling and prototyping Riccobene, Elvinia; Scandurra, Patrizia 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2012 A Formal High-level Modeling Approach to Develop Reliable Components in Vision-based Robotics Luzzana, Andrea; Rossetti, Mattia; Scandurra, Patrizia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2011 A Framework for Adapting Service-oriented Applications based on Functional/Extra-functional Requirements Tradeoffs Mirandola, Raffaela; Potena, Pasqualina; Riccobene, Elvinia; Scandurra, Patrizia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2007 A Metamodel-based Simulator for ASMs Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2014 A mobile/cloud emergency response application for indoor assisted living Psaila, Giuseppe; Scandurra, Patrizia; Rovelli, Steven; Mazzucchelli, Enrico; Taiocchi, Matteo 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2013 A model-driven co-simulation environment for heterogeneous systems Bombino, Massimo; Scandurra, Patrizia 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2008 A Model-driven Technique for Embedded System Validation Carioni, Alessandro; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2011 A modeling and executable language for designing and prototyping service-oriented applications Scandurra, Patrizia; Riccobene, Elvinia; Albani, Fabio 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2014 A practical and automated approach for engineering service-oriented applications with design patterns Scandurra, Patrizia; Capelli, Steven 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2014 A reliability model for Service Component Architectures Scandurra, Patrizia; Mirandola, Raffaela; Potena, Pasqualina; Riccobene, Elvinia 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
9-mag-2011 A Robotics Coordination Case Study Brugali, Davide; Gherardi, Luca; Scandurra, Patrizia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2014 Adaptation space exploration for service-oriented applications Mirandola, Raffaela; Potena, Pasqualina; Scandurra, Patrizia 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2012 Adapting Cloud-Based Applications Through A Coordinated And Optimized Resource Allocation Approach Scandurra, Patrizia; Raibulet, Claudia; Potena, Pasqualina; Mirandola, Raffaela; Capilla, Rafael 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2020 Addressing usability in a formal development environment Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo; Riccobene, Elvinia; Scandurra, Patrizia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2010 An ASM-based executable formal model of service-oriented component interactions and orchestration Scandurra, Patrizia; Riccobene, Elvinia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2011 An Eclipse-based SCA design framework to support coordinated execution of services Albani, Fabio; Riccobene, Elvinia; Scandurra, Patrizia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2010 An Executable Semantics of the SystemC UML Profile Scandurra, Patrizia; Riccobene, Elvinia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2011 An Optimization Process for Adaptation Space Exploration of Service-oriented Applications Mirandola, Raffaela; Potena, Pasqualina; Scandurra, Patrizia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2007 AsmEE: an Eclipse plug-in in a metamodel based framework for the Abstract State Machines Riccobene, Elvinia; Gargantini, Angelo Michele; Scandurra, Patrizia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2021 The ASMETA Approach to Safety Assurance of Software Systems Arcaini, Paolo; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo; Riccobene, Elvinia; Scandurra, Patrizia 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays