![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Paola Spoletini
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2005
- [b1]Paola Spoletini:
Verification of temporal logic specifications via model checking. Polytechnic University of Milan, Italy, 2005
Journal Articles
- 2024
- [j20]Alessio Ferrari
, Thaide Huichapa
, Paola Spoletini
, Nicole Novielli
, Davide Fucci
, Daniela Girardi
:
Using Voice and Biofeedback to Predict User Engagement during Product Feedback Interviews. ACM Trans. Softw. Eng. Methodol. 33(4): 87:1-87:36 (2024) - 2023
- [j19]Fabiano Dalpiaz, Paola Spoletini
:
Editorial. Requir. Eng. 28(1): 1-2 (2023) - 2022
- [j18]Alessio Ferrari
, Paola Spoletini
, Sourav Debnath:
How do requirements evolve during elicitation? An empirical study combining interviews and app store analysis. Requir. Eng. 27(4): 489-519 (2022) - 2021
- [j17]Claudio Menghi
, Alessandro Maria Rizzi, Anna Bernasconi
, Paola Spoletini:
TOrPEDO: witnessing model correctness with topological proofs. Formal Aspects Comput. 33(6): 1039-1066 (2021) - 2020
- [j16]Alessio Ferrari
, Paola Spoletini
, Muneera Bano
, Didar Zowghi
:
SaPeer and ReverseSaPeer: teaching requirements elicitation interviews with role-playing and role reversal. Requir. Eng. 25(4): 417-438 (2020) - 2019
- [j15]Claudio Menghi
, Paola Spoletini, Marsha Chechik, Carlo Ghezzi:
A verification-driven framework for iterative design of controllers. Formal Aspects Comput. 31(5): 459-502 (2019) - [j14]Muneera Bano
, Didar Zowghi
, Alessio Ferrari
, Paola Spoletini, Beatrice Donati:
Teaching requirements elicitation interviews: an empirical study of learning from mistakes. Requir. Eng. 24(3): 259-289 (2019) - [j13]Alexander Dekhtyar, Jane Huffman Hayes
, Irit Hadar, Erin Combs, Alessio Ferrari
, Sarah Gregory, Jennifer Horkoff
, Meira Levy
, Maleknaz Nayebi, Barbara Paech, Jared Payne, Matt Primrose, Paola Spoletini, Shell Clarke, Chuck Brophy, Daniel Amyot
, Walid Maalej, Guenther Ruhe, Jane Cleland-Huang, Didar Zowghi
:
Requirements Engineering (RE) for Social Good: RE Cares [Requirements]. IEEE Softw. 36(1): 86-94 (2019) - 2018
- [j12]Alessandro Antonio Nacci, Vincenzo Rana, Bharathan Balaji, Paola Spoletini, Rajesh K. Gupta
, Donatella Sciuto, Yuvraj Agarwal:
BuildingRules: A Trigger-Action-Based System to Manage Complex Commercial Buildings. ACM Trans. Cyber Phys. Syst. 2(2): 13:1-13:22 (2018) - 2017
- [j11]Carlo A. Furia
, Paola Spoletini:
Bounded variability of metric temporal logic. Ann. Math. Artif. Intell. 80(3-4): 283-316 (2017) - 2016
- [j10]Alessio Ferrari
, Paola Spoletini
, Stefania Gnesi:
Ambiguity and tacit knowledge in requirements elicitation interviews. Requir. Eng. 21(3): 333-355 (2016) - [j9]Liliana Pasquale, Paola Spoletini
, Mazeiar Salehie, Luca Cavallaro, Bashar Nuseibeh:
Automating trade-off analysis of security requirements. Requir. Eng. 21(4): 481-504 (2016) - 2014
- [j8]Carlo Ghezzi, Claudio Menghi
, Amir Molzam Sharifloo, Paola Spoletini:
On requirement verification for evolving Statecharts specifications. Requir. Eng. 19(3): 231-255 (2014) - [j7]Achille Frigeri, Liliana Pasquale, Paola Spoletini
:
Fuzzy Time in Linear Temporal Logic. ACM Trans. Comput. Log. 15(4): 30:1-30:22 (2014) - 2010
- [j6]Edith Elkind, Blaise Genest, Doron A. Peled, Paola Spoletini:
Quantifying the Discord: Order Discrepancies in Message Sequence Charts. Int. J. Found. Comput. Sci. 21(2): 211-233 (2010) - 2009
- [j5]Vahid Rafe, Adel Torkaman Rahmani, Luciano Baresi
, Paola Spoletini
:
Towards automated verification of layered graph transformation specifications. IET Softw. 3(4): 276-291 (2009) - [j4]Alessandro Campi
, Ernesto Damiani
, Sam Guinea, Stefania Marrara, Gabriella Pasi, Paola Spoletini:
A fuzzy extension of the XPath query language. J. Intell. Inf. Syst. 33(3): 285-305 (2009) - [j3]Simone Corbetta, Massimo Morandi, Marco Novati, Marco D. Santambrogio
, Donatella Sciuto
, Paola Spoletini:
Internal and External Bitstream Relocation for Partial Dynamic Reconfiguration. IEEE Trans. Very Large Scale Integr. Syst. 17(11): 1650-1654 (2009) - 2007
- [j2]Luciano Baresi
, Domenico Bianculli
, Carlo Ghezzi, Sam Guinea, Paola Spoletini
:
Validation of web service compositions. IET Softw. 1(6): 219-232 (2007) - [j1]Daniele Braga, Alessandro Campi
, Stefano Ceri, Paola Spoletini:
XQuery layers. SIGMOD Rec. 36(1): 25-30 (2007)
Conference and Workshop Papers
- 2024
- [c74]Giovanna Broccia
, Maurice H. ter Beek
, Alberto Lluch-Lafuente
, Paola Spoletini
, Alessio Ferrari
:
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements. REFSQ 2024: 39-56 - [c73]Paola Spoletini
, Alessio Ferrari
:
The Return of Formal Requirements Engineering in the Era of Large Language Models. REFSQ 2024: 344-353 - 2023
- [c72]Alessio Ferrari, Paola Spoletini:
Strategies, Benefits and Challenges of App Store-inspired Requirements Elicitation. ICSE 2023: 1290-1302 - [c71]Paola Spoletini:
Towards Quantum Requirements Engineering. REW 2023: 371-374 - [c70]Maria Valero, Paola Spoletini:
RE Practices When Developing IoT for Healthcare: The Case of GlucoCheck. REW 2023: 379-382 - [c69]Alicia M. Grubb
, Paola Spoletini
:
Bringing Stakeholders Along for the Ride: Towards Supporting Intentional Decisions in Software Evolution. REFSQ 2023: 56-64 - [c68]Roger Ian Konlog, Paola Spoletini:
REIT-Builder: Customizable Training for Requirements Elicitation Interviews. REFSQ Workshops 2023 - [c67]Paola Spoletini, Daniel Amyot:
Preface: Journal Early Feedback Track. REFSQ Workshops 2023 - 2022
- [c66]Himaja Cherukuri, Alessio Ferrari
, Paola Spoletini
:
Towards Explainable Formal Methods: From LTL to Natural Language with Neural Machine Translation. REFSQ 2022: 79-86 - 2021
- [c65]Yizhaq Benbenisty, Irit Hadar, Gil Luria, Paola Spoletini
:
Privacy as first-class requirements in software development: A socio-technical approach. ASE 2021: 1363-1367 - [c64]Sourav Debnath, Paola Spoletini
, Alessio Ferrari:
From Ideas to Expressed Needs: an Empirical Study on the Evolution of Requirements during Elicitation. RE 2021: 233-244 - 2020
- [c63]Daniela Girardi, Alessio Ferrari
, Nicole Novielli, Paola Spoletini, Davide Fucci, Thaide Huichapa:
The Way it Makes you Feel Predicting Users' Engagement during Interviews with Biofeedback and Supervised Learning. RE 2020: 32-43 - [c62]Muneera Bano
, Didar Zowghi
, Alessio Ferrari
, Paola Spoletini
:
Inspectors Academy : Pedagogical Design for Requirements Inspection Training. RE 2020: 215-226 - [c61]Sourav Debnath, Paola Spoletini:
Designing a Virtual Client for Requirements Elicitation Interviews. REFSQ 2020: 160-166 - 2019
- [c60]Vincenzo Gervasi
, Alessio Ferrari
, Didar Zowghi
, Paola Spoletini:
Ambiguity in Requirements Engineering: Towards a Unifying Framework. From Software Engineering to Formal Methods and Tools, and Back 2019: 191-210 - [c59]Alessio Ferrari
, Paola Spoletini, Muneera Bano
, Didar Zowghi
:
Learning Requirements Elicitation Interviews with Role-Playing, Self-Assessment and Peer-Review. RE 2019: 28-39 - [c58]Paola Spoletini, Patrick Mäder:
Preface. REFSQ Workshops 2019 - [c57]Richard Halstead-Nussloch, Paola Spoletini:
On Including the Institutional Review Board Process in Undergraduate Information Technology Curricula. SIGITE 2019: 103 - 2018
- [c56]Claudio Menghi
, Paola Spoletini
, Marsha Chechik
, Carlo Ghezzi
:
Supporting Verification-Driven Incremental Distributed Design of Components. FASE 2018: 169-188 - [c55]Reza M. Parizi, Paola Spoletini
, Amritraj Singh:
Measuring Team Members' Contributions in Software Engineering Projects using Git-driven Technology. FIE 2018: 1-5 - [c54]Paola Spoletini
, Reza M. Parizi:
Bias-aware guidelines and fairness-preserving Taxonomy in software engineering education. FIE 2018: 1-4 - [c53]Kim Hertz, Paola Spoletini:
Are Requirements Engineering Courses Covering what Industry Needs? A Preliminary Analysis of the United States Situation. REET@RE 2018: 20-23 - [c52]Muneera Bano, Didar Zowghi
, Alessio Ferrari
, Paola Spoletini, Beatrice Donati:
Learning from Mistakes: An Empirical Study of Elicitation Interviews Performed by Novices. RE 2018: 182-193 - [c51]Paola Spoletini, Alessio Ferrari
, Muneera Bano
, Didar Zowghi
, Stefania Gnesi:
Interview Review: An Empirical Study on Detecting Ambiguities in Requirements Elicitation Interviews. REFSQ 2018: 101-118 - 2017
- [c50]Aman Bhimani, Paola Spoletini:
Empowering Requirements Elicitation for Populations with Special Needs by Using Virtual Reality. ACM Southeast Regional Conference 2017: 268-270 - [c49]Yehia Elrakaiby
, Alessio Ferrari
, Paola Spoletini
, Stefania Gnesi, Bashar Nuseibeh
:
Using Argumentation to Explain Ambiguity in Requirements Elicitation Interviews. RE 2017: 51-60 - [c48]Alessio Ferrari
, Paola Spoletini, Beatrice Donati, Didar Zowghi
, Stefania Gnesi:
Interview Review: Detecting Latent Ambiguities to Improve the Requirements Elicitation Process. RE 2017: 400-405 - [c47]Paola Spoletini
, Alessio Ferrari
:
Requirements Elicitation: A Look at the Future Through the Lenses of the Past. RE 2017: 476-477 - [c46]Claudio Menghi
, Paola Spoletini, Carlo Ghezzi:
Integrating Goal Model Analysis with Iterative Design. REFSQ 2017: 112-128 - [c45]Beatrice Donati, Alessio Ferrari
, Paola Spoletini, Stefania Gnesi:
Common Mistakes of Student Analysts in Requirements Elicitation Interviews. REFSQ 2017: 148-164 - [c44]Claudio Menghi, Paola Spoletini, Carlo Ghezzi:
COVER: Change-based Goal Verifier and Reasoner. REFSQ Workshops 2017 - [c43]Anna Bernasconi
, Claudio Menghi
, Paola Spoletini, Lenore D. Zuck, Carlo Ghezzi:
From Model Checking to a Temporal Proof for Partial Models. SEFM 2017: 54-69 - 2016
- [c42]Claudio Menghi
, Paola Spoletini, Carlo Ghezzi:
Dealing with Incompleteness in Automata-Based Model Checking. FM 2016: 531-550 - [c41]Alessio Ferrari
, Paola Spoletini
, Stefania Gnesi:
Ambiguity Cues in Requirements Elicitation Interviews. RE 2016: 56-65 - [c40]Paola Spoletini
, Casey Brock, Rahat Shahwar, Alessio Ferrari
:
Empowering Requirements Elicitation Interviews with Vocal and Biofeedback Analysis. RE 2016: 371-376 - 2015
- [c39]Alessandro Antonio Nacci, Bharathan Balaji, Paola Spoletini, Rajesh K. Gupta, Donatella Sciuto, Yuvraj Agarwal:
BuildingRules: a trigger-action based system to manage complex commercial buildings. UbiComp/ISWC Adjunct 2015: 381-384 - [c38]Alessio Ferrari
, Paola Spoletini, Stefania Gnesi:
Ambiguity as a resource to disclose tacit knowledge. RE 2015: 26-35 - 2014
- [c37]Alessandro Campi
, Sam Guinea, Paola Spoletini
:
An Operational Semantics for XML Fuzzy Queries. IJCCI (FCTA) 2014: 205-210 - [c36]Paola Spoletini
, Alessio Ferrari
, Stefania Gnesi
:
Context transformations for goal models. MoDRE 2014: 17-26 - [c35]Carlo A. Furia, Paola Spoletini
:
Bounded Variability of Metric Temporal Logic. TIME 2014: 155-163 - 2013
- [c34]Carlo Ghezzi, Leandro Sales Pinto, Paola Spoletini
, Giordano Tamburrelli:
Managing non-functional uncertainty via model-driven adaptivity. ICSE 2013: 33-42 - [c33]Carlo Ghezzi, Claudio Menghi
, Amir Molzam Sharifloo, Paola Spoletini
:
On requirements verification for model refinements. RE 2013: 62-71 - [c32]Liliana Pasquale, Paola Spoletini, Dario Pometto, Francesco Blasi
, Tiziana Redaelli:
Requirements Engineering Meets Physiotherapy: An Experience with Motion-Based Games. REFSQ 2013: 315-330 - 2012
- [c31]Amir Molzam Sharifloo, Paola Spoletini:
LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run Time. FACS 2012: 170-187 - [c30]Carlo A. Furia, Paola Spoletini
:
Automata-based Verification of Linear Temporal Logic Models with Bounded Variability. TIME 2012: 89-96 - 2011
- [c29]Sam Guinea, Paola Spoletini
:
Evaluating the compatibility of conversational service interactions. PESOS@ICSE 2011: 29-35 - [c28]Liliana Pasquale, Paola Spoletini
:
Monitoring fuzzy temporal requirements for service compositions: Motivations, challenges and experimental results. RESS 2011: 63-69 - [c27]Carlo A. Furia, Paola Spoletini:
On Relaxing Metric Information in Linear Temporal Logic. TIME 2011: 72-79 - 2010
- [c26]Luciano Baresi
, Liliana Pasquale, Paola Spoletini
:
Fuzzy Goals for Requirements-Driven Adaptation. RE 2010: 125-134 - 2009
- [c25]Luciano Baresi
, Domenico Bianculli
, Sam Guinea, Paola Spoletini:
Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions. FMOODS/FORTE 2009: 26-40 - [c24]Carlo A. Furia, Paola Spoletini:
Towards Relaxing Metric Information in Linear Temporal Logic. ICTCS 2009: 121-124 - 2008
- [c23]Paola Spoletini, Mario Verdicchio:
An Automata-Based Monitoring Technique for Commitment-Based Multi-Agent Systems. COIN@AAMAS&AAAI 2008: 172-187 - [c22]Carlo A. Furia, Paola Spoletini
:
Practical Efficient Modular Linear-Time Model-Checking. ATVA 2008: 408-417 - [c21]Carlo A. Furia, Marco Mazzucchelli, Paola Spoletini
, Mara Tanelli
:
Towards the exhaustive verification of real-time aspects in controller implementation. CACSD 2008: 1265-1270 - [c20]Carlo A. Furia, Paola Spoletini:
Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers. ICTAC 2008: 126-140 - [c19]Filippo Bonchi
, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto
:
Preface. ICE@ICALP 2008: 1-2 - 2007
- [c18]Edith Elkind, Blaise Genest, Doron A. Peled, Paola Spoletini:
Quantifying the Discord: Order Discrepancies in Message Sequence Charts. ATVA 2007: 378-393 - [c17]Paola Spoletini, Mario Verdicchio:
Commitment Monitoring in a Multiagent System. CEEMAS 2007: 83-92 - [c16]Fei He, Luciano Baresi
, Carlo Ghezzi, Paola Spoletini:
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. FORTE 2007: 247-262 - [c15]Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella
, Pierluigi San Pietro:
Model Checking Temporal Metric Specifications with Trio2Promela. FSEN 2007: 388-395 - [c14]Domenico Bianculli
, Angelo Morzenti, Matteo Pradella
, Pierluigi San Pietro
, Paola Spoletini
:
Trio2Promela: A Model Checker for Temporal Metric Specifications. ICSE Companion 2007: 61-62 - [c13]Andrea Matta, Matteo Rossi, Paola Spoletini, Dino Mandrioli, Quirico Semeraro, Tullio Tolio:
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems. ICTAC 2007: 366-380 - [c12]Luciano Baresi
, Domenico Bianculli
, Carlo Ghezzi, Sam Guinea, Paola Spoletini
:
A Timed Extension of WSCoL. ICWS 2007: 663-670 - [c11]Domenico Bianculli
, Carlo Ghezzi, Paola Spoletini, Luciano Baresi
, Sam Guinea:
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions. Lipari Summer School 2007: 131-160 - [c10]Domenico Bianculli
, Carlo Ghezzi, Paola Spoletini
:
A Model Checking Approach to Verify BPEL4WS Workflows. SOCA 2007: 13-20 - [c9]Luciano Baresi
, Vahid Rafe, Adel Torkaman Rahmani, Paola Spoletini:
An Efficient Solution for Model Checking Graph Transformation Systems. GT-VC@CONCUR 2007: 3-21 - 2006
- [c8]Alessandro Campi, Paola Spoletini
:
History Checking of XML Data Streams. DEXA Workshops 2006: 542-546 - [c7]Alessandro Campi
, Sam Guinea, Paola Spoletini:
A Fuzzy Extension for the XPath Query Language. FQAS 2006: 210-221 - [c6]Luciano Baresi
, Paola Spoletini
:
On the Use of Alloy to Analyze Graph Transformation Systems. ICGT 2006: 306-320 - [c5]Marco Giorgetta, Marco D. Santambrogio
, Donatella Sciuto
, Paola Spoletini
:
A graph-coloring approach to the allocation and tasks scheduling for reconfigurable architectures. VLSI-SoC 2006: 24-29 - [c4]Alessandro Campi
, Paola Spoletini
:
A framework for XML data streams history checking and monitoring. WWW 2006: 983-984 - 2005
- [c3]Alessandra Cherubini, Enzo Colombo, Chiara Francalanci, Paola Spoletini:
A formal approach supporting the specification and verification of business conversation requirements. IADIS AC 2005: 467-478 - [c2]Enzo Colombo, John Mylopoulos, Paola Spoletini:
Modeling and Analyzing Context-Aware Composition of Services. ICSOC 2005: 198-213 - 2003
- [c1]Angelo Morzenti, Matteo Pradella
, Pierluigi San Pietro, Paola Spoletini:
Model-Checking TRIO Specifications in SPIN. FME 2003: 542-561
Parts in Books or Collections
- 2012
- [p3]Antonia Bertolino
, Guglielmo De Angelis, Felicita Di Giandomenico, Eda Marchetti
, Antonino Sabetta, Paola Spoletini:
Verification and Analysis of Autonomic Systems for Networked Enterprises. ArtDeco 2012: 143-169 - [p2]Eugenio Zimeo, Valentina Mazza, Giorgio Orsi, Elisa Quintarelli
, Antonio Romano, Paola Spoletini, Giancarlo Tretola, Alessandro Amirante, Alessio Botta
, Luca Cavallaro, Domenico Consoli, Ester Giallonardo, Fabrizio Maria Maggi, Gabriele Tiotto:
Putting It All Together: Using the ArtDeco Approach in the Wine Business Domain. ArtDeco 2012: 415-452 - 2008
- [p1]Doron A. Peled, Patrizio Pelliccione
, Paola Spoletini
:
Model Checking. Wiley Encyclopedia of Computer Science and Engineering 2008
Editorship
- 2023
- [e7]Alessio Ferrari, Birgit Penzenstadler, Irit Hadar, Shola Oyedeji, Sallam Abualhaija, Andreas Vogelsang, Gouri Deshpande, Alexander Rachmann, Jens Gulden, Andrea Wohlgemuth, Anne Hess, Samuel Fricker, Renata S. S. Guizzardi, Jennifer Horkoff, Anna Perini, Angelo Susi, Oliver Karras, Fabiano Dalpiaz, Ana Moreira, Daniel Amyot, Paola Spoletini:
Joint Proceedings of REFSQ-2023 Workshops, Doctoral Symposium, Posters & Tools Track and Journal Early Feedback co-located with the 28th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2023), Barcelona, Catalunya, Spain, April 17-20, 2023. CEUR Workshop Proceedings 3378, CEUR-WS.org 2023 [contents] - 2021
- [e6]Fabiano Dalpiaz
, Paola Spoletini
:
Requirements Engineering: Foundation for Software Quality - 27th International Working Conference, REFSQ 2021, Essen, Germany, April 12-15, 2021, Proceedings. Lecture Notes in Computer Science 12685, Springer 2021, ISBN 978-3-030-73127-4 [contents] - 2019
- [e5]Paola Spoletini, Patrick Mäder, Daniel M. Berry, Fabiano Dalpiaz, Maya Daneva, Alessio Ferrari, Xavier Franch, Sarah Gregory, Eduard C. Groen, Andrea Herrmann, Anne Hess, Frank Houdek, Oliver Karras, Anne Koziolek, Kim Lauenroth, Cristina Palomares, Mehrdad Sabetzadeh, Norbert Seyff, Marcus Trapp, Andreas Vogelsang, Thorsten Weyer:
Joint Proceedings of REFSQ-2019 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 25th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2019), Essen, Germany, March 18th, 2019. CEUR Workshop Proceedings 2376, CEUR-WS.org 2019 [contents] - 2018
- [e4]Stefania Gnesi, Nico Plat, Paola Spoletini, Patrizio Pelliccione:
Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018. ACM 2018 [contents] - [e3]Klaus Schmid, Paola Spoletini, Eya Ben Charrada, Yoram Chisik, Fabiano Dalpiaz, Alessio Ferrari, Peter Forbrig, Xavier Franch, Marite Kirikova, Nazim H. Madhavji, Cristina Palomares, Jolita Ralyté, Mehrdad Sabetzadeh, Pete Sawyer, Dirk van der Linden, Anna Zamansky:
Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018), Utrecht, The Netherlands, March 19, 2018. CEUR Workshop Proceedings 2075, CEUR-WS.org 2018 [contents] - 2009
- [e2]Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto:
Proceedings of the First Interaction and Concurrency Experiences Workshop, ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008. Electronic Notes in Theoretical Computer Science 229(3), Elsevier 2009 [contents] - [e1]Filippo Bonchi, Davide Grohmann, Paola Spoletini, Emilio Tuosto:
Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, ICE 2009, Bologna, Italy, 31st August 2009. EPTCS 12, 2009 [contents]
Informal and Other Publications
- 2024
- [i11]Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessio Ferrari:
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements. CoRR abs/2404.06386 (2024) - 2023
- [i10]Alessio Ferrari, Paola Spoletini:
Strategies, Benefits and Challenges of App Store-inspired Requirements Elicitation. CoRR abs/2301.12090 (2023) - 2022
- [i9]Alessio Ferrari, Paola Spoletini, Sourav Debnath:
How Do Requirements Evolve During Elicitation? An Empirical Study Combining Interviews and App Store Analysis. CoRR abs/2208.00825 (2022) - 2021
- [i8]Alessio Ferrari, Thaide Huichapa, Paola Spoletini, Nicole Novielli, Davide Fucci, Daniela Girardi:
Using Voice and Biofeedback to Predict User Engagement during Requirements Interviews. CoRR abs/2104.02410 (2021) - 2020
- [i7]Yehia Elrakaiby, Paola Spoletini, Bashar Nuseibeh:
Optimal by Design: Model-Driven Synthesis of Adaptation Strategies for Autonomous Systems. CoRR abs/2001.08525 (2020) - 2017
- [i6]Anna Bernasconi, Claudio Menghi, Paola Spoletini, Lenore D. Zuck, Carlo Ghezzi:
From model checking to a temporal proof for partial models: preliminary example. CoRR abs/1706.02701 (2017) - 2016
- [i5]Claudio Menghi, Paola Spoletini, Carlo Ghezzi:
Modeling, refining and analyzing Incomplete Büchi Automata. CoRR abs/1609.00610 (2016) - 2013
- [i4]Carlo A. Furia, Paola Spoletini:
Bounded Variability of Metric Temporal Logic. CoRR abs/1306.2141 (2013) - 2012
- [i3]Achille Frigeri, Liliana Pasquale, Paola Spoletini:
Fuzzy Time in LTL. CoRR abs/1203.6278 (2012) - 2010
- [i2]Carlo A. Furia, Alberto Leva, Martina Maggio, Paola Spoletini:
A control-theoretical methodology for the scheduling problem. CoRR abs/1009.3455 (2010) - 2009
- [i1]Carlo A. Furia, Paola Spoletini:
On Relaxing Metric Information in Linear Temporal Logic. CoRR abs/0906.4711 (2009)
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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-05-19 01:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint