( en | de | ru )

 

Disambiguation of "Scandurra, Patrizia"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Design and Verification of Self-Adaptive Systems with Decentralized Control.

, , and . ACM Trans. Auton. Adapt. Syst., 11 (4): 25:1-25:35 (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Marco Scandurra

Isabella Scandurra

Patrizia Hey

Patrizia Cantoni

Patrizia Benedetti

 

Other publications of authors with the same name

Exploring the Concept of Abstract State Machines for System Runtime Enforcement., and . ABZ, volume 12071 of Lecture Notes in Computer Science, page 244-247. Springer, (2020)Mobile cloud computing for indoor emergency response: the IPSOS assistant case study., , and . J. Reliab. Intell. Environ., 5 (3): 173-191 (2019)A DSL for MAPE Patterns Representation in Self-adapting Systems., , , and . ECSA, volume 11048 of Lecture Notes in Computer Science, page 3-19. Springer, (2018)Mapping UML into Abstract State Machines: A Framework to Simulate UML Models., , and . Stud. Inform. Univ., 3 (3): 367-398 (2004)Modelling SystemC Process Behavior by the UML Method State Machines, and . (2005)Towards an Evaluation Framework for Autonomous Systems., , , , , , and . ACSOS-C, page 43-48. IEEE, (2022)A Conceptual Framework for Explainability Requirements in Software-Intensive Systems., , , , , and . REW, page 309-315. IEEE, (2023)Uncertainty-aware Exploration in Model-based Testing., , , and . ICST, page 71-81. IEEE, (2021)A Practical and Automated Approach for Engineering Service-Oriented Applications with Design Patterns., and . COMPSAC Workshops, page 684-689. IEEE Computer Society, (2014)A model-driven validation & verification environment for embedded systems., , and . SIES, page 241-244. IEEE, (2008)