Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Paola Spoletini
@inproceedings{DBLP:conf/refsq/BrocciaBLSF24,
author = {Giovanna Broccia and
Maurice H. ter Beek and
Alberto Lluch{-}Lafuente and
Paola Spoletini and
Alessio Ferrari},
editor = {Daniel M{\'{e}}ndez and
Ana Moreira},
title = {Assessing the Understandability and Acceptance of Attack-Defense Trees
for Modelling Security Requirements},
booktitle = {Requirements Engineering: Foundation for Software Quality - 30th International
Working Conference, {REFSQ} 2024, Winterthur, Switzerland, April 8-11,
2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14588},
pages = {39--56},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57327-9\_3},
doi = {10.1007/978-3-031-57327-9\_3},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refsq/BrocciaBLSF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/SpoletiniF24,
author = {Paola Spoletini and
Alessio Ferrari},
editor = {Daniel M{\'{e}}ndez and
Ana Moreira},
title = {The Return of Formal Requirements Engineering in the Era of Large
Language Models},
booktitle = {Requirements Engineering: Foundation for Software Quality - 30th International
Working Conference, {REFSQ} 2024, Winterthur, Switzerland, April 8-11,
2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14588},
pages = {344--353},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57327-9\_22},
doi = {10.1007/978-3-031-57327-9\_22},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refsq/SpoletiniF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/DalpiazS23,
author = {Fabiano Dalpiaz and
Paola Spoletini},
title = {Editorial},
journal = {Requir. Eng.},
volume = {28},
number = {1},
pages = {1--2},
year = {2023},
url = {https://doi.org/10.1007/s00766-023-00398-8},
doi = {10.1007/S00766-023-00398-8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/re/DalpiazS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FerrariS23,
author = {Alessio Ferrari and
Paola Spoletini},
title = {Strategies, Benefits and Challenges of App Store-inspired Requirements
Elicitation},
booktitle = {45th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2023, Melbourne, Australia, May 14-20, 2023},
pages = {1290--1302},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSE48619.2023.00114},
doi = {10.1109/ICSE48619.2023.00114},
timestamp = {Wed, 19 Jul 2023 10:09:12 +0200},
biburl = {https://dblp.org/rec/conf/icse/FerrariS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/Spoletini23,
author = {Paola Spoletini},
editor = {Kurt Schneider and
Fabiano Dalpiaz and
Jennifer Horkoff},
title = {Towards Quantum Requirements Engineering},
booktitle = {31st {IEEE} International Requirements Engineering Conference, {RE}
2023 - Workshops, Hannover, Germany, September 4-5, 2023},
pages = {371--374},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/REW57809.2023.00072},
doi = {10.1109/REW57809.2023.00072},
timestamp = {Fri, 06 Oct 2023 16:02:58 +0200},
biburl = {https://dblp.org/rec/conf/re/Spoletini23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/ValeroS23,
author = {Maria Valero and
Paola Spoletini},
editor = {Kurt Schneider and
Fabiano Dalpiaz and
Jennifer Horkoff},
title = {{RE} Practices When Developing IoT for Healthcare: The Case of GlucoCheck},
booktitle = {31st {IEEE} International Requirements Engineering Conference, {RE}
2023 - Workshops, Hannover, Germany, September 4-5, 2023},
pages = {379--382},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/REW57809.2023.00074},
doi = {10.1109/REW57809.2023.00074},
timestamp = {Fri, 06 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/re/ValeroS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/GrubbS23,
author = {Alicia M. Grubb and
Paola Spoletini},
editor = {Alessio Ferrari and
Birgit Penzenstadler},
title = {Bringing Stakeholders Along for the Ride: Towards Supporting Intentional
Decisions in Software Evolution},
booktitle = {Requirements Engineering: Foundation for Software Quality - 29th International
Working Conference, {REFSQ} 2023, Barcelona, Spain, April 17-20, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13975},
pages = {56--64},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-29786-1\_4},
doi = {10.1007/978-3-031-29786-1\_4},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refsq/GrubbS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/KonlogS23,
author = {Roger Ian Konlog and
Paola Spoletini},
editor = {Alessio Ferrari and
Birgit Penzenstadler and
Irit Hadar and
Shola Oyedeji and
Sallam Abualhaija and
Andreas Vogelsang and
Gouri Deshpande and
Alexander Rachmann and
Jens Gulden and
Andrea Wohlgemuth and
Anne Hess and
Samuel Fricker and
Renata S. S. Guizzardi and
Jennifer Horkoff and
Anna Perini and
Angelo Susi and
Oliver Karras and
Fabiano Dalpiaz and
Ana Moreira and
Daniel Amyot and
Paola Spoletini},
title = {REIT-Builder: Customizable Training for Requirements Elicitation Interviews},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3378},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3378/PT-paper5.pdf},
timestamp = {Fri, 12 May 2023 16:39:20 +0200},
biburl = {https://dblp.org/rec/conf/refsq/KonlogS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/SpoletiniA23,
author = {Paola Spoletini and
Daniel Amyot},
editor = {Alessio Ferrari and
Birgit Penzenstadler and
Irit Hadar and
Shola Oyedeji and
Sallam Abualhaija and
Andreas Vogelsang and
Gouri Deshpande and
Alexander Rachmann and
Jens Gulden and
Andrea Wohlgemuth and
Anne Hess and
Samuel Fricker and
Renata S. S. Guizzardi and
Jennifer Horkoff and
Anna Perini and
Angelo Susi and
Oliver Karras and
Fabiano Dalpiaz and
Ana Moreira and
Daniel Amyot and
Paola Spoletini},
title = {Preface: Journal Early Feedback Track},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3378},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3378/JEF-preface.pdf},
timestamp = {Fri, 12 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refsq/SpoletiniA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/refsq/2023w,
editor = {Alessio Ferrari and
Birgit Penzenstadler and
Irit Hadar and
Shola Oyedeji and
Sallam Abualhaija and
Andreas Vogelsang and
Gouri Deshpande and
Alexander Rachmann and
Jens Gulden and
Andrea Wohlgemuth and
Anne Hess and
Samuel Fricker and
Renata S. S. Guizzardi and
Jennifer Horkoff and
Anna Perini and
Angelo Susi and
Oliver Karras and
Fabiano Dalpiaz and
Ana Moreira and
Daniel Amyot and
Paola Spoletini},
title = {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},
series = {{CEUR} Workshop Proceedings},
volume = {3378},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3378},
urn = {urn:nbn:de:0074-3378-8},
timestamp = {Fri, 12 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refsq/2023w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-12090,
author = {Alessio Ferrari and
Paola Spoletini},
title = {Strategies, Benefits and Challenges of App Store-inspired Requirements
Elicitation},
journal = {CoRR},
volume = {abs/2301.12090},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.12090},
doi = {10.48550/ARXIV.2301.12090},
eprinttype = {arXiv},
eprint = {2301.12090},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-12090.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/FerrariSD22,
author = {Alessio Ferrari and
Paola Spoletini and
Sourav Debnath},
title = {How do requirements evolve during elicitation? An empirical study
combining interviews and app store analysis},
journal = {Requir. Eng.},
volume = {27},
number = {4},
pages = {489--519},
year = {2022},
url = {https://doi.org/10.1007/s00766-022-00383-7},
doi = {10.1007/S00766-022-00383-7},
timestamp = {Thu, 05 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/re/FerrariSD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/Cherukuri0S22,
author = {Himaja Cherukuri and
Alessio Ferrari and
Paola Spoletini},
editor = {Vincenzo Gervasi and
Andreas Vogelsang},
title = {Towards Explainable Formal Methods: From {LTL} to Natural Language
with Neural Machine Translation},
booktitle = {Requirements Engineering: Foundation for Software Quality - 28th International
Working Conference, {REFSQ} 2022, Birmingham, UK, March 21-24, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13216},
pages = {79--86},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-98464-9\_7},
doi = {10.1007/978-3-030-98464-9\_7},
timestamp = {Tue, 15 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/refsq/Cherukuri0S22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-00825,
author = {Alessio Ferrari and
Paola Spoletini and
Sourav Debnath},
title = {How Do Requirements Evolve During Elicitation? An Empirical Study
Combining Interviews and App Store Analysis},
journal = {CoRR},
volume = {abs/2208.00825},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.00825},
doi = {10.48550/ARXIV.2208.00825},
eprinttype = {arXiv},
eprint = {2208.00825},
timestamp = {Tue, 09 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-00825.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/MenghiRBS21,
author = {Claudio Menghi and
Alessandro Maria Rizzi and
Anna Bernasconi and
Paola Spoletini},
title = {TOrPEDO: witnessing model correctness with topological proofs},
journal = {Formal Aspects Comput.},
volume = {33},
number = {6},
pages = {1039--1066},
year = {2021},
url = {https://doi.org/10.1007/s00165-021-00564-1},
doi = {10.1007/S00165-021-00564-1},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/MenghiRBS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BenbenistyHLS21,
author = {Yizhaq Benbenisty and
Irit Hadar and
Gil Luria and
Paola Spoletini},
title = {Privacy as first-class requirements in software development: {A} socio-technical
approach},
booktitle = {36th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2021, Melbourne, Australia, November 15-19, 2021},
pages = {1363--1367},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ASE51524.2021.9678872},
doi = {10.1109/ASE51524.2021.9678872},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BenbenistyHLS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/DebnathS021,
author = {Sourav Debnath and
Paola Spoletini and
Alessio Ferrari},
title = {From Ideas to Expressed Needs: an Empirical Study on the Evolution
of Requirements during Elicitation},
booktitle = {29th {IEEE} International Requirements Engineering Conference, {RE}
2021, Notre Dame, IN, USA, September 20-24, 2021},
pages = {233--244},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/RE51729.2021.00028},
doi = {10.1109/RE51729.2021.00028},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/DebnathS021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/refsq/2021,
editor = {Fabiano Dalpiaz and
Paola Spoletini},
title = {Requirements Engineering: Foundation for Software Quality - 27th International
Working Conference, {REFSQ} 2021, Essen, Germany, April 12-15, 2021,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12685},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-73128-1},
doi = {10.1007/978-3-030-73128-1},
isbn = {978-3-030-73127-4},
timestamp = {Wed, 14 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refsq/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-02410,
author = {Alessio Ferrari and
Thaide Huichapa and
Paola Spoletini and
Nicole Novielli and
Davide Fucci and
Daniela Girardi},
title = {Using Voice and Biofeedback to Predict User Engagement during Requirements
Interviews},
journal = {CoRR},
volume = {abs/2104.02410},
year = {2021},
url = {https://arxiv.org/abs/2104.02410},
eprinttype = {arXiv},
eprint = {2104.02410},
timestamp = {Tue, 13 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-02410.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/FerrariSBZ20,
author = {Alessio Ferrari and
Paola Spoletini and
Muneera Bano and
Didar Zowghi},
title = {SaPeer and ReverseSaPeer: teaching requirements elicitation interviews
with role-playing and role reversal},
journal = {Requir. Eng.},
volume = {25},
number = {4},
pages = {417--438},
year = {2020},
url = {https://doi.org/10.1007/s00766-020-00334-0},
doi = {10.1007/S00766-020-00334-0},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/re/FerrariSBZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/Girardi0NSFH20,
author = {Daniela Girardi and
Alessio Ferrari and
Nicole Novielli and
Paola Spoletini and
Davide Fucci and
Thaide Huichapa},
editor = {Travis D. Breaux and
Andrea Zisman and
Samuel Fricker and
Martin Glinz},
title = {The Way it Makes you Feel Predicting Users' Engagement during Interviews
with Biofeedback and Supervised Learning},
booktitle = {28th {IEEE} International Requirements Engineering Conference, {RE}
2020, Zurich, Switzerland, August 31 - September 4, 2020},
pages = {32--43},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/RE48521.2020.00016},
doi = {10.1109/RE48521.2020.00016},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/re/Girardi0NSFH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/BanoZ0S20,
author = {Muneera Bano and
Didar Zowghi and
Alessio Ferrari and
Paola Spoletini},
editor = {Travis D. Breaux and
Andrea Zisman and
Samuel Fricker and
Martin Glinz},
title = {Inspectors Academy : Pedagogical Design for Requirements Inspection
Training},
booktitle = {28th {IEEE} International Requirements Engineering Conference, {RE}
2020, Zurich, Switzerland, August 31 - September 4, 2020},
pages = {215--226},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/RE48521.2020.00032},
doi = {10.1109/RE48521.2020.00032},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/BanoZ0S20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/DebnathS20,
author = {Sourav Debnath and
Paola Spoletini},
editor = {Nazim H. Madhavji and
Liliana Pasquale and
Alessio Ferrari and
Stefania Gnesi},
title = {Designing a Virtual Client for Requirements Elicitation Interviews},
booktitle = {Requirements Engineering: Foundation for Software Quality - 26th International
Working Conference, {REFSQ} 2020, Pisa, Italy, March 24-27, 2020,
Proceedings {[REFSQ} 2020 was postponed]},
series = {Lecture Notes in Computer Science},
volume = {12045},
pages = {160--166},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-44429-7\_12},
doi = {10.1007/978-3-030-44429-7\_12},
timestamp = {Wed, 10 Jun 2020 08:46:34 +0200},
biburl = {https://dblp.org/rec/conf/refsq/DebnathS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-08525,
author = {Yehia Elrakaiby and
Paola Spoletini and
Bashar Nuseibeh},
title = {Optimal by Design: Model-Driven Synthesis of Adaptation Strategies
for Autonomous Systems},
journal = {CoRR},
volume = {abs/2001.08525},
year = {2020},
url = {https://arxiv.org/abs/2001.08525},
eprinttype = {arXiv},
eprint = {2001.08525},
timestamp = {Fri, 24 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-08525.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/MenghiSCG19,
author = {Claudio Menghi and
Paola Spoletini and
Marsha Chechik and
Carlo Ghezzi},
title = {A verification-driven framework for iterative design of controllers},
journal = {Formal Aspects Comput.},
volume = {31},
number = {5},
pages = {459--502},
year = {2019},
url = {https://doi.org/10.1007/s00165-019-00484-1},
doi = {10.1007/S00165-019-00484-1},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/MenghiSCG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/BanoZFSD19,
author = {Muneera Bano and
Didar Zowghi and
Alessio Ferrari and
Paola Spoletini and
Beatrice Donati},
title = {Teaching requirements elicitation interviews: an empirical study of
learning from mistakes},
journal = {Requir. Eng.},
volume = {24},
number = {3},
pages = {259--289},
year = {2019},
url = {https://doi.org/10.1007/s00766-019-00313-0},
doi = {10.1007/S00766-019-00313-0},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/re/BanoZFSD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/DekhtyarHHCFGHL19,
author = {Alexander Dekhtyar and
Jane Huffman Hayes and
Irit Hadar and
Erin Combs and
Alessio Ferrari and
Sarah Gregory and
Jennifer Horkoff and
Meira Levy and
Maleknaz Nayebi and
Barbara Paech and
Jared Payne and
Matt Primrose and
Paola Spoletini and
Shell Clarke and
Chuck Brophy and
Daniel Amyot and
Walid Maalej and
Guenther Ruhe and
Jane Cleland{-}Huang and
Didar Zowghi},
title = {Requirements Engineering {(RE)} for Social Good: {RE} Cares [Requirements]},
journal = {{IEEE} Softw.},
volume = {36},
number = {1},
pages = {86--94},
year = {2019},
url = {https://doi.org/10.1109/MS.2018.2874327},
doi = {10.1109/MS.2018.2874327},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/software/DekhtyarHHCFGHL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GervasiFZS19,
author = {Vincenzo Gervasi and
Alessio Ferrari and
Didar Zowghi and
Paola Spoletini},
editor = {Maurice H. ter Beek and
Alessandro Fantechi and
Laura Semini},
title = {Ambiguity in Requirements Engineering: Towards a Unifying Framework},
booktitle = {From Software Engineering to Formal Methods and Tools, and Back -
Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11865},
pages = {191--210},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30985-5\_12},
doi = {10.1007/978-3-030-30985-5\_12},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GervasiFZS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/FerrariSBZ19,
author = {Alessio Ferrari and
Paola Spoletini and
Muneera Bano and
Didar Zowghi},
editor = {Daniela E. Damian and
Anna Perini and
Seok{-}Won Lee},
title = {Learning Requirements Elicitation Interviews with Role-Playing, Self-Assessment
and Peer-Review},
booktitle = {27th {IEEE} International Requirements Engineering Conference, {RE}
2019, Jeju Island, Korea (South), September 23-27, 2019},
pages = {28--39},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/RE.2019.00015},
doi = {10.1109/RE.2019.00015},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/FerrariSBZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/SpoletiniM19,
author = {Paola Spoletini and
Patrick M{\"{a}}der},
editor = {Paola Spoletini and
Patrick M{\"{a}}der and
Daniel M. Berry and
Fabiano Dalpiaz and
Maya Daneva and
Alessio Ferrari and
Xavier Franch and
Sarah Gregory and
Eduard C. Groen and
Andrea Herrmann and
Anne Hess and
Frank Houdek and
Oliver Karras and
Anne Koziolek and
Kim Lauenroth and
Cristina Palomares and
Mehrdad Sabetzadeh and
Norbert Seyff and
Marcus Trapp and
Andreas Vogelsang and
Thorsten Weyer},
title = {Preface},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {2376},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2376/preface.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:43 +0100},
biburl = {https://dblp.org/rec/conf/refsq/SpoletiniM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigite/Halstead-Nussloch19,
author = {Richard Halstead{-}Nussloch and
Paola Spoletini},
editor = {Bryan S. Goda and
Steve Zilora and
George Grispos and
Daniel S. Bogaard},
title = {On Including the Institutional Review Board Process in Undergraduate
Information Technology Curricula},
booktitle = {Proceedings of the 20th Annual {SIG} Conference on Information Technology
Education, {SIGITE} 2019, Tacoma, WA, USA, October 3-5, 2019},
pages = {103},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3349266.3351348},
doi = {10.1145/3349266.3351348},
timestamp = {Mon, 30 Sep 2019 10:52:01 +0200},
biburl = {https://dblp.org/rec/conf/sigite/Halstead-Nussloch19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/refsq/2019w,
editor = {Paola Spoletini and
Patrick M{\"{a}}der and
Daniel M. Berry and
Fabiano Dalpiaz and
Maya Daneva and
Alessio Ferrari and
Xavier Franch and
Sarah Gregory and
Eduard C. Groen and
Andrea Herrmann and
Anne Hess and
Frank Houdek and
Oliver Karras and
Anne Koziolek and
Kim Lauenroth and
Cristina Palomares and
Mehrdad Sabetzadeh and
Norbert Seyff and
Marcus Trapp and
Andreas Vogelsang and
Thorsten Weyer},
title = {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},
series = {{CEUR} Workshop Proceedings},
volume = {2376},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2376},
urn = {urn:nbn:de:0074-2376-8},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/refsq/2019w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/NacciRBSGSA18,
author = {Alessandro Antonio Nacci and
Vincenzo Rana and
Bharathan Balaji and
Paola Spoletini and
Rajesh K. Gupta and
Donatella Sciuto and
Yuvraj Agarwal},
title = {BuildingRules: {A} Trigger-Action-Based System to Manage Complex Commercial
Buildings},
journal = {{ACM} Trans. Cyber Phys. Syst.},
volume = {2},
number = {2},
pages = {13:1--13:22},
year = {2018},
url = {https://doi.org/10.1145/3185500},
doi = {10.1145/3185500},
timestamp = {Tue, 13 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcps/NacciRBSGSA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/MenghiSCG18,
author = {Claudio Menghi and
Paola Spoletini and
Marsha Chechik and
Carlo Ghezzi},
editor = {Alessandra Russo and
Andy Sch{\"{u}}rr},
title = {Supporting Verification-Driven Incremental Distributed Design of Components},
booktitle = {Fundamental Approaches to Software Engineering, 21st International
Conference, {FASE} 2018, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece,
April 14-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10802},
pages = {169--188},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89363-1\_10},
doi = {10.1007/978-3-319-89363-1\_10},
timestamp = {Fri, 31 Jan 2020 21:32:22 +0100},
biburl = {https://dblp.org/rec/conf/fase/MenghiSCG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fie/PariziSS18,
author = {Reza M. Parizi and
Paola Spoletini and
Amritraj Singh},
title = {Measuring Team Members' Contributions in Software Engineering Projects
using Git-driven Technology},
booktitle = {{IEEE} Frontiers in Education Conference, {FIE} 2018, San Jose, CA,
USA, October 3-6, 2018},
pages = {1--5},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/FIE.2018.8658983},
doi = {10.1109/FIE.2018.8658983},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fie/PariziSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fie/SpoletiniP18,
author = {Paola Spoletini and
Reza M. Parizi},
title = {Bias-aware guidelines and fairness-preserving Taxonomy in software
engineering education},
booktitle = {{IEEE} Frontiers in Education Conference, {FIE} 2018, San Jose, CA,
USA, October 3-6, 2018},
pages = {1--4},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/FIE.2018.8659178},
doi = {10.1109/FIE.2018.8659178},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fie/SpoletiniP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/HertzS18,
author = {Kim Hertz and
Paola Spoletini},
editor = {Mohammad Moshirpour and
Mahmood Moussavi and
Alicia M. Grubb and
Sarah Gregory and
Behrouz H. Far},
title = {Are Requirements Engineering Courses Covering what Industry Needs?
{A} Preliminary Analysis of the United States Situation},
booktitle = {8th {IEEE} International Workshop on Requirements Engineering Education
and Training, REET@RE 2018, Banff, AB, Canada, August 21, 2018},
pages = {20--23},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/REET.2018.00008},
doi = {10.1109/REET.2018.00008},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/HertzS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/BanoBZFSD18,
author = {Muneera Bano and
Didar Zowghi and
Alessio Ferrari and
Paola Spoletini and
Beatrice Donati},
editor = {Guenther Ruhe and
Walid Maalej and
Daniel Amyot},
title = {Learning from Mistakes: An Empirical Study of Elicitation Interviews
Performed by Novices},
booktitle = {26th {IEEE} International Requirements Engineering Conference, {RE}
2018, Banff, AB, Canada, August 20-24, 2018},
pages = {182--193},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/RE.2018.00027},
doi = {10.1109/RE.2018.00027},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/BanoBZFSD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/SpoletiniFBZG18,
author = {Paola Spoletini and
Alessio Ferrari and
Muneera Bano and
Didar Zowghi and
Stefania Gnesi},
editor = {Erik Kamsties and
Jennifer Horkoff and
Fabiano Dalpiaz},
title = {Interview Review: An Empirical Study on Detecting Ambiguities in Requirements
Elicitation Interviews},
booktitle = {Requirements Engineering: Foundation for Software Quality - 24th International
Working Conference, {REFSQ} 2018, Utrecht, The Netherlands, March
19-22, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10753},
pages = {101--118},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-77243-1\_7},
doi = {10.1007/978-3-319-77243-1\_7},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refsq/SpoletiniFBZG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2018formalise,
editor = {Stefania Gnesi and
Nico Plat and
Paola Spoletini and
Patrizio Pelliccione},
title = {Proceedings of the 6th Conference on Formal Methods in Software Engineering,
FormaliSE 2018, collocated with {ICSE} 2018, Gothenburg, Sweden, June
2, 2018},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3193992},
doi = {10.1145/3193992},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/2018formalise.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/refsq/2018w,
editor = {Klaus Schmid and
Paola Spoletini and
Eya Ben Charrada and
Yoram Chisik and
Fabiano Dalpiaz and
Alessio Ferrari and
Peter Forbrig and
Xavier Franch and
Marite Kirikova and
Nazim H. Madhavji and
Cristina Palomares and
Jolita Ralyt{\'{e}} and
Mehrdad Sabetzadeh and
Pete Sawyer and
Dirk van der Linden and
Anna Zamansky},
title = {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},
series = {{CEUR} Workshop Proceedings},
volume = {2075},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2075},
urn = {urn:nbn:de:0074-2075-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/refsq/2018w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/FuriaS17,
author = {Carlo A. Furia and
Paola Spoletini},
title = {Bounded variability of metric temporal logic},
journal = {Ann. Math. Artif. Intell.},
volume = {80},
number = {3-4},
pages = {283--316},
year = {2017},
url = {https://doi.org/10.1007/s10472-016-9532-8},
doi = {10.1007/S10472-016-9532-8},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/FuriaS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACMse/BhimaniS17,
author = {Aman Bhimani and
Paola Spoletini},
title = {Empowering Requirements Elicitation for Populations with Special Needs
by Using Virtual Reality},
booktitle = {Proceedings of the 2017 {ACM} Southeast Regional Conference, Kennesaw,
GA, USA, April 13-15, 2017},
pages = {268--270},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3077286.3078467},
doi = {10.1145/3077286.3078467},
timestamp = {Tue, 06 Nov 2018 11:06:58 +0100},
biburl = {https://dblp.org/rec/conf/ACMse/BhimaniS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/ElrakaibyFSGN17,
author = {Yehia Elrakaiby and
Alessio Ferrari and
Paola Spoletini and
Stefania Gnesi and
Bashar Nuseibeh},
editor = {Ana Moreira and
Jo{\~{a}}o Ara{\'{u}}jo and
Jane Hayes and
Barbara Paech},
title = {Using Argumentation to Explain Ambiguity in Requirements Elicitation
Interviews},
booktitle = {25th {IEEE} International Requirements Engineering Conference, {RE}
2017, Lisbon, Portugal, September 4-8, 2017},
pages = {51--60},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/RE.2017.27},
doi = {10.1109/RE.2017.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/ElrakaibyFSGN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/FerrariSDZG17,
author = {Alessio Ferrari and
Paola Spoletini and
Beatrice Donati and
Didar Zowghi and
Stefania Gnesi},
editor = {Ana Moreira and
Jo{\~{a}}o Ara{\'{u}}jo and
Jane Hayes and
Barbara Paech},
title = {Interview Review: Detecting Latent Ambiguities to Improve the Requirements
Elicitation Process},
booktitle = {25th {IEEE} International Requirements Engineering Conference, {RE}
2017, Lisbon, Portugal, September 4-8, 2017},
pages = {400--405},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/RE.2017.15},
doi = {10.1109/RE.2017.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/FerrariSDZG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/SpoletiniF17,
author = {Paola Spoletini and
Alessio Ferrari},
editor = {Ana Moreira and
Jo{\~{a}}o Ara{\'{u}}jo and
Jane Hayes and
Barbara Paech},
title = {Requirements Elicitation: {A} Look at the Future Through the Lenses
of the Past},
booktitle = {25th {IEEE} International Requirements Engineering Conference, {RE}
2017, Lisbon, Portugal, September 4-8, 2017},
pages = {476--477},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/RE.2017.35},
doi = {10.1109/RE.2017.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/SpoletiniF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/MenghiSG17,
author = {Claudio Menghi and
Paola Spoletini and
Carlo Ghezzi},
editor = {Paul Gr{\"{u}}nbacher and
Anna Perini},
title = {Integrating Goal Model Analysis with Iterative Design},
booktitle = {Requirements Engineering: Foundation for Software Quality - 23rd International
Working Conference, {REFSQ} 2017, Essen, Germany, February 27 - March
2, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10153},
pages = {112--128},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-54045-0\_9},
doi = {10.1007/978-3-319-54045-0\_9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refsq/MenghiSG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/DonatiFSG17,
author = {Beatrice Donati and
Alessio Ferrari and
Paola Spoletini and
Stefania Gnesi},
editor = {Paul Gr{\"{u}}nbacher and
Anna Perini},
title = {Common Mistakes of Student Analysts in Requirements Elicitation Interviews},
booktitle = {Requirements Engineering: Foundation for Software Quality - 23rd International
Working Conference, {REFSQ} 2017, Essen, Germany, February 27 - March
2, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10153},
pages = {148--164},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-54045-0\_11},
doi = {10.1007/978-3-319-54045-0\_11},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refsq/DonatiFSG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/MenghiSG17a,
author = {Claudio Menghi and
Paola Spoletini and
Carlo Ghezzi},
editor = {Eric Knauss and
Angelo Susi and
David Ameller and
Daniel M. Berry and
Fabiano Dalpiaz and
Maya Daneva and
Marian Daun and
Oscar Dieste and
Peter Forbrig and
Eduard C. Groen and
Andrea Herrmann and
Jennifer Horkoff and
Fitsum Meshesha Kifetew and
Marite Kirikova and
Alessia Knauss and
Patrick Maeder and
Fabio Massacci and
Cristina Palomares and
Jolita Ralyt{\'{e}} and
Ahmed Seffah and
Alberto Siena and
Bastian Tenbergen},
title = {{COVER:} Change-based Goal Verifier and Reasoner},
booktitle = {Joint Proceedings of {REFSQ-2017} Workshops, Doctoral Symposium, Research
Method Track, and Poster Track co-located with the 22nd International
Conference on Requirements Engineering: Foundation for Software Quality
{(REFSQ} 2017), Essen, Germany, February 27, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1796},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1796/poster-paper-7.pdf},
timestamp = {Sat, 30 Sep 2023 09:55:14 +0200},
biburl = {https://dblp.org/rec/conf/refsq/MenghiSG17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BernasconiMSZG17,
author = {Anna Bernasconi and
Claudio Menghi and
Paola Spoletini and
Lenore D. Zuck and
Carlo Ghezzi},
editor = {Alessandro Cimatti and
Marjan Sirjani},
title = {From Model Checking to a Temporal Proof for Partial Models},
booktitle = {Software Engineering and Formal Methods - 15th International Conference,
{SEFM} 2017, Trento, Italy, September 4-8, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10469},
pages = {54--69},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66197-1\_4},
doi = {10.1007/978-3-319-66197-1\_4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BernasconiMSZG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BernasconiMSZG17,
author = {Anna Bernasconi and
Claudio Menghi and
Paola Spoletini and
Lenore D. Zuck and
Carlo Ghezzi},
title = {From model checking to a temporal proof for partial models: preliminary
example},
journal = {CoRR},
volume = {abs/1706.02701},
year = {2017},
url = {http://arxiv.org/abs/1706.02701},
eprinttype = {arXiv},
eprint = {1706.02701},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BernasconiMSZG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/FerrariSG16,
author = {Alessio Ferrari and
Paola Spoletini and
Stefania Gnesi},
title = {Ambiguity and tacit knowledge in requirements elicitation interviews},
journal = {Requir. Eng.},
volume = {21},
number = {3},
pages = {333--355},
year = {2016},
url = {https://doi.org/10.1007/s00766-016-0249-3},
doi = {10.1007/S00766-016-0249-3},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/re/FerrariSG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/PasqualeSSCN16,
author = {Liliana Pasquale and
Paola Spoletini and
Mazeiar Salehie and
Luca Cavallaro and
Bashar Nuseibeh},
title = {Automating trade-off analysis of security requirements},
journal = {Requir. Eng.},
volume = {21},
number = {4},
pages = {481--504},
year = {2016},
url = {https://doi.org/10.1007/s00766-015-0229-z},
doi = {10.1007/S00766-015-0229-Z},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/re/PasqualeSSCN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/MenghiSG16,
author = {Claudio Menghi and
Paola Spoletini and
Carlo Ghezzi},
editor = {John S. Fitzgerald and
Constance L. Heitmeyer and
Stefania Gnesi and
Anna Philippou},
title = {Dealing with Incompleteness in Automata-Based Model Checking},
booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9995},
pages = {531--550},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48989-6\_32},
doi = {10.1007/978-3-319-48989-6\_32},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/MenghiSG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/FerrariSG16,
author = {Alessio Ferrari and
Paola Spoletini and
Stefania Gnesi},
title = {Ambiguity Cues in Requirements Elicitation Interviews},
booktitle = {24th {IEEE} International Requirements Engineering Conference, {RE}
2016, Beijing, China, September 12-16, 2016},
pages = {56--65},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/RE.2016.25},
doi = {10.1109/RE.2016.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/FerrariSG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/SpoletiniBSF16,
author = {Paola Spoletini and
Casey Brock and
Rahat Shahwar and
Alessio Ferrari},
title = {Empowering Requirements Elicitation Interviews with Vocal and Biofeedback
Analysis},
booktitle = {24th {IEEE} International Requirements Engineering Conference, {RE}
2016, Beijing, China, September 12-16, 2016},
pages = {371--376},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/RE.2016.56},
doi = {10.1109/RE.2016.56},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/SpoletiniBSF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MenghiSG16,
author = {Claudio Menghi and
Paola Spoletini and
Carlo Ghezzi},
title = {Modeling, refining and analyzing Incomplete B{\"{u}}chi Automata},
journal = {CoRR},
volume = {abs/1609.00610},
year = {2016},
url = {http://arxiv.org/abs/1609.00610},
eprinttype = {arXiv},
eprint = {1609.00610},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MenghiSG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/huc/NacciBSGSA15,
author = {Alessandro Antonio Nacci and
Bharathan Balaji and
Paola Spoletini and
Rajesh K. Gupta and
Donatella Sciuto and
Yuvraj Agarwal},
editor = {Kenji Mase and
Marc Langheinrich and
Daniel Gatica{-}Perez and
Hans Gellersen and
Tanzeem Choudhury and
Koji Yatani},
title = {BuildingRules: a trigger-action based system to manage complex commercial
buildings},
booktitle = {Proceedings of the 2015 {ACM} International Joint Conference on Pervasive
and Ubiquitous Computing and Proceedings of the 2015 {ACM} International
Symposium on Wearable Computers, UbiComp/ISWC Adjunct 2015, Osaka,
Japan, September 7-11, 2015},
pages = {381--384},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2800835.2800916},
doi = {10.1145/2800835.2800916},
timestamp = {Tue, 13 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/huc/NacciBSGSA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/FerrariSG15,
author = {Alessio Ferrari and
Paola Spoletini and
Stefania Gnesi},
editor = {Didar Zowghi and
Vincenzo Gervasi and
Daniel Amyot},
title = {Ambiguity as a resource to disclose tacit knowledge},
booktitle = {23rd {IEEE} International Requirements Engineering Conference, {RE}
2015, Ottawa, ON, Canada, August 24-28, 2015},
pages = {26--35},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/RE.2015.7320405},
doi = {10.1109/RE.2015.7320405},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/FerrariSG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/GhezziMSS14,
author = {Carlo Ghezzi and
Claudio Menghi and
Amir Molzam Sharifloo and
Paola Spoletini},
title = {On requirement verification for evolving Statecharts specifications},
journal = {Requir. Eng.},
volume = {19},
number = {3},
pages = {231--255},
year = {2014},
url = {https://doi.org/10.1007/s00766-013-0198-z},
doi = {10.1007/S00766-013-0198-Z},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/re/GhezziMSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/FrigeriPS14,
author = {Achille Frigeri and
Liliana Pasquale and
Paola Spoletini},
title = {Fuzzy Time in Linear Temporal Logic},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {4},
pages = {30:1--30:22},
year = {2014},
url = {https://doi.org/10.1145/2629606},
doi = {10.1145/2629606},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/FrigeriPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcci/CampiGS14,
author = {Alessandro Campi and
Sam Guinea and
Paola Spoletini},
editor = {Ant{\'{o}}nio Dourado and
Jos{\'{e}} Manuel Cadenas and
Joaquim Filipe},
title = {An Operational Semantics for {XML} Fuzzy Queries},
booktitle = {{FCTA} 2014 - Proceedings of the International Conference on Fuzzy
Computation Theory and Applications, part of {IJCCI} 2014, Rome, Italy,
22 - 24 October, 2014},
pages = {205--210},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0005155502050210},
doi = {10.5220/0005155502050210},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcci/CampiGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/SpoletiniFG14,
author = {Paola Spoletini and
Alessio Ferrari and
Stefania Gnesi},
editor = {Ana Moreira and
Pablo S{\'{a}}nchez and
Gunter Mussbacher and
Jo{\~{a}}o Ara{\'{u}}jo},
title = {Context transformations for goal models},
booktitle = {{IEEE} 4th International Model-Driven Requirements Engineering Workshop,
MoDRE 2014, 25 August, 2014, Karlskrona, Sweden},
pages = {17--26},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/MoDRE.2014.6890822},
doi = {10.1109/MODRE.2014.6890822},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/SpoletiniFG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/FuriaS14,
author = {Carlo A. Furia and
Paola Spoletini},
editor = {Amedeo Cesta and
Carlo Combi and
Fran{\c{c}}ois Laroussinie},
title = {Bounded Variability of Metric Temporal Logic},
booktitle = {21st International Symposium on Temporal Representation and Reasoning,
{TIME} 2014, Verona, Italy, September 8-10, 2014},
pages = {155--163},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TIME.2014.18},
doi = {10.1109/TIME.2014.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/FuriaS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GhezziPST13,
author = {Carlo Ghezzi and
Leandro Sales Pinto and
Paola Spoletini and
Giordano Tamburrelli},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {Managing non-functional uncertainty via model-driven adaptivity},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {33--42},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606549},
doi = {10.1109/ICSE.2013.6606549},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/GhezziPST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/GhezziMSS13,
author = {Carlo Ghezzi and
Claudio Menghi and
Amir Molzam Sharifloo and
Paola Spoletini},
title = {On requirements verification for model refinements},
booktitle = {21st {IEEE} International Requirements Engineering Conference, {RE}
2013, Rio de Janeiro-RJ, Brazil, July 15-19, 2013},
pages = {62--71},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/RE.2013.6636706},
doi = {10.1109/RE.2013.6636706},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/GhezziMSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/PasqualeSPBR13,
author = {Liliana Pasquale and
Paola Spoletini and
Dario Pometto and
Francesco Blasi and
Tiziana Redaelli},
editor = {J{\"{o}}rg D{\"{o}}rr and
Andreas L. Opdahl},
title = {Requirements Engineering Meets Physiotherapy: An Experience with Motion-Based
Games},
booktitle = {Requirements Engineering: Foundation for Software Quality - 19th International
Working Conference, {REFSQ} 2013, Essen, Germany, April 8-11, 2013.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7830},
pages = {315--330},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37422-7\_23},
doi = {10.1007/978-3-642-37422-7\_23},
timestamp = {Sat, 19 Oct 2019 20:28:57 +0200},
biburl = {https://dblp.org/rec/conf/refsq/PasqualeSPBR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FuriaS13,
author = {Carlo A. Furia and
Paola Spoletini},
title = {Bounded Variability of Metric Temporal Logic},
journal = {CoRR},
volume = {abs/1306.2141},
year = {2013},
url = {http://arxiv.org/abs/1306.2141},
eprinttype = {arXiv},
eprint = {1306.2141},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FuriaS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/ShariflooS12,
author = {Amir Molzam Sharifloo and
Paola Spoletini},
editor = {Corina S. Pasareanu and
Gwen Sala{\"{u}}n},
title = {{LOVER:} Light-Weight fOrmal Verification of adaptivE Systems at Run
Time},
booktitle = {Formal Aspects of Component Software, 9th International Symposium,
{FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7684},
pages = {170--187},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35861-6\_11},
doi = {10.1007/978-3-642-35861-6\_11},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/facs2/ShariflooS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/FuriaS12,
author = {Carlo A. Furia and
Paola Spoletini},
editor = {Ben C. Moszkowski and
Mark Reynolds and
Paolo Terenziani},
title = {Automata-based Verification of Linear Temporal Logic Models with Bounded
Variability},
booktitle = {19th International Symposium on Temporal Representation and Reasoning,
{TIME} 2012, Leicester, United Kingdom, September 12-14, 2012},
pages = {89--96},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/TIME.2012.13},
doi = {10.1109/TIME.2012.13},
timestamp = {Thu, 15 Feb 2024 11:49:14 +0100},
biburl = {https://dblp.org/rec/conf/time/FuriaS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/BertolinoAGMSS12,
author = {Antonia Bertolino and
Guglielmo De Angelis and
Felicita Di Giandomenico and
Eda Marchetti and
Antonino Sabetta and
Paola Spoletini},
editor = {Giuseppe Anastasi and
Emilio Bellini and
Elisabetta Di Nitto and
Carlo Ghezzi and
Letizia Tanca and
Eugenio Zimeo},
title = {Verification and Analysis of Autonomic Systems for Networked Enterprises},
booktitle = {Methodologies and Technologies for Networked Enterprises - ArtDeco:
Adaptive Infrastructures for Decentralised Organisations},
series = {Lecture Notes in Computer Science},
volume = {7200},
pages = {143--169},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31739-2\_8},
doi = {10.1007/978-3-642-31739-2\_8},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/BertolinoAGMSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/ZimeoMOQRSTABCCGMT12,
author = {Eugenio Zimeo and
Valentina Mazza and
Giorgio Orsi and
Elisa Quintarelli and
Antonio Romano and
Paola Spoletini and
Giancarlo Tretola and
Alessandro Amirante and
Alessio Botta and
Luca Cavallaro and
Domenico Consoli and
Ester Giallonardo and
Fabrizio Maria Maggi and
Gabriele Tiotto},
editor = {Giuseppe Anastasi and
Emilio Bellini and
Elisabetta Di Nitto and
Carlo Ghezzi and
Letizia Tanca and
Eugenio Zimeo},
title = {Putting It All Together: Using the ArtDeco Approach in the Wine Business
Domain},
booktitle = {Methodologies and Technologies for Networked Enterprises - ArtDeco:
Adaptive Infrastructures for Decentralised Organisations},
series = {Lecture Notes in Computer Science},
volume = {7200},
pages = {415--452},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31739-2\_21},
doi = {10.1007/978-3-642-31739-2\_21},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/ZimeoMOQRSTABCCGMT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-6278,
author = {Achille Frigeri and
Liliana Pasquale and
Paola Spoletini},
title = {Fuzzy Time in {LTL}},
journal = {CoRR},
volume = {abs/1203.6278},
year = {2012},
url = {http://arxiv.org/abs/1203.6278},
eprinttype = {arXiv},
eprint = {1203.6278},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1203-6278.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GuineaS11,
author = {Sam Guinea and
Paola Spoletini},
editor = {Manuel Carro and
Dimka Karastoyanova and
Grace A. Lewis and
Anna Liu},
title = {Evaluating the compatibility of conversational service interactions},
booktitle = {Proceedings of the 3rd International Workshop on Principles of Engineering
Service-Oriented Systems, {PESOS} 2011, Waikiki, Honolulu, HI, USA,
May 23-24, 2011},
pages = {29--35},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1985394.1985399},
doi = {10.1145/1985394.1985399},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/GuineaS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/PasqualeS11,
author = {Liliana Pasquale and
Paola Spoletini},
title = {Monitoring fuzzy temporal requirements for service compositions: Motivations,
challenges and experimental results},
booktitle = {Requirements Engineering for Systems, Services and Systems-of-Systems
(RESS), 2011 Workshop on, Trento, Italy, August 30, 2011},
pages = {63--69},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/RESS.2011.6043924},
doi = {10.1109/RESS.2011.6043924},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/PasqualeS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/FuriaS11,
author = {Carlo A. Furia and
Paola Spoletini},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {On Relaxing Metric Information in Linear Temporal Logic},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {72--79},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.9},
doi = {10.1109/TIME.2011.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/FuriaS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/ElkindGPS10,
author = {Edith Elkind and
Blaise Genest and
Doron A. Peled and
Paola Spoletini},
title = {Quantifying the Discord: Order Discrepancies in Message Sequence Charts},
journal = {Int. J. Found. Comput. Sci.},
volume = {21},
number = {2},
pages = {211--233},
year = {2010},
url = {https://doi.org/10.1142/S0129054110007210},
doi = {10.1142/S0129054110007210},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/ElkindGPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/BaresiPS10,
author = {Luciano Baresi and
Liliana Pasquale and
Paola Spoletini},
title = {Fuzzy Goals for Requirements-Driven Adaptation},
booktitle = {{RE} 2010, 18th {IEEE} International Requirements Engineering Conference,
Sydney, New South Wales, Australia, September 27 - October 1, 2010},
pages = {125--134},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/RE.2010.25},
doi = {10.1109/RE.2010.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/BaresiPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1009-3455,
author = {Carlo A. Furia and
Alberto Leva and
Martina Maggio and
Paola Spoletini},
title = {A control-theoretical methodology for the scheduling problem},
journal = {CoRR},
volume = {abs/1009.3455},
year = {2010},
url = {http://arxiv.org/abs/1009.3455},
eprinttype = {arXiv},
eprint = {1009.3455},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-3455.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/RafeRBS09,
author = {Vahid Rafe and
Adel Torkaman Rahmani and
Luciano Baresi and
Paola Spoletini},
title = {Towards automated verification of layered graph transformation specifications},
journal = {{IET} Softw.},
volume = {3},
number = {4},
pages = {276--291},
year = {2009},
url = {https://doi.org/10.1049/iet-sen.2008.0059},
doi = {10.1049/IET-SEN.2008.0059},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/RafeRBS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jiis/CampiDGMPS09,
author = {Alessandro Campi and
Ernesto Damiani and
Sam Guinea and
Stefania Marrara and
Gabriella Pasi and
Paola Spoletini},
title = {A fuzzy extension of the XPath query language},
journal = {J. Intell. Inf. Syst.},
volume = {33},
number = {3},
pages = {285--305},
year = {2009},
url = {https://doi.org/10.1007/s10844-008-0066-3},
doi = {10.1007/S10844-008-0066-3},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jiis/CampiDGMPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvlsi/CorbettaMNSSS09,
author = {Simone Corbetta and
Massimo Morandi and
Marco Novati and
Marco D. Santambrogio and
Donatella Sciuto and
Paola Spoletini},
title = {Internal and External Bitstream Relocation for Partial Dynamic Reconfiguration},
journal = {{IEEE} Trans. Very Large Scale Integr. Syst.},
volume = {17},
number = {11},
pages = {1650--1654},
year = {2009},
url = {https://doi.org/10.1109/TVLSI.2008.2005670},
doi = {10.1109/TVLSI.2008.2005670},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tvlsi/CorbettaMNSSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BaresiBGS09,
author = {Luciano Baresi and
Domenico Bianculli and
Sam Guinea and
Paola Spoletini},
editor = {David Lee and
Ant{\'{o}}nia Lopes and
Arnd Poetzsch{-}Heffter},
title = {Keep It Small, Keep It Real: Efficient Run-Time Verification of Web
Service Compositions},
booktitle = {Formal Techniques for Distributed Systems, Joint 11th {IFIP} {WG}
6.1 International Conference {FMOODS} 2009 and 29th {IFIP} {WG} 6.1
International Conference {FORTE} 2009, Lisboa, Portugal, June 9-12,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5522},
pages = {26--40},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02138-1\_2},
doi = {10.1007/978-3-642-02138-1\_2},
timestamp = {Mon, 15 Jul 2019 16:26:46 +0200},
biburl = {https://dblp.org/rec/conf/forte/BaresiBGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/FuriaS09,
author = {Carlo A. Furia and
Paola Spoletini},
editor = {Alessandra Cherubini and
Mario Coppo and
Giuseppe Persiano},
title = {Towards Relaxing Metric Information in Linear Temporal Logic},
booktitle = {Theoretical Computer Science, 11th Italian Conference, {ICTCS} 2009,
Cremona, Italy, September 28-30, 2009, Proceedings},
pages = {121--124},
year = {2009},
timestamp = {Tue, 28 May 2013 14:21:59 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/FuriaS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ice/2008,
editor = {Filippo Bonchi and
Davide Grohmann and
Paola Spoletini and
Angelo Troina and
Emilio Tuosto},
title = {Proceedings of the First Interaction and Concurrency Experiences Workshop,
ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {3},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/229/issue/3},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ice/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-0912-0759,
editor = {Filippo Bonchi and
Davide Grohmann and
Paola Spoletini and
Emilio Tuosto},
title = {Proceedings 2nd Interaction and Concurrency Experience: Structured
Interactions, {ICE} 2009, Bologna, Italy, 31st August 2009},
series = {{EPTCS}},
volume = {12},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.12},
doi = {10.4204/EPTCS.12},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0912-0759.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0906-4711,
author = {Carlo A. Furia and
Paola Spoletini},
title = {On Relaxing Metric Information in Linear Temporal Logic},
journal = {CoRR},
volume = {abs/0906.4711},
year = {2009},
url = {http://arxiv.org/abs/0906.4711},
eprinttype = {arXiv},
eprint = {0906.4711},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0906-4711.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/SpoletiniV08,
author = {Paola Spoletini and
Mario Verdicchio},
editor = {Jomi Fred H{\"{u}}bner and
Eric T. Matson and
Olivier Boissier and
Virginia Dignum},
title = {An Automata-Based Monitoring Technique for Commitment-Based Multi-Agent
Systems},
booktitle = {Coordination, Organizations, Institutions and Norms in Agent Systems
IV, {COIN} 2008 International Workshops, COIN@AAMAS 2008, Estoril,
Portugal, May 12, 2008. COIN@AAAI 2008, Chicago, USA, July 14, 2008.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5428},
pages = {172--187},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-00443-8\_12},
doi = {10.1007/978-3-642-00443-8\_12},
timestamp = {Thu, 28 Nov 2019 10:44:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/SpoletiniV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/FuriaS08,
author = {Carlo A. Furia and
Paola Spoletini},
editor = {Sung Deok Cha and
Jin{-}Young Choi and
Moonzoo Kim and
Insup Lee and
Mahesh Viswanathan},
title = {Practical Efficient Modular Linear-Time Model-Checking},
booktitle = {Automated Technology for Verification and Analysis, 6th International
Symposium, {ATVA} 2008, Seoul, Korea, October 20-23, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5311},
pages = {408--417},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88387-6\_35},
doi = {10.1007/978-3-540-88387-6\_35},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/FuriaS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cacsd/FuriaMST08,
author = {Carlo A. Furia and
Marco Mazzucchelli and
Paola Spoletini and
Mara Tanelli},
title = {Towards the exhaustive verification of real-time aspects in controller
implementation},
booktitle = {{IEEE} International Conference on Computer-Aided Control Systems,
{CACSD} 2008, San Antonio, TX, USA, September 3-5, 2008},
pages = {1265--1270},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/CACSD.2008.4627349},
doi = {10.1109/CACSD.2008.4627349},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cacsd/FuriaMST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/FuriaS08,
author = {Carlo A. Furia and
Paola Spoletini},
editor = {John S. Fitzgerald and
Anne E. Haxthausen and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
title = {Tomorrow and All our Yesterdays: {MTL} Satisfiability over the Integers},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2008, 5th International
Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5160},
pages = {126--140},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85762-4\_9},
doi = {10.1007/978-3-540-85762-4\_9},
timestamp = {Fri, 28 Feb 2020 14:02:33 +0100},
biburl = {https://dblp.org/rec/conf/ictac/FuriaS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BonchiGSTT09,
author = {Filippo Bonchi and
Davide Grohmann and
Paola Spoletini and
Angelo Troina and
Emilio Tuosto},
editor = {Filippo Bonchi and
Davide Grohmann and
Paola Spoletini and
Angelo Troina and
Emilio Tuosto},
title = {Preface},
booktitle = {Proceedings of the First Interaction and Concurrency Experiences Workshop,
ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {3},
pages = {1--2},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.035},
doi = {10.1016/J.ENTCS.2009.06.035},
timestamp = {Fri, 24 Feb 2023 11:41:24 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BonchiGSTT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/wiley/PeledPS08,
author = {Doron A. Peled and
Patrizio Pelliccione and
Paola Spoletini},
editor = {Benjamin W. Wah},
title = {Model Checking},
booktitle = {Wiley Encyclopedia of Computer Science and Engineering},
publisher = {John Wiley {\&} Sons, Inc.},
year = {2008},
url = {https://doi.org/10.1002/9780470050118.ecse247},
doi = {10.1002/9780470050118.ECSE247},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/wiley/PeledPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BaresiBGGS07,
author = {Luciano Baresi and
Domenico Bianculli and
Carlo Ghezzi and
Sam Guinea and
Paola Spoletini},
title = {Validation of web service compositions},
journal = {{IET} Softw.},
volume = {1},
number = {6},
pages = {219--232},
year = {2007},
url = {https://doi.org/10.1049/iet-sen:20070027},
doi = {10.1049/IET-SEN:20070027},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/BaresiBGGS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/BragaCCS07,
author = {Daniele Braga and
Alessandro Campi and
Stefano Ceri and
Paola Spoletini},
title = {XQuery layers},
journal = {{SIGMOD} Rec.},
volume = {36},
number = {1},
pages = {25--30},
year = {2007},
url = {https://doi.org/10.1145/1276301.1276306},
doi = {10.1145/1276301.1276306},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/BragaCCS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ElkindGPS07,
author = {Edith Elkind and
Blaise Genest and
Doron A. Peled and
Paola Spoletini},
editor = {Kedar S. Namjoshi and
Tomohiro Yoneda and
Teruo Higashino and
Yoshio Okamura},
title = {Quantifying the Discord: Order Discrepancies in Message Sequence Charts},
booktitle = {Automated Technology for Verification and Analysis, 5th International
Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4762},
pages = {378--393},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75596-8\_27},
doi = {10.1007/978-3-540-75596-8\_27},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/ElkindGPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ceemas/SpoletiniV07,
author = {Paola Spoletini and
Mario Verdicchio},
editor = {Hans{-}Dieter Burkhard and
Gabriela Lindemann and
Rineke Verbrugge and
L{\'{a}}szl{\'{o}} Zsolt Varga},
title = {Commitment Monitoring in a Multiagent System},
booktitle = {Multi-Agent Systems and Applications V, 5th International Central
and Eastern European Conference on Multi-Agent Systems, {CEEMAS} 2007,
Leipzig, Germany, September 25-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4696},
pages = {83--92},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75254-7\_9},
doi = {10.1007/978-3-540-75254-7\_9},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/ceemas/SpoletiniV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/HeBGS07,
author = {Fei He and
Luciano Baresi and
Carlo Ghezzi and
Paola Spoletini},
editor = {John Derrick and
J{\"{u}}ri Vain},
title = {Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed
Automata},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2007, 27th {IFIP} {WG} 6.1 International Conference, Tallinn, Estonia,
June 27-29, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4574},
pages = {247--262},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73196-2\_16},
doi = {10.1007/978-3-540-73196-2\_16},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/HeBGS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/BianculliSMPP07,
author = {Domenico Bianculli and
Paola Spoletini and
Angelo Morzenti and
Matteo Pradella and
Pierluigi {San Pietro}},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Model Checking Temporal Metric Specifications with Trio2Promela},
booktitle = {International Symposium on Fundamentals of Software Engineering, International
Symposium, {FSEN} 2007, Tehran, Iran, April 17-19, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4767},
pages = {388--395},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75698-9\_26},
doi = {10.1007/978-3-540-75698-9\_26},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsen/BianculliSMPP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BianculliMPPS07,
author = {Domenico Bianculli and
Angelo Morzenti and
Matteo Pradella and
Pierluigi {San Pietro} and
Paola Spoletini},
title = {Trio2Promela: {A} Model Checker for Temporal Metric Specifications},
booktitle = {29th International Conference on Software Engineering {(ICSE} 2007),
Minneapolis, MN, USA, May 20-26, 2007, Companion Volume},
pages = {61--62},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICSECOMPANION.2007.79},
doi = {10.1109/ICSECOMPANION.2007.79},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BianculliMPPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/MattaRSMST07,
author = {Andrea Matta and
Matteo Rossi and
Paola Spoletini and
Dino Mandrioli and
Quirico Semeraro and
Tullio Tolio},
editor = {Cliff B. Jones and
Zhiming Liu and
Jim Woodcock},
title = {{FM} for {FMS:} Lessons Learned While Applying Formal Methods to the
Study of Flexible Manufacturing Systems},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
Colloquium, Macau, China, September 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4711},
pages = {366--380},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75292-9\_25},
doi = {10.1007/978-3-540-75292-9\_25},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/MattaRSMST07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/BaresiBGGS07,
author = {Luciano Baresi and
Domenico Bianculli and
Carlo Ghezzi and
Sam Guinea and
Paola Spoletini},
title = {A Timed Extension of WSCoL},
booktitle = {2007 {IEEE} International Conference on Web Services {(ICWS} 2007),
July 9-13, 2007, Salt Lake City, Utah, {USA}},
pages = {663--670},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICWS.2007.25},
doi = {10.1109/ICWS.2007.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/BaresiBGGS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lipari/BianculliGSBG07,
author = {Domenico Bianculli and
Carlo Ghezzi and
Paola Spoletini and
Luciano Baresi and
Sam Guinea},
editor = {Egon B{\"{o}}rger and
Antonio Cisternino},
title = {A Guided Tour through {SAVVY-WS:} {A} Methodology for Specifying and
Validating Web Service Compositions},
booktitle = {Advances in Software Engineering, Lipari Summer School 2007, Lipari
Island, Italy, July 8-21, 2007, Revised Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {5316},
pages = {131--160},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-89762-0\_5},
doi = {10.1007/978-3-540-89762-0\_5},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lipari/BianculliGSBG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soca/BianculliGS07,
author = {Domenico Bianculli and
Carlo Ghezzi and
Paola Spoletini},
title = {A Model Checking Approach to Verify {BPEL4WS} Workflows},
booktitle = {{IEEE} International Conference on Service-Oriented Computing and
Applications, {SOCA} 2007, 19-20 June 2007, Newport Beach, California,
{USA}},
pages = {13--20},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SOCA.2007.5},
doi = {10.1109/SOCA.2007.5},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/soca/BianculliGS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaresiRRS08,
author = {Luciano Baresi and
Vahid Rafe and
Adel Torkaman Rahmani and
Paola Spoletini},
editor = {Barbara K{\"{o}}nig and
Arend Rensink and
Reiko Heckel},
title = {An Efficient Solution for Model Checking Graph Transformation Systems},
booktitle = {Proceedings of the Third Workshop on Graph Transformation for Concurrency
and Verification, GT-VC@CONCUR 2007, Lisbon, Portugal, September 3,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {213},
number = {1},
pages = {3--21},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.04.071},
doi = {10.1016/J.ENTCS.2008.04.071},
timestamp = {Fri, 17 Feb 2023 09:59:54 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BaresiRRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexaw/CampiS06,
author = {Alessandro Campi and
Paola Spoletini},
title = {History Checking of {XML} Data Streams},
booktitle = {17th International Workshop on Database and Expert Systems Applications
{(DEXA} 2006), 4-8 September 2006, Krakow, Poland},
pages = {542--546},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/DEXA.2006.66},
doi = {10.1109/DEXA.2006.66},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dexaw/CampiS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fqas/CampiGS06,
author = {Alessandro Campi and
Sam Guinea and
Paola Spoletini},
editor = {Henrik Legind Larsen and
Gabriella Pasi and
Daniel Ortiz Arroyo and
Troels Andreasen and
Henning Christiansen},
title = {A Fuzzy Extension for the XPath Query Language},
booktitle = {Flexible Query Answering Systems, 7th International Conference, {FQAS}
2006, Milan, Italy, June 7-10, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4027},
pages = {210--221},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11766254\_18},
doi = {10.1007/11766254\_18},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fqas/CampiGS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BaresiS06,
author = {Luciano Baresi and
Paola Spoletini},
editor = {Andrea Corradini and
Hartmut Ehrig and
Ugo Montanari and
Leila Ribeiro and
Grzegorz Rozenberg},
title = {On the Use of Alloy to Analyze Graph Transformation Systems},
booktitle = {Graph Transformations, Third International Conference, {ICGT} 2006,
Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4178},
pages = {306--320},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841883\_22},
doi = {10.1007/11841883\_22},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gg/BaresiS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsi/GiorgettaSSS06,
author = {Marco Giorgetta and
Marco D. Santambrogio and
Donatella Sciuto and
Paola Spoletini},
title = {A graph-coloring approach to the allocation and tasks scheduling for
reconfigurable architectures},
booktitle = {{IFIP} VLSI-SoC 2006, {IFIP} {WG} 10.5 International Conference on
Very Large Scale Integration of System-on-Chip, Nice, France, 16-18
October 2006},
pages = {24--29},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/VLSISOC.2006.313267},
doi = {10.1109/VLSISOC.2006.313267},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vlsi/GiorgettaSSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/CampiS06,
author = {Alessandro Campi and
Paola Spoletini},
editor = {Les Carr and
David De Roure and
Arun Iyengar and
Carole A. Goble and
Michael Dahlin},
title = {A framework for {XML} data streams history checking and monitoring},
booktitle = {Proceedings of the 15th international conference on World Wide Web,
{WWW} 2006, Edinburgh, Scotland, UK, May 23-26, 2006},
pages = {983--984},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1135777.1135976},
doi = {10.1145/1135777.1135976},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/CampiS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/it/Spoletini05,
author = {Paola Spoletini},
title = {Verification of temporal logic specifications via model checking},
school = {Polytechnic University of Milan, Italy},
year = {2005},
url = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=BNI0018974},
timestamp = {Wed, 10 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/it/Spoletini05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iadis/CherubiniCFS05,
author = {Alessandra Cherubini and
Enzo Colombo and
Chiara Francalanci and
Paola Spoletini},
editor = {Nuno Guimar{\~{a}}es and
Pedro T. Isa{\'{\i}}as},
title = {A formal approach supporting the specification and verification of
business conversation requirements},
booktitle = {{AC} 2005, Proceedings of the {IADIS} International Conference on
Applied Computing, Algarve, Portugal, February 22-25, 2005, Volume
1},
pages = {467--478},
publisher = {{IADIS}},
year = {2005},
timestamp = {Thu, 16 Nov 2017 18:21:03 +0100},
biburl = {https://dblp.org/rec/conf/iadis/CherubiniCFS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/ColomboMS05,
author = {Enzo Colombo and
John Mylopoulos and
Paola Spoletini},
editor = {Boualem Benatallah and
Fabio Casati and
Paolo Traverso},
title = {Modeling and Analyzing Context-Aware Composition of Services},
booktitle = {Service-Oriented Computing - {ICSOC} 2005, Third International Conference,
Amsterdam, The Netherlands, December 12-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3826},
pages = {198--213},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11596141\_16},
doi = {10.1007/11596141\_16},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/ColomboMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/MorzentiPPS03,
author = {Angelo Morzenti and
Matteo Pradella and
Pierluigi {San Pietro} and
Paola Spoletini},
editor = {Keijiro Araki and
Stefania Gnesi and
Dino Mandrioli},
title = {Model-Checking {TRIO} Specifications in {SPIN}},
booktitle = {{FME} 2003: Formal Methods, International Symposium of Formal Methods
Europe, Pisa, Italy, September 8-14, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2805},
pages = {542--561},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45236-2\_30},
doi = {10.1007/978-3-540-45236-2\_30},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/MorzentiPPS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 02:08 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:
