default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPatrizia Scandurra
Person information
- affiliation: University of Bergamo, Dalmine, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j25]Paolo Arcaini, Silvia Bonfanti
, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
A journey with ASMETA from requirements to code: application to an automotive system with adaptive features. Int. J. Softw. Tools Technol. Transf. 26(3): 379-401 (2024)- [j24]Mubashir Ali, Patrizia Scandurra, Fabio Moretti, Hafiz Husnain Raza Sherazi:
Anomaly Detection in Public Street Lighting Data Using Unsupervised Clustering. IEEE Trans. Consumer Electron. 70(1): 4524-4535 (2024) - [j23]Andrea Bombarda, Silvia Bonfanti, Martina De Sanctis, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Patrizia Scandurra:
Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems. IEEE Trans. Software Eng. 50(4): 995-1014 (2024) - [c78]Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
ASMETA Tool Set for Rigorous System Design. FM (2) 2024: 492-517 - [c77]Vincenzo Riccio, Giancarlo Sorrentino, Ettore Zamponi, Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra:
RAMSES: An Artifact Exemplar for Engineering Self-Adaptive Microservice Applications. SEAMS@ICSE 2024: 161-167 - [e6]Matthias Galster, Patrizia Scandurra, Tommi Mikkonen, Pablo Oliveira Antonino, Elisa Yumi Nakagawa, Elena Navarro:
Software Architecture - 18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3-6, 2024, Proceedings. Lecture Notes in Computer Science 14889, Springer 2024, ISBN 978-3-031-70796-4 [contents] - [e5]Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra:
Rigorous State-Based Methods - 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings. Lecture Notes in Computer Science 14759, Springer 2024, ISBN 978-3-031-63789-6 [contents] - 2023
- [j22]Patrizia Scandurra, Matteo Camilli, Raffaela Mirandola, Sungwon Kang:
Special issue on Architecting Dependable Multi-paradigm Computing Systems. Computing 105(9): 1847 (2023) - [j21]Silvia Bonfanti, Elvinia Riccobene, Patrizia Scandurra:
A component framework for the runtime enforcement of safety properties. J. Syst. Softw. 198: 111605 (2023) - [j20]Danny Weyns, Radu Calinescu, Raffaela Mirandola, Kenji Tei, Maribel Acosta, Amel Bennaceur, Nicolas Boltz, Tomás Bures, Javier Cámara, Ada Diaconescu, Gregor Engels, Simos Gerasimou, Ilias Gerostathopoulos, Sinem Getir Yaman, Vincenzo Grassi, Sebastian Hahner, Emmanuel Letier, Marin Litoiu, Lina Marsso, Angelika Musil, Juergen Musil, Genaína Nunes Rodrigues, Diego Perez-Palacin, Federico Quin, Patrizia Scandurra, Antonio Vallecillo, Andrea Zisman:
Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems. ACM SIGSOFT Softw. Eng. Notes 48(4): 20-36 (2023) - [j19]Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra:
Enforcing Resilience in Cyber-physical Systems via Equilibrium Verification at Runtime. ACM Trans. Auton. Adapt. Syst. 18(3): 12:1-12:32 (2023) - [c76]Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra:
Architecting Explainable Service Robots. ECSA 2023: 153-169 - [c75]Mubashir Ali, Patrizia Scandurra, Fabio Moretti, Laura Blaso:
Architecting a big data-driven software architecture for smart street lighting. ICSA-C 2023: 1-10 - [c74]Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra:
Towards Better Trust in Human-Machine Teaming through Explainable Dependability. ICSA-C 2023: 86-90 - [c73]Vincenzo Riccio, Giancarlo Sorrentino, Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra:
Engineering Self-adaptive Microservice Applications: An Experience Report. ICSOC (1) 2023: 227-242 - [c72]Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra:
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems. REW 2023: 309-315 - [c71]Silvia Bonfanti, Elvinia Riccobene, Davide Santandrea, Patrizia Scandurra:
Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines. ABZ 2023: 107-115 - [e4]Bedir Tekinerdogan, Catia Trubiani, Chouki Tibermacine, Patrizia Scandurra, Carlos E. Cuesta:
Software Architecture - 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18-22, 2023, Proceedings. Lecture Notes in Computer Science 14212, Springer 2023, ISBN 978-3-031-42591-2 [contents] - 2022
- [c70]Andrea Bombarda, Silvia Bonfanti, Martina De Sanctis, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Patrizia Scandurra:
Towards an Evaluation Framework for Autonomous Systems. ACSOS-C 2022: 43-48 - [c69]Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra, Catia Trubiani:
Towards Online Testing Under Uncertainty Using Model-Based Reinforcement Learning. ECSA (Tracks and Workshops) 2022: 233-245 - [c68]Marcello M. Bersani, Chiara Braghin, Angelo Gargantini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra:
Engineering of Trust Analysis-Driven Digital Twins for a Medical Device. ECSA (Tracks and Workshops) 2022: 467-482 - [c67]Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Compositional Simulation of Abstract State Machines for Safety Critical Systems. FACS 2022: 3-19 - [c66]Marcello M. Bersani, Chiara Braghin, Vittorio Cortellessa, Angelo Gargantini, Vincenzo Grassi, F. Lo Presti, Raffaela Mirandola, Alfonso Pierantonio, Elvinia Riccobene, Patrizia Scandurra:
Towards Trust-preserving Continuous Co-evolution of Digital Twins. ICSA Companion 2022: 96-99 - [c65]Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra:
XSA: eXplainable Self-Adaptation. ASE 2022: 189:1-189:5 - [c64]Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra:
Taming Model Uncertainty in Self-adaptive Systems Using Bayesian Model Averaging. SEAMS 2022: 25-35 - [e3]Patrizia Scandurra, Matthias Galster, Raffaela Mirandola, Danny Weyns:
Software Architecture - 15th European Conference, ECSA 2021 Tracks and Workshops; Växjö, Sweden, September 13-17, 2021, Revised Selected Papers. Lecture Notes in Computer Science 13365, Springer 2022, ISBN 978-3-031-15115-6 [contents] - 2021
- [c63]Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra:
Runtime Equilibrium Verification for Resilient Cyber-Physical Systems. ACSOS 2021: 71-80 - [c62]Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
The ASMETA Approach to Safety Assurance of Software Systems. Logic, Computation and Rigorous Methods 2021: 215-238 - [c61]Silvia Bonfanti, Elvinia Riccobene, Patrizia Scandurra:
A Runtime Safety Enforcement Approach by Monitoring and Adaptation. ECSA 2021: 20-36 - [c60]Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Catia Trubiani:
Uncertainty-aware Exploration in Model-based Testing. ICST 2021: 71-81 - [c59]Mubashir Ali, Patrizia Scandurra, Fabio Moretti, Laura Blaso, Mariagrazia Leccisi, Fabio Leccese:
From Big Data to Smart Data-centric Software Architectures for City Analytics: the case of the PELL Smart City Platform. SMDS 2021: 95-104 - [p3]Carolyn L. Talcott, Sofia Ananieva, Kyungmin Bae, Benoît Combemale, Robert Heinrich, Mark Hills, Narges Khakpour, Ralf H. Reussner, Bernhard Rumpe, Patrizia Scandurra, Hans Vangheluwe, Francisco Durán, Steffen Zschaler:
Foundations. Composing Model-Based Analysis Tools 2021: 9-37 - [p2]Carolyn L. Talcott, Sofia Ananieva, Kyungmin Bae, Benoît Combemale, Robert Heinrich, Mark Hills, Narges Khakpour, Ralf H. Reussner, Bernhard Rumpe, Patrizia Scandurra, Hans Vangheluwe:
Composition of Languages, Models, and Analyses. Composing Model-Based Analysis Tools 2021: 45-70 - [d1]Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra:
[dataset] Runtime Equilibrium Verification for Resilient Cyber-physical Systems. Zenodo, 2021
- 2020
- [j18]Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra:
MSL: A pattern language for engineering self-adaptive systems. J. Syst. Softw. 164: 110558 (2020) - [j17]Matteo Camilli, Angelo Gargantini, Patrizia Scandurra:
Model-based hypothesis testing of uncertain software systems. Softw. Test. Verification Reliab. 30(2) (2020) - [c58]Elvinia Riccobene, Patrizia Scandurra:
Exploring the Concept of Abstract State Machines for System Runtime Enforcement. ABZ 2020: 244-247 - [c57]Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA. ABZ 2020: 302-317 - [c56]Elvinia Riccobene, Patrizia Scandurra:
Model-Based Simulation at Runtime with Abstract State Machines. ECSA Companion 2020: 395-410 - [c55]Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra:
Model-Based Testing for MAPE-K adaptation control loops. ICST Workshops 2020: 43-51 - [c54]Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra, Alberto Arrigoni, Daniele Bosc, Federico Modica, Rita Pedercini:
Smart home platform supporting decentralized adaptive automation control. SAC 2020: 1893-1900 - [e2]Henry Muccini, Paris Avgeriou, Barbora Buhnova, Javier Cámara, Mauro Caporuscio, Mirco Franzago, Anne Koziolek, Patrizia Scandurra, Catia Trubiani, Danny Weyns, Uwe Zdun:
Software Architecture - 14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14-18, 2020, Proceedings. Communications in Computer and Information Science 1269, Springer 2020, ISBN 978-3-030-59154-0 [contents]
2010 – 2019
- 2019
- [j16]Dario Facchinetti, Giuseppe Psaila, Patrizia Scandurra:
Mobile cloud computing for indoor emergency response: the IPSOS assistant case study. J. Reliab. Intell. Environ. 5(3): 173-191 (2019) - [c53]Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra:
Self-accounting in architecture-based self-adaptation. ECSA (Companion) 2019: 14-17 - [c52]Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Addressing Usability in a Formal Development Environment. FM Workshops (1) 2019: 61-76 - [c51]Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra:
A Pattern-Oriented Design Framework for Self-Adaptive Software Systems. ICSA Companion 2019: 166-169 - [c50]Matteo Camilli, Angelo Gargantini, Rosario Madaudo, Patrizia Scandurra:
HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications. IFM 2019: 495-503 - [e1]Laurence Duchien, Anne Koziolek, Raffaela Mirandola, Elena Maria Navarro Martínez, Clément Quinton, Riccardo Scandariato, Patrizia Scandurra, Catia Trubiani, Danny Weyns:
Proceedings of the 13th European Conference on Software Architecture, ECSA 2019, Paris, France, September 9-13, 2019, Companion Proceedings (Proceedings Volume 2),. ACM 2019, ISBN 978-1-4503-7142-1 [contents] - 2018
- [j15]Matteo Camilli, Angelo Gargantini, Patrizia Scandurra:
Zone-based formal specification and timing analysis of real-time self-adaptive systems. Sci. Comput. Program. 159: 28-57 (2018) - [c49]Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra:
A DSL for MAPE Patterns Representation in Self-adapting Systems. ECSA 2018: 3-19 - [c48]Matteo Camilli, Carlo Bellettini, Angelo Gargantini, Patrizia Scandurra:
Online Model-Based Testing under Uncertainty. ISSRE 2018: 36-46 - 2017
- [j14]Paolo Arcaini, Elvinia Riccobene, Patrizia Scandurra:
Formal Design and Verification of Self-Adaptive Systems with Decentralized Control. ACM Trans. Auton. Adapt. Syst. 11(4): 25:1-25:35 (2017) - [c47]Silvia Bonfanti, Valentina Centurelli, Elvinia Riccobene, Patrizia Scandurra:
The female contribution in architecting a set of tools for a formal method: role of women in software architecture (short paper). ECSA (Companion) 2017: 12-15 - [c46]Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Carlo Bellettini:
Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets. NFM 2017: 115-130 - [c45]Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Carlo Bellettini:
Towards Inverse Uncertainty Quantification in Software Development (Short Paper). SEFM 2017: 375-381 - 2016
- [j13]Steven Capelli, Patrizia Scandurra:
A framework for early design and prototyping of service-oriented applications with design patterns. Comput. Lang. Syst. Struct. 46: 140-166 (2016) - [c44]Paolo Arcaini, Silvia Bonfanti, Marcel Dausend, Angelo Gargantini, Atif Mashkoor, Alexander Raschke, Elvinia Riccobene, Patrizia Scandurra, Michael Stegmaier:
Unified Syntax for Abstract State Machines. ABZ 2016: 231-236 - [c43]Patrizia Scandurra, Marina Mongiello, Simona Colucci, Luigi Alfredo Grieco:
Towards a Goal-oriented Approach to Adaptable Re-deployment of Cloud-based Applications. CLOSER (1) 2016: 253-260 - 2015
- [c42]Raffaela Mirandola, Diego Perez-Palacin, Patrizia Scandurra, Michele Brignoli, Andrea Zonca:
Business Process Adaptability Metrics for QoS-Based Service Compositions. ESOCC 2015: 110-124 - [c41]Paolo Arcaini, Elvinia Riccobene, Patrizia Scandurra:
Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation. SEAMS@ICSE 2015: 13-23 - [c40]Matteo Camilli, Angelo Gargantini, Patrizia Scandurra:
Specifying and verifying real-time self-adaptive systems. ISSRE 2015: 303-313 - [c39]Patrizia Scandurra, Giuseppe Psaila, Rafael Capilla, Raffaela Mirandola:
Challenges and assessment in migrating IT legacy applications to the cloud. MESOCA 2015: 7-14 - [c38]Elvinia Riccobene, Patrizia Scandurra:
Formal modeling self-adaptive service-oriented applications. SAC 2015: 1704-1710 - [p1]Raffaela Mirandola, Pasqualina Potena, Elvinia Riccobene, Patrizia Scandurra:
Formal Reliability Models for Web Services. Correct Software in Web Applications and Web Services 2015: 229-256 - 2014
- [j12]Elvinia Riccobene, Patrizia Scandurra:
A formal framework for service modeling and prototyping. Formal Aspects Comput. 26(6): 1077-1113 (2014) - [j11]Raffaela Mirandola, Pasqualina Potena, Elvinia Riccobene, Patrizia Scandurra:
A reliability model for Service Component Architectures. J. Syst. Softw. 89: 109-127 (2014) - [j10]Raffaela Mirandola, Pasqualina Potena, Patrizia Scandurra:
Adaptation space exploration for service-oriented applications. Sci. Comput. Program. 80: 356-384 (2014) - [c37]Elvinia Riccobene, Patrizia Scandurra:
Towards ASM-Based Formal Specification of Self-Adaptive Systems. ABZ 2014: 204-209 - [c36]Patrizia Scandurra, Steven Capelli:
A Practical and Automated Approach for Engineering Service-Oriented Applications with Design Patterns. COMPSAC Workshops 2014: 684-689 - [c35]Giuseppe Psaila, Patrizia Scandurra, Steven Rovelli, Enrico Mazzucchelli, Matteo Taiocchi:
A Mobile/Cloud Emergency Response Application for Indoor Assisted Living. NGMAST 2014: 31-36 - 2013
- [j9]Massimo Bombino, Patrizia Scandurra:
A model-driven co-simulation environment for heterogeneous systems. Int. J. Softw. Tools Technol. Transf. 15(4): 363-374 (2013) - 2012
- [j8]Elvinia Riccobene, Patrizia Scandurra:
Integrating the SysML and the SystemC-UML profiles in a model-driven embedded system design flow. Des. Autom. Embed. Syst. 16(3): 53-91 (2012) - [c34]Andrea Luzzana, Mattia Rossetti, Paolo Righettini, Patrizia Scandurra:
Modeling Synchronization/Communication Patterns in Vision-Based Robot Control Applications Using ASMs. ABZ 2012: 331-335 - [c33]Raffaela Mirandola, Pasqualina Potena, Patrizia Scandurra:
A Reliability Prediction Method for Abstract State Machines. ABZ 2012: 336-340 - [c32]Patrizia Scandurra, Claudia Raibulet, Pasqualina Potena, Raffaela Mirandola, Rafael Capilla:
Adapting Cloud-based Applications through a Coordinated and Optimized Resource Allocation Approach. CLOSER 2012: 355-364 - [c31]Elvinia Riccobene, Pasqualina Potena, Patrizia Scandurra:
Reliability Prediction for Service Component Architectures with the SCA-ASM Component Model. EUROMICRO-SEAA 2012: 125-132 - [c30]Patrizia Scandurra, Claudia Raibulet, Pasqualina Potena, Raffaela Mirandola, Rafael Capilla:
A layered coordination framework for optimizing resource allocation in adapting cloud-based applications. SAC 2012: 471-472 - [c29]Patrizia Scandurra, Andrea Arnoldi, Tao Yue, Marco Dolci:
Functional requirements validation by transforming use case models into Abstract State Machines. SAC 2012: 1063-1068 - 2011
- [j7]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
A model-driven process for engineering a toolset for a formal method. Softw. Pract. Exp. 41(2): 155-166 (2011) - [c28]Elvinia Riccobene, Patrizia Scandurra, Fabio Albani:
A Modeling and Executable Language for Designing and Prototyping Service-Oriented Applications. EUROMICRO-SEAA 2011: 4-11 - [c27]Davide Brugali, Luca Gherardi, Elvinia Riccobene, Patrizia Scandurra:
Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines. FACS 2011: 331-349 - [c26]Raffaela Mirandola, Pasqualina Potena, Patrizia Scandurra:
An optimization process for adaptation space exploration of service-oriented applications. SOSE 2011: 146-151 - 2010
- [c25]Elvinia Riccobene, Patrizia Scandurra:
An Executable Semantics of the SystemC UML Profile. ASM 2010: 75-90 - [c24]Elvinia Riccobene, Patrizia Scandurra:
An ASM-based executable formal model of service-oriented component interactions and orchestration. BM-FA 2010: 5 - [c23]Elvinia Riccobene, Patrizia Scandurra:
Specifying Formal executable Behavioral Models for Structural Models of Service-oriented Components. ACT4SOC 2010: 29-41
2000 – 2009
- 2009
- [j6]Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
A semantic framework for metamodel-based languages. Autom. Softw. Eng. 16(3-4): 415-454 (2009) - [j5]Elvinia Riccobene, Patrizia Scandurra:
Model transformations in the UPES/UPSoC development process for embedded systems. Innov. Syst. Softw. Eng. 5(1): 35-47 (2009) - [j4]Davide Brugali, Patrizia Scandurra:
Component-based robotic engineering (Part I) [Tutorial]. IEEE Robotics Autom. Mag. 16(4): 84-96 (2009) - [j3]Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti, Luigi Lavazza, Luigi Mantellini:
SystemC/C-based model-driven design for embedded systems. ACM Trans. Embed. Comput. Syst. 8(4): 30:1-30:37 (2009) - [c22]Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Ten Reasons to Metamodel ASMs. Rigorous Methods for Software Construction and Analysis 2009: 33-49 - [c21]Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Integrating Formal Methods with Model-Driven Engineering. ICSEA 2009: 86-92 - 2008
- [j2]Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
A Metamodel-based Language and a Simulation Engine for Abstract State Machines. J. Univers. Comput. Sci. 14(12): 1949-1983 (2008) - [c20]Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
A Scenario-Based Validation Language for ASMs. ABZ 2008: 71-84 - [c19]Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Exploiting the ASM Method for Validation & Verification of Embedded Systems. ABZ 2008: 348 - [c18]Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Model-Driven System Validation by Scenarios. FDL (Selected Papers) 2008: 57-69 - [c17]Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, Alessandro Carioni:
Scenario-based Validation of Embedded Systems. FDL 2008: 191-196 - [c16]Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Model-Driven Language Engineering: The ASMETA Case Study. ICSEA 2008: 373-378 - [c15]Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
A model-driven validation & verification environment for embedded systems. SIES 2008: 241-244 - 2007
- [c14]Sara Bocchio, Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra:
A complete SystemC UML profile with dynamic features for behavioral descriptions. FDL 2007: 191-197 - [c13]Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio:
Designing a Unified Process for Embedded Systems. MOMPES 2007: 77-90 - [c12]Sara Bocchio, Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra:
Process State Machines for Behavioral Modeling of Embedded Systems. SIES 2007: 274-281 - [i1]Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Exploiting the ASM method within the Model-driven Engineering paradigm. Rigorous Methods for Software Construction and Analysis 2007 - 2006
- [c11]Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio:
A model-driven design environment for embedded systems. DAC 2006: 915-918 - [c10]Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti:
A Model-driven Co-design Flow for Embedded Systems. FDL 2006: 345-351 - [c9]Wolfgang Mueller, Alberto Rosti, Sara Bocchio, Elvinia Riccobene, Patrizia Scandurra, Wim Dehaene, Yves Vanderperren:
UML for ESL design: basic principles, tools, and applications. ICCAD 2006: 73-80 - 2005
- [c8]Patrizia Scandurra, Angelo Gargantini, Claudia Genovese, Tiziana Genovese, Elvinia Riccobene:
A Concrete Syntax Derived From the Abstract State Machine Metamodel. Abstract State Machines 2005: 345-368 - [c7]Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio:
A SoC Design Methodology Involving a UML 2.0 Profile for SystemC. DATE 2005: 704-709 - [c6]Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio:
A UML 2.0 profile for SystemC: toward high-level SoC design. EMSOFT 2005: 138-141 - [c5]Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio:
An HW/SW Co-design Environment based on UML and SystemC. FDL 2005: 515-519 - 2004
- [j1]Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra:
Mapping UML into Abstract State Machines: A Framework to Simulate UML Models. Stud. Inform. Univ. 3(3): 367-398 (2004) - [c4]Elvinia Riccobene, Patrizia Scandurra:
Towards an Interchange Language for ASMs. Abstract State Machines 2004: 111-126 - [c3]Elvinia Riccobene, Patrizia Scandurra:
Modelling SystemC Process Behavior by the UML Method State Machines. RISE 2004: 112-121 - [c2]Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra:
A framework to simulate UML models: moving from a semi-formal to a formal environment. SAC 2004: 1519-1523 - 2003
- [c1]Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra:
Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines. Abstract State Machines 2003: 229-243
Coauthor Index
[j25] [j23] [c78] [e5] [j21] [c71] [c70] [c68] [c67] [c66] [c62] [c61] [j18] [c58] [c57] [c56] [c55] [c54] [c53] [c52] [c51] [c49] [j14] [c47] [c44] [c41] [c38] [p1] [j12] [j11] [c37] [j8] [c31] [j7] [c28] [c27] [c25] [c24] [c23] [j6] [j5] [j3] [c22] [c21] [j2] [c20] [c19] [c18] [c17] [c16] [c15] [c14] [c13] [c12] [i1] [c11] [c10] [c9] [c8] [c7] [c6] [c5] [j1] [c4] [c3] [c2] [c1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-16 21:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
