( en | de | ru )

 

Disambiguation of "Spoletini, Paola"

Author of the publication

copydeleteadd this publication to your clipboard
LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run Time.

, and . FACS, volume 7684 of Lecture Notes in Computer Science, page 170-187. Springer, (2012)

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.

Anna-Pia Paolazzi

Domingos Paola

Paola Borri

Paola Nava

Paola Belloni

 

Other publications of authors with the same name

Supporting Verification-Driven Incremental Distributed Design of Components., , , and . FASE, volume 10802 of Lecture Notes in Computer Science, page 169-188. Springer, (2018)A Fuzzy Extension for the XPath Query Language., , and . FQAS, volume 4027 of Lecture Notes in Computer Science, page 210-221. Springer, (2006)Verification of temporal logic specifications via model checking.. Polytechnic University of Milan, Italy, (2005)Strategies, Benefits and Challenges of App Store-inspired Requirements Elicitation., and . ICSE, page 1290-1302. IEEE, (2023)Managing non-functional uncertainty via model-driven adaptivity., , , and . ICSE, page 33-42. IEEE Computer Society, (2013)A framework for XML data streams history checking and monitoring., and . WWW, page 983-984. ACM, (2006)Integrating Goal Model Analysis with Iterative Design., , and . REFSQ, volume 10153 of Lecture Notes in Computer Science, page 112-128. Springer, (2017)A graph-coloring approach to the allocation and tasks scheduling for reconfigurable architectures., , , and . VLSI-SoC, page 24-29. IEEE, (2006)History Checking of XML Data Streams., and . DEXA Workshops, page 542-546. IEEE Computer Society, (2006)Using Voice and Biofeedback to Predict User Engagement during Product Feedback Interviews., , , , , and . ACM Trans. Softw. Eng. Methodol., 33 (4): 87:1-87:36 (May 2024)