default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Carlo Ghezzi
@article{DBLP:journals/computer/WerthnerSSKHG23,
author = {Hannes Werthner and
Allison Stanger and
Viola Schiaffonati and
Peter Knees and
Lynda Hardman and
Carlo Ghezzi},
title = {Digital Humanism: The Time Is Now},
journal = {Computer},
volume = {56},
number = {1},
pages = {138--142},
year = {2023},
url = {https://doi.org/10.1109/MC.2022.3219528},
doi = {10.1109/MC.2022.3219528},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computer/WerthnerSSKHG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/BaresiCG23,
author = {Luciano Baresi and
Chiara Criscuolo and
Carlo Ghezzi},
editor = {Kurt Schneider and
Fabiano Dalpiaz and
Jennifer Horkoff},
title = {Understanding Fairness Requirements for ML-based Software},
booktitle = {31st {IEEE} International Requirements Engineering Conference, {RE}
2023, Hannover, Germany, September 4-8, 2023},
pages = {341--346},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/RE57278.2023.00046},
doi = {10.1109/RE57278.2023.00046},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/re/BaresiCG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/22/Ghezzi22,
author = {Carlo Ghezzi},
title = {Should We Rethink How We Do Research?},
booktitle = {Perspectives on Digital Humanism},
pages = {323--327},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-86144-5\_44},
doi = {10.1007/978-3-030-86144-5\_44},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/22/Ghezzi22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/22/WPLG2022,
editor = {Hannes Werthner and
Erich Prem and
Edward A. Lee and
Carlo Ghezzi},
title = {Perspectives on Digital Humanism},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-86144-5},
doi = {10.1007/978-3-030-86144-5},
isbn = {978-3-030-86143-8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/22/WPLG2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Ghezzi21,
author = {Carlo Ghezzi},
title = {Science needs to engage with society: some lessons from {COVID-19}},
journal = {Commun. {ACM}},
volume = {64},
number = {8},
pages = {36--38},
year = {2021},
url = {https://doi.org/10.1145/3473614},
doi = {10.1145/3473614},
timestamp = {Mon, 16 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/Ghezzi21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/PisperoMGMVTL21,
author = {Alberto Pispero and
Marco Marcon and
Carlo Ghezzi and
Domenico Massironi and
Elena Maria Varoni and
Stefano Tubaro and
Giovanni Lodi},
title = {Posture Assessment in Dentistry for Different Visual Aids Using 2D
Markers},
journal = {Sensors},
volume = {21},
number = {22},
pages = {7717},
year = {2021},
url = {https://doi.org/10.3390/s21227717},
doi = {10.3390/S21227717},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/PisperoMGMVTL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/ViscontiTHG21,
author = {Ennio Visconti and
Christos Tsigkanos and
Zhenjiang Hu and
Carlo Ghezzi},
title = {Model-driven engineering city spaces via bidirectional model transformations},
journal = {Softw. Syst. Model.},
volume = {20},
number = {6},
pages = {2003--2022},
year = {2021},
url = {https://doi.org/10.1007/s10270-020-00851-0},
doi = {10.1007/S10270-020-00851-0},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/ViscontiTHG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MenghiTPGB21,
author = {Claudio Menghi and
Christos Tsigkanos and
Patrizio Pelliccione and
Carlo Ghezzi and
Thorsten Berger},
title = {Specification Patterns for Robotic Missions},
journal = {{IEEE} Trans. Software Eng.},
volume = {47},
number = {10},
pages = {2208--2224},
year = {2021},
url = {https://doi.org/10.1109/TSE.2019.2945329},
doi = {10.1109/TSE.2019.2945329},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/MenghiTPGB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Ghezzi20,
author = {Carlo Ghezzi},
title = {Being a Researcher - An Informatics Perspective},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45157-8},
doi = {10.1007/978-3-030-45157-8},
isbn = {978-3-030-45156-1},
timestamp = {Fri, 26 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Ghezzi20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/LiTJHG20,
author = {Nianyu Li and
Christos Tsigkanos and
Zhi Jin and
Zhenjiang Hu and
Carlo Ghezzi},
title = {Early validation of cyber-physical space systems via multi-concerns
integration},
journal = {J. Syst. Softw.},
volume = {170},
pages = {110742},
year = {2020},
url = {https://doi.org/10.1016/j.jss.2020.110742},
doi = {10.1016/J.JSS.2020.110742},
timestamp = {Sat, 17 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/LiTJHG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toit/TsigkanosGBG20,
author = {Christos Tsigkanos and
Martin Garriga and
Luciano Baresi and
Carlo Ghezzi},
title = {Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed
Internet of Things Systems},
journal = {{ACM} Trans. Internet Techn.},
volume = {20},
number = {2},
pages = {17:1--17:23},
year = {2020},
url = {https://doi.org/10.1145/3381452},
doi = {10.1145/3381452},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toit/TsigkanosGBG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/TsigkanosLJHG20,
author = {Christos Tsigkanos and
Nianyu Li and
Zhi Jin and
Zhenjiang Hu and
Carlo Ghezzi},
title = {Scalable Multiple-View Analysis of Reactive Systems via Bidirectional
Model Transformations},
booktitle = {35th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2020, Melbourne, Australia, September 21-25, 2020},
pages = {993--1003},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1145/3324884.3416579},
doi = {10.1145/3324884.3416579},
timestamp = {Fri, 12 Feb 2021 13:04:43 +0100},
biburl = {https://dblp.org/rec/conf/kbse/TsigkanosLJHG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-11428,
author = {Christos Tsigkanos and
Martin Garriga and
Luciano Baresi and
Carlo Ghezzi},
title = {Cloud Deployment Tradeoffs for the Analysis of Spatially-Distributed
Systems of Internet-of-Things},
journal = {CoRR},
volume = {abs/2004.11428},
year = {2020},
url = {https://arxiv.org/abs/2004.11428},
eprinttype = {arXiv},
eprint = {2004.11428},
timestamp = {Tue, 28 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-11428.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-06719,
author = {Nianyu Li and
Christos Tsigkanos and
Zhi Jin and
Zhenjiang Hu and
Carlo Ghezzi},
title = {Early Validation of Cyber-Physical Space Systems via Multi-Concerns
Integration},
journal = {CoRR},
volume = {abs/2007.06719},
year = {2020},
url = {https://arxiv.org/abs/2007.06719},
eprinttype = {arXiv},
eprint = {2007.06719},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-06719.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}
}
@inproceedings{DBLP:conf/birthday/AskarpourGMRT19,
author = {Mehrnoosh Askarpour and
Carlo Ghezzi and
Dino Mandrioli and
Matteo Rossi and
Christos Tsigkanos},
editor = {Maurice H. ter Beek and
Alessandro Fantechi and
Laura Semini},
title = {Formal Methods in Designing Critical Cyber-Physical Systems},
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 = {110--130},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30985-5\_8},
doi = {10.1007/978-3-030-30985-5\_8},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AskarpourGMRT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BennaceurGTKWCD19,
author = {Amel Bennaceur and
Carlo Ghezzi and
Kenji Tei and
Timo Kehrer and
Danny Weyns and
Radu Calinescu and
Schahram Dustdar and
Zhenjiang Hu and
Shinichi Honiden and
Fuyuki Ishikawa and
Zhi Jin and
Jeffrey Kramer and
Marin Litoiu and
Michele Loreti and
Gabriel A. Moreno and
Hausi A. M{\"{u}}ller and
Laura Nenzi and
Bashar Nuseibeh and
Liliana Pasquale and
Wolfgang Reisig and
Heinz Schmidt and
Christos Tsigkanos and
Haiyan Zhao},
editor = {Marin Litoiu and
Siobh{\'{a}}n Clarke and
Kenji Tei},
title = {Modelling and analysing resilient cyber-physical systems},
booktitle = {Proceedings of the 14th International Symposium on Software Engineering
for Adaptive and Self-Managing Systems, SEAMS@ICSE 2019, Montreal,
QC, Canada, May 25-31, 2019},
pages = {70--76},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1109/SEAMS.2019.00018},
doi = {10.1109/SEAMS.2019.00018},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/BennaceurGTKWCD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/TsigkanosNLGDG19,
author = {Christos Tsigkanos and
Laura Nenzi and
Michele Loreti and
Martin Garriga and
Schahram Dustdar and
Carlo Ghezzi},
editor = {Marin Litoiu and
Siobh{\'{a}}n Clarke and
Kenji Tei},
title = {Inferring analyzable models from trajectories of spatially-distributed
internet of things},
booktitle = {Proceedings of the 14th International Symposium on Software Engineering
for Adaptive and Self-Managing Systems, SEAMS@ICSE 2019, Montreal,
QC, Canada, May 25-31, 2019},
pages = {100--106},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1109/SEAMS.2019.00021},
doi = {10.1109/SEAMS.2019.00021},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/TsigkanosNLGDG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ViscontiTHG19,
author = {Ennio Visconti and
Christos Tsigkanos and
Zhenjiang Hu and
Carlo Ghezzi},
editor = {Marouane Kessentini and
Tao Yue and
Alexander Pretschner and
Sebastian Voss and
Loli Burgue{\~{n}}o},
title = {Model-Driven Design of City Spaces via Bidirectional Transformations},
booktitle = {22nd {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems, {MODELS} 2019, Munich, Germany, September 15-20,
2019},
pages = {45--55},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/MODELS.2019.00-16},
doi = {10.1109/MODELS.2019.00-16},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/ViscontiTHG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/LiTJDHG19,
author = {Nianyu Li and
Christos Tsigkanos and
Zhi Jin and
Schahram Dustdar and
Zhenjiang Hu and
Carlo Ghezzi},
title = {{POET:} Privacy on the Edge with Bidirectional Data Transformations},
booktitle = {2019 {IEEE} International Conference on Pervasive Computing and Communications,
PerCom, Kyoto, Japan, March 11-15, 2019},
pages = {1--10},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/PERCOM.2019.8767395},
doi = {10.1109/PERCOM.2019.8767395},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/percom/LiTJDHG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-02077,
author = {Claudio Menghi and
Christos Tsigkanos and
Patrizio Pelliccione and
Carlo Ghezzi and
Thorsten Berger},
title = {Specification Patterns for Robotic Missions},
journal = {CoRR},
volume = {abs/1901.02077},
year = {2019},
url = {http://arxiv.org/abs/1901.02077},
eprinttype = {arXiv},
eprint = {1901.02077},
timestamp = {Thu, 31 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-02077.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-04771,
author = {Danny Weyns and
Nelly Bencomo and
Radu Calinescu and
Javier C{\'{a}}mara and
Carlo Ghezzi and
Vincenzo Grassi and
Lars Grunske and
Paola Inverardi and
Jean{-}Marc J{\'{e}}z{\'{e}}quel and
Sam Malek and
Raffaela Mirandola and
Marco Mori and
Giordano Tamburrelli},
title = {Perpetual Assurances for Self-Adaptive Systems},
journal = {CoRR},
volume = {abs/1903.04771},
year = {2019},
url = {http://arxiv.org/abs/1903.04771},
eprinttype = {arXiv},
eprint = {1903.04771},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-04771.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taas/AfanasovMG18,
author = {Mikhail Afanasov and
Luca Mottola and
Carlo Ghezzi},
title = {Software Adaptation in Wireless Sensor Networks},
journal = {{ACM} Trans. Auton. Adapt. Syst.},
volume = {12},
number = {4},
pages = {18:1--18:29},
year = {2018},
url = {https://doi.org/10.1145/3145453},
doi = {10.1145/3145453},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/taas/AfanasovMG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/TsigkanosPGN18,
author = {Christos Tsigkanos and
Liliana Pasquale and
Carlo Ghezzi and
Bashar Nuseibeh},
title = {On the Interplay Between Cyber and Physical Spaces for Adaptive Security},
journal = {{IEEE} Trans. Dependable Secur. Comput.},
volume = {15},
number = {3},
pages = {466--480},
year = {2018},
url = {https://doi.org/10.1109/TDSC.2016.2599880},
doi = {10.1109/TDSC.2016.2599880},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tdsc/TsigkanosPGN18.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/icse/TsigkanosLJHG18,
author = {Christos Tsigkanos and
Nianyu Li and
Zhi Jin and
Zhenjiang Hu and
Carlo Ghezzi},
editor = {Tom{\'{a}}s Bures and
John S. Fitzgerald and
Bradley R. Schmerl and
Danny Weyns},
title = {On early statistical requirements validation of cyber-physical space
systems},
booktitle = {Proceedings of the 4th International Workshop on Software Engineering
for Smart Cyber-Physical Systems, {ICSE} 2018, Gothenburg, Sweden,
May 27, 2018},
pages = {13--18},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3196478.3196485},
doi = {10.1145/3196478.3196485},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/TsigkanosLJHG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MenghiTBPG18,
author = {Claudio Menghi and
Christos Tsigkanos and
Thorsten Berger and
Patrizio Pelliccione and
Carlo Ghezzi},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {Property specification patterns for robotic missions},
booktitle = {Proceedings of the 40th International Conference on Software Engineering:
Companion Proceeedings, {ICSE} 2018, Gothenburg, Sweden, May 27 -
June 03, 2018},
pages = {434--435},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3183440.3195044},
doi = {10.1145/3183440.3195044},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/MenghiTBPG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/TsigkanosKG18,
author = {Christos Tsigkanos and
Timo Kehrer and
Carlo Ghezzi},
editor = {Matthias Tichy and
Eric Bodden and
Marco Kuhrmann and
Stefan Wagner and
Jan{-}Philipp Stegh{\"{o}}fer},
title = {Modeling and Verification of Evolving Cyber-Physical Spaces},
booktitle = {Software Engineering und Software Management 2018, Fachtagung des
GI-Fachbereichs Softwaretechnik, {SE} 2018, 5.-9. M{\"{a}}rz
2018, Ulm, Germany},
series = {{LNI}},
volume = {{P-279}},
pages = {113--114},
publisher = {Gesellschaft f{\"{u}}r Informatik},
year = {2018},
url = {https://dl.gi.de/handle/20.500.12116/16369},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/TsigkanosKG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/18/Ghezzi18,
author = {Carlo Ghezzi},
editor = {Volker Gruhn and
R{\"{u}}diger Striemer},
title = {Formal Methods and Agile Development: Towards a Happy Marriage},
booktitle = {The Essence of Software Engineering},
pages = {25--36},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73897-0\_2},
doi = {10.1007/978-3-319-73897-0\_2},
timestamp = {Fri, 31 Jan 2020 21:31:48 +0100},
biburl = {https://dblp.org/rec/books/sp/18/Ghezzi18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/BennaceurGT18,
author = {Amel Bennaceur and
Carlo Ghezzi and
Kenji Tei},
title = {Modelling and Analysing Resilient Cyber-Physical Systems {(NII} Shonan
Meeting 2018-21)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2018},
year = {2018},
url = {https://shonan.nii.ac.jp/seminars/118/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/BennaceurGT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/PasqualeGPTBFHN17,
author = {Liliana Pasquale and
Carlo Ghezzi and
Edoardo Pasi and
Christos Tsigkanos and
Menouer Boubekeur and
Blanca Florentino{-}Lia{\~{n}}o and
Tarik Hadzic and
Bashar Nuseibeh},
title = {Topology-Aware Access Control of Smart Spaces},
journal = {Computer},
volume = {50},
number = {7},
pages = {54--63},
year = {2017},
url = {https://doi.org/10.1109/MC.2017.189},
doi = {10.1109/MC.2017.189},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/PasqualeGPTBFHN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LuoHG17,
author = {Chen Luo and
Fei He and
Carlo Ghezzi},
title = {Inferring software behavioral models with MapReduce},
journal = {Sci. Comput. Program.},
volume = {145},
pages = {13--36},
year = {2017},
url = {https://doi.org/10.1016/j.scico.2017.04.004},
doi = {10.1016/J.SCICO.2017.04.004},
timestamp = {Mon, 19 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/LuoHG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/Ghezzi17,
author = {Carlo Ghezzi},
title = {Of software and change},
journal = {J. Softw. Evol. Process.},
volume = {29},
number = {9},
year = {2017},
url = {https://doi.org/10.1002/smr.1888},
doi = {10.1002/SMR.1888},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/smr/Ghezzi17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BaresiGMM17,
author = {Luciano Baresi and
Carlo Ghezzi and
Xiaoxing Ma and
Valerio Panzica La Manna},
title = {Efficient Dynamic Updates of Distributed Components Through Version
Consistency},
journal = {{IEEE} Trans. Software Eng.},
volume = {43},
number = {4},
pages = {340--358},
year = {2017},
url = {https://doi.org/10.1109/TSE.2016.2592913},
doi = {10.1109/TSE.2016.2592913},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BaresiGMM17.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/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}
}
@inproceedings{DBLP:conf/sigsoft/TsigkanosKG17,
author = {Christos Tsigkanos and
Timo Kehrer and
Carlo Ghezzi},
editor = {Eric Bodden and
Wilhelm Sch{\"{a}}fer and
Arie van Deursen and
Andrea Zisman},
title = {Modeling and verification of evolving cyber-physical spaces},
booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
pages = {38--48},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3106237.3106299},
doi = {10.1145/3106237.3106299},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/TsigkanosKG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2013adaptive,
editor = {Rog{\'{e}}rio de Lemos and
David Garlan and
Carlo Ghezzi and
Holger Giese},
title = {Software Engineering for Self-Adaptive Systems {III.} Assurances -
International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013,
Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {9640},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74183-3},
doi = {10.1007/978-3-319-74183-3},
isbn = {978-3-319-74182-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2013adaptive.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/computing/TsigkanosKG16,
author = {Christos Tsigkanos and
Timo Kehrer and
Carlo Ghezzi},
title = {Architecting dynamic cyber-physical spaces},
journal = {Computing},
volume = {98},
number = {10},
pages = {1011--1040},
year = {2016},
url = {https://doi.org/10.1007/s00607-016-0509-6},
doi = {10.1007/S00607-016-0509-6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computing/TsigkanosKG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/CalinescuGJPRT16,
author = {Radu Calinescu and
Carlo Ghezzi and
Kenneth Johnson and
Mauro Pezz{\`{e}} and
Yasmin Rafiq and
Giordano Tamburrelli},
title = {Formal Verification With Confidence Intervals to Establish Quality
of Service Properties of Software Systems},
journal = {{IEEE} Trans. Reliab.},
volume = {65},
number = {1},
pages = {107--125},
year = {2016},
url = {https://doi.org/10.1109/TR.2015.2452931},
doi = {10.1109/TR.2015.2452931},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tr/CalinescuGJPRT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/FilieriTG16,
author = {Antonio Filieri and
Giordano Tamburrelli and
Carlo Ghezzi},
title = {Supporting Self-Adaptation via Quantitative Verification and Sensitivity
Analysis at Run Time},
journal = {{IEEE} Trans. Software Eng.},
volume = {42},
number = {1},
pages = {75--99},
year = {2016},
url = {https://doi.org/10.1109/TSE.2015.2421318},
doi = {10.1109/TSE.2015.2421318},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/FilieriTG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewsn/AfanasovMG16,
author = {Mikhail Afanasov and
Luca Mottola and
Carlo Ghezzi},
editor = {Kay R{\"{o}}mer and
Koen Langendoen and
Thiemo Voigt},
title = {Poster: Programming Support for Time-sensitive Software Adaptation
in Cyberphysical Systems},
booktitle = {Proceedings of the International Conference on Embedded Wireless Systems
and Networks, {EWSN} 2016, Graz, Austria, 15-17 February 2016},
pages = {243--244},
publisher = {Junction Publishing, Canada / {ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2893754},
timestamp = {Mon, 14 Mar 2016 14:41:52 +0100},
biburl = {https://dblp.org/rec/conf/ewsn/AfanasovMG16.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/icse/TsigkanosKGPN16,
author = {Christos Tsigkanos and
Timo Kehrer and
Carlo Ghezzi and
Liliana Pasquale and
Bashar Nuseibeh},
title = {Adding static and dynamic semantics to building information models},
booktitle = {Proceedings of the 2nd International Workshop on Software Engineering
for Smart Cyber-Physical Systems, SEsCPS@ICSE 2016, Austin, Texas,
USA, May 14-22, 2016},
pages = {1--7},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2897035.2897042},
doi = {10.1145/2897035.2897042},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/TsigkanosKGPN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BersaniBGKP16,
author = {Marcello M. Bersani and
Domenico Bianculli and
Carlo Ghezzi and
Srdan Krstic and
Pierluigi {San Pietro}},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {Efficient large-scale trace checking using mapreduce},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
pages = {888--898},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2884781.2884832},
doi = {10.1145/2884781.2884832},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/BersaniBGKP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/Ghezzi16,
author = {Carlo Ghezzi},
editor = {Marco Bernardo and
Rocco De Nicola and
Jane Hillston},
title = {Dependability of Adaptable and Evolvable Distributed Systems},
booktitle = {Formal Methods for the Quantitative Evaluation of Collective Adaptive
Systems - 16th International School on Formal Methods for the Design
of Computer, Communication, and Software Systems, {SFM} 2016, Bertinoro,
Italy, June 20-24, 2016, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {9700},
pages = {36--60},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-34096-8\_2},
doi = {10.1007/978-3-319-34096-8\_2},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/Ghezzi16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KehrerTG16,
author = {Timo Kehrer and
Christos Tsigkanos and
Carlo Ghezzi},
editor = {Alexander Heu{\ss}ner and
Aleks Kissinger and
Anton Wijs},
title = {An EMOF-Compliant Abstract Syntax for Bigraphs},
booktitle = {Proceedings Second Graphs as Models Workshop, GaM@ETAPS 2016, Eindhoven,
The Netherlands, April 2-3, 2016},
series = {{EPTCS}},
volume = {231},
pages = {16--30},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.231.2},
doi = {10.4204/EPTCS.231.2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KehrerTG16.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}
}
@article{DBLP:journals/concurrency/GhezziMMT15,
author = {Carlo Ghezzi and
Valerio Panzica La Manna and
Alfredo Motta and
Giordano Tamburrelli},
title = {Performance-driven dynamic service selection},
journal = {Concurr. Comput. Pract. Exp.},
volume = {27},
number = {3},
pages = {633--650},
year = {2015},
url = {https://doi.org/10.1002/cpe.3259},
doi = {10.1002/CPE.3259},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/GhezziMMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/DragoGM15,
author = {Mauro Luigi Drago and
Carlo Ghezzi and
Raffaela Mirandola},
title = {A quality driven extension to the QVT-relations transformation language},
journal = {Comput. Sci. Res. Dev.},
volume = {30},
number = {1},
pages = {1--20},
year = {2015},
url = {https://doi.org/10.1007/s00450-011-0202-0},
doi = {10.1007/S00450-011-0202-0},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ife/DragoGM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/CaporuscioG15,
author = {Mauro Caporuscio and
Carlo Ghezzi},
title = {Engineering Future Internet applications: The Prime approach},
journal = {J. Syst. Softw.},
volume = {106},
pages = {9--27},
year = {2015},
url = {https://doi.org/10.1016/j.jss.2015.03.102},
doi = {10.1016/J.JSS.2015.03.102},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/CaporuscioG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BianculliFGM15,
author = {Domenico Bianculli and
Antonio Filieri and
Carlo Ghezzi and
Dino Mandrioli},
title = {Syntactic-semantic incrementality for agile verification},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {47--54},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.11.026},
doi = {10.1016/J.SCICO.2013.11.026},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BianculliFGM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SalvaneschiGP15,
author = {Guido Salvaneschi and
Carlo Ghezzi and
Matteo Pradella},
title = {ContextErlang: {A} language for distributed context-aware self-adaptive
applications},
journal = {Sci. Comput. Program.},
volume = {102},
pages = {20--43},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.11.016},
doi = {10.1016/J.SCICO.2014.11.016},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/SalvaneschiGP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MannaGCG15,
author = {Valerio Panzica La Manna and
Joel Greenyer and
Donato Clun and
Carlo Ghezzi},
editor = {Jeff Gray and
Marsha Chechik and
Vinay Kulkarni and
Richard F. Paige},
title = {Towards Executing Dynamically Updating Finite-State Controllers on
a Robot System},
booktitle = {7th {IEEE/ACM} International Workshop on Modeling in Software Engineering,
MiSE 2015, Florence, Italy, May 16-17, 2015},
pages = {42--47},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/MiSE.2015.15},
doi = {10.1109/MISE.2015.15},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/MannaGCG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BianculliFGMR15,
author = {Domenico Bianculli and
Antonio Filieri and
Carlo Ghezzi and
Dino Mandrioli and
Alessandro Maria Rizzi},
editor = {Stefania Gnesi and
Nico Plat},
title = {Syntax-Driven Program Verification of Matching Logic Properties},
booktitle = {3rd {IEEE/ACM} {FME} Workshop on Formal Methods in Software Engineering,
FormaliSE 2015, Florence, Italy, May 18, 2015},
pages = {68--74},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/FormaliSE.2015.18},
doi = {10.1109/FORMALISE.2015.18},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BianculliFGMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/TsigkanosPGN15,
author = {Christos Tsigkanos and
Liliana Pasquale and
Carlo Ghezzi and
Bashar Nuseibeh},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {Ariadne: Topology Aware Adaptive Security for Cyber-Physical Systems},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
pages = {729--732},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.234},
doi = {10.1109/ICSE.2015.234},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/TsigkanosPGN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/JiaGY15,
author = {Xiangyang Jia and
Carlo Ghezzi and
Shi Ying},
editor = {Michal Young and
Tao Xie},
title = {Enhancing reuse of constraint solutions to improve symbolic execution},
booktitle = {Proceedings of the 2015 International Symposium on Software Testing
and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
pages = {177--187},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2771783.2771806},
doi = {10.1145/2771783.2771806},
timestamp = {Fri, 05 Nov 2021 10:54:23 +0100},
biburl = {https://dblp.org/rec/conf/issta/JiaGY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/GhafariGR15,
author = {Mohammad Ghafari and
Carlo Ghezzi and
Konstantin Rubinov},
editor = {Michael W. Godfrey and
David Lo and
Foutse Khomh},
title = {Automatically identifying focal methods under test in unit test cases},
booktitle = {15th {IEEE} International Working Conference on Source Code Analysis
and Manipulation, {SCAM} 2015, Bremen, Germany, September 27-28, 2015},
pages = {61--70},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SCAM.2015.7335402},
doi = {10.1109/SCAM.2015.7335402},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/GhafariGR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/LuoHG15,
author = {Chen Luo and
Fei He and
Carlo Ghezzi},
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {Inferring Software Behavioral Models with MapReduce},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
pages = {135--149},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0\_9},
doi = {10.1007/978-3-319-25942-0\_9},
timestamp = {Wed, 21 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/LuoHG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JiaGY15,
author = {Xiangyang Jia and
Carlo Ghezzi and
Shi Ying},
title = {Enhancing Reuse of Constraint Solutions to Improve Symbolic Execution},
journal = {CoRR},
volume = {abs/1501.07174},
year = {2015},
url = {http://arxiv.org/abs/1501.07174},
eprinttype = {arXiv},
eprint = {1501.07174},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JiaGY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BersaniBGKP15,
author = {Marcello M. Bersani and
Domenico Bianculli and
Carlo Ghezzi and
Srdan Krstic and
Pierluigi {San Pietro}},
title = {Efficient Large-scale Trace Checking Using MapReduce},
journal = {CoRR},
volume = {abs/1508.06613},
year = {2015},
url = {http://arxiv.org/abs/1508.06613},
eprinttype = {arXiv},
eprint = {1508.06613},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BersaniBGKP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/CugolaGPT14,
author = {Gianpaolo Cugola and
Carlo Ghezzi and
Leandro Sales Pinto and
Giordano Tamburrelli},
title = {SelfMotion: {A} declarative approach for adaptive service-oriented
mobile applications},
journal = {J. Syst. Softw.},
volume = {92},
pages = {32--44},
year = {2014},
url = {https://doi.org/10.1016/j.jss.2013.10.057},
doi = {10.1016/J.JSS.2013.10.057},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/CugolaGPT14.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/tr/DistefanoGGM14,
author = {Salvatore Distefano and
Carlo Ghezzi and
Sam Guinea and
Raffaela Mirandola},
title = {Dependability Assessment of Web Service Orchestrations},
journal = {{IEEE} Trans. Reliab.},
volume = {63},
number = {3},
pages = {689--705},
year = {2014},
url = {https://doi.org/10.1109/TR.2014.2315939},
doi = {10.1109/TR.2014.2315939},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tr/DistefanoGGM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GhezziMS14,
author = {Carlo Ghezzi and
Andrea Mocci and
Mario Sangiorgio},
editor = {Shusaku Iida and
Jos{\'{e}} Meseguer and
Kazuhiro Ogata},
title = {Synthesis of Infinite-State Abstractions and Their Use for Software
Validation},
booktitle = {Specification, Algebra, and Software - Essays Dedicated to Kokichi
Futatsugi},
series = {Lecture Notes in Computer Science},
volume = {8373},
pages = {276--295},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54624-2\_14},
doi = {10.1007/978-3-642-54624-2\_14},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GhezziMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/AfanasovMG14,
author = {Mikhail Afanasov and
Luca Mottola and
Carlo Ghezzi},
title = {Towards Context-Oriented Self-Adaptation in Resource-Constrained Cyberphysical
Systems},
booktitle = {{IEEE} 38th Annual Computer Software and Applications Conference,
{COMPSAC} Workshops 2014, Vasteras, Sweden, July 21-25, 2014},
pages = {372--377},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/COMPSACW.2014.64},
doi = {10.1109/COMPSACW.2014.64},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/AfanasovMG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcoss/AfanasovMG14,
author = {Mikhail Afanasov and
Luca Mottola and
Carlo Ghezzi},
title = {Context-Oriented Programming for Adaptive Wireless Sensor Network
Software},
booktitle = {{IEEE} International Conference on Distributed Computing in Sensor
Systems, {DCOSS} 2014, Marina Del Rey, CA, USA, May 26-28, 2014},
pages = {233--240},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/DCOSS.2014.31},
doi = {10.1109/DCOSS.2014.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dcoss/AfanasovMG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BersaniBGKP14,
author = {Marcello Maria Bersani and
Domenico Bianculli and
Carlo Ghezzi and
Srdan Krstic and
Pierluigi {San Pietro}},
editor = {Stefania Gnesi and
Arend Rensink},
title = {SMT-Based Checking of {SOLOIST} over Sparse Traces},
booktitle = {Fundamental Approaches to Software Engineering - 17th International
Conference, {FASE} 2014, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France,
April 5-13, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8411},
pages = {276--290},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54804-8\_19},
doi = {10.1007/978-3-642-54804-8\_19},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/BersaniBGKP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BersaniBDGGK14,
author = {Marcello M. Bersani and
Domenico Bianculli and
Schahram Dustdar and
Alessio Gambi and
Carlo Ghezzi and
Srdan Krstic},
editor = {Muhammad Ali Babar and
Hye{-}Young Paik and
Malolan Chetlur and
Michael Bauer},
title = {Towards the formalization of properties of cloud-based elastic systems},
booktitle = {Proceedings of the 6th International Workshop on Principles of Engineering
Service-Oriented and Cloud Systems, {PESOS} 2014, Hyderabad, India,
May 31, 2014},
pages = {38--47},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2593793.2593798},
doi = {10.1145/2593793.2593798},
timestamp = {Fri, 14 Apr 2023 23:05:45 +0200},
biburl = {https://dblp.org/rec/conf/icse/BersaniBDGGK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PasqualeGMTN14,
author = {Liliana Pasquale and
Carlo Ghezzi and
Claudio Menghi and
Christos Tsigkanos and
Bashar Nuseibeh},
editor = {Gregor Engels and
Nelly Bencomo},
title = {Topology aware adaptive security},
booktitle = {9th International Symposium on Software Engineering for Adaptive and
Self-Managing Systems, {SEAMS} 2014, Proceedings, Hyderabad, India,
June 2-3, 2014},
pages = {43--48},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2593929.2593939},
doi = {10.1145/2593929.2593939},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/PasqualeGMTN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GhezziPST14,
author = {Carlo Ghezzi and
Mauro Pezz{\`{e}} and
Michele Sama and
Giordano Tamburrelli},
editor = {Pankaj Jalote and
Lionel C. Briand and
Andr{\'{e}} van der Hoek},
title = {Mining behavior models from user-intensive web applications},
booktitle = {36th International Conference on Software Engineering, {ICSE} '14,
Hyderabad, India - May 31 - June 07, 2014},
pages = {277--287},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2568225.2568234},
doi = {10.1145/2568225.2568234},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/GhezziPST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BianculliFGM14,
author = {Domenico Bianculli and
Antonio Filieri and
Carlo Ghezzi and
Dino Mandrioli},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured
Workflows},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 6th International Symposium, ISoLA
2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {8802},
pages = {41--55},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45234-9\_4},
doi = {10.1007/978-3-662-45234-9\_4},
timestamp = {Sun, 02 Jun 2019 21:11:27 +0200},
biburl = {https://dblp.org/rec/conf/isola/BianculliFGM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/GhafariGMT14,
author = {Mohammad Ghafari and
Carlo Ghezzi and
Andrea Mocci and
Giordano Tamburrelli},
editor = {Chanchal K. Roy and
Andrew Begel and
Leon Moonen},
title = {Mining unit tests for code recommendation},
booktitle = {22nd International Conference on Program Comprehension, {ICPC} 2014,
Hyderabad, India, June 2-3, 2014},
pages = {142--145},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2597008.2597789},
doi = {10.1145/2597008.2597789},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwpc/GhafariGMT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/laser/GhezziGMM14,
author = {Carlo Ghezzi and
Giovanni Paolo Gibilisco and
Claudio Menghi and
Marco Miglierina},
editor = {Bertrand Meyer and
Martin Nordio},
title = {A Control-Theoretic Approach to Self-adaptive Systems and an Application
to Cloud-Based Software},
booktitle = {Software Engineering - International Summer Schools, {LASER} 2013-2014,
Elba, Italy, Revised Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {8987},
pages = {63--83},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-28406-4\_3},
doi = {10.1007/978-3-319-28406-4\_3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/laser/GhezziGMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/TsigkanosPMGN14,
author = {Christos Tsigkanos and
Liliana Pasquale and
Claudio Menghi and
Carlo Ghezzi and
Bashar Nuseibeh},
editor = {Tony Gorschek and
Robyn R. Lutz},
title = {Engineering topology aware adaptive security: Preventing requirements
violations at runtime},
booktitle = {{IEEE} 22nd International Requirements Engineering Conference, {RE}
2014, Karlskrona, Sweden, August 25-29, 2014},
pages = {203--212},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/RE.2014.6912262},
doi = {10.1109/RE.2014.6912262},
timestamp = {Thu, 25 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/re/TsigkanosPMGN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/BianculliGPS14,
author = {Domenico Bianculli and
Carlo Ghezzi and
Cesare Pautasso and
Patrick Senti},
editor = {Wilhelm Hasselbring and
Nils Christian Ehmke},
title = {Specification Patterns from Research to Industry: {A} Case Study in
Service-Based Applications},
booktitle = {Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik,
25. Februar - 28. Februar 2014, Kiel, Germany},
series = {{LNI}},
volume = {{P-227}},
pages = {51--52},
publisher = {{GI}},
year = {2014},
url = {https://dl.gi.de/handle/20.500.12116/30954},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/BianculliGPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BianculliGK14,
author = {Domenico Bianculli and
Carlo Ghezzi and
Srdan Krstic},
editor = {Dimitra Giannakopoulou and
Gwen Sala{\"{u}}n},
title = {Trace Checking of Metric Temporal Logic with Aggregating Modalities
Using MapReduce},
booktitle = {Software Engineering and Formal Methods - 12th International Conference,
{SEFM} 2014, Grenoble, France, September 1-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8702},
pages = {144--158},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10431-7\_11},
doi = {10.1007/978-3-319-10431-7\_11},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BianculliGK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sensys/MottolaMWG14,
author = {Luca Mottola and
Mattia Moretta and
Kamin Whitehouse and
Carlo Ghezzi},
editor = {{\'{A}}kos L{\'{e}}deczi and
Prabal Dutta and
Chenyang Lu},
title = {Team-level programming of drone sensor networks},
booktitle = {Proceedings of the 12th {ACM} Conference on Embedded Network Sensor
Systems, SenSys '14, Memphis, Tennessee, USA, November 3-6, 2014},
pages = {177--190},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2668332.2668353},
doi = {10.1145/2668332.2668353},
timestamp = {Tue, 05 Nov 2019 12:22:56 +0100},
biburl = {https://dblp.org/rec/conf/sensys/MottolaMWG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soca/BianculliGKP14,
author = {Domenico Bianculli and
Carlo Ghezzi and
Srdan Krstic and
Pierluigi {San Pietro}},
title = {Offline Trace Checking of Quantitative Properties of Service-Based
Applications},
booktitle = {7th {IEEE} International Conference on Service-Oriented Computing
and Applications, {SOCA} 2014, Matsue, Japan, November 17-19, 2014},
pages = {9--16},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SOCA.2014.14},
doi = {10.1109/SOCA.2014.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/soca/BianculliGKP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/aws14/CaporuscioFGI14,
author = {Mauro Caporuscio and
Marco Funaro and
Carlo Ghezzi and
Val{\'{e}}rie Issarny},
editor = {Athman Bouguettaya and
Quan Z. Sheng and
Florian Daniel},
title = {\emph{ubi}REST: {A} RESTful Service-Oriented Middleware for Ubiquitous
Networking},
booktitle = {Advanced Web Services},
pages = {475--500},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-1-4614-7535-4\_20},
doi = {10.1007/978-1-4614-7535-4\_20},
timestamp = {Sat, 19 Oct 2019 19:02:48 +0200},
biburl = {https://dblp.org/rec/books/sp/aws14/CaporuscioFGI14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BianculliGK14,
author = {Domenico Bianculli and
Carlo Ghezzi and
Srdan Krstic},
title = {Trace checking of Metric Temporal Logic with Aggregating Modalities
using MapReduce},
journal = {CoRR},
volume = {abs/1406.3661},
year = {2014},
url = {http://arxiv.org/abs/1406.3661},
eprinttype = {arXiv},
eprint = {1406.3661},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BianculliGK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BianculliGKP14,
author = {Domenico Bianculli and
Carlo Ghezzi and
Srdan Krstic and
Pierluigi {San Pietro}},
title = {Offline Trace Checking of Quantitative Properties of Service-Based
Applications},
journal = {CoRR},
volume = {abs/1409.4653},
year = {2014},
url = {http://arxiv.org/abs/1409.4653},
eprinttype = {arXiv},
eprint = {1409.4653},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BianculliGKP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/CalinescuFG13,
author = {Radu Calinescu and
Robert B. France and
Carlo Ghezzi},
title = {Editorial},
journal = {Computing},
volume = {95},
number = {3},
pages = {165--166},
year = {2013},
url = {https://doi.org/10.1007/s00607-012-0238-4},
doi = {10.1007/S00607-012-0238-4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computing/CalinescuFG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/BaresiG13,
author = {Luciano Baresi and
Carlo Ghezzi},
title = {A journey through SMScom: self-managing situational computing},
journal = {Comput. Sci. Res. Dev.},
volume = {28},
number = {4},
pages = {267--277},
year = {2013},
url = {https://doi.org/10.1007/s00450-012-0234-0},
doi = {10.1007/S00450-012-0234-0},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ife/BaresiG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/GhezziS13,
author = {Carlo Ghezzi and
Amir Molzam Sharifloo},
title = {Model-based verification of quantitative non-functional properties
for software product lines},
journal = {Inf. Softw. Technol.},
volume = {55},
number = {3},
pages = {508--524},
year = {2013},
url = {https://doi.org/10.1016/j.infsof.2012.07.017},
doi = {10.1016/J.INFSOF.2012.07.017},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/GhezziS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taas/SalvaneschiGP13,
author = {Guido Salvaneschi and
Carlo Ghezzi and
Matteo Pradella},
title = {An Analysis of Language-Level Support for Self-Adaptive Software},
journal = {{ACM} Trans. Auton. Adapt. Syst.},
volume = {8},
number = {2},
pages = {7:1--7:29},
year = {2013},
url = {https://doi.org/10.1145/2491465.2491466},
doi = {10.1145/2491465.2491466},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/taas/SalvaneschiGP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsc/SandionigiACG13,
author = {Chiara Sandionigi and
Danilo Ardagna and
Gianpaolo Cugola and
Carlo Ghezzi},
title = {Optimizing Service Selection and Allocation in Situational Computing
Applications},
journal = {{IEEE} Trans. Serv. Comput.},
volume = {6},
number = {3},
pages = {414--428},
year = {2013},
url = {https://doi.org/10.1109/TSC.2012.18},
doi = {10.1109/TSC.2012.18},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsc/SandionigiACG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GhezziSM13,
author = {Carlo Ghezzi and
Amir Molzam Sharifloo and
Claudio Menghi},
editor = {J{\"{u}}rgen M{\"{u}}nch and
Klaus Schmid},
title = {Towards Agile Verification},
booktitle = {Perspectives on the Future of Software Engineering, Essays in Honor
of Dieter Rombach},
pages = {31--47},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37395-4\_3},
doi = {10.1007/978-3-642-37395-4\_3},
timestamp = {Sun, 02 Oct 2022 15:55:44 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GhezziSM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/LemosGGGALSWBBB13,
author = {Rog{\'{e}}rio de Lemos and
David Garlan and
Carlo Ghezzi and
Holger Giese and
Jesper Andersson and
Marin Litoiu and
Bradley R. Schmerl and
Danny Weyns and
Luciano Baresi and
Nelly Bencomo and
Yuriy Brun and
Javier C{\'{a}}mara and
Radu Calinescu and
Myra B. Cohen and
Alessandra Gorla and
Vincenzo Grassi and
Lars Grunske and
Paola Inverardi and
Jean{-}Marc J{\'{e}}z{\'{e}}quel and
Sam Malek and
Raffaela Mirandola and
Marco Mori and
Hausi A. M{\"{u}}ller and
Romain Rouvoy and
Cec{\'{\i}}lia M. F. Rubira and
{\'{E}}ric Rutten and
Mary Shaw and
Giordano Tamburrelli and
Gabriel Tamura and
Norha M. Villegas and
Thomas Vogel and
Franco Zambonelli},
editor = {Rog{\'{e}}rio de Lemos and
David Garlan and
Carlo Ghezzi and
Holger Giese},
title = {Software Engineering for Self-Adaptive Systems: Research Challenges
in the Provision of Assurances},
booktitle = {Software Engineering for Self-Adaptive Systems {III.} Assurances -
International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013,
Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {9640},
pages = {3--30},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-74183-3\_1},
doi = {10.1007/978-3-319-74183-3\_1},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/LemosGGGALSWBBB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/WeynsBCCGGGIJMM13,
author = {Danny Weyns and
Nelly Bencomo and
Radu Calinescu and
Javier C{\'{a}}mara and
Carlo Ghezzi and
Vincenzo Grassi and
Lars Grunske and
Paola Inverardi and
Jean{-}Marc J{\'{e}}z{\'{e}}quel and
Sam Malek and
Raffaela Mirandola and
Marco Mori and
Giordano Tamburrelli},
editor = {Rog{\'{e}}rio de Lemos and
David Garlan and
Carlo Ghezzi and
Holger Giese},
title = {Perpetual Assurances for Self-Adaptive Systems},
booktitle = {Software Engineering for Self-Adaptive Systems {III.} Assurances -
International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013,
Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {9640},
pages = {31--63},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-74183-3\_2},
doi = {10.1007/978-3-319-74183-3\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/WeynsBCCGGGIJMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/huc/AfanasovMG13,
author = {Mikhail Afanasov and
Luca Mottola and
Carlo Ghezzi},
editor = {Friedemann Mattern and
Silvia Santini and
John F. Canny and
Marc Langheinrich and
Jun Rekimoto},
title = {Towards context-oriented programming in wireless sensor networks},
booktitle = {The 2013 {ACM} International Joint Conference on Pervasive and Ubiquitous
Computing, UbiComp '13, Zurich, Switzerland, September 8-12, 2013
- Adjunct Publication},
pages = {151--154},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2494091.2494141},
doi = {10.1145/2494091.2494141},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/huc/AfanasovMG13.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/icse/MannaGGB13,
author = {Valerio Panzica La Manna and
Joel Greenyer and
Carlo Ghezzi and
Christian Brenner},
editor = {Marin Litoiu and
John Mylopoulos},
title = {Formalizing correctness criteria of dynamic updates derived from specification
changes},
booktitle = {Proceedings of the 8th International Symposium on Software Engineering
for Adaptive and Self-Managing Systems, {SEAMS} 2013, San Francisco,
CA, USA, May 20-21, 2013},
pages = {63--72},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SEAMS.2013.6595493},
doi = {10.1109/SEAMS.2013.6595493},
timestamp = {Thu, 15 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/MannaGGB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/GhezziPT13,
author = {Carlo Ghezzi and
Mauro Pezz{\`{e}} and
Giordano Tamburrelli},
editor = {Samik Basu and
Cesare Pautasso and
Liang Zhang and
Xiang Fu},
title = {Improving Interaction with Services via Probabilistic Piggybacking},
booktitle = {Service-Oriented Computing - 11th International Conference, {ICSOC}
2013, Berlin, Germany, December 2-5, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8274},
pages = {39--53},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45005-1\_4},
doi = {10.1007/978-3-642-45005-1\_4},
timestamp = {Tue, 09 May 2023 12:51:34 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/GhezziPT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/im/GhezziPT13,
author = {Carlo Ghezzi and
Mauro Pezz{\`{e}} and
Giordano Tamburrelli},
editor = {Filip De Turck and
Yixin Diao and
Choong Seon Hong and
Deep Medhi and
Ramin Sadre},
title = {Adaptive {REST} applications via model inference and probabilistic
model checking},
booktitle = {2013 {IFIP/IEEE} International Symposium on Integrated Network Management
{(IM} 2013), Ghent, Belgium, May 27-31, 2013},
pages = {1376--1382},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6573195/},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/im/GhezziPT13.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 = {Thu, 25 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/re/GhezziMSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sensys/MottolaWG13,
author = {Luca Mottola and
Kamin Whitehouse and
Carlo Ghezzi},
editor = {Chiara Petrioli and
Landon P. Cox and
Kamin Whitehouse},
title = {Towards spatial macroprogramming for sensing and actuating robot swarms},
booktitle = {The 11th {ACM} Conference on Embedded Network Sensor Systems, SenSys
'13, Roma, Italy, November 11-15, 2013},
pages = {37:1--37:2},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2517351.2517407},
doi = {10.1145/2517351.2517407},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sensys/MottolaWG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/lncs/7740,
editor = {Javier C{\'{a}}mara and
Rog{\'{e}}rio de Lemos and
Carlo Ghezzi and
Ant{\'{o}}nia Lopes},
title = {Assurances for Self-Adaptive Systems - Principles, Models, and Techniques},
series = {Lecture Notes in Computer Science},
volume = {7740},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36249-1},
doi = {10.1007/978-3-642-36249-1},
isbn = {978-3-642-36248-4},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/7740.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-8034,
author = {Domenico Bianculli and
Antonio Filieri and
Carlo Ghezzi and
Dino Mandrioli},
title = {A Syntactic-Semantic Approach to Incremental Verification},
journal = {CoRR},
volume = {abs/1304.8034},
year = {2013},
url = {http://arxiv.org/abs/1304.8034},
eprinttype = {arXiv},
eprint = {1304.8034},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-8034.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CordyHSSGL13,
author = {Maxime Cordy and
Patrick Heymans and
Pierre{-}Yves Schobbens and
Amir Molzam Sharifloo and
Carlo Ghezzi and
Axel Legay},
title = {Verification for Reliable Product Lines},
journal = {CoRR},
volume = {abs/1311.1343},
year = {2013},
url = {http://arxiv.org/abs/1311.1343},
eprinttype = {arXiv},
eprint = {1311.1343},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CordyHSSGL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/LemosGGG13,
author = {Rog{\'{e}}rio de Lemos and
David Garlan and
Carlo Ghezzi and
Holger Giese},
title = {Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl
Seminar 13511)},
journal = {Dagstuhl Reports},
volume = {3},
number = {12},
pages = {67--96},
year = {2013},
url = {https://doi.org/10.4230/DagRep.3.12.67},
doi = {10.4230/DAGREP.3.12.67},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/LemosGGG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/CalinescuGKM12,
author = {Radu Calinescu and
Carlo Ghezzi and
Marta Z. Kwiatkowska and
Raffaela Mirandola},
title = {Self-adaptive software needs quantitative verification at runtime},
journal = {Commun. {ACM}},
volume = {55},
number = {9},
pages = {69--77},
year = {2012},
url = {https://doi.org/10.1145/2330667.2330686},
doi = {10.1145/2330667.2330686},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/CalinescuGKM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/CugolaGP12,
author = {Gianpaolo Cugola and
Carlo Ghezzi and
Leandro Sales Pinto},
title = {{DSOL:} a declarative approach to self-adaptive service orchestrations},
journal = {Computing},
volume = {94},
number = {7},
pages = {579--617},
year = {2012},
url = {https://doi.org/10.1007/s00607-012-0194-z},
doi = {10.1007/S00607-012-0194-Z},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computing/CugolaGP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/FilieriGT12,
author = {Antonio Filieri and
Carlo Ghezzi and
Giordano Tamburrelli},
title = {A formal approach to adaptive software: continuous assurance of non-functional
requirements},
journal = {Formal Aspects Comput.},
volume = {24},
number = {2},
pages = {163--186},
year = {2012},
url = {https://doi.org/10.1007/s00165-011-0207-2},
doi = {10.1007/S00165-011-0207-2},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/FilieriGT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/SalvaneschiGP12,
author = {Guido Salvaneschi and
Carlo Ghezzi and
Matteo Pradella},
title = {Context-oriented programming: {A} software engineering perspective},
journal = {J. Syst. Softw.},
volume = {85},
number = {8},
pages = {1801--1817},
year = {2012},
url = {https://doi.org/10.1016/j.jss.2012.03.024},
doi = {10.1016/J.JSS.2012.03.024},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/SalvaneschiGP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcca/FilieriGLM12,
author = {Antonio Filieri and
Carlo Ghezzi and
Alberto Leva and
Martina Maggio},
title = {Discrete-time dynamic modeling for software and services composition
as an extension of the Markov chain approach},
booktitle = {Proceedings of the {IEEE} International Conference on Control Applications,
{CCA} 2012, Dubrovnik, Croatia, October 3-5, 2012},
pages = {557--562},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/CCA.2012.6402664},
doi = {10.1109/CCA.2012.6402664},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEcca/FilieriGLM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/SalvaneschiGP12,
author = {Guido Salvaneschi and
Carlo Ghezzi and
Matteo Pradella},
editor = {Robert Hirschfeld and
{\'{E}}ric Tanter and
Kevin J. Sullivan and
Richard P. Gabriel},
title = {ContextErlang: introducing context-oriented programming in the actor
model},
booktitle = {Proceedings of the 11th International Conference on Aspect-oriented
Software Development, {AOSD} 2012, Potsdam, Germany, March 25-30,
2012},
pages = {191--202},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2162049.2162072},
doi = {10.1145/2162049.2162072},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aosd/SalvaneschiGP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/FilieriGLM12,
author = {Antonio Filieri and
Carlo Ghezzi and
Alberto Leva and
Martina Maggio},
title = {Autotuning control structures for reliability-driven dynamic binding},
booktitle = {Proceedings of the 51th {IEEE} Conference on Decision and Control,
{CDC} 2012, December 10-13, 2012, Maui, HI, {USA}},
pages = {418--423},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/CDC.2012.6426402},
doi = {10.1109/CDC.2012.6426402},
timestamp = {Fri, 04 Mar 2022 13:28:47 +0100},
biburl = {https://dblp.org/rec/conf/cdc/FilieriGLM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BianculliGP12,
author = {Domenico Bianculli and
Carlo Ghezzi and
Pierluigi {San Pietro}},
editor = {Corina S. Pasareanu and
Gwen Sala{\"{u}}n},
title = {The Tale of {SOLOIST:} {A} Specification Language for Service Compositions
Interactions},
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 = {55--72},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35861-6\_4},
doi = {10.1007/978-3-642-35861-6\_4},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/BianculliGP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FilieriG12,
author = {Antonio Filieri and
Carlo Ghezzi},
editor = {Stefania Gnesi and
Stefan Gruner and
Nico Plat and
Bernhard Rumpe},
title = {Further steps towards efficient runtime verification: handling probabilistic
cost models},
booktitle = {Proceedings of the First International Workshop on Formal Methods
in Software Engineering - Rigorous and Agile Approaches, FormSERA
2012, Zurich, Switzerland, June 2, 2012},
pages = {2--8},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/FormSERA.2012.6229785},
doi = {10.1109/FORMSERA.2012.6229785},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/FilieriG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FilieriGLM12,
author = {Antonio Filieri and
Carlo Ghezzi and
Alberto Leva and
Martina Maggio},
editor = {Hausi A. M{\"{u}}ller and
Luciano Baresi},
title = {Reliability-driven dynamic binding via feedback control},
booktitle = {7th International Symposium on Software Engineering for Adaptive and
Self-Managing Systems, {SEAMS} 2012, Zurich, Switzerland, June 4-5,
2012},
pages = {43--52},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SEAMS.2012.6224390},
doi = {10.1109/SEAMS.2012.6224390},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/FilieriGLM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GhezziGM12,
author = {Carlo Ghezzi and
Joel Greenyer and
Valerio Panzica La Manna},
editor = {Hausi A. M{\"{u}}ller and
Luciano Baresi},
title = {Synthesizing dynamically updating controllers from changes in scenario-based
specifications},
booktitle = {7th International Symposium on Software Engineering for Adaptive and
Self-Managing Systems, {SEAMS} 2012, Zurich, Switzerland, June 4-5,
2012},
pages = {145--154},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SEAMS.2012.6224401},
doi = {10.1109/SEAMS.2012.6224401},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/GhezziGM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GhezziM12,
author = {Carlo Ghezzi and
Andrea Mocci},
editor = {Martin Glinz and
Gail C. Murphy and
Mauro Pezz{\`{e}}},
title = {Behavioral validation of {JFSL} specifications through model synthesis},
booktitle = {34th International Conference on Software Engineering, {ICSE} 2012,
June 2-9, 2012, Zurich, Switzerland},
pages = {936--946},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICSE.2012.6227126},
doi = {10.1109/ICSE.2012.6227126},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/GhezziM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BianculliGPS12,
author = {Domenico Bianculli and
Carlo Ghezzi and
Cesare Pautasso and
Patrick Senti},
editor = {Martin Glinz and
Gail C. Murphy and
Mauro Pezz{\`{e}}},
title = {Specification patterns from research to industry: {A} case study in
service-based applications},
booktitle = {34th International Conference on Software Engineering, {ICSE} 2012,
June 2-9, 2012, Zurich, Switzerland},
pages = {968--976},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICSE.2012.6227125},
doi = {10.1109/ICSE.2012.6227125},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BianculliGPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PintoCG12,
author = {Leandro Sales Pinto and
Gianpaolo Cugola and
Carlo Ghezzi},
editor = {Martin Glinz and
Gail C. Murphy and
Mauro Pezz{\`{e}}},
title = {Writing dynamic service orchestrations with {DSOL}},
booktitle = {34th International Conference on Software Engineering, {ICSE} 2012,
June 2-9, 2012, Zurich, Switzerland},
pages = {1383--1386},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICSE.2012.6227242},
doi = {10.1109/ICSE.2012.6227242},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/PintoCG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GhezziMS12,
author = {Carlo Ghezzi and
Andrea Mocci and
Mario Sangiorgio},
editor = {Martin Glinz and
Gail C. Murphy and
Mauro Pezz{\`{e}}},
title = {Runtime monitoring of component changes with Spy@Runtime},
booktitle = {34th International Conference on Software Engineering, {ICSE} 2012,
June 2-9, 2012, Zurich, Switzerland},
pages = {1403--1406},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICSE.2012.6227237},
doi = {10.1109/ICSE.2012.6227237},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/GhezziMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/CugolaGPT12,
author = {Gianpaolo Cugola and
Carlo Ghezzi and
Leandro Sales Pinto and
Giordano Tamburrelli},
editor = {Chengfei Liu and
Heiko Ludwig and
Farouk Toumani and
Qi Yu},
title = {Adaptive Service-Oriented Mobile Applications: {A} Declarative Approach},
booktitle = {Service-Oriented Computing - 10th International Conference, {ICSOC}
2012, Shanghai, China, November 12-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7636},
pages = {607--614},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34321-6\_46},
doi = {10.1007/978-3-642-34321-6\_46},
timestamp = {Mon, 26 Jun 2023 20:44:14 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/CugolaGPT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/monterey/Ghezzi12,
author = {Carlo Ghezzi},
editor = {Radu Calinescu and
David Garlan},
title = {Evolution, Adaptation, and the Quest for Incrementality},
booktitle = {Large-Scale Complex {IT} Systems. Development, Operation and Management
- 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7539},
pages = {369--379},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34059-8\_19},
doi = {10.1007/978-3-642-34059-8\_19},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/monterey/Ghezzi12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/PintoCG12,
author = {Leandro Sales Pinto and
Gianpaolo Cugola and
Carlo Ghezzi},
editor = {Sascha Ossowski and
Paola Lecca},
title = {Dealing with changes in service orchestrations},
booktitle = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
Riva, Trento, Italy, March 26-30, 2012},
pages = {1961--1967},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2245276.2232100},
doi = {10.1145/2245276.2232100},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/PintoCG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/CugolaGPT12,
author = {Gianpaolo Cugola and
Carlo Ghezzi and
Leandro Sales Pinto and
Giordano Tamburrelli},
editor = {Will Tracz and
Martin P. Robillard and
Tevfik Bultan},
title = {SelfMotion: a declarative language for adaptive service-oriented mobile
apps},
booktitle = {20th {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering
(FSE-20), SIGSOFT/FSE'12, Cary, NC, {USA} - November 11 - 16, 2012},
pages = {7},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2393596.2393602},
doi = {10.1145/2393596.2393602},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/CugolaGPT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soco/CaporuscioFG12,
author = {Mauro Caporuscio and
Marco Funaro and
Carlo Ghezzi},
editor = {Thomas Gschwind and
Flavio De Paoli and
Volker Gruhn and
Matthias Book},
title = {PaCE: {A} Data-Flow Coordination Language for Asynchronous Network-Based
Applications},
booktitle = {Software Composition - 11th International Conference, SC@TOOLS 2012,
Prague, Czech Republic, May 31 - June 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7306},
pages = {51--67},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30564-1\_4},
doi = {10.1007/978-3-642-30564-1\_4},
timestamp = {Thu, 25 Jun 2020 18:42:50 +0200},
biburl = {https://dblp.org/rec/conf/soco/CaporuscioFG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swste/CaporuscioFG12,
author = {Mauro Caporuscio and
Marco Funaro and
Carlo Ghezzi},
title = {Resource-Oriented Middleware Abstractions for Pervasive Computing},
booktitle = {2012 {IEEE} International Conference on Software Science, Technology
and Engineering, {SWSTE} 2012, Herzlia, Israel, June 12-13, 2012},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SWSTE.2012.13},
doi = {10.1109/SWSTE.2012.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/swste/CaporuscioFG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/FilieriGMT12,
author = {Antonio Filieri and
Carlo Ghezzi and
Raffaela Mirandola and
Giordano Tamburrelli},
editor = {Mike Hinchey and
Lorcan Coyle},
title = {Conquering Complexity via Seamless Integration of Design-Time and
Run-Time Verification},
booktitle = {Conquering Complexity},
pages = {253--275},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-1-4471-2297-5\_12},
doi = {10.1007/978-1-4471-2297-5\_12},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/FilieriGMT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/AnastasiBNGTZ12,
author = {Giuseppe Anastasi and
Emilio Bellini and
Elisabetta Di Nitto and
Carlo Ghezzi and
Letizia Tanca and
Eugenio Zimeo},
editor = {Giuseppe Anastasi and
Emilio Bellini and
Elisabetta Di Nitto and
Carlo Ghezzi and
Letizia Tanca and
Eugenio Zimeo},
title = {Introduction},
booktitle = {Methodologies and Technologies for Networked Enterprises - ArtDeco:
Adaptive Infrastructures for Decentralised Organisations},
series = {Lecture Notes in Computer Science},
volume = {7200},
pages = {1--5},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31739-2\_1},
doi = {10.1007/978-3-642-31739-2\_1},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/series/lncs/AnastasiBNGTZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/AnastasiBNGTZ12a,
author = {Giuseppe Anastasi and
Emilio Bellini and
Elisabetta Di Nitto and
Carlo Ghezzi and
Letizia Tanca and
Eugenio Zimeo},
editor = {Giuseppe Anastasi and
Emilio Bellini and
Elisabetta Di Nitto and
Carlo Ghezzi and
Letizia Tanca and
Eugenio Zimeo},
title = {Reference Case Study},
booktitle = {Methodologies and Technologies for Networked Enterprises - ArtDeco:
Adaptive Infrastructures for Decentralised Organisations},
series = {Lecture Notes in Computer Science},
volume = {7200},
pages = {7--13},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31739-2\_2},
doi = {10.1007/978-3-642-31739-2\_2},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/AnastasiBNGTZ12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/CalcavecchiaNDGMR12,
author = {Nicol{\`{o}} Maria Calcavecchia and
Elisabetta Di Nitto and
Daniel J. Dubois and
Carlo Ghezzi and
Valentina Mazza and
Matteo Rossi},
editor = {Giuseppe Anastasi and
Emilio Bellini and
Elisabetta Di Nitto and
Carlo Ghezzi and
Letizia Tanca and
Eugenio Zimeo},
title = {Complex Autonomic Systems for Networked Enterprises: Mechanisms, Solutions
and Design Approaches},
booktitle = {Methodologies and Technologies for Networked Enterprises - ArtDeco:
Adaptive Infrastructures for Decentralised Organisations},
series = {Lecture Notes in Computer Science},
volume = {7200},
pages = {85--113},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31739-2\_6},
doi = {10.1007/978-3-642-31739-2\_6},
timestamp = {Mon, 05 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/CalcavecchiaNDGMR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/lncs/7200,
editor = {Giuseppe Anastasi and
Emilio Bellini and
Elisabetta Di Nitto and
Carlo Ghezzi and
Letizia Tanca and
Eugenio Zimeo},
title = {Methodologies and Technologies for Networked Enterprises - ArtDeco:
Adaptive Infrastructures for Decentralised Organisations},
series = {Lecture Notes in Computer Science},
volume = {7200},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31739-2},
doi = {10.1007/978-3-642-31739-2},
isbn = {978-3-642-31738-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/7200.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BaresiGM11,
author = {Luciano Baresi and
Carlo Ghezzi and
Luca Mottola},
title = {Loupe: Verifying Publish-Subscribe Architectures with a Magnifying
Lens},
journal = {{IEEE} Trans. Software Eng.},
volume = {37},
number = {2},
pages = {228--246},
year = {2011},
url = {https://doi.org/10.1109/TSE.2010.39},
doi = {10.1109/TSE.2010.39},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/BaresiGM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/DistefanoFGM11,
author = {Salvatore Distefano and
Antonio Filieri and
Carlo Ghezzi and
Raffaela Mirandola},
editor = {Ivica Crnkovic and
Judith A. Stafford and
Antonia Bertolino and
Kendra M. L. Cooper},
title = {A compositional method for reliability analysis of workflows affected
by multiple failure modes},
booktitle = {Proceedings of the 14th International {ACM} Sigsoft Symposium on Component
Based Software Engineering, {CBSE} 2011, part of Comparch '11 Federated
Events on Component-Based Software Engineering and Software Architecture,
Boulder, CO, USA, June 20-24, 2011},
pages = {149--158},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2000229.2000251},
doi = {10.1145/2000229.2000251},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cbse/DistefanoFGM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/CardamoneMG11,
author = {Luigi Cardamone and
Andrea Mocci and
Carlo Ghezzi},
title = {Dynamic synthesis of program invariants using genetic programming},
booktitle = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
2011, New Orleans, LA, USA, 5-8 June, 2011},
pages = {624--631},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/CEC.2011.5949677},
doi = {10.1109/CEC.2011.5949677},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cec/CardamoneMG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SalvaneschiGP11,
author = {Guido Salvaneschi and
Carlo Ghezzi and
Matteo Pradella},
title = {JavaCtx: seamless toolchain integration for context-oriented programming},
booktitle = {Proceedings of the 3rd International Workshop on Context-Oriented
Programming, {COP} 2011, Lancaster, United Kingdom, July 25, 2011},
pages = {4:1--4:6},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2068736.2068740},
doi = {10.1145/2068736.2068740},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/SalvaneschiGP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecows/Ghezzi11,
author = {Carlo Ghezzi},
editor = {Gianluigi Zavattaro and
Ulf Schreier and
Cesare Pautasso},
title = {The Fading Boundary between Development Time and Run Time},
booktitle = {9th {IEEE} European Conference on Web Services, {ECOWS} 2011, Lugano,
Switzerland, September 14-16, 2011},
pages = {11},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ECOWS.2011.33},
doi = {10.1109/ECOWS.2011.33},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecows/Ghezzi11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icgse/NordioEMTGN11,
author = {Martin Nordio and
H.{-}Christian Estler and
Bertrand Meyer and
Julian Tschannen and
Carlo Ghezzi and
Elisabetta Di Nitto},
title = {How Do Distribution and Time Zones Affect Software Development? {A}
Case Study on Communication},
booktitle = {6th {IEEE} International Conference on Global Software Engineering,
{ICGSE} 2011, Helsinki, Finland, August 15-18, 2011},
pages = {176--184},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICGSE.2011.22},
doi = {10.1109/ICGSE.2011.22},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icgse/NordioEMTGN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NordioGMNTTAK11,
author = {Martin Nordio and
Carlo Ghezzi and
Bertrand Meyer and
Elisabetta Di Nitto and
Giordano Tamburrelli and
Julian Tschannen and
Nazareno Aguirre and
Vidya Kulkarni},
editor = {Stuart R. Faulk and
David M. Weiss and
Michal Young and
Lian Yu},
title = {Teaching software engineering using globally distributed projects:
the {DOSE} course},
booktitle = {Proceedings of the 2011 Community Building Workshop on Collaborative
Teaching of Globally Distributed Software Development, {CTGDSD} 2011,
Waikiki, Honolulu, HI, USA, May 21-28, 2011},
pages = {36--40},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1984665.1984673},
doi = {10.1145/1984665.1984673},
timestamp = {Thu, 14 Jan 2021 16:56:54 +0100},
biburl = {https://dblp.org/rec/conf/icse/NordioGMNTTAK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GhezziPS11,
author = {Carlo Ghezzi and
Matteo Pradella and
Guido Salvaneschi},
editor = {Holger Giese and
Betty H. C. Cheng},
title = {An evaluation of the adaptation capabilities in programming languages},
booktitle = {2011 {ICSE} Symposium on Software Engineering for Adaptive and Self-Managing
Systems, {SEAMS} 2011, Waikiki, Honolulu , HI, USA, May 23-24, 2011},
pages = {50--59},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1988008.1988016},
doi = {10.1145/1988008.1988016},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/GhezziPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FilieriGT11,
author = {Antonio Filieri and
Carlo Ghezzi and
Giordano Tamburrelli},
editor = {Richard N. Taylor and
Harald C. Gall and
Nenad Medvidovic},
title = {Run-time efficient probabilistic model checking},
booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
{ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
pages = {341--350},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1985793.1985840},
doi = {10.1145/1985793.1985840},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/FilieriGT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/FilieriGLM11,
author = {Antonio Filieri and
Carlo Ghezzi and
Alberto Leva and
Martina Maggio},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Self-adaptive software meets control theory: {A} preliminary approach
supporting reliability requirements},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {283--292},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100064},
doi = {10.1109/ASE.2011.6100064},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/FilieriGLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DragoGM11,
author = {Mauro Luigi Drago and
Carlo Ghezzi and
Raffaela Mirandola},
editor = {Jon Whittle and
Tony Clark and
Thomas K{\"{u}}hne},
title = {Towards Quality Driven Exploration of Model Transformation Spaces},
booktitle = {Model Driven Engineering Languages and Systems, 14th International
Conference, {MODELS} 2011, Wellington, New Zealand, October 16-21,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6981},
pages = {2--16},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24485-8\_2},
doi = {10.1007/978-3-642-24485-8\_2},
timestamp = {Sat, 30 Sep 2023 09:53:36 +0200},
biburl = {https://dblp.org/rec/conf/models/DragoGM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/GhezziMS11,
author = {Carlo Ghezzi and
Andrea Mocci and
Mario Sangiorgio},
editor = {J{\"{o}}rg Kienzle},
title = {Runtime Monitoring of Functional Component Changes with Behavior Models},
booktitle = {Models in Software Engineering - Workshops and Symposia at {MODELS}
2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7167},
pages = {152--166},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29645-1\_17},
doi = {10.1007/978-3-642-29645-1\_17},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/GhezziMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MaBGML11,
author = {Xiaoxing Ma and
Luciano Baresi and
Carlo Ghezzi and
Valerio Panzica La Manna and
Jian Lu},
editor = {Tibor Gyim{\'{o}}thy and
Andreas Zeller},
title = {Version-consistent dynamic reconfiguration of component-based distributed
systems},
booktitle = {SIGSOFT/FSE'11 19th {ACM} {SIGSOFT} Symposium on the Foundations of
Software Engineering {(FSE-19)} and ESEC'11: 13th European Software
Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9,
2011},
pages = {245--255},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2025113.2025148},
doi = {10.1145/2025113.2025148},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/MaBGML11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/CamaraLGL11,
author = {Javier C{\'{a}}mara and
Rog{\'{e}}rio de Lemos and
Carlo Ghezzi and
Ant{\'{o}}nia Lopes},
editor = {Tibor Gyim{\'{o}}thy and
Andreas Zeller},
title = {Workshop on assurances for self-adaptive systems {(ASAS} 2011)},
booktitle = {SIGSOFT/FSE'11 19th {ACM} {SIGSOFT} Symposium on the Foundations of
Software Engineering {(FSE-19)} and ESEC'11: 13th European Software
Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9,
2011},
pages = {516--517},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2025113.2025208},
doi = {10.1145/2025113.2025208},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/CamaraLGL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/GhezziS11,
author = {Carlo Ghezzi and
Amir Molzam Sharifloo},
editor = {Eduardo Santana de Almeida and
Tomoji Kishi and
Christa Schwanninger and
Isabel John and
Klaus Schmid},
title = {Verifying Non-functional Properties of Software Product Lines: Towards
an Efficient Approach Using Parametric Model Checking},
booktitle = {Software Product Lines - 15th International Conference, {SPLC} 2011,
Munich, Germany, August 22-26, 2011},
pages = {170--174},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SPLC.2011.33},
doi = {10.1109/SPLC.2011.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/GhezziS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/SivieriCG11,
author = {Alessandro Sivieri and
Gianpaolo Cugola and
Carlo Ghezzi},
editor = {Judith Bishop and
Antonio Vallecillo},
title = {Computational {REST} Meets Erlang},
booktitle = {Objects, Models, Components, Patterns - 49th International Conference,
{TOOLS} 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6705},
pages = {244--259},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21952-8\_18},
doi = {10.1007/978-3-642-21952-8\_18},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/tools/SivieriCG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/wilde2011/CaporuscioFG11,
author = {Mauro Caporuscio and
Marco Funaro and
Carlo Ghezzi},
editor = {Erik Wilde and
Cesare Pautasso},
title = {RESTful Service Architectures for Pervasive Networking Environments},
booktitle = {{REST:} From Research to Practice},
pages = {401--422},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-1-4419-8303-9\_18},
doi = {10.1007/978-1-4419-8303-9\_18},
timestamp = {Mon, 29 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/wilde2011/CaporuscioFG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/Ghezzi11,
author = {Carlo Ghezzi},
editor = {Manfred Broy and
Christian Leuxner and
Tony Hoare},
title = {Engineering Evolving and Self-Adaptive Systems: An Overview},
booktitle = {Software and Systems Safety - Specification and Verification},
series = {{NATO} Science for Peace and Security Series - {D:} Information and
Communication Security},
volume = {30},
pages = {88--102},
publisher = {{IOS} Press},
year = {2011},
url = {https://doi.org/10.3233/978-1-60750-711-6-88},
doi = {10.3233/978-1-60750-711-6-88},
timestamp = {Tue, 16 May 2017 14:24:21 +0200},
biburl = {https://dblp.org/rec/series/natosec/Ghezzi11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2011asas,
editor = {Javier C{\'{a}}mara and
Rog{\'{e}}rio de Lemos and
Carlo Ghezzi and
Ant{\'{e}}nia Lopes},
title = {Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems,
ASAS@ESEC/FSE 2011, Szeged, Hungary, September 4, 2011},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2024436},
doi = {10.1145/2024436},
isbn = {978-1-4503-0853-3},
timestamp = {Thu, 23 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/2011asas.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-1351,
author = {Guido Salvaneschi and
Carlo Ghezzi and
Matteo Pradella},
title = {JavaCtx: Seamless Toolchain Integration for Context-Oriented Programming},
journal = {CoRR},
volume = {abs/1104.1351},
year = {2011},
url = {http://arxiv.org/abs/1104.1351},
eprinttype = {arXiv},
eprint = {1104.1351},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1104-1351.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1105-0069,
author = {Guido Salvaneschi and
Carlo Ghezzi and
Matteo Pradella},
title = {Context-Oriented Programming: {A} Programming Paradigm for Autonomic
Systems},
journal = {CoRR},
volume = {abs/1105.0069},
year = {2011},
url = {http://arxiv.org/abs/1105.0069},
eprinttype = {arXiv},
eprint = {1105.0069},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1105-0069.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CaporuscioFG10,
author = {Mauro Caporuscio and
Marco Funaro and
Carlo Ghezzi},
editor = {Gregor Engels and
Claus Lewerentz and
Wilhelm Sch{\"{a}}fer and
Andy Sch{\"{u}}rr and
Bernhard Westfechtel},
title = {Architectural Issues of Adaptive Pervasive Systems},
booktitle = {Graph Transformations and Model-Driven Engineering - Essays Dedicated
to Manfred Nagl on the Occasion of his 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5765},
pages = {492--511},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17322-6\_21},
doi = {10.1007/978-3-642-17322-6\_21},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/CaporuscioFG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/FilieriGGM10,
author = {Antonio Filieri and
Carlo Ghezzi and
Vincenzo Grassi and
Raffaela Mirandola},
editor = {Lars Grunske and
Ralf H. Reussner and
Frantisek Pl{\'{a}}sil},
title = {Reliability Analysis of Component-Based Systems with Multiple Failure
Modes},
booktitle = {Component-Based Software Engineering, 13th International Symposium,
{CBSE} 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6092},
pages = {1--20},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13238-4\_1},
doi = {10.1007/978-3-642-13238-4\_1},
timestamp = {Fri, 21 Oct 2022 16:47:28 +0200},
biburl = {https://dblp.org/rec/conf/cbse/FilieriGGM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/GhezziS10,
author = {Carlo Ghezzi and
Amir Molzam Sharifloo},
editor = {Rog{\'{e}}rio de Lemos and
Holger Giese and
Hausi A. M{\"{u}}ller and
Mary Shaw},
title = {Dealing with Non-Functional Requirements for Adaptive Systems via
Dynamic Software Product-Lines},
booktitle = {Software Engineering for Self-Adaptive Systems {II} - International
Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {7475},
pages = {191--213},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-35813-5\_8},
doi = {10.1007/978-3-642-35813-5\_8},
timestamp = {Sat, 19 Oct 2019 20:31:30 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/GhezziS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/GhezziPS10,
author = {Carlo Ghezzi and
Matteo Pradella and
Guido Salvaneschi},
title = {Context oriented programming in highly concurrent systems},
booktitle = {Proceedings of the 2nd International Workshop on Context-Oriented
Programming, {COP} 2010, Maribor, Slovenia, June 22, 2010},
pages = {1:1--1:3},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1930021.1930022},
doi = {10.1145/1930021.1930022},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/GhezziPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecows/BaresiCGG10,
author = {Luciano Baresi and
Mauro Caporuscio and
Carlo Ghezzi and
Sam Guinea},
editor = {Antonio Brogi and
Cesare Pautasso and
George Angelos Papadopoulos},
title = {Model-Driven Management of Services},
booktitle = {8th {IEEE} European Conference on Web Services {(ECOWS} 2010), 1-3
December 2010, Ayia Napa, Cyprus},
pages = {147--154},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ECOWS.2010.10},
doi = {10.1109/ECOWS.2010.10},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecows/BaresiCGG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esem/GrechanikMDCCPFXG10,
author = {Mark Grechanik and
Collin McMillan and
Luca DeFerrari and
Marco Comi and
Stefano Crespi{-}Reghizzi and
Denys Poshyvanyk and
Chen Fu and
Qing Xie and
Carlo Ghezzi},
editor = {Giancarlo Succi and
Maurizio Morisio and
Nachiappan Nagappan},
title = {An empirical investigation into a large-scale Java open source code
repository},
booktitle = {Proceedings of the International Symposium on Empirical Software Engineering
and Measurement, {ESEM} 2010, 16-17 September 2010, Bolzano/Bozen,
Italy},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1852786.1852801},
doi = {10.1145/1852786.1852801},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esem/GrechanikMDCCPFXG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/GhezziMS10,
author = {Carlo Ghezzi and
Andrea Mocci and
Guido Salvaneschi},
editor = {David S. Rosenblum and
Gabriele Taentzer},
title = {Automatic Cross Validation of Multiple Specifications: {A} Case Study},
booktitle = {Fundamental Approaches to Software Engineering, 13th International
Conference, {FASE} 2010, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus,
March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6013},
pages = {233--247},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12029-9\_17},
doi = {10.1007/978-3-642-12029-9\_17},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/GhezziMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MottolaVOEBG10,
author = {Luca Mottola and
Thiemo Voigt and
Fredrik {\"{O}}sterlind and
Joakim Eriksson and
Luciano Baresi and
Carlo Ghezzi},
editor = {Kurt Geihs and
Stefan Gruner and
Kay R{\"{o}}mer},
title = {Anquiro: enabling efficient static verification of sensor network
software},
booktitle = {Proceedings of the 2010 {ICSE} Workshop on Software Engineering for
Sensor Network Applications, {SESENA} 2010, Cape Town, South Africa,
May 3, 2010},
pages = {32--37},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1809111.1809122},
doi = {10.1145/1809111.1809122},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/MottolaVOEBG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GhezziPS10,
author = {Carlo Ghezzi and
Matteo Pradella and
Guido Salvaneschi},
editor = {Rog{\'{e}}rio de Lemos and
Mauro Pezz{\`{e}}},
title = {Programming language support to context-aware adaptation: a case-study
with Erlang},
booktitle = {2010 {ICSE} Workshop on Software Engineering for Adaptive and Self-Managing
Systems, {SEAMS} 2010, Cape Town, South Africa, May 3-4, 2010},
pages = {59--68},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1808984.1808991},
doi = {10.1145/1808984.1808991},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/GhezziPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GhezziGM10,
author = {Carlo Ghezzi and
Lars Grunske and
Raffaela Mirandola},
editor = {Jeff Kramer and
Judith Bishop and
Premkumar T. Devanbu and
Sebasti{\'{a}}n Uchitel},
title = {First International Workshop on Quantitative Stochastic Models in
the Verification and Design of Software Systems {(QUOVADIS} 2010)},
booktitle = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software
Engineering - Volume 2, {ICSE} 2010, Cape Town, South Africa, 1-8
May 2010},
pages = {451--452},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1810295.1810424},
doi = {10.1145/1810295.1810424},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/GhezziGM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse-suite/GhezziM10,
author = {Carlo Ghezzi and
Andrea Mocci},
editor = {Sushil Krishna Bajracharya and
Adrian Kuhn and
Yunwen Ye},
title = {Behavior model based component search: an initial assessment},
booktitle = {Proceedings of 2010 {ICSE} Workshop on Search-driven Development:
Users, Infrastructure, Tools and Evaluation, {SUITE} '10, Cape Town,
South Africa, May 1, 2010},
pages = {9--12},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1809175.1809178},
doi = {10.1145/1809175.1809178},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse-suite/GhezziM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsc/FunaroBCG10,
author = {Marco Funaro and
Daniele Braga and
Alessandro Campi and
Carlo Ghezzi},
editor = {Katsuro Inoue and
Stanislaw Jarzabek and
Rainer Koschke and
James R. Cordy},
title = {A hybrid approach (syntactic and textual) to clone detection},
booktitle = {Proceeding of the 4th {ICSE} International Workshop on Software Clones,
{IWSC} 2010, Cape Town, South Africa, May 2010},
pages = {79--80},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1808901.1808914},
doi = {10.1145/1808901.1808914},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwsc/FunaroBCG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DragoGM10,
author = {Mauro Luigi Drago and
Carlo Ghezzi and
Raffaela Mirandola},
editor = {J{\"{u}}rgen Dingel and
Arnor Solberg},
title = {QVTR\({}^{\mbox{2}}\): {A} Rational and Performance-Aware Extension
to the Relations Language},
booktitle = {Models in Software Engineering - Workshops and Symposia at {MODELS}
2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {6627},
pages = {328},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-21210-9\_31},
doi = {10.1007/978-3-642-21210-9\_31},
timestamp = {Wed, 23 Feb 2022 12:58:06 +0100},
biburl = {https://dblp.org/rec/conf/models/DragoGM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qosa/GhezziMMT10,
author = {Carlo Ghezzi and
Alfredo Motta and
Valerio Panzica La Manna and
Giordano Tamburrelli},
editor = {George T. Heineman and
Jan Kofron and
Frantisek Pl{\'{a}}sil},
title = {QoS Driven Dynamic Binding in-the-many},
booktitle = {Research into Practice - Reality and Gaps, 6th International Conference
on the Quality of Software Architectures, QoSA 2010, Prague, Czech
Republic, June 23 - 25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6093},
pages = {68--83},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13821-8\_7},
doi = {10.1007/978-3-642-13821-8\_7},
timestamp = {Mon, 26 Jun 2023 20:49:12 +0200},
biburl = {https://dblp.org/rec/conf/qosa/GhezziMMT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Ghezzi10,
author = {Carlo Ghezzi},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Stefania Gnesi and
Andrea Maggiolo{-}Schettini},
title = {Adaptive Software Needs Continuous Verification},
booktitle = {8th {IEEE} International Conference on Software Engineering and Formal
Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
pages = {3--4},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SEFM.2010.8},
doi = {10.1109/SEFM.2010.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/Ghezzi10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/servicewave/ArdagnaGPT10,
author = {Danilo Ardagna and
Carlo Ghezzi and
Barbara Panicucci and
Marco Trubian},
editor = {Elisabetta Di Nitto and
Ramin Yahyapour},
title = {Service Provisioning on the Cloud: Distributed Algorithms for Joint
Capacity Allocation and Admission Control},
booktitle = {Towards a Service-Based Internet - Third European Conference, ServiceWave
2010, Ghent, Belgium, December 13-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6481},
pages = {1--12},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17694-4\_1},
doi = {10.1007/978-3-642-17694-4\_1},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/servicewave/ArdagnaGPT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BaresiG10,
author = {Luciano Baresi and
Carlo Ghezzi},
editor = {Gruia{-}Catalin Roman and
Kevin J. Sullivan},
title = {The disappearing boundary between development-time and run-time},
booktitle = {Proceedings of the Workshop on Future of Software Engineering Research,
FoSER 2010, at the 18th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
7-11, 2010},
pages = {17--22},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882362.1882367},
doi = {10.1145/1882362.1882367},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BaresiG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/EpifaniGT10,
author = {Ilenia Epifani and
Carlo Ghezzi and
Giordano Tamburrelli},
editor = {Gruia{-}Catalin Roman and
Andr{\'{e}} van der Hoek},
title = {Change-point detection for black-box services},
booktitle = {Proceedings of the 18th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
7-11, 2010},
pages = {227--236},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882291.1882326},
doi = {10.1145/1882291.1882326},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/EpifaniGT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2010quovadis,
editor = {Carlo Ghezzi and
Lars Grunske and
Raffaela Mirandola},
title = {Proceedings of the 2010 {ICSE} Workshop on Quantitative Stochastic
Models in the Verification and Design of Software Systems, {QUOVADIS}
'10, May 3, 2010, Cape Town, South Africa},
publisher = {{ACM}},
year = {2010},
url = {http://dl.acm.org/citation.cfm?id=1808880},
isbn = {978-1-60558-972-5},
timestamp = {Thu, 20 Feb 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/2010quovadis.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BianculliGP09,
author = {Domenico Bianculli and
Carlo Ghezzi and
Cesare Pautasso},
title = {Embedding continuous lifelong verification in service life cycles},
booktitle = {International {ICSE} Workshop on Principles of Engineering Service-Oriented
Systems, {PESOS} 2009, 18-19 May 2009, Vancouver, BC, Canada},
pages = {99--102},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/PESOS.2009.5068828},
doi = {10.1109/PESOS.2009.5068828},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BianculliGP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/EpifaniGMT09,
author = {Ilenia Epifani and
Carlo Ghezzi and
Raffaela Mirandola and
Giordano Tamburrelli},
title = {Model evolution by run-time parameter adaptation},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Proceedings},
pages = {111--121},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE.2009.5070513},
doi = {10.1109/ICSE.2009.5070513},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/EpifaniGMT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GhezziMM09,
author = {Carlo Ghezzi and
Andrea Mocci and
Mattia Monga},
title = {Synthesizing intensional behavior models by graph transformation},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Proceedings},
pages = {430--440},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE.2009.5070542},
doi = {10.1109/ICSE.2009.5070542},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/GhezziMM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BianculliBDG09,
author = {Domenico Bianculli and
Walter Binder and
Mauro Luigi Drago and
Carlo Ghezzi},
title = {ReMan: {A} pro-active reputation management infrastructure for composite
Web services},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Proceedings},
pages = {623--626},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE.2009.5070571},
doi = {10.1109/ICSE.2009.5070571},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BianculliBDG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qosa/GhezziT09,
author = {Carlo Ghezzi and
Giordano Tamburrelli},
editor = {Raffaela Mirandola and
Ian Gorton and
Christine Hofmeister},
title = {Predicting Performance Properties for Open Systems with {KAMI}},
booktitle = {Architectures for Adaptive Software Systems, 5th International Conference
on the Quality of Software Architectures, QoSA 2009, East Stroudsburg,
PA, USA, June 24-26, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5581},
pages = {70--85},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02351-4\_5},
doi = {10.1007/978-3-642-02351-4\_5},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/qosa/GhezziT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/GhezziT09,
author = {Carlo Ghezzi and
Giordano Tamburrelli},
title = {Reasoning on Non-Functional Requirements for Integrated Services},
booktitle = {{RE} 2009, 17th {IEEE} International Requirements Engineering Conference,
Atlanta, Georgia, USA, August 31 - September 4, 2009},
pages = {69--78},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/RE.2009.34},
doi = {10.1109/RE.2009.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/GhezziT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seafood/Ghezzi09,
author = {Carlo Ghezzi},
editor = {Olly Gotel and
Mathai Joseph and
Bertrand Meyer},
title = {Decentralized Software Development: Pitfalls and Challenges},
booktitle = {Software Engineering Approaches for Offshore and Outsourced Development
- 3rd International Conference, SEAFOOD@TOOLS 2009, Zurich, Switzerland,
July 2-3, 2009. Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {35},
pages = {1--2},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02987-5\_1},
doi = {10.1007/978-3-642-02987-5\_1},
timestamp = {Thu, 25 Jun 2020 15:12:29 +0200},
biburl = {https://dblp.org/rec/conf/seafood/Ghezzi09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seafood/NordioMMGNT09,
author = {Martin Nordio and
Roman Mitin and
Bertrand Meyer and
Carlo Ghezzi and
Elisabetta Di Nitto and
Giordano Tamburrelli},
editor = {Olly Gotel and
Mathai Joseph and
Bertrand Meyer},
title = {The Role of Contracts in Distributed Development},
booktitle = {Software Engineering Approaches for Offshore and Outsourced Development
- 3rd International Conference, SEAFOOD@TOOLS 2009, Zurich, Switzerland,
July 2-3, 2009. Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {35},
pages = {117--129},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02987-5\_13},
doi = {10.1007/978-3-642-02987-5\_13},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seafood/NordioMMGNT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/NittoGMPP08,
author = {Elisabetta Di Nitto and
Carlo Ghezzi and
Andreas Metzger and
Mike P. Papazoglou and
Klaus Pohl},
title = {A journey to highly dynamic, self-adaptive service-based applications},
journal = {Autom. Softw. Eng.},
volume = {15},
number = {3-4},
pages = {313--341},
year = {2008},
url = {https://doi.org/10.1007/s10515-008-0032-x},
doi = {10.1007/S10515-008-0032-X},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/NittoGMPP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/OsterweilGKW08,
author = {Leon J. Osterweil and
Carlo Ghezzi and
Jeff Kramer and
Alexander L. Wolf},
title = {Determining the Impact of Software Engineering Research on Practice},
journal = {Computer},
volume = {41},
number = {3},
pages = {39--49},
year = {2008},
url = {https://doi.org/10.1109/MC.2008.85},
doi = {10.1109/MC.2008.85},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/OsterweilGKW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BaresiGMM08,
author = {Luciano Baresi and
Carlo Ghezzi and
Andrea Mocci and
Mattia Monga},
title = {Using Graph Transformation Systems to Specify and Verify Data Abstractions},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {10},
year = {2008},
url = {https://doi.org/10.14279/tuj.eceasst.10.155},
doi = {10.14279/TUJ.ECEASST.10.155},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BaresiGMM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GhezziIM08,
author = {Carlo Ghezzi and
Paola Inverardi and
Carlo Montangero},
editor = {Pierpaolo Degano and
Rocco De Nicola and
Jos{\'{e}} Meseguer},
title = {Dynamically Evolvable Dependable Software: From Oxymoron to Reality},
booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5065},
pages = {330--353},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68679-8\_21},
doi = {10.1007/978-3-540-68679-8\_21},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GhezziIM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BianculliG08,
author = {Domenico Bianculli and
Carlo Ghezzi},
editor = {Kostas Kontogiannis and
Grace A. Lewis and
Marin Litoiu and
Dennis B. Smith},
title = {Towards a methodology for lifelong validation of service compositions},
booktitle = {Proceedings of the 2nd International Workshop on Systems Development
in {SOA} Environments, {SDSOA} '08, Leipzig, Germany, May 11, 2008},
pages = {7--12},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1370916.1370919},
doi = {10.1145/1370916.1370919},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/BianculliG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/BianculliBDG08,
author = {Domenico Bianculli and
Walter Binder and
Mauro Luigi Drago and
Carlo Ghezzi},
title = {Transparent Reputation Management for Composite Web Services},
booktitle = {2008 {IEEE} International Conference on Web Services {(ICWS} 2008),
September 23-26, 2008, Beijing, China},
pages = {621--628},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICWS.2008.39},
doi = {10.1109/ICWS.2008.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/BianculliBDG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BianculliG08,
author = {Domenico Bianculli and
Carlo Ghezzi},
title = {{SAVVY-WS} at a glance: Supporting verifiable dynamic service compositions},
booktitle = {23rd {IEEE/ACM} International Conference on Automated Software Engineering
- Workshop Proceedings {(ASE} Workshops 2008), 15-16 September 2008,
L'Aquila, Italy},
pages = {49--56},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/ASEW.2008.4686293},
doi = {10.1109/ASEW.2008.4686293},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/kbse/BianculliG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qosa/ArdagnaGM08,
author = {Danilo Ardagna and
Carlo Ghezzi and
Raffaela Mirandola},
editor = {Steffen Becker and
Frantisek Pl{\'{a}}sil and
Ralf H. Reussner},
title = {Rethinking the Use of Models in Software Architecture},
booktitle = {Quality of Software Architectures. Models and Architectures, 4th International
Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe,
Germany, October 14-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5281},
pages = {1--27},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87879-7\_1},
doi = {10.1007/978-3-540-87879-7\_1},
timestamp = {Fri, 21 Oct 2022 16:47:28 +0200},
biburl = {https://dblp.org/rec/conf/qosa/ArdagnaGM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qosa/GallottiGMT08,
author = {Stefano Gallotti and
Carlo Ghezzi and
Raffaela Mirandola and
Giordano Tamburrelli},
editor = {Steffen Becker and
Frantisek Pl{\'{a}}sil and
Ralf H. Reussner},
title = {Quality Prediction of Service Compositions through Probabilistic Model
Checking},
booktitle = {Quality of Software Architectures. Models and Architectures, 4th International
Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe,
Germany, October 14-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5281},
pages = {119--134},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87879-7\_8},
doi = {10.1007/978-3-540-87879-7\_8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qosa/GallottiGMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/GhezziT08,
author = {Carlo Ghezzi and
Giordano Tamburrelli},
title = {Choosing a Software Architecture: An Approach and a Case Study},
booktitle = {Proceedings of the Twentieth International Conference on Software
Engineering {\&} Knowledge Engineering (SEKE'2008), San Francisco,
CA, USA, July 1-3, 2008},
pages = {255--260},
publisher = {Knowledge Systems Institute Graduate School},
year = {2008},
timestamp = {Thu, 12 Mar 2020 11:30:50 +0100},
biburl = {https://dblp.org/rec/conf/seke/GhezziT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/servicewave/ArdagnaGM08,
author = {Danilo Ardagna and
Carlo Ghezzi and
Raffaela Mirandola},
editor = {Petri M{\"{a}}h{\"{o}}nen and
Klaus Pohl and
Thierry Priol},
title = {Model Driven QoS Analyses of Composed Web Services},
booktitle = {Towards a Service-Based Internet, First European Conference, ServiceWave
2008, Madrid, Spain, December 10-13, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5377},
pages = {299--311},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89897-9\_26},
doi = {10.1007/978-3-540-89897-9\_26},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/servicewave/ArdagnaGM08.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/soca/BaresiNGG07,
author = {Luciano Baresi and
Elisabetta Di Nitto and
Carlo Ghezzi and
Sam Guinea},
title = {A framework for the deployment of adaptable web service compositions},
journal = {Serv. Oriented Comput. Appl.},
volume = {1},
number = {1},
pages = {75--91},
year = {2007},
url = {https://doi.org/10.1007/s11761-007-0004-1},
doi = {10.1007/S11761-007-0004-1},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soca/BaresiNGG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/Ghezzi07,
author = {Carlo Ghezzi},
title = {Editorial},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {16},
number = {1},
pages = {2},
year = {2007},
url = {https://doi.org/10.1145/1189748.1189750},
doi = {10.1145/1189748.1189750},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/Ghezzi07.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/icse/BaresiGM07,
author = {Luciano Baresi and
Carlo Ghezzi and
Luca Mottola},
title = {On Accurate Automatic Verification of Publish-Subscribe Architectures},
booktitle = {29th International Conference on Software Engineering {(ICSE} 2007),
Minneapolis, MN, USA, May 20-26, 2007},
pages = {199--208},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICSE.2007.57},
doi = {10.1109/ICSE.2007.57},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BaresiGM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/BianculliJBGF07,
author = {Domenico Bianculli and
Radu Jurca and
Walter Binder and
Carlo Ghezzi and
Boi Faltings},
editor = {Bernd J. Kr{\"{a}}mer and
Kwei{-}Jay Lin and
Priya Narasimhan},
title = {Automated Dynamic Maintenance of Composite Services Based on Service
Reputation},
booktitle = {Service-Oriented Computing - {ICSOC} 2007, Fifth International Conference,
Vienna, Austria, September 17-20, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4749},
pages = {449--455},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74974-5\_42},
doi = {10.1007/978-3-540-74974-5\_42},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/BianculliJBGF07.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/iwpse/GhezziMM07,
author = {Carlo Ghezzi and
Andrea Mocci and
Mattia Monga},
editor = {Massimiliano Di Penta and
Michele Lanza},
title = {Efficient recovery of algebraic specifications for stateful components},
booktitle = {9th International Workshop on Principles of Software Evolution {(IWPSE}
2007), in conjunction with the 6th {ESEC/FSE} joint meeting, Dubrovnik,
Croatia, September 3-4, 2007},
pages = {98--105},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1294948.1294972},
doi = {10.1145/1294948.1294972},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwpse/GhezziMM07.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/sigsoft/BianculliG07,
author = {Domenico Bianculli and
Carlo Ghezzi},
editor = {Elisabetta Di Nitto and
Andrea Polini and
Andrea Zisman},
title = {Monitoring conversational web services},
booktitle = {Proceedings of the 2nd International Workshop on Service Oriented
Software Engineering: in conjunction with the 6th {ESEC/FSE} joint
meeting, {IW-SOSWE} 2007, Dubrovnik, Croatia, September 3, 2007},
pages = {15--21},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1294928.1294933},
doi = {10.1145/1294928.1294933},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BianculliG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BaresiGGM07,
author = {Luciano Baresi and
Giorgio Gerosa and
Carlo Ghezzi and
Luca Mottola},
editor = {Arnd Poetzsch{-}Heffter},
title = {Playing with time in publish-subscribe using a domain-specific model
checker},
booktitle = {Proceedings of the 2007 Conference Specification and Verification
of Component-Based Systems, {SAVCBS} 2007, Dubrovnik, Croatia, September
3-4, 2007},
pages = {55--62},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292316.1292323},
doi = {10.1145/1292316.1292323},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BaresiGGM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Ghezzi07,
author = {Carlo Ghezzi},
editor = {Ivica Crnkovic and
Antonia Bertolino},
title = {Foreword to the doctoral symposium},
booktitle = {Proceedings of the 6th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7,
2007},
pages = {573},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1295014.1295045},
doi = {10.1145/1295014.1295045},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Ghezzi07.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:conf/wosp/Ghezzi07,
author = {Carlo Ghezzi},
editor = {Vittorio Cortellessa and
Sebasti{\'{a}}n Uchitel and
Daniel Yankelevich},
title = {The challenges of open-world software},
booktitle = {Proceedings of the 6th International Workshop on Software and Performance,
{WOSP} 2007, Buenes Aires, Argentina, February 5-8, 2007},
pages = {90},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1216993.1216995},
doi = {10.1145/1216993.1216995},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wosp/Ghezzi07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/swb/GhezziG07,
author = {Carlo Ghezzi and
Sam Guinea},
editor = {Luciano Baresi and
Elisabetta Di Nitto},
title = {Run-Time Monitoring in Service-Oriented Architectures},
booktitle = {Test and Analysis of Web Services},
pages = {237--264},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72912-9\_9},
doi = {10.1007/978-3-540-72912-9\_9},
timestamp = {Mon, 15 Jun 2020 17:07:26 +0200},
biburl = {https://dblp.org/rec/conf/swb/GhezziG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/BaresiGG07,
author = {Luciano Baresi and
Carlo Ghezzi and
Sam Guinea},
editor = {Bernd J. Kr{\"{a}}mer and
Wolfgang A. Halang},
title = {Towards Self-healing Composition of Services},
booktitle = {Contributions to Ubiquitous Computing},
series = {Studies in Computational Intelligence},
volume = {42},
pages = {27--46},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-44910-2\_2},
doi = {10.1007/978-3-540-44910-2\_2},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/sci/BaresiGG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BaresiNG06,
author = {Luciano Baresi and
Elisabetta Di Nitto and
Carlo Ghezzi},
title = {Toward Open-World Software: Issue and Challenges},
journal = {Computer},
volume = {39},
number = {10},
pages = {36--43},
year = {2006},
url = {https://doi.org/10.1109/MC.2006.362},
doi = {10.1109/MC.2006.362},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BaresiNG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/BalzarottiGM06,
author = {Davide Balzarotti and
Carlo Ghezzi and
Mattia Monga},
title = {Supporting Cooperative Software Processes in a Decentralized and Nomadic
World},
journal = {{IEEE} Trans. Syst. Man Cybern. Part {A}},
volume = {36},
number = {6},
pages = {1098--1109},
year = {2006},
url = {https://doi.org/10.1109/TSMCA.2006.883165},
doi = {10.1109/TSMCA.2006.883165},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/BalzarottiGM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/BaresiBFGP06,
author = {Luciano Baresi and
Paolo Beretta and
Roberto Fraccapani and
Carlo Ghezzi and
Filippo Pacifici},
title = {Towards a Model-driven Approach to Develop Applications based on Physical
Active Objects},
booktitle = {13th Asia-Pacific Software Engineering Conference {(APSEC} 2006),
6-8 December 2006, Bangalore, India},
pages = {173--182},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/APSEC.2006.58},
doi = {10.1109/APSEC.2006.58},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/BaresiBFGP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/Ghezzi06,
author = {Carlo Ghezzi},
editor = {Luciano Baresi and
Reiko Heckel},
title = {Software Engineering: Emerging Goals and Lasting Problems},
booktitle = {Fundamental Approaches to Software Engineering, 9th International
Conference, {FASE} 2006, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2006, Vienna, Austria,
March 27-28, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3922},
pages = {2},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11693017\_2},
doi = {10.1007/11693017\_2},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/Ghezzi06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BaresiGM06,
author = {Luciano Baresi and
Carlo Ghezzi and
Luca Mottola},
editor = {Elie Najm and
Jean{-}Fran{\c{c}}ois Pradat{-}Peyre and
V{\'{e}}ronique Donzeau{-}Gouge},
title = {Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2006, 26th {IFIP} {WG} 6.1 International Conference, Paris, France,
September 26-29, 2006},
series = {Lecture Notes in Computer Science},
volume = {4229},
pages = {131--135},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11888116\_10},
doi = {10.1007/11888116\_10},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/BaresiGM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/BaresiNG06,
author = {Luciano Baresi and
Elisabetta Di Nitto and
Carlo Ghezzi},
title = {Towards Open-World Software: Issue and Challenges},
booktitle = {30th Annual {IEEE} / {NASA} Software Engineering Workshop {(SEW-30}
2006), 25-28 April 2006, Loyola College Graduate Center, Columbia,
MD, {USA}},
pages = {249--252},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SEW.2006.35},
doi = {10.1109/SEW.2006.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/BaresiNG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/Ghezzi05,
author = {Carlo Ghezzi},
title = {Editorial},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {14},
number = {2},
pages = {119--123},
year = {2005},
url = {https://doi.org/10.1145/1061254.1061255},
doi = {10.1145/1061254.1061255},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/Ghezzi05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/OsterweilGKW05,
author = {Leon J. Osterweil and
Carlo Ghezzi and
Jeff Kramer and
Alexander L. Wolf},
title = {Editorial},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {14},
number = {4},
pages = {381--382},
year = {2005},
url = {https://doi.org/10.1145/1101815.1101816},
doi = {10.1145/1101815.1101816},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/OsterweilGKW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edo/BaresiGMMNP05,
author = {Luciano Baresi and
Carlo Ghezzi and
Antonio Miele and
Matteo Miraz and
Andrea Naggi and
Filippo Pacifici},
editor = {Elisabetta Di Nitto and
Amy L. Murphy},
title = {Hybrid service-oriented architectures: a case-study in the automotive
domain},
booktitle = {Proceedings of the 5th International Workshop on Software Engineering
and Middleware, {SEM} 2005, Lisbon, Portugal, September 5-6, 2005},
pages = {62--68},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1108473.1108487},
doi = {10.1145/1108473.1108487},
timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edo/BaresiGMMNP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GhezziM05a,
author = {Carlo Ghezzi and
Dino Mandrioli},
editor = {Paola Inverardi and
Mehdi Jazayeri},
title = {The Challenges of Software Engineering Education},
booktitle = {Software Engineering Education in the Modern Age, Software Education
and Training Sessions at the International Conference on Software
Engineering, {ICSE} 2005, St. Louis, MO, USA, May 15-21, 2005, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4309},
pages = {115--127},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11949374\_8},
doi = {10.1007/11949374\_8},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/icse/GhezziM05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GhezziM05,
author = {Carlo Ghezzi and
Dino Mandrioli},
editor = {Gruia{-}Catalin Roman and
William G. Griswold and
Bashar Nuseibeh},
title = {The challenges of software engineering education},
booktitle = {27th International Conference on Software Engineering {(ICSE} 2005),
15-21 May 2005, St. Louis, Missouri, {USA}},
pages = {637--638},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1062455.1062578},
doi = {10.1145/1062455.1062578},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/GhezziM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/metrics/Ghezzi05,
author = {Carlo Ghezzi},
title = {Flexible Processes for Evolvable Products},
booktitle = {11th {IEEE} International Symposium on Software Metrics {(METRICS}
2005), 19-22 September 2005, Como Italy},
pages = {1},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/METRICS.2005.27},
doi = {10.1109/METRICS.2005.27},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/metrics/Ghezzi05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/GhezziI04,
author = {Carlo Ghezzi and
Paola Inverardi},
title = {Introduction to Special Issue on Distributed and Mobile Software Engineering},
journal = {Autom. Softw. Eng.},
volume = {11},
number = {3},
pages = {203--205},
year = {2004},
url = {https://doi.org/10.1023/B:AUSE.0000028563.49367.43},
doi = {10.1023/B:AUSE.0000028563.49367.43},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/GhezziI04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswsd/BaresiG04,
author = {Luciano Baresi and
Carlo Ghezzi},
editor = {Manfred Broy and
Ingolf H. Kr{\"{u}}ger and
Michael Meisinger},
title = {Validation of Component and Service Federations in Automotive Software
Applications},
booktitle = {Automotive Software - Connected Services in Mobile Networks, First
Automotive Software Workshop, {ASWSD} 2004, San Diego, CA, USA, January
10-12, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4147},
pages = {57--73},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11823063\_5},
doi = {10.1007/11823063\_5},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/aswsd/BaresiG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/GhezziMP04,
author = {Carlo Ghezzi and
Vincenzo Martena and
Gian Pietro Picco},
editor = {Michel Wermelinger and
Tiziana Margaria},
title = {Enhancing Remote Method Invocation through Type-Based Static Analysis},
booktitle = {Fundamental Approaches to Software Engineering, 7th International
Conference, {FASE} 2004, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2004 Barcelona, Spain,
March 29 - april 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2984},
pages = {339--353},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24721-0\_25},
doi = {10.1007/978-3-540-24721-0\_25},
timestamp = {Sun, 02 Jun 2019 21:17:06 +0200},
biburl = {https://dblp.org/rec/conf/fase/GhezziMP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/BaresiGG04,
author = {Luciano Baresi and
Carlo Ghezzi and
Sam Guinea},
editor = {Marco Aiello and
Mikio Aoyama and
Francisco Curbera and
Mike P. Papazoglou},
title = {Smart monitors for composed services},
booktitle = {Service-Oriented Computing - {ICSOC} 2004, Second International Conference,
New York, NY, USA, November 15-19, 2004, Proceedings},
pages = {193--202},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1035167.1035195},
doi = {10.1145/1035167.1035195},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsoc/BaresiGG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0014226,
author = {Carlo Ghezzi and
Mehdi Jazayeri and
Dino Mandrioli},
title = {Fundamentals of software engineering {(2.} ed.)},
publisher = {Prentice Hall},
year = {2003},
isbn = {978-0-13-305699-0},
timestamp = {Thu, 14 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0014226.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/GhezziMRS03,
author = {Carlo Ghezzi and
Jeff Magee and
H. Dieter Rombach and
Mary Lou Soffa},
title = {Editorial},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {12},
number = {1},
pages = {1--2},
year = {2003},
url = {https://doi.org/10.1145/839268.839269},
doi = {10.1145/839268.839269},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/GhezziMRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/NittoGS03,
author = {Elisabetta Di Nitto and
Carlo Ghezzi and
Paolo Selvini},
editor = {Gary B. Lamont and
Hisham Haddad and
George A. Papadopoulos and
Brajendra Panda},
title = {Using Agents for Multi-target Search on the Web},
booktitle = {Proceedings of the 2003 {ACM} Symposium on Applied Computing (SAC),
March 9-12, 2003, Melbourne, FL, {USA}},
pages = {828--833},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/952532.952696},
doi = {10.1145/952532.952696},
timestamp = {Tue, 06 Nov 2018 11:06:45 +0100},
biburl = {https://dblp.org/rec/conf/sac/NittoGS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Ghezzi02,
author = {Carlo Ghezzi},
editor = {Andrea Corradini and
Hartmut Ehrig and
Hans{-}J{\"{o}}rg Kreowski and
Grzegorz Rozenberg},
title = {Ubiquitous, Decentralized, and Evolving Software: Challenges for Software
Engineering},
booktitle = {Graph Transformation, First International Conference, {ICGT} 2002,
Barcelona, Spain, October 7-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2505},
pages = {1--5},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45832-8\_1},
doi = {10.1007/3-540-45832-8\_1},
timestamp = {Sat, 04 Apr 2020 17:15:23 +0200},
biburl = {https://dblp.org/rec/conf/gg/Ghezzi02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpse/GhezziM02,
author = {Carlo Ghezzi and
Mattia Monga},
editor = {Mikio Aoyama and
Katsuro Inoue and
V{\'{a}}clav Rajlich},
title = {Fostering component evolution with C{\#} attributes},
booktitle = {Proceedings of the International Workshop on Principles of Software
Evolution, {IWPSE} '02, Orlando, Florida, USA, May 19-20, 2002},
pages = {22--28},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/512035.512041},
doi = {10.1145/512035.512041},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwpse/GhezziM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/networking/BalzarottiGM02,
author = {Davide Balzarotti and
Carlo Ghezzi and
Mattia Monga},
editor = {Enrico Gregori and
Ludmila Cherkasova and
Gianpaolo Cugola and
Fabio Panzieri and
Gian Pietro Picco},
title = {Freeing Cooperation from Servers Tyranny},
booktitle = {Web Engineering and Peer-to-Peer Computing, {NETWORKING} 2002 Workshops,
Pisa, Italy, May 19-24, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2376},
pages = {235--246},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45745-3\_21},
doi = {10.1007/3-540-45745-3\_21},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/networking/BalzarottiGM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/BalzarottiGM02,
author = {Davide Balzarotti and
Carlo Ghezzi and
Mattia Monga},
title = {Supporting configuration management for virtual workgroups ini a peer-to-peer
setting},
booktitle = {Proceedings of the 14th international conference on Software engineering
and knowledge engineering, {SEKE} 2002, Ischia, Italy, July 15-19,
2002},
pages = {507--511},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/568760.568849},
doi = {10.1145/568760.568849},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/BalzarottiGM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AstesianoG01,
author = {Egidio Astesiano and
Carlo Ghezzi},
title = {Fundamental Approaches to Software Engineering},
journal = {Sci. Comput. Program.},
volume = {40},
number = {1},
pages = {1--2},
year = {2001},
url = {https://doi.org/10.1016/S0167-6423(00)00021-6},
doi = {10.1016/S0167-6423(00)00021-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AstesianoG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cia/NittoGSS01,
author = {Elisabetta Di Nitto and
Carlo Ghezzi and
Maurizio Sabba and
Paolo Selvini},
editor = {Matthias Klusch and
Franco Zambonelli},
title = {Using Agents in Performing Multi-site Queries},
booktitle = {Cooperative Information Agents V, 5th International Workshop, {CIA}
2001, Modena, Italy, September 6-8, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2182},
pages = {100--105},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44799-7\_11},
doi = {10.1007/3-540-44799-7\_11},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/cia/NittoGSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Coen-PorisiniDGP01,
author = {Alberto Coen{-}Porisini and
Giovanni Denaro and
Carlo Ghezzi and
Mauro Pezz{\`{e}}},
editor = {A Min Tjoa and
Volker Gruhn},
title = {Using symbolic execution for verifying safety-critical systems},
booktitle = {Proceedings of the 8th European Software Engineering Conference held
jointly with 9th {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering 2001, Vienna, Austria, September 10-14, 2001},
pages = {142--151},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/503209.503230},
doi = {10.1145/503209.503230},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/Coen-PorisiniDGP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2000,
editor = {Carlo Ghezzi and
Mehdi Jazayeri and
Alexander L. Wolf},
title = {Proceedings of the 22nd International Conference on on Software Engineering,
{ICSE} 2000, Limerick Ireland, June 4-11, 2000},
publisher = {{ACM}},
year = {2000},
url = {http://dl.acm.org/citation.cfm?id=336512},
isbn = {1-58113-206-9},
timestamp = {Mon, 14 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Ghezzi99,
author = {Carlo Ghezzi},
title = {{ICSE} 2000 opportunity},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {24},
number = {3},
pages = {8},
year = {1999},
url = {https://doi.org/10.1145/311963.311974},
doi = {10.1145/311963.311974},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Ghezzi99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/GhezziN99,
author = {Carlo Ghezzi and
Bashar Nuseibeh},
title = {Guest Editorial: Introduction to the Special Section - Managing Inconsistency
in Software Development},
journal = {{IEEE} Trans. Software Eng.},
volume = {25},
number = {6},
pages = {782--783},
year = {1999},
url = {https://doi.org/10.1109/TSE.1999.824393},
doi = {10.1109/TSE.1999.824393},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/GhezziN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Ghezzi99,
author = {Carlo Ghezzi},
title = {Complexity in Human Centered Systems: The Case of Software Processes},
booktitle = {5th International Conference on Engineering of Complex Computer Systems
{(ICECCS} '99), October 18-22, 1999, Las Vegas, NV, {USA}},
pages = {178},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.1999.10007},
doi = {10.1109/ICECCS.1999.10007},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/Ghezzi99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/CugolaG99,
author = {Gianpaolo Cugola and
Carlo Ghezzi},
title = {Design and Implementation of {PROSYT:} {A} Distributed Process Support
System},
booktitle = {8th Workshop on Enabling Technologies {(WETICE} '99), Infrastructure
for Collaborative Enterprises, 16-18 June 1999, Stanford, CA, USA,
Proceedings},
pages = {32--39},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ENABL.1999.805172},
doi = {10.1109/ENABL.1999.805172},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wetice/CugolaG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0020928,
author = {Carlo Ghezzi and
Mehdi Jazayeri},
title = {Programming language concepts {(3.} ed.)},
publisher = {Wiley},
year = {1998},
isbn = {978-0-471-10426-1},
timestamp = {Fri, 15 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0020928.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sopr/CugolaG98,
author = {Gianpaolo Cugola and
Carlo Ghezzi},
title = {Software processes: a retrospective and a path to the future},
journal = {Softw. Process. Improv. Pract.},
volume = {4},
number = {3},
pages = {101--123},
year = {1998},
url = {https://doi.org/10.1002/(SICI)1099-1670(199809)4:3\&\#60;101::AID-SPIP103\&\#62;3.0.CO;2-K},
doi = {10.1002/(SICI)1099-1670(199809)4:3\&\#60;101::AID-SPIP103\&\#62;3.0.CO;2-K},
timestamp = {Thu, 30 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sopr/CugolaG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/CodaGVG98,
author = {Francesco Coda and
Carlo Ghezzi and
Giovanni Vigna and
Franca Garzotto},
title = {Towards a Software Engineering Approach to Web Site Development},
booktitle = {Proceedings of the 9th International Workshop on Software Specification
and Design, {IWSSD} 1998, USA, April 16-18, 1998},
pages = {8--17},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://dl.acm.org/doi/10.5555/857205.858298},
doi = {10.5555/857205.858298},
timestamp = {Mon, 16 May 2022 14:03:08 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/CodaGVG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Coen-PorisiniGK97,
author = {Alberto Coen{-}Porisini and
Carlo Ghezzi and
Richard A. Kemmerer},
title = {Specification of Realtime Systems Using {ASTRAL}},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {9},
pages = {572--598},
year = {1997},
url = {https://doi.org/10.1109/32.629494},
doi = {10.1109/32.629494},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/Coen-PorisiniGK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/Ghezzi97,
author = {Carlo Ghezzi},
title = {Software Engineering Issues for Network Computing},
booktitle = {1997 International Conference on Software Maintenance {(ICSM} '97),
1-3 October 1997, Bari, Italy, Proceedings},
pages = {2},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ICSM.1997.624224},
doi = {10.1109/ICSM.1997.624224},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsm/Ghezzi97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ma/GhezziV97,
author = {Carlo Ghezzi and
Giovanni Vigna},
editor = {Kurt Rothermel and
Radu Popescu{-}Zeletin},
title = {Mobile Code Paradigms and Technologies: {A} Case Study},
booktitle = {Mobile Agents, First International Workshop, MA'97, Berlin, Germany,
April 7-8, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1219},
pages = {39--49},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-62803-7\_22},
doi = {10.1007/3-540-62803-7\_22},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/ma/GhezziV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oois/CugolaG97,
author = {Gianpaolo Cugola and
Carlo Ghezzi},
editor = {Maria E. Orlowska and
Roberto V. Zicari},
title = {CJava: Introducing Concurrent Objects in Java},
booktitle = {Proceedings of the 1997 International Conference on Object Oriented
Information Systems, {OOIS} 1997, Brisbane, Australia, November 10-12,
1997},
pages = {504--514},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-1-4471-1525-0\_41},
doi = {10.1007/978-1-4471-1525-0\_41},
timestamp = {Tue, 17 Nov 2020 10:58:09 +0100},
biburl = {https://dblp.org/rec/conf/oois/CugolaG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtse/GhezziV97,
author = {Carlo Ghezzi and
Giovanni Vigna},
editor = {Manfred Broy and
Bernhard Rumpe},
title = {Software Engineering Issues for Network Computing},
booktitle = {Requirements Targeting Software and Systems Engineering, International
Workshop {RTSE} '97, Bernried, Germany, October 12-14, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1526},
pages = {155--177},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/10692867\_7},
doi = {10.1007/10692867\_7},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/rtse/GhezziV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/tucker97/GhezziJM97,
author = {Carlo Ghezzi and
Mehdi Jazayeri and
Dino Mandrioli},
editor = {Allen B. Tucker},
title = {Software Qualities and Principles},
booktitle = {The Computer Science and Engineering Handbook},
pages = {2278--2301},
publisher = {{CRC} Press},
year = {1997},
timestamp = {Sun, 09 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/crc/tucker97/GhezziJM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/CugolaNFG96,
author = {Gianpaolo Cugola and
Elisabetta Di Nitto and
Alfonso Fuggetta and
Carlo Ghezzi},
title = {A Framework for Formalizing Inconsistencies and Deviations in Human-Centered
Systems},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {5},
number = {3},
pages = {191--230},
year = {1996},
url = {https://doi.org/10.1145/234426.234427},
doi = {10.1145/234426.234427},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/CugolaNFG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/CugolaG96,
author = {Gianpaolo Cugola and
Carlo Ghezzi},
title = {Program families: some requirements issues for the process languages},
booktitle = {10th International Software Process Workshop, {ISPW} 1996, June 17-19,
1996, Dijon, France},
pages = {48--50},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ISPW.1996.654367},
doi = {10.1109/ISPW.1996.654367},
timestamp = {Tue, 10 May 2022 15:36:10 +0200},
biburl = {https://dblp.org/rec/conf/ispw/CugolaG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mos/CugolaGPV96,
author = {Gianpaolo Cugola and
Carlo Ghezzi and
Gian Pietro Picco and
Giovanni Vigna},
editor = {Jan Vitek and
Christian F. Tschudin},
title = {Analyzing Mobile Code Languages},
booktitle = {Mobile Object Systems - Towards the Programmable Internet, Second
International Workshop, MOS'96, Linz, Austria, July 8-9, 1996, Selected
Presentations and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {1222},
pages = {93--110},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62852-5\_9},
doi = {10.1007/3-540-62852-5\_9},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/mos/CugolaGPV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CugolaNGM95,
author = {Gianpaolo Cugola and
Elisabetta Di Nitto and
Carlo Ghezzi and
M. Mantione},
editor = {Dewayne E. Perry and
Ross Jeffery and
David Notkin},
title = {How to Deal With Deviations During Process Model Enactment},
booktitle = {17th International Conference on Software Engineering, Seattle, Washington,
USA, April 23-30, 1995, Proceedings},
pages = {265--273},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/225014.225039},
doi = {10.1145/225014.225039},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CugolaNGM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/FuggettaG94,
author = {Alfonso Fuggetta and
Carlo Ghezzi},
title = {State of the art and open issues in process-centered software engineering
environments},
journal = {J. Syst. Softw.},
volume = {26},
number = {1},
pages = {53--60},
year = {1994},
url = {https://doi.org/10.1016/0164-1212(94)90095-7},
doi = {10.1016/0164-1212(94)90095-7},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/FuggettaG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/GhezziMP94,
author = {Carlo Ghezzi and
Sandro Morasca and
Mauro Pezz{\`{e}}},
title = {Validating timing requirements for time basic net specifications},
journal = {J. Syst. Softw.},
volume = {27},
number = {2},
pages = {97--117},
year = {1994},
url = {https://doi.org/10.1016/0164-1212(94)90024-8},
doi = {10.1016/0164-1212(94)90024-8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/GhezziMP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ispw/1994,
editor = {Carlo Ghezzi},
title = {Proceedings of the Ninth International Software Process Workshop {(ISPW}
'94), October 1994, Airlie, Virginia, {USA}},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://ieeexplore.ieee.org/xpl/conhome/3880/proceeding},
isbn = {0-8186-6770-2},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ispw/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/ArmeniseBGM93,
author = {Pasquale Armenise and
Sergio Bandinelli and
Carlo Ghezzi and
Angelo Morzenti},
title = {A Survey and Assessment of Software Process Representation Formalisms},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {3},
number = {3},
pages = {401--426},
year = {1993},
url = {https://doi.org/10.1142/S0218194093000197},
doi = {10.1142/S0218194093000197},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/ArmeniseBGM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/FelderGP93,
author = {Miguel Felder and
Carlo Ghezzi and
Mauro Pezz{\`{e}}},
title = {High-Level Timed Petri Nets as a Kernel for Executable Specifications},
journal = {Real Time Syst.},
volume = {5},
number = {2-3},
pages = {235--248},
year = {1993},
url = {https://doi.org/10.1007/BF01088590},
doi = {10.1007/BF01088590},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/FelderGP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GhezziR93,
author = {Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {Guest Editors' Remarks: Selected Papers of the Sixth International
Workshop on Software Specification and Design},
journal = {Sci. Comput. Program.},
volume = {20},
number = {1-2},
pages = {1--2},
year = {1993},
url = {https://doi.org/10.1016/0167-6423(93)90020-P},
doi = {10.1016/0167-6423(93)90020-P},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GhezziR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/FuggettaGMM93,
author = {Alfonso Fuggetta and
Carlo Ghezzi and
Dino Mandrioli and
Angelo Morzenti},
title = {Executable Specifications with Data-flow Diagrams},
journal = {Softw. Pract. Exp.},
volume = {23},
number = {6},
pages = {629--653},
year = {1993},
url = {https://doi.org/10.1002/spe.4380230605},
doi = {10.1002/SPE.4380230605},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/FuggettaGMM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BandinelliFG93,
author = {Sergio Bandinelli and
Alfonso Fuggetta and
Carlo Ghezzi},
title = {Process Model Evolution in the {SPADE} Environment},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {12},
pages = {1128--1144},
year = {1993},
url = {https://doi.org/10.1109/32.249659},
doi = {10.1109/32.249659},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BandinelliFG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/GhezziFB93,
author = {Carlo Ghezzi and
Miguel Felder and
Carlo Bellettini},
editor = {Ian Sommerville and
Manfred Paul},
title = {Real-Time Systems: {A} Survey of Approaches to Formal Specification
and Verification},
booktitle = {Software Engineering - {ESEC} '93, 4th European Software Engineering
Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {717},
pages = {11--36},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57209-0\_3},
doi = {10.1007/3-540-57209-0\_3},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/esec/GhezziFB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/FuggettaG93,
author = {Alfonso Fuggetta and
Carlo Ghezzi},
editor = {Wilhelm Sch{\"{a}}fer},
title = {Process Formalisms Need to be Fully Reflective},
booktitle = {State of the Practice in Process Technology, Proceedings of the Eighth
International Software Process Workshop {(ISPW} '93), March 2-5, 1993,
Wadern, Schloss Dagstuhl, Germany},
pages = {78--80},
publisher = {{IEEE} Computer Society},
year = {1993},
timestamp = {Wed, 02 Apr 2003 08:27:45 +0200},
biburl = {https://dblp.org/rec/conf/ispw/FuggettaG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/FelderGP93,
author = {Miguel Felder and
Carlo Ghezzi and
Mauro Pezz{\`{e}}},
editor = {Thomas J. Ostrand and
Elaine J. Weyuker},
title = {Analyzing Refinements of State Based Specifications: The Case of {TB}
Nets},
booktitle = {Proceedings of the 1993 International Symposium on Software Testing
and Analysis, {ISSTA} 1993, Cambridge, MA, USA, June 28-30, 1993},
pages = {28--39},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/154183.154193},
doi = {10.1145/154183.154193},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/FelderGP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/GhezziP93,
author = {Carlo Ghezzi and
Mauro Pezz{\`{e}}},
editor = {Jack C. Wileden and
Martin S. Feather and
Axel van Lamsweerde},
title = {Towards Extensible Graphical Formalisms},
booktitle = {Proceedings of the 7th International Workshop on Software Specification
and Design, Redondo Beach, CA, USA, December 6-7, 1993},
pages = {69--77},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://dl.acm.org/doi/10.5555/951807.951821},
doi = {10.5555/951807.951821},
timestamp = {Fri, 13 May 2022 15:10:38 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/GhezziP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ws/93/GhezziPP93,
author = {Carlo Ghezzi and
Mauro Pezz{\`{e}} and
Kim Portman},
editor = {Vincenzo Ambriola and
Genoveffa Tortora},
title = {Parallel Execution of Real-Time Petri Nets},
booktitle = {Advances in Software Engineering and Knowledge Engineering},
series = {Series on Software Engineering and Knowledge Engineering},
volume = {2},
pages = {135--157},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812798039\_0006},
doi = {10.1142/9789812798039\_0006},
timestamp = {Sat, 18 Apr 2020 00:38:23 +0200},
biburl = {https://dblp.org/rec/books/ws/93/GhezziPP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/MorzentiMG92,
author = {Angelo Morzenti and
Dino Mandrioli and
Carlo Ghezzi},
title = {A Model Parametric Real-Time Logic},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {14},
number = {4},
pages = {521--573},
year = {1992},
url = {https://doi.org/10.1145/133233.129397},
doi = {10.1145/133233.129397},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/MorzentiMG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KemmererG92,
author = {Richard A. Kemmerer and
Carlo Ghezzi},
title = {Guest Editors' Introduction: Specification and Analysis of Real-Time
Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {18},
number = {9},
pages = {766--767},
year = {1992},
url = {http://doi.ieeecomputersociety.org/10.1109/TSE.1992.10003},
doi = {10.1109/TSE.1992.10003},
timestamp = {Thu, 10 Dec 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/KemmererG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewspt/BandinelliFGG92,
author = {Sergio Bandinelli and
Alfonso Fuggetta and
Carlo Ghezzi and
Sandro Grigolli},
editor = {Jean{-}Claude Derniame},
title = {Process Enactment in {SPADE}},
booktitle = {Software Process Technology, Second European Workshop, {EWSPT} '92,
Trondheim, Norway, September 7-8, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {635},
pages = {67--83},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0017505},
doi = {10.1007/BFB0017505},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ewspt/BandinelliFGG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/FelderGP92,
author = {Miguel Felder and
Carlo Ghezzi and
Mauro Pezz{\`{e}}},
editor = {Wolfgang A. Halang and
Alexander D. Stoyenko},
title = {Formal Specification and Timing Analysis of High-Integrity Real-Time
Systems},
booktitle = {Real Time Computing, Proceedings of the {NATO} Advanced Study Institute
on Real Time Computing, held in Sint Maarten, Dutch Antilles, October
5-17, 1992},
series = {{NATO} {ASI} Series},
volume = {127},
pages = {187--211},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-3-642-88049-0\_10},
doi = {10.1007/978-3-642-88049-0\_10},
timestamp = {Fri, 12 May 2017 11:23:45 +0200},
biburl = {https://dblp.org/rec/conf/nato/FelderGP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ArmeniseBGM92,
author = {Pasquale Armenise and
Sergio Bandinelli and
Carlo Ghezzi and
Angelo Morzenti},
title = {Software Processes Representation Languages: Survey and Assessment},
booktitle = {SEKE'92, The 4th International Conference on Software Engineering
and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
pages = {455--462},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/SEKE.1992.227957},
doi = {10.1109/SEKE.1992.227957},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/ArmeniseBGM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/1992,
editor = {Tony Montgomery and
Lori A. Clarke and
Carlo Ghezzi},
title = {Proceedings of the 14th International Conference on Software Engineering,
Melbourne, Australia, May 11-15, 1992},
publisher = {{ACM} Press},
year = {1992},
url = {http://dl.acm.org/citation.cfm?id=143062},
isbn = {0-89791-504-6},
timestamp = {Mon, 14 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0067100,
author = {Carlo Ghezzi and
Mehdi Jazayeri and
Dino Mandrioli},
title = {Fundamentals of software engineering},
publisher = {Prentice Hall},
year = {1991},
isbn = {978-0-13-818204-5},
timestamp = {Fri, 08 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0067100.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/GhezziMMP91,
author = {Carlo Ghezzi and
Dino Mandrioli and
Sandro Morasca and
Mauro Pezz{\`{e}}},
title = {A Unified High-Level Petri Net Formalism for Time-Critical Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {17},
number = {2},
pages = {160--172},
year = {1991},
url = {https://doi.org/10.1109/32.67597},
doi = {10.1109/32.67597},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/GhezziMMP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Coen-PorisiniPGM91,
author = {Alberto Coen{-}Porisini and
Flavio De Paoli and
Carlo Ghezzi and
Dino Mandrioli},
title = {Software Specialization Via Symbolic Execution},
journal = {{IEEE} Trans. Software Eng.},
volume = {17},
number = {9},
pages = {884--899},
year = {1991},
url = {https://doi.org/10.1109/32.92907},
doi = {10.1109/32.92907},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/Coen-PorisiniPGM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/GhezziK91,
author = {Carlo Ghezzi and
Richard A. Kemmerer},
editor = {Axel van Lamsweerde and
Alfonso Fuggetta},
title = {{ASTRAL:} An Assertion Language for Specifying Realtime Systems},
booktitle = {{ESEC} '91, 3rd European Software Engineering Conference, Milan, Italy,
October 21-24, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {550},
pages = {122--146},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540547428\_46},
doi = {10.1007/3540547428\_46},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/esec/GhezziK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/BandinelliFGM91,
author = {Sergio Bandinelli and
Alfonso Fuggetta and
Carlo Ghezzi and
Angelo Morzenti},
editor = {Ian Thomas},
title = {A multi-paradigm Petri net based approach to process description},
booktitle = {Proceedings of the Seventh International Software Process Workshop
{(ISPW} '91), October 1991, Yountville, California, {USA}},
pages = {41--43},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/ISPW.1991.637521},
doi = {10.1109/ISPW.1991.637521},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispw/BandinelliFGM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GhezziK91,
author = {Carlo Ghezzi and
Richard A. Kennerer},
editor = {William E. Howden},
title = {Executing Formal Specifications: The {ASTRAL} to {TRIO} Translation
Approach},
booktitle = {Proceedings of the Symposium on Testing, Analysis, and Verification,
{TAV} 1991, Victoria, British Columbia, Canada, October 8-10, 1991},
pages = {112--122},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/120807.120817},
doi = {10.1145/120807.120817},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/GhezziK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwssd/1991,
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/proceedings/10.5555/952786},
doi = {10.5555/952786},
isbn = {978-0-8186-2320-2},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/GhezziMM90,
author = {Carlo Ghezzi and
Dino Mandrioli and
Angelo Morzenti},
title = {{TRIO:} {A} logic language for executable specifications of real-time
systems},
journal = {J. Syst. Softw.},
volume = {12},
number = {2},
pages = {107--123},
year = {1990},
url = {https://doi.org/10.1016/0164-1212(90)90074-V},
doi = {10.1016/0164-1212(90)90074-V},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/GhezziMM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/GhezziMMP89,
author = {Carlo Ghezzi and
Dino Mandrioli and
Sandro Morasca and
Mauro Pezz{\`{e}}},
title = {Symbolic Execution of Concurrent Systems Using Petri Nets},
journal = {Comput. Lang.},
volume = {14},
number = {4},
pages = {263--281},
year = {1989},
url = {https://doi.org/10.1016/0096-0551(89)90023-4},
doi = {10.1016/0096-0551(89)90023-4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/GhezziMMP89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/FuggettaGM89,
author = {Alfonso Fuggetta and
Carlo Ghezzi and
Dino Mandrioli},
title = {Some Consideration on Real-Time Bahavior of Concurrent Programs},
journal = {{IEEE} Trans. Software Eng.},
volume = {15},
number = {3},
pages = {356--359},
year = {1989},
url = {https://doi.org/10.1109/32.21763},
doi = {10.1109/32.21763},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/FuggettaGM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/GhezziMMP89,
author = {Carlo Ghezzi and
Dino Mandrioli and
Sandro Morasca and
Mauro Pezz{\`{e}}},
editor = {Sol J. Greenspan},
title = {A general way to put time in Petri nets},
booktitle = {Proceedings of the 5th International Workshop on Software Specification
and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
pages = {60--67},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/75199.75210},
doi = {10.1145/75199.75210},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/GhezziMMP89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esec/1989,
editor = {Carlo Ghezzi and
John A. McDermid},
title = {{ESEC} '89, 2nd European Software Engineering Conference, University
of Warwick, Coventry, UK, September 11-15, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {387},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51635-2},
doi = {10.1007/3-540-51635-2},
isbn = {3-540-51635-2},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esec/1989.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0017674,
author = {Carlo Ghezzi and
Mehdi Jazayeri},
title = {Programming language concepts {(2.} ed.)},
publisher = {Wiley},
year = {1987},
isbn = {978-0-471-82173-1},
timestamp = {Fri, 08 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0017674.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/GhezziMP87,
author = {Carlo Ghezzi and
Angelo Morzenti and
Mauro Pezz{\`{e}}},
editor = {Sergio Bittanti},
title = {On the Role of Software Reliability in Software Engineering},
booktitle = {Software Reliability Modelling and Identification (Como, Italy, September
2-4, 1987)},
series = {Lecture Notes in Computer Science},
volume = {341},
pages = {1--40},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/BFb0034285},
doi = {10.1007/BFB0034285},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/GhezziMP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/GarzottoGMM87,
author = {Franca Garzotto and
Carlo Ghezzi and
Dino Mandrioli and
Angelo Morzenti},
editor = {Howard K. Nichols and
Dan Simpson},
title = {On the Specification of Real-Time Systems Using Logic Programming},
booktitle = {{ESEC} '87, 1st European Software Engineering Conference, Strasbourg,
France, September 9-11, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {289},
pages = {180--190},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/BFb0022111},
doi = {10.1007/BFB0022111},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/esec/GarzottoGMM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/MandrioliZGT85,
author = {Dino Mandrioli and
Roberto V. Zicari and
Carlo Ghezzi and
Francesco Tisato},
title = {Modeling the Ada Task System by Petri Nets},
journal = {Comput. Lang.},
volume = {10},
number = {1},
pages = {43--61},
year = {1985},
url = {https://doi.org/10.1016/0096-0551(85)90010-4},
doi = {10.1016/0096-0551(85)90010-4},
timestamp = {Tue, 17 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/MandrioliZGT85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pc/Ghezzi85,
author = {Carlo Ghezzi},
title = {Concurrency in programming languages: {A} survey},
journal = {Parallel Comput.},
volume = {2},
number = {3},
pages = {229--241},
year = {1985},
url = {https://doi.org/10.1016/0167-8191(85)90005-5},
doi = {10.1016/0167-8191(85)90005-5},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pc/Ghezzi85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GhezziMT85,
author = {Carlo Ghezzi and
Dino Mandrioli and
Antonio Tecchio},
editor = {S. N. Maheshwari},
title = {Program Simplification via Symbolic Interpretation},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
Fifth Conference, New Delhi, India, December 16-18, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {206},
pages = {116--128},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16042-6\_6},
doi = {10.1007/3-540-16042-6\_6},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/GhezziMT85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/BossiG84,
author = {Annalisa Bossi and
Carlo Ghezzi},
title = {Using {FP} As a Query Language for Relational Data-Bases},
journal = {Comput. Lang.},
volume = {9},
number = {1},
pages = {25--37},
year = {1984},
url = {https://doi.org/10.1016/0096-0551(84)90010-9},
doi = {10.1016/0096-0551(84)90010-9},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/BossiG84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0098526,
author = {Carlo Ghezzi and
Mehdi Jazayeri},
title = {Programming language concepts},
publisher = {Wiley},
year = {1982},
isbn = {978-0-471-08755-7},
timestamp = {Wed, 23 Mar 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0098526.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/BerryGMT82,
author = {Daniel M. Berry and
Carlo Ghezzi and
Dino Mandrioli and
Francesco Tisato},
title = {Language Constructs for Real-Time Distributed Systems},
journal = {Comput. Lang.},
volume = {7},
number = {1},
pages = {11--20},
year = {1982},
url = {https://doi.org/10.1016/0096-0551(82)90017-0},
doi = {10.1016/0096-0551(82)90017-0},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/BerryGMT82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/CelentanoVG80,
author = {Augusto Celentano and
Pierluigi Della Vigna and
Carlo Ghezzi},
title = {{SIMPLE:} {A} Program Development System},
journal = {Comput. Lang.},
volume = {5},
number = {2},
pages = {103--114},
year = {1980},
url = {https://doi.org/10.1016/0096-0551(80)90050-8},
doi = {10.1016/0096-0551(80)90050-8},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/CelentanoVG80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/GhezziM80,
author = {Carlo Ghezzi and
Dino Mandrioli},
title = {Augmenting Parsers to Support Incrementality},
journal = {J. {ACM}},
volume = {27},
number = {3},
pages = {564--579},
year = {1980},
url = {https://doi.org/10.1145/322203.322215},
doi = {10.1145/322203.322215},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/GhezziM80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/CelentanoCVGGS80,
author = {Augusto Celentano and
Stefano Crespi{-}Reghizzi and
Pierluigi Della Vigna and
Carlo Ghezzi and
G. Granata and
Florencia Savoretti},
title = {Compiler Testing using a Sentence Generator},
journal = {Softw. Pract. Exp.},
volume = {10},
number = {11},
pages = {897--918},
year = {1980},
url = {https://doi.org/10.1002/spe.4380101104},
doi = {10.1002/SPE.4380101104},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/CelentanoCVGGS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CelentanoVGM80,
author = {Augusto Celentano and
Pierluigi Della Vigna and
Carlo Ghezzi and
Dino Mandrioli},
title = {Separate Compilation and Partial Specification in Pascal},
journal = {{IEEE} Trans. Software Eng.},
volume = {6},
number = {4},
pages = {320--328},
year = {1980},
url = {https://doi.org/10.1109/TSE.1980.230483},
doi = {10.1109/TSE.1980.230483},
timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/CelentanoVGM80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/GhezziM79,
author = {Carlo Ghezzi and
Dino Mandrioli},
title = {Incremental Parsing},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {1},
number = {1},
pages = {58--70},
year = {1979},
url = {https://doi.org/10.1145/357062.357066},
doi = {10.1145/357062.357066},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/GhezziM79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/VignaG78,
author = {Pierluigi Della Vigna and
Carlo Ghezzi},
title = {Context-Free Graph Grammars},
journal = {Inf. Control.},
volume = {37},
number = {2},
pages = {207--233},
year = {1978},
url = {https://doi.org/10.1016/S0019-9958(78)90528-4},
doi = {10.1016/S0019-9958(78)90528-4},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/VignaG78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eci/VignaG76,
author = {Pierluigi Della Vigna and
Carlo Ghezzi},
editor = {Klaus Samelson},
title = {Data Structures and Graph Grammars},
booktitle = {{ECI} Conference 1976, Proceedings of the 1st European Cooperation
in Informatics, Amsterdam, The Netherlands, August 9-12, 1976, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {44},
pages = {130--145},
publisher = {Springer},
year = {1976},
url = {https://doi.org/10.1007/3-540-07804-5\_26},
doi = {10.1007/3-540-07804-5\_26},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/eci/VignaG76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Ghezzi75,
author = {Carlo Ghezzi},
title = {{LL(1)} Grammars Supporting an Efficient Error Handling},
journal = {Inf. Process. Lett.},
volume = {3},
number = {6},
pages = {174--176},
year = {1975},
url = {https://doi.org/10.1016/0020-0190(75)90035-6},
doi = {10.1016/0020-0190(75)90035-6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Ghezzi75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-08-06 21:04 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:
