( en | de | ru )

 

Disambiguation of "Spoletini, Paola"

Author of the publication

copydeleteadd this publication to your clipboard
From model checking to a temporal proof for partial models: preliminary example.

, , , , and . CoRR, (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.

Anna-Pia Paolazzi

Domingos Paola

Paola Traverso

Paola Borri

Paola Nava

 

Other publications of authors with the same name

A Fuzzy Extension for the XPath Query Language., , and . FQAS, volume 4027 of Lecture Notes in Computer Science, page 210-221. Springer, (2006)Supporting Verification-Driven Incremental Distributed Design of Components., , , and . FASE, volume 10802 of Lecture Notes in Computer Science, page 169-188. Springer, (2018)Strategies, Benefits and Challenges of App Store-inspired Requirements Elicitation., and . ICSE, page 1290-1302. IEEE, (2023)A framework for XML data streams history checking and monitoring., and . WWW, page 983-984. ACM, (2006)Managing non-functional uncertainty via model-driven adaptivity., , , and . ICSE, page 33-42. IEEE Computer Society, (2013)Integrating Goal Model Analysis with Iterative Design., , and . REFSQ, volume 10153 of Lecture Notes in Computer Science, page 112-128. Springer, (2017)Verification of temporal logic specifications via model checking.. Polytechnic University of Milan, Italy, (2005)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)