Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Luciano Baresi
@article{DBLP:journals/computing/MetzgerQMBP24,
author = {Andreas Metzger and
Cl{\'{e}}ment Quinton and
Zolt{\'{a}}n {\'{A}}d{\'{a}}m Mann and
Luciano Baresi and
Klaus Pohl},
title = {Realizing self-adaptive systems via online reinforcement learning
and feature-model-guided exploration},
journal = {Computing},
volume = {106},
number = {4},
pages = {1251--1272},
year = {2024},
url = {https://doi.org/10.1007/s00607-022-01052-x},
doi = {10.1007/S00607-022-01052-X},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computing/MetzgerQMBP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/BaresiQR24,
author = {Luciano Baresi and
Giovanni Quattrocchi and
Nicholas Rasi},
title = {A qualitative and quantitative analysis of container engines},
journal = {J. Syst. Softw.},
volume = {210},
pages = {111965},
year = {2024},
url = {https://doi.org/10.1016/j.jss.2024.111965},
doi = {10.1016/J.JSS.2024.111965},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/BaresiQR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taas/BaresiHQT24,
author = {Luciano Baresi and
Davide Yi Xian Hu and
Giovanni Quattrocchi and
Luca Terracciano},
title = {\emph{NEPTUNE}: {A} Comprehensive Framework for Managing Serverless
Functions at the Edge},
journal = {{ACM} Trans. Auton. Adapt. Syst.},
volume = {19},
number = {1},
pages = {7:1--7:32},
year = {2024},
url = {https://doi.org/10.1145/3634750},
doi = {10.1145/3634750},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/taas/BaresiHQT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-01025,
author = {Luciano Baresi and
Giovanni Quattrocchi and
Inacio Gaspar Ticongolo},
title = {Dependency-aware Resource Allocation for Serverless Functions at the
Edge},
journal = {CoRR},
volume = {abs/2401.01025},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.01025},
doi = {10.48550/ARXIV.2401.01025},
eprinttype = {arXiv},
eprint = {2401.01025},
timestamp = {Mon, 15 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-01025.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/internet/BaresiQR23,
author = {Luciano Baresi and
Giovanni Quattrocchi and
Nicholas Rasi},
title = {Open Challenges in Federated Machine Learning},
journal = {{IEEE} Internet Comput.},
volume = {27},
number = {2},
pages = {20--27},
year = {2023},
url = {https://doi.org/10.1109/MIC.2022.3190552},
doi = {10.1109/MIC.2022.3190552},
timestamp = {Tue, 28 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/internet/BaresiQR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/BaresiDQR23,
author = {Luciano Baresi and
Tommaso Dolci and
Giovanni Quattrocchi and
Nicholas Rasi},
title = {A multi-faceted analysis of the performance variability of virtual
machines},
journal = {Softw. Pract. Exp.},
volume = {53},
number = {11},
pages = {2067--2091},
year = {2023},
url = {https://doi.org/10.1002/spe.3244},
doi = {10.1002/SPE.3244},
timestamp = {Fri, 17 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/spe/BaresiDQR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/BaresiT23,
author = {Luciano Baresi and
Damian A. Tamburri},
editor = {Bedir Tekinerdogan and
Catia Trubiani and
Chouki Tibermacine and
Patrizia Scandurra and
Carlos E. Cuesta},
title = {Architecting Artificial Intelligence for Autonomous Cars: The OpenPilot
Framework},
booktitle = {Software Architecture - 17th European Conference, {ECSA} 2023, Istanbul,
Turkey, September 18-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14212},
pages = {189--204},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42592-9\_13},
doi = {10.1007/978-3-031-42592-9\_13},
timestamp = {Wed, 13 Sep 2023 08:53:58 +0200},
biburl = {https://dblp.org/rec/conf/ecsa/BaresiT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsa/BaresiQT23,
author = {Luciano Baresi and
Giovanni Quattrocchi and
Damian A. Tamburri},
title = {2\({}^{\mbox{nd}}\) International Workshop on the Foundations of Infrastructure
Specification and Testing : {FIST} 2023},
booktitle = {20th International Conference on Software Architecture, {ICSA} 2023
- Companion, L'Aquila, Italy, March 13-17, 2023},
pages = {317},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSA-C57050.2023.00071},
doi = {10.1109/ICSA-C57050.2023.00071},
timestamp = {Fri, 28 Apr 2023 15:39:23 +0200},
biburl = {https://dblp.org/rec/conf/icsa/BaresiQT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/TicongoloBQ23,
author = {Inacio Gaspar Ticongolo and
Luciano Baresi and
Giovanni Quattrocchi},
editor = {Flavia Monti and
Pierluigi Plebani and
Naouel Moha and
Hye{-}Young Paik and
Johanna Barzen and
Gowri Sankar Ramachandran and
Devis Bianchini and
Damian A. Tamburri and
Massimo Mecella},
title = {Advanced Serverless Edge Computing},
booktitle = {Service-Oriented Computing - {ICSOC} 2023 Workshops - AI-PA, ASOCA,
SAPD, SQS, SSCOPE, {WESOACS} and Satellite Events, Rome, Italy, November
28 - December 1, 2023, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14518},
pages = {285--291},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-97-0989-2\_23},
doi = {10.1007/978-981-97-0989-2\_23},
timestamp = {Mon, 25 Mar 2024 20:43:51 +0100},
biburl = {https://dblp.org/rec/conf/icsoc/TicongoloBQ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/BaresiQT23,
author = {Luciano Baresi and
Giovanni Quattrocchi and
Inacio Gaspar Ticongolo},
editor = {Flavia Monti and
Stefanie Rinderle{-}Ma and
Antonio Ruiz Cort{\'{e}}s and
Zibin Zheng and
Massimo Mecella},
title = {Dependency-Aware Resource Allocation for Serverless Functions at the
Edge},
booktitle = {Service-Oriented Computing - 21st International Conference, {ICSOC}
2023, Rome, Italy, November 28 - December 1, 2023, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {14419},
pages = {347--362},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-48421-6\_24},
doi = {10.1007/978-3-031-48421-6\_24},
timestamp = {Sat, 09 Dec 2023 13:01:18 +0100},
biburl = {https://dblp.org/rec/conf/icsoc/BaresiQT23.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 = {Fri, 06 Oct 2023 16:02:57 +0200},
biburl = {https://dblp.org/rec/conf/re/BaresiCG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-04080,
author = {Luciano Baresi and
Giovanni Quattrocchi and
Nicholas Rasi},
title = {A Qualitative and Quantitative Analysis of Container Engines},
journal = {CoRR},
volume = {abs/2303.04080},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.04080},
doi = {10.48550/ARXIV.2303.04080},
eprinttype = {arXiv},
eprint = {2303.04080},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-04080.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-11959,
author = {Luciano Baresi and
Tommaso Dolci and
Giovanni Quattrocchi and
Nicholas Rasi},
title = {A Multi-faceted Analysis of the Performance Variability of Virtual
Machines},
journal = {CoRR},
volume = {abs/2309.11959},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.11959},
doi = {10.48550/ARXIV.2309.11959},
eprinttype = {arXiv},
eprint = {2309.11959},
timestamp = {Mon, 25 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-11959.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/asc/ChristoforouAGB22,
author = {Andreas Christoforou and
Andreas S. Andreou and
Martin Garriga and
Luciano Baresi},
title = {Adopting microservice architecture: {A} decision support model based
on genetically evolved multi-layer {FCM}},
journal = {Appl. Soft Comput.},
volume = {114},
pages = {108066},
year = {2022},
url = {https://doi.org/10.1016/j.asoc.2021.108066},
doi = {10.1016/J.ASOC.2021.108066},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/asc/ChristoforouAGB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KallehbastiRB22,
author = {Mohammad Mehdi Pourhashem Kallehbasti and
Matteo Rossi and
Luciano Baresi},
title = {On How Bit-Vector Logic Can Help Verify LTL-Based Specifications},
journal = {{IEEE} Trans. Software Eng.},
volume = {48},
number = {4},
pages = {1154--1168},
year = {2022},
url = {https://doi.org/10.1109/TSE.2020.3014394},
doi = {10.1109/TSE.2020.3014394},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/KallehbastiRB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/BaresiQ22,
author = {Luciano Baresi and
Giovanni Quattrocchi},
editor = {Javier Troya and
Brahim Medjahed and
Mario Piattini and
Lina Yao and
Pablo Fern{\'{a}}ndez and
Antonio Ruiz{-}Cort{\'{e}}s},
title = {Training and Serving Machine Learning Models at Scale},
booktitle = {Service-Oriented Computing - 20th International Conference, {ICSOC}
2022, Seville, Spain, November 29 - December 2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13740},
pages = {669--683},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-20984-0\_48},
doi = {10.1007/978-3-031-20984-0\_48},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsoc/BaresiQ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BaresiQTT22,
author = {Luciano Baresi and
Giovanni Quattrocchi and
Damian Andrew Tamburri and
Luca Terracciano},
editor = {Eugene Syriani and
Houari A. Sahraoui and
Nelly Bencomo and
Manuel Wimmer},
title = {A declarative modelling framework for the deployment and management
of blockchain applications},
booktitle = {Proceedings of the 25th International Conference on Model Driven Engineering
Languages and Systems, {MODELS} 2022, Montreal, Quebec, Canada, October
23-28, 2022},
pages = {311--321},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3550355.3552417},
doi = {10.1145/3550355.3552417},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/BaresiQTT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seams/BaresiHQT22,
author = {Luciano Baresi and
Davide Yi Xian Hu and
Giovanni Quattrocchi and
Luca Terracciano},
editor = {Bradley R. Schmerl and
Martina Maggio and
Javier C{\'{a}}mara},
title = {{NEPTUNE:} Network- and GPU-aware Management of Serverless Functions
at the Edge},
booktitle = {International Symposium on Software Engineering for Adaptive and Self-Managing
Systems, {SEAMS} 2022, Pittsburgh, PA, USA, May 22-24, 2022},
pages = {144--155},
publisher = {{ACM/IEEE}},
year = {2022},
url = {https://doi.org/10.1145/3524844.3528051},
doi = {10.1145/3524844.3528051},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seams/BaresiHQT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-04320,
author = {Luciano Baresi and
Davide Yi Xian Hu and
Giovanni Quattrocchi and
Luca Terracciano},
title = {{NEPTUNE:} Network- and GPU-aware Management of Serverless Functions
at the Edge},
journal = {CoRR},
volume = {abs/2205.04320},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.04320},
doi = {10.48550/ARXIV.2205.04320},
eprinttype = {arXiv},
eprint = {2205.04320},
timestamp = {Wed, 11 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-04320.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-05092,
author = {Luciano Baresi and
Giovanni Quattrocchi and
Damian Andrew Tamburri and
Luca Terracciano},
title = {A Declarative Modelling Framework for the Deployment and Management
of Blockchain Applications},
journal = {CoRR},
volume = {abs/2209.05092},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.05092},
doi = {10.48550/ARXIV.2209.05092},
eprinttype = {arXiv},
eprint = {2209.05092},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-05092.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-05516,
author = {Luciano Baresi and
Giovanni Quattrocchi},
title = {Training and Serving Machine Learning Models at Scale},
journal = {CoRR},
volume = {abs/2211.05516},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.05516},
doi = {10.48550/ARXIV.2211.05516},
eprinttype = {arXiv},
eprint = {2211.05516},
timestamp = {Tue, 15 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-05516.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-03107,
author = {Luciano Baresi and
Giovanni Quattrocchi and
Damian Andrew Tamburri},
title = {Microservice Architecture Practices and Experience: a Focused Look
on Docker Configuration Files},
journal = {CoRR},
volume = {abs/2212.03107},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.03107},
doi = {10.48550/ARXIV.2212.03107},
eprinttype = {arXiv},
eprint = {2212.03107},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-03107.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/QuintonVRBGS21,
author = {Cl{\'{e}}ment Quinton and
Michael Vierhauser and
Rick Rabiser and
Luciano Baresi and
Paul Gr{\"{u}}nbacher and
Christian Schuhmayer},
title = {Evolution in dynamic software product lines},
journal = {J. Softw. Evol. Process.},
volume = {33},
number = {2},
year = {2021},
url = {https://doi.org/10.1002/smr.2293},
doi = {10.1002/SMR.2293},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/smr/QuintonVRBGS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/BaresiGLAMJ21,
author = {Luciano Baresi and
William G. Griswold and
Grace A. Lewis and
Marco Autili and
Ivano Malavolta and
Christine Julien},
title = {Trends and Challenges for Software Engineering in the Mobile Domain},
journal = {{IEEE} Softw.},
volume = {38},
number = {1},
pages = {88--96},
year = {2021},
url = {https://doi.org/10.1109/MS.2020.2994306},
doi = {10.1109/MS.2020.2994306},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/BaresiGLAMJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BaresiLQ21,
author = {Luciano Baresi and
Alberto Leva and
Giovanni Quattrocchi},
title = {Fine-Grained Dynamic Resource Allocation for Big-Data Applications},
journal = {{IEEE} Trans. Software Eng.},
volume = {47},
number = {8},
pages = {1668--1682},
year = {2021},
url = {https://doi.org/10.1109/TSE.2019.2931537},
doi = {10.1109/TSE.2019.2931537},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BaresiLQ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/BaresiQR21,
author = {Luciano Baresi and
Giovanni Quattrocchi and
Nicholas Rasi},
editor = {Hakim Hacid and
Odej Kao and
Massimo Mecella and
Naouel Moha and
Hye{-}young Paik},
title = {Resource Management for TensorFlow Inference},
booktitle = {Service-Oriented Computing - 19th International Conference, {ICSOC}
2021, Virtual Event, November 22-25, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13121},
pages = {238--253},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91431-8\_15},
doi = {10.1007/978-3-030-91431-8\_15},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/BaresiQR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/BaresiHQT21,
author = {Luciano Baresi and
Davide Yi Xian Hu and
Giovanni Quattrocchi and
Luca Terracciano},
editor = {Hakim Hacid and
Odej Kao and
Massimo Mecella and
Naouel Moha and
Hye{-}young Paik},
title = {{KOSMOS:} Vertical and Horizontal Resource Autoscaling for Kubernetes},
booktitle = {Service-Oriented Computing - 19th International Conference, {ICSOC}
2021, Virtual Event, November 22-25, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13121},
pages = {821--829},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91431-8\_59},
doi = {10.1007/978-3-030-91431-8\_59},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/BaresiHQT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/BaresiC21,
author = {Luciano Baresi and
Kostandin Caushi},
title = {{IDEA:} Runtime Collection of Android Data},
booktitle = {{IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2021 - Workshops, Wuhan, China, October 25-28, 2021},
pages = {137--143},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ISSREW53611.2021.00055},
doi = {10.1109/ISSREW53611.2021.00055},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issre/BaresiC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/MetzgerQMBP21,
author = {Andreas Metzger and
Cl{\'{e}}ment Quinton and
Zolt{\'{a}}n {\'{A}}d{\'{a}}m Mann and
Luciano Baresi and
Klaus Pohl},
editor = {Anne Koziolek and
Ina Schaefer and
Christoph Seidl},
title = {Feature-Modell-gef{\"{u}}hrtes Online Reinforcement Learning
f{\"{u}}r Selbst-adaptive Systeme},
booktitle = {Software Engineering 2021, Fachtagung des GI-Fachbereichs Softwaretechnik,
22.-26. Februar 2021, Braunschweig/Virtuell},
series = {{LNI}},
volume = {{P-310}},
pages = {75--76},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2021},
url = {https://doi.org/10.18420/SE2021\_26},
doi = {10.18420/SE2021\_26},
timestamp = {Thu, 18 Feb 2021 17:09:52 +0100},
biburl = {https://dblp.org/rec/conf/se/MetzgerQMBP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seams/BaresiQR21,
author = {Luciano Baresi and
Giovanni Quattrocchi and
Nicholas Rasi},
title = {Federated Machine Learning as a Self-Adaptive Problem},
booktitle = {16th International Symposium on Software Engineering for Adaptive
and Self-Managing Systems, SEAMS@ICSE 2021, Madrid, Spain, May 18-24,
2021},
pages = {41--47},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SEAMS51251.2021.00016},
doi = {10.1109/SEAMS51251.2021.00016},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seams/BaresiQR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BaresiBMQR20,
author = {Luciano Baresi and
Marcello M. Bersani and
Francesco Marconi and
Giovanni Quattrocchi and
Matteo Rossi},
title = {Using formal verification to evaluate the execution time of Spark
applications},
journal = {Formal Aspects Comput.},
volume = {32},
number = {1},
pages = {33--70},
year = {2020},
url = {https://doi.org/10.1007/s00165-020-00505-4},
doi = {10.1007/S00165-020-00505-4},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BaresiBMQR20.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/icsa/BaresiQ20,
author = {Luciano Baresi and
Giovanni Quattrocchi},
title = {{COCOS:} {A} Scalable Architecture for Containerized Heterogeneous
Systems},
booktitle = {2020 {IEEE} International Conference on Software Architecture, {ICSA}
2020, Salvador, Brazil, March 16-20, 2020},
pages = {103--113},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSA47634.2020.00018},
doi = {10.1109/ICSA47634.2020.00018},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsa/BaresiQ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/MetzgerQMBP20,
author = {Andreas Metzger and
Cl{\'{e}}ment Quinton and
Zolt{\'{a}}n {\'{A}}d{\'{a}}m Mann and
Luciano Baresi and
Klaus Pohl},
editor = {Eleanna Kafeza and
Boualem Benatallah and
Fabio Martinelli and
Hakim Hacid and
Athman Bouguettaya and
Hamid Motahari},
title = {Feature Model-Guided Online Reinforcement Learning for Self-Adaptive
Services},
booktitle = {Service-Oriented Computing - 18th International Conference, {ICSOC}
2020, Dubai, United Arab Emirates, December 14-17, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12571},
pages = {269--286},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65310-1\_20},
doi = {10.1007/978-3-030-65310-1\_20},
timestamp = {Thu, 31 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsoc/MetzgerQMBP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/BaresiQTH20,
author = {Luciano Baresi and
Giovanni Quattrocchi and
Damian Andrew Tamburri and
Willem{-}Jan van den Heuvel},
editor = {Eleanna Kafeza and
Boualem Benatallah and
Fabio Martinelli and
Hakim Hacid and
Athman Bouguettaya and
Hamid Motahari},
title = {Automated Quality Assessment of Incident Tickets for Smart Service
Continuity},
booktitle = {Service-Oriented Computing - 18th International Conference, {ICSOC}
2020, Dubai, United Arab Emirates, December 14-17, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12571},
pages = {492--499},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65310-1\_35},
doi = {10.1007/978-3-030-65310-1\_35},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/BaresiQTH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/BaresiQ20,
author = {Luciano Baresi and
Giovanni Quattrocchi},
title = {A Simulation-based Comparison between Industrial Autoscaling Solutions
and {COCOS} for Cloud Applications},
booktitle = {2020 {IEEE} International Conference on Web Services, {ICWS} 2020,
Beijing, China, October 19-23, 2020},
pages = {94--101},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICWS49710.2020.00020},
doi = {10.1109/ICWS49710.2020.00020},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icws/BaresiQ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/20/BaresiG20,
author = {Luciano Baresi and
Martin Garriga},
editor = {Antonio Bucchiarone and
Nicola Dragoni and
Schahram Dustdar and
Patricia Lago and
Manuel Mazzara and
Victor Rivera and
Andrey Sadovykh},
title = {Microservices: The Evolution and Extinction of Web Services?},
booktitle = {Microservices, Science and Engineering},
pages = {3--28},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-31646-4\_1},
doi = {10.1007/978-3-030-31646-4\_1},
timestamp = {Mon, 05 Feb 2024 20:35:54 +0100},
biburl = {https://dblp.org/rec/books/sp/20/BaresiG20.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/toit/BaresiMGGQ19,
author = {Luciano Baresi and
Danilo Filgueira Mendon{\c{c}}a and
Martin Garriga and
Sam Guinea and
Giovanni Quattrocchi},
title = {A Unified Model for the Mobile-Edge-Cloud Continuum},
journal = {{ACM} Trans. Internet Techn.},
volume = {19},
number = {2},
pages = {29:1--29:21},
year = {2019},
url = {https://doi.org/10.1145/3226644},
doi = {10.1145/3226644},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toit/BaresiMGGQ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfc/BaresiM19,
author = {Luciano Baresi and
Danilo Filgueira Mendon{\c{c}}a},
title = {Towards a Serverless Platform for Edge Computing},
booktitle = {{IEEE} International Conference on Fog Computing, {ICFC} 2019, Prague,
Czech Republic, June 24-26, 2019},
pages = {1--10},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICFC.2019.00008},
doi = {10.1109/ICFC.2019.00008},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfc/BaresiM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/BaresiMQ19,
author = {Luciano Baresi and
Danilo Filgueira Mendon{\c{c}}a and
Giovanni Quattrocchi},
editor = {Sami Yangui and
Ismael Bouassida Rodriguez and
Khalil Drira and
Zahir Tari},
title = {{PAPS:} {A} Framework for Decentralized Self-management at the Edge},
booktitle = {Service-Oriented Computing - 17th International Conference, {ICSOC}
2019, Toulouse, France, October 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11895},
pages = {508--522},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33702-5\_39},
doi = {10.1007/978-3-030-33702-5\_39},
timestamp = {Sun, 02 Oct 2022 16:06:38 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/BaresiMQ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/BaresiDQ19,
author = {Luciano Baresi and
Giovanni Denaro and
Giovanni Quattrocchi},
editor = {Katinka Wolter and
Ina Schieferdecker and
Barbara Gallina and
Michel Cukier and
Roberto Natella and
Naghmeh Ramezani Ivaki and
Nuno Laranjeiro},
title = {Big-Data Applications as Self-Adaptive Systems of Systems},
booktitle = {{IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops 2019, Berlin, Germany, October 27-30,
2019},
pages = {155--162},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISSREW.2019.00066},
doi = {10.1109/ISSREW.2019.00066},
timestamp = {Mon, 28 Dec 2020 11:31:03 +0100},
biburl = {https://dblp.org/rec/conf/issre/BaresiDQ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BaresiDQ19,
author = {Luciano Baresi and
Giovanni Denaro and
Giovanni Quattrocchi},
editor = {Marlon Dumas and
Dietmar Pfahl and
Sven Apel and
Alessandra Russo},
title = {Symbolic execution-driven extraction of the parallel execution plans
of Spark applications},
booktitle = {Proceedings of the {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2019, Tallinn, Estonia, August 26-30, 2019},
pages = {246--256},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3338906.3338973},
doi = {10.1145/3338906.3338973},
timestamp = {Sat, 30 Sep 2023 09:56:36 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/BaresiDQ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-09158,
author = {Andreas Metzger and
Cl{\'{e}}ment Quinton and
Zolt{\'{a}}n {\'{A}}d{\'{a}}m Mann and
Luciano Baresi and
Klaus Pohl},
title = {Feature-Model-Guided Online Learning for Self-Adaptive Systems},
journal = {CoRR},
volume = {abs/1907.09158},
year = {2019},
url = {http://arxiv.org/abs/1907.09158},
eprinttype = {arXiv},
eprint = {1907.09158},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-09158.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/RubinovB18,
author = {Konstantin Rubinov and
Luciano Baresi},
title = {What Are We Missing When Testing Our Android Apps?},
journal = {Computer},
volume = {51},
number = {4},
pages = {60--68},
year = {2018},
url = {https://doi.org/10.1109/MC.2018.2141024},
doi = {10.1109/MC.2018.2141024},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/RubinovB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/MeroniBMP18,
author = {Giovanni Meroni and
Luciano Baresi and
Marco Montali and
Pierluigi Plebani},
title = {Multi-party business process compliance monitoring through IoT-enabled
artifacts},
journal = {Inf. Syst.},
volume = {73},
pages = {61--78},
year = {2018},
url = {https://doi.org/10.1016/j.is.2017.12.009},
doi = {10.1016/J.IS.2017.12.009},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/is/MeroniBMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/ChristoforouABP18,
author = {Andreas Christoforou and
Andreas S. Andreou and
Luciano Baresi and
Michael P. Papazoglou},
editor = {Maria Fazio and
Wolf Zimmermann},
title = {DevOps-Based Software Engineering for the Cloud},
booktitle = {Advances in Service-Oriented and Cloud Computing - Workshops of {ESOCC}
2018, Como, Italy, September 12-14, 2018, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1115},
pages = {226--232},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-63161-1\_22},
doi = {10.1007/978-3-030-63161-1\_22},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esocc/ChristoforouABP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/BaresiQ18,
author = {Luciano Baresi and
Giovanni Quattrocchi},
editor = {Gabriele Mencagli and
Dora B. Heras and
Valeria Cardellini and
Emiliano Casalicchio and
Emmanuel Jeannot and
Felix Wolf and
Antonio Salis and
Claudio Schifanella and
Ravi Reddy Manumachu and
Laura Ricci and
Marco Beccuti and
Laura Antonelli and
Jos{\'{e}} Daniel Garc{\'{\i}}a S{\'{a}}nchez and
Stephen L. Scott},
title = {Towards Vertically Scalable Spark Applications},
booktitle = {Euro-Par 2018: Parallel Processing Workshops - Euro-Par 2018 International
Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11339},
pages = {106--118},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-10549-5\_9},
doi = {10.1007/978-3-030-10549-5\_9},
timestamp = {Fri, 27 Dec 2019 21:26:53 +0100},
biburl = {https://dblp.org/rec/conf/europar/BaresiQ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BaresiIFV18,
author = {Luciano Baresi and
Anita Imani and
Cristina Fr{\`{a}} and
Massimo Valla},
editor = {Christine Julien and
Grace A. Lewis and
Itai Segall},
title = {{LIQDROID:} towards seamlessly distributed Android applications},
booktitle = {Proceedings of the 5th International Conference on Mobile Software
Engineering and Systems, MOBILESoft@ICSE 2018, Gothenburg, Sweden,
May 27 - 28, 2018},
pages = {166--175},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3197231.3197247},
doi = {10.1145/3197231.3197247},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/BaresiIFV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ithings/BaresiSV18,
author = {Luciano Baresi and
Mersedeh Sadeghi and
Massimo Valla},
title = {TDeX: {A} Description Model for Heterogeneous Smart Devices and {GUI}
Generation},
booktitle = {{IEEE} International Conference on Internet of Things (iThings) and
{IEEE} Green Computing and Communications (GreenCom) and {IEEE} Cyber,
Physical and Social Computing (CPSCom) and {IEEE} Smart Data (SmartData),
iThings/GreenCom/CPSCom/SmartData 2018, Halifax, NS, Canada, July
30 - August 3, 2018},
pages = {97--104},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/Cybermatics\_2018.2018.00049},
doi = {10.1109/CYBERMATICS\_2018.2018.00049},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ithings/BaresiSV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/MarconiQBBR18,
author = {Francesco Marconi and
Giovanni Quattrocchi and
Luciano Baresi and
Marcello M. Bersani and
Matteo Rossi},
editor = {Aaron Dutle and
C{\'{e}}sar A. Mu{\~{n}}oz and
Anthony Narkawicz},
title = {On the Timed Analysis of Big-Data Applications},
booktitle = {{NASA} Formal Methods - 10th International Symposium, {NFM} 2018,
Newport News, VA, USA, April 17-19, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10811},
pages = {315--332},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-77935-5\_22},
doi = {10.1007/978-3-319-77935-5\_22},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/MarconiQBBR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/RabiserGVBG18,
author = {Rick Rabiser and
Sam Guinea and
Michael Vierhauser and
Luciano Baresi and
Paul Gr{\"{u}}nbacher},
editor = {Rocco Oliveto and
Massimiliano Di Penta and
David C. Shepherd},
title = {A comparison framework for runtime monitoring approaches (journal-first
abstract)},
booktitle = {25th International Conference on Software Analysis, Evolution and
Reengineering, {SANER} 2018, Campobasso, Italy, March 20-23, 2018},
pages = {472},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/SANER.2018.8330238},
doi = {10.1109/SANER.2018.8330238},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/RabiserGVBG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/Baresi18,
author = {Luciano Baresi},
editor = {Ling Liu and
M. Tamer {\"{O}}zsu},
title = {Activity Diagrams},
booktitle = {Encyclopedia of Database Systems, Second Edition},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-1-4614-8265-9\_9},
doi = {10.1007/978-1-4614-8265-9\_9},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/db/Baresi18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/BaresiDN17,
author = {Luciano Baresi and
M{\'{a}}rcio Eduardo Delamaro and
Paulo Augusto Nardi},
title = {Test oracles for simulink-like models},
journal = {Autom. Softw. Eng.},
volume = {24},
number = {2},
pages = {369--391},
year = {2017},
url = {https://doi.org/10.1007/s10515-016-0207-9},
doi = {10.1007/S10515-016-0207-9},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ase/BaresiDN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/RabiserGVBG17,
author = {Rick Rabiser and
Sam Guinea and
Michael Vierhauser and
Luciano Baresi and
Paul Gr{\"{u}}nbacher},
title = {A comparison framework for runtime monitoring approaches},
journal = {J. Syst. Softw.},
volume = {125},
pages = {309--321},
year = {2017},
url = {https://doi.org/10.1016/j.jss.2016.12.034},
doi = {10.1016/J.JSS.2016.12.034},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/RabiserGVBG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/BaresiMMKR17,
author = {Luciano Baresi and
Angelo Morzenti and
Alfredo Motta and
Mohammad Mehdi Pourhashem Kallehbasti and
Matteo Rossi},
title = {A Logic-Based Approach for the Verification of {UML} Timed Models},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {26},
number = {2},
pages = {7:1--7:47},
year = {2017},
url = {https://doi.org/10.1145/3106411},
doi = {10.1145/3106411},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/BaresiMMKR17.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/bpm/BaresiCMMP17,
author = {Luciano Baresi and
Claudio Di Ciccio and
Jan Mendling and
Giovanni Meroni and
Pierluigi Plebani},
editor = {Robert Claris{\'{o}} and
Henrik Leopold and
Jan Mendling and
Wil M. P. van der Aalst and
Akhil Kumar and
Brian T. Pentland and
Mathias Weske},
title = {mArtifact: an Artifact-driven Process Monitoring Platform},
booktitle = {Proceedings of the {BPM} Demo Track and {BPM} Dissertation Award co-located
with 15th International Conference on Business Process Modeling {(BPM}
2017), Barcelona, Spain, September 13, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1920},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1920/BPM\_2017\_paper\_188.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:55 +0100},
biburl = {https://dblp.org/rec/conf/bpm/BaresiCMMP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/BaresiGR17,
author = {Luciano Baresi and
Martin Garriga and
Alan De Renzis},
editor = {Flavio De Paoli and
Stefan Schulte and
Einar Broch Johnsen},
title = {Microservices Identification Through Interface Analysis},
booktitle = {Service-Oriented and Cloud Computing - 6th {IFIP} {WG} 2.14 European
Conference, {ESOCC} 2017, Oslo, Norway, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10465},
pages = {19--33},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67262-5\_2},
doi = {10.1007/978-3-319-67262-5\_2},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/esocc/BaresiGR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/BaresiMG17,
author = {Luciano Baresi and
Danilo Filgueira Mendon{\c{c}}a and
Martin Garriga},
editor = {Flavio De Paoli and
Stefan Schulte and
Einar Broch Johnsen},
title = {Empowering Low-Latency Applications Through a Serverless Edge Computing
Architecture},
booktitle = {Service-Oriented and Cloud Computing - 6th {IFIP} {WG} 2.14 European
Conference, {ESOCC} 2017, Oslo, Norway, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10465},
pages = {196--210},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67262-5\_15},
doi = {10.1007/978-3-319-67262-5\_15},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esocc/BaresiMG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/BaresiDGA17,
author = {Luciano Baresi and
Naser Derakhshan and
Sam Guinea and
Francesco Arenella},
title = {{MAGNET:} {A} middleware for the proximal interaction of devices based
on Wi-Fi direct},
booktitle = {{IEEE} International Conference on Communications, {ICC} 2017, Paris,
France, May 21-25, 2017},
pages = {1--7},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ICC.2017.7997222},
doi = {10.1109/ICC.2017.7997222},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/icc/BaresiDGA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/ChristoforouGAB17,
author = {Andreas Christoforou and
Martin Garriga and
Andreas S. Andreou and
Luciano Baresi},
editor = {E. Michael Maximilien and
Antonio Vallecillo and
Jianmin Wang and
Marc Oriol},
title = {Supporting the Decision of Migrating to Microservices Through Multi-layer
Fuzzy Cognitive Maps},
booktitle = {Service-Oriented Computing - 15th International Conference, {ICSOC}
2017, Malaga, Spain, November 13-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10601},
pages = {471--480},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69035-3\_34},
doi = {10.1007/978-3-319-69035-3\_34},
timestamp = {Tue, 12 Sep 2023 07:57:22 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/ChristoforouGAB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/AnderssonCBE17,
author = {Jesper Andersson and
Rafael Capilla and
Luciano Baresi and
Holger Eichelberger},
editor = {Myra B. Cohen and
Mathieu Acher and
Lidia Fuentes and
Daniel Schall and
Jan Bosch and
Rafael Capilla and
Ebrahim Bagheri and
Yingfei Xiong and
Javier Troya and
Antonio Ruiz Cort{\'{e}}s and
David Benavides},
title = {10th International Workshop on Dynamic Software Product Lines (DSPL'17):
Adaptive Systems through Runtime Variability},
booktitle = {Proceedings of the 21st International Systems and Software Product
Line Conference, {SPLC} 2017, Volume A, Sevilla, Spain, September
25-29, 2017},
pages = {246},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3106195.3106200},
doi = {10.1145/3106195.3106200},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/AnderssonCBE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/MendoncaRAAB16,
author = {Danilo Filgueira Mendon{\c{c}}a and
Gena{\'{\i}}na Nunes Rodrigues and
Raian Ali and
Vander Alves and
Luciano Baresi},
title = {{GODA:} {A} goal-oriented requirements engineering framework for runtime
dependability analysis},
journal = {Inf. Softw. Technol.},
volume = {80},
pages = {245--264},
year = {2016},
url = {https://doi.org/10.1016/j.infsof.2016.09.005},
doi = {10.1016/J.INFSOF.2016.09.005},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/MendoncaRAAB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soca/BaresiMP16,
author = {Luciano Baresi and
Matteo Miraz and
Pierluigi Plebani},
title = {A distributed architecture for efficient Web service discovery},
journal = {Serv. Oriented Comput. Appl.},
volume = {10},
number = {1},
pages = {1--17},
year = {2016},
url = {https://doi.org/10.1007/s11761-015-0184-z},
doi = {10.1007/S11761-015-0184-Z},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/soca/BaresiMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/BaresiMP16a,
author = {Luciano Baresi and
Giovanni Meroni and
Pierluigi Plebani},
editor = {Sergio Espa{\~{n}}a and
Mirjana Ivanovic and
Milos Savic},
title = {On Handling Business Process Anomalies through Artifact-based Modeling},
booktitle = {Proceedings of the CAiSE'16 Forum, at the 28th International Conference
on Advanced Information Systems Engineering (CAiSE 2016), Ljubljana,
Slovenia, June 13-17, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1612},
pages = {9--16},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1612/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:35 +0100},
biburl = {https://dblp.org/rec/conf/caise/BaresiMP16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/BaresiMP16,
author = {Luciano Baresi and
Giovanni Meroni and
Pierluigi Plebani},
editor = {Rainer Schmidt and
Wided Gu{\'{e}}dria and
Ilia Bider and
S{\'{e}}rgio Guerreiro},
title = {Using the Guard-Stage-Milestone Notation for Monitoring BPMN-based
Processes},
booktitle = {Enterprise, Business-Process and Information Systems Modeling - 17th
International Conference, {BPMDS} 2016, 21st International Conference,
{EMMSAD} 2016, Held at CAiSE 2016, Ljubljana, Slovenia, June 13-14,
2016, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {248},
pages = {18--33},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39429-9\_2},
doi = {10.1007/978-3-319-39429-9\_2},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/caise/BaresiMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/MucciniHHBPZBC16,
author = {Henry Muccini and
K. Eric Harper and
Robert Heinrich and
Jan Bosch and
No{\"{e}}l Plouzeau and
Olaf Zimmermann and
Luciano Baresi and
Vittorio Cortellessa},
title = {Welcome Message from the Chairs of WICSA, QoSA and {CBSE}},
booktitle = {19th International {ACM} {SIGSOFT} Symposium on Component-Based Software
Engineering, {CBSE} 2016, Venice, Italy, April 5-8, 2016},
pages = {vii--viii},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/CBSE.2016.4},
doi = {10.1109/CBSE.2016.4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cbse/MucciniHHBPZBC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ShariflooMQBP16,
author = {Amir Molzam Sharifloo and
Andreas Metzger and
Cl{\'{e}}ment Quinton and
Luciano Baresi and
Klaus Pohl},
title = {Learning and evolution in dynamic software product lines},
booktitle = {Proceedings of the 11th International Symposium on Software Engineering
for Adaptive and Self-Managing Systems, SEAMS@ICSE 2016, Austin, Texas,
USA, May 14-22, 2016},
pages = {158--164},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2897053.2897058},
doi = {10.1145/2897053.2897058},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/icse/ShariflooMQBP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/BaresiGM16,
author = {Luciano Baresi and
Sam Guinea and
Danilo Filgueira Mendon{\c{c}}a},
title = {A3Droid: {A} framework for developing distributed crowdsensing},
booktitle = {2016 {IEEE} International Conference on Pervasive Computing and Communication
Workshops, PerCom Workshops 2016, Sydney, Australia, March 14-18,
2016},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/PERCOMW.2016.7457103},
doi = {10.1109/PERCOMW.2016.7457103},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/percom/BaresiGM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BaresiKR16,
author = {Luciano Baresi and
Mohammad Mehdi Pourhashem Kallehbasti and
Matteo Rossi},
editor = {Sascha Ossowski},
title = {How bit-vector logic can help improve the verification of {LTL} specifications
over infinite domains},
booktitle = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing,
Pisa, Italy, April 4-8, 2016},
pages = {1666--1673},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2851613.2851833},
doi = {10.1145/2851613.2851833},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/BaresiKR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BaresiGLQ16,
author = {Luciano Baresi and
Sam Guinea and
Alberto Leva and
Giovanni Quattrocchi},
editor = {Thomas Zimmermann and
Jane Cleland{-}Huang and
Zhendong Su},
title = {A discrete-time feedback controller for containerized cloud applications},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA,
November 13-18, 2016},
pages = {217--228},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2950290.2950328},
doi = {10.1145/2950290.2950328},
timestamp = {Thu, 02 Dec 2021 11:46:17 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BaresiGLQ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simpda/EhsanpourBRD16,
author = {Maryam Ehsanpour and
Luciano Baresi and
Matteo Rossi and
Ernesto Damiani},
editor = {Paolo Ceravolo and
Christian Guetl and
Stefanie Rinderle{-}Ma},
title = {Analysis of Energy-Efficient Buildings through Simulation and Formal
Methods},
booktitle = {Proceedings of the 6th International Symposium on Data-driven Process
Discovery and Analysis {(SIMPDA} 2016), Graz, Austria, December 15-16,
2016},
series = {{CEUR} Workshop Proceedings},
volume = {1757},
pages = {113--119},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1757/paper9.pdf},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/simpda/EhsanpourBRD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartcloud/BaresiGQT16,
author = {Luciano Baresi and
Sam Guinea and
Giovanni Quattrocchi and
Damian A. Tamburri},
title = {MicroCloud: {A} Container-Based Solution for Efficient Resource Management
in the Cloud},
booktitle = {2016 {IEEE} International Conference on Smart Cloud, SmartCloud 2016,
New York, NY, USA, November 18-20, 2016},
pages = {218--223},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/SmartCloud.2016.42},
doi = {10.1109/SMARTCLOUD.2016.42},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smartcloud/BaresiGQT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcnc/BaresiDG16,
author = {Luciano Baresi and
Naser Derakhshan and
Sam Guinea},
title = {WiDiSi: {A} Wi-Fi direct simulator},
booktitle = {{IEEE} Wireless Communications and Networking Conference, {WCNC} 2016,
Doha, Qatar, April 3-6, 2016},
pages = {1--7},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WCNC.2016.7565169},
doi = {10.1109/WCNC.2016.7565169},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/wcnc/BaresiDG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/internet/BaresiMD15,
author = {Luciano Baresi and
Luca Mottola and
Schahram Dustdar},
title = {Building Software for the Internet of Things},
journal = {{IEEE} Internet Comput.},
volume = {19},
number = {2},
pages = {6--8},
year = {2015},
url = {https://doi.org/10.1109/MIC.2015.31},
doi = {10.1109/MIC.2015.31},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/internet/BaresiMD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BaresiBKMMPRR15,
author = {Luciano Baresi and
Gundula Blohm and
Dimitrios S. Kolovos and
Nicholas Drivalos Matragkas and
Alfredo Motta and
Richard F. Paige and
Alek Radjenovic and
Matteo Rossi},
title = {Formal verification and validation of embedded systems: the UML-based
{MADES} approach},
journal = {Softw. Syst. Model.},
volume = {14},
number = {1},
pages = {343--363},
year = {2015},
url = {https://doi.org/10.1007/s10270-013-0330-z},
doi = {10.1007/S10270-013-0330-Z},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/BaresiBKMMPRR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/BaresiMP15,
author = {Luciano Baresi and
Giovanni Meroni and
Pierluigi Plebani},
editor = {Manfred Reichert and
Hajo A. Reijers},
title = {A GSM-based Approach for Monitoring Cross-Organization Business Processes
Using Smart Objects},
booktitle = {Business Process Management Workshops - {BPM} 2015, 13th International
Workshops, Innsbruck, Austria, August 31 - September 3, 2015, Revised
Papers},
series = {Lecture Notes in Business Information Processing},
volume = {256},
pages = {389--400},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-42887-1\_32},
doi = {10.1007/978-3-319-42887-1\_32},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bpm/BaresiMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/BaresiS15,
author = {Luciano Baresi and
Adnan Shahzada},
editor = {Danny Weyns and
Raffaela Mirandola and
Ivica Crnkovic},
title = {An Architecture-Centric Approach for Dynamic Smart Spaces},
booktitle = {Software Architecture - 9th European Conference, {ECSA} 2015, Dubrovnik/Cavtat,
Croatia, September 7-11, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9278},
pages = {277--284},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23727-5\_23},
doi = {10.1007/978-3-319-23727-5\_23},
timestamp = {Tue, 29 Dec 2020 18:30:53 +0100},
biburl = {https://dblp.org/rec/conf/ecsa/BaresiS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/PereiraBD15,
author = {Vin{\'{\i}}cius Pereira and
Luciano Baresi and
M{\'{a}}rcio Eduardo Delamaro},
editor = {Slimane Hammoudi and
Leszek A. Maciaszek and
Ernest Teniente},
title = {Mapping Formal Results Back to {UML} Semi-formal Model},
booktitle = {{ICEIS} 2015 - Proceedings of the 17th International Conference on
Enterprise Information Systems, Volume 2, Barcelona, Spain, 27-30
April, 2015},
pages = {320--329},
publisher = {SciTePress},
year = {2015},
url = {https://doi.org/10.5220/0005372603200329},
doi = {10.5220/0005372603200329},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceis/PereiraBD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BaresiQ15,
author = {Luciano Baresi and
Cl{\'{e}}ment Quinton},
editor = {Paola Inverardi and
Bradley R. Schmerl},
title = {Dynamically Evolving the Structural Variability of Dynamic Software
Product Lines},
booktitle = {10th {IEEE/ACM} International Symposium on Software Engineering for
Adaptive and Self-Managing Systems, {SEAMS} 2015, Florence, Italy,
May 18-19, 2015},
pages = {57--63},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SEAMS.2015.24},
doi = {10.1109/SEAMS.2015.24},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BaresiQ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BaresiGGMAA15,
author = {Luciano Baresi and
Laurent{-}Walter Goix and
Sam Guinea and
Valerio Panzica La Manna and
Jacopo Aliprandi and
Dario Archetti},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {{SPF:} {A} Middleware for Social Interaction in Mobile Proximity Environments},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
pages = {79--88},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.137},
doi = {10.1109/ICSE.2015.137},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BaresiGGMAA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BaresiKR15,
author = {Luciano Baresi and
Mohammad Mehdi Pourhashem Kallehbasti and
Matteo Rossi},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {Efficient Scalable Verification of {LTL} Specifications},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1},
pages = {711--721},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.84},
doi = {10.1109/ICSE.2015.84},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BaresiKR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BaresiMMZ15,
author = {Luciano Baresi and
Tim Menzies and
Andreas Metzger and
Thomas Zimmermann},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {1st International Workshop on Big Data Software Engineering {(BIGDSE}
2015)},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
pages = {965--966},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.308},
doi = {10.1109/ICSE.2015.308},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BaresiMMZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BaresiGQ15,
author = {Luciano Baresi and
Sam Guinea and
Giovanni Quattrocchi},
editor = {Domenico Bianculli and
Radu Calinescu and
Bernhard Rumpe},
title = {Distributed Coordinated Adaptation of Cloud-Based Applications},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2015 Collocated Workshops:
ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9509},
pages = {215--227},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-49224-6\_18},
doi = {10.1007/978-3-662-49224-6\_18},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BaresiGQ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soca/BaresiG15,
author = {Luciano Baresi and
Sam Guinea},
title = {Event-Based Monitoring of Service-Oriented Smart Spaces (Invited Paper)},
booktitle = {8th {IEEE} International Conference on Service-Oriented Computing
and Applications, {SOCA} 2015, Rome, Italy, October 19-21, 2015},
pages = {123--130},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SOCA.2015.49},
doi = {10.1109/SOCA.2015.49},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/soca/BaresiG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/QuintonRVGB15,
author = {Cl{\'{e}}ment Quinton and
Rick Rabiser and
Michael Vierhauser and
Paul Gr{\"{u}}nbacher and
Luciano Baresi},
editor = {Douglas C. Schmidt},
title = {Evolution in dynamic software product lines: challenges and perspectives},
booktitle = {Proceedings of the 19th International Conference on Software Product
Line, {SPLC} 2015, Nashville, TN, USA, July 20-24, 2015},
pages = {126--130},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2791060.2791101},
doi = {10.1145/2791060.2791101},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/QuintonRVGB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atal/2015emas,
editor = {Matteo Baldoni and
Luciano Baresi and
Mehdi Dastani},
title = {Engineering Multi-Agent Systems - Third International Workshop, {EMAS}
2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {9318},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26184-3},
doi = {10.1007/978-3-319-26184-3},
isbn = {978-3-319-26183-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/2015emas.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2015bigdse,
editor = {Luciano Baresi and
Tim Menzies and
Andreas Metzger and
Thomas Zimmermann},
title = {1st {IEEE/ACM} International Workshop on Big Data Software Engineering,
{BIGDSE} 2015, Florence, Italy, May 23, 2015},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://ieeexplore.ieee.org/xpl/conhome/7164653/proceeding},
isbn = {978-1-4673-7025-7},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/2015bigdse.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taas/BaresiM14,
author = {Luciano Baresi and
Hausi A. M{\"{u}}ller},
title = {Introduction to the Special Section on Best Papers from {SEAMS} 2012},
journal = {{ACM} Trans. Auton. Adapt. Syst.},
volume = {8},
number = {4},
pages = {16:1},
year = {2014},
url = {https://doi.org/10.1145/2555610},
doi = {10.1145/2555610},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/taas/BaresiM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icac/SeraciniMKBGQ14,
author = {Filippo Seracini and
Massimiliano Menarini and
Ingolf Krueger and
Luciano Baresi and
Sam Guinea and
Giovanni Quattrocchi},
editor = {Xiaoyun Zhu and
Giuliano Casale and
Xiaohui Gu},
title = {A Comprehensive Resource Management Solution for Web-based Systems},
booktitle = {11th International Conference on Autonomic Computing, {ICAC} '14,
Philadelphia, PA, USA, June 18-20, 2014},
pages = {233--239},
publisher = {{USENIX} Association},
year = {2014},
url = {https://www.usenix.org/conference/icac14/technical-sessions/presentation/seracini},
timestamp = {Thu, 11 Sep 2014 17:28:39 +0200},
biburl = {https://dblp.org/rec/conf/icac/SeraciniMKBGQ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BaresiKR14,
author = {Luciano Baresi and
Mohammad Mehdi Pourhashem Kallehbasti and
Matteo Rossi},
editor = {Stefania Gnesi and
Nico Plat},
title = {Flexible modular formalization of {UML} sequence diagrams},
booktitle = {Proceedings of the 2nd {FME} Workshop on Formal Methods in Software
Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014},
pages = {10--16},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2593489.2593492},
doi = {10.1145/2593489.2593492},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BaresiKR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/Baresi14,
author = {Luciano Baresi},
editor = {Stefania Gnesi and
Alessandro Fantechi and
Patrick Heymans and
Julia Rubin and
Krzysztof Czarnecki and
Deepak Dhungana},
title = {Self-adaptive systems, services, and product lines},
booktitle = {18th International Software Product Line Conference, {SPLC} '14, Florence,
Italy, September 15-19, 2014},
pages = {2--4},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2648511.2648512},
doi = {10.1145/2648511.2648512},
timestamp = {Fri, 30 Dec 2022 23:08:55 +0100},
biburl = {https://dblp.org/rec/conf/splc/Baresi14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wf-iot/BaresiGS14,
author = {Luciano Baresi and
Sam Guinea and
Adnan Shahzada},
title = {Short paper: Harmonizing heterogeneous components in SeSaMe},
booktitle = {{IEEE} World Forum on Internet of Things, WF-IoT 2014, Seoul, South
Korea, March 6-8, 2014},
pages = {197--198},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/WF-IoT.2014.6803157},
doi = {10.1109/WF-IOT.2014.6803157},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wf-iot/BaresiGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/BaresiGM14,
author = {Luciano Baresi and
Sam Guinea and
Valerio Panzica La Manna},
title = {Consistent Runtime Evolution of Service-Based Business Processes},
booktitle = {2014 {IEEE/IFIP} Conference on Software Architecture, {WICSA} 2014,
Sydney, Australia, April 7-11, 2014},
pages = {77--86},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/WICSA.2014.24},
doi = {10.1109/WICSA.2014.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wicsa/BaresiGM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/aws14/BaresiBG14,
author = {Luciano Baresi and
Domenico Bianculli and
Sam Guinea},
editor = {Athman Bouguettaya and
Quan Z. Sheng and
Florian Daniel},
title = {Cloud-Based Systems Need Multi-Level Management},
booktitle = {Advanced Web Services},
pages = {579--603},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-1-4614-7535-4\_24},
doi = {10.1007/978-1-4614-7535-4\_24},
timestamp = {Sat, 19 Oct 2019 19:02:48 +0200},
biburl = {https://dblp.org/rec/books/sp/aws14/BaresiBG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/ApelABZ14,
author = {Sven Apel and
Joanne M. Atlee and
Luciano Baresi and
Pamela Zave},
title = {Feature Interactions: The Next Generation (Dagstuhl Seminar 14281)},
journal = {Dagstuhl Reports},
volume = {4},
number = {7},
pages = {1--24},
year = {2014},
url = {https://doi.org/10.4230/DagRep.4.7.1},
doi = {10.4230/DAGREP.4.7.1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/ApelABZ14.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/jcst/ZhouBR13,
author = {Yu Zhou and
Luciano Baresi and
Matteo Rossi},
title = {Towards a Formal Semantics for {UML/MARTE} State Machines Based on
Hierarchical Timed Automata},
journal = {J. Comput. Sci. Technol.},
volume = {28},
number = {1},
pages = {188--202},
year = {2013},
url = {https://doi.org/10.1007/s11390-013-1322-8},
doi = {10.1007/S11390-013-1322-8},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcst/ZhouBR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BaresiGS13,
author = {Luciano Baresi and
Sam Guinea and
Adnan Shahzada},
editor = {Massimo Cossentino and
Amal El Fallah Seghrouchni and
Michael Winikoff},
title = {SeSaMe: Towards a Semantic Self Adaptive Middleware for Smart Spaces},
booktitle = {Engineering Multi-Agent Systems - First International Workshop, {EMAS}
2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8245},
pages = {1--18},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45343-4\_1},
doi = {10.1007/978-3-642-45343-4\_1},
timestamp = {Wed, 12 Aug 2020 21:55:17 +0200},
biburl = {https://dblp.org/rec/conf/atal/BaresiGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/BaresiMPS13,
author = {Luciano Baresi and
Annapaola Marconi and
Marco Pistore and
Adina Sirbu},
editor = {Selmin Nurcan and
Henderik Alex Proper and
Pnina Soffer and
John Krogstie and
Rainer Schmidt and
Terry A. Halpin and
Ilia Bider},
title = {Corrective Evolution of Adaptable Process Models},
booktitle = {Enterprise, Business-Process and Information Systems Modeling - 14th
International Conference, {BPMDS} 2013, 18th International Conference,
{EMMSAD} 2013, Held at CAiSE 2013, Valencia, Spain, June 17-18, 2013.
Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {147},
pages = {214--229},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38484-4\_16},
doi = {10.1007/978-3-642-38484-4\_16},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/BaresiMPS13.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/SchmerlA0CRBGZB13,
author = {Bradley R. Schmerl and
Jesper Andersson and
Thomas Vogel and
Myra B. Cohen and
Cec{\'{\i}}lia M. F. Rubira and
Yuriy Brun and
Alessandra Gorla and
Franco Zambonelli and
Luciano Baresi},
editor = {Rog{\'{e}}rio de Lemos and
David Garlan and
Carlo Ghezzi and
Holger Giese},
title = {Challenges in Composing and Decomposing 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 = {64--89},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-74183-3\_3},
doi = {10.1007/978-3-319-74183-3\_3},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/SchmerlA0CRBGZB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/BaresiG13,
author = {Luciano Baresi and
Sam Guinea},
title = {Event-Based Multi-level Service Monitoring},
booktitle = {2013 {IEEE} 20th International Conference on Web Services, Santa Clara,
CA, USA, June 28 - July 3, 2013},
pages = {83--90},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICWS.2013.21},
doi = {10.1109/ICWS.2013.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/BaresiG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/BaresiRP13,
author = {Luciano Baresi and
Gianluca Ripa and
Liliana Pasquale},
title = {{IRET:} Requirements for service platforms},
booktitle = {21st {IEEE} International Requirements Engineering Conference, {RE}
2013, Rio de Janeiro-RJ, Brazil, July 15-19, 2013},
pages = {336--337},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/RE.2013.6636743},
doi = {10.1109/RE.2013.6636743},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/BaresiRP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/NardiDB13,
author = {Paulo Augusto Nardi and
M{\'{a}}rcio Eduardo Delamaro and
Luciano Baresi},
title = {Specifying automated oracles for Simulink models},
booktitle = {2013 {IEEE} 19th International Conference on Embedded and Real-Time
Computing Systems and Applications, {RTCSA} 2013, Taipei, Taiwan,
August 19-21, 2013},
pages = {330--333},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/RTCSA.2013.6732234},
doi = {10.1109/RTCSA.2013.6732234},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/NardiDB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/BaresiGS13,
author = {Luciano Baresi and
Sam Guinea and
Panteha Saeedi},
title = {Self-managing Overlays for Infrastructure-less Networks},
booktitle = {7th {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems, {SASO} 2013, Philadelphia, PA, USA, September 9-13, 2013},
pages = {81--90},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SASO.2013.25},
doi = {10.1109/SASO.2013.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/BaresiGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/FraserBCFGIV13,
author = {Steven Fraser and
Luciano Baresi and
Jane Cleland{-}Huang and
Carlo A. Furia and
Georges Gonthier and
Paola Inverardi and
Moshe Y. Vardi},
editor = {Bertrand Meyer and
Luciano Baresi and
Mira Mezini},
title = {A publication culture in software engineering (panel)},
booktitle = {Joint Meeting of the European Software Engineering Conference and
the {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering,
ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013},
pages = {19--23},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491411.2505431},
doi = {10.1145/2491411.2505431},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/FraserBCFGIV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/BaresiGS13,
author = {Luciano Baresi and
Sam Guinea and
Panteha Saeedi},
editor = {Javier C{\'{a}}mara and
Rog{\'{e}}rio de Lemos and
Carlo Ghezzi and
Ant{\'{o}}nia Lopes},
title = {Achieving Self-adaptation through Dynamic Group Management},
booktitle = {Assurances for Self-Adaptive Systems - Principles, Models, and Techniques},
series = {Lecture Notes in Computer Science},
volume = {7740},
pages = {214--239},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36249-1\_8},
doi = {10.1007/978-3-642-36249-1\_8},
timestamp = {Sun, 02 Jun 2019 20:42:26 +0200},
biburl = {https://dblp.org/rec/series/lncs/BaresiGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2013,
editor = {Bertrand Meyer and
Luciano Baresi and
Mira Mezini},
title = {Joint Meeting of the European Software Engineering Conference and
the {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering,
ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491411},
doi = {10.1145/2491411},
isbn = {978-1-4503-2237-9},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BaresiRS13,
author = {Luciano Baresi and
Andreas Rummler and
Klaus Schmid},
title = {Customizing Service Platforms (Dagstuhl Seminar 13171)},
journal = {Dagstuhl Reports},
volume = {3},
number = {4},
pages = {114--150},
year = {2013},
url = {https://doi.org/10.4230/DagRep.3.4.114},
doi = {10.4230/DAGREP.3.4.114},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BaresiRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BaresiGP12,
author = {Luciano Baresi and
Sam Guinea and
Liliana Pasquale},
title = {Service-Oriented Dynamic Software Product Lines},
journal = {Computer},
volume = {45},
number = {10},
pages = {42--48},
year = {2012},
url = {https://doi.org/10.1109/MC.2012.289},
doi = {10.1109/MC.2012.289},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BaresiGP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/BaresiMMR12,
author = {Luciano Baresi and
Angelo Morzenti and
Alfredo Motta and
Matteo Rossi},
title = {A logic-based semantics for the verification of multi-diagram {UML}
models},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {37},
number = {4},
pages = {1--8},
year = {2012},
url = {https://doi.org/10.1145/2237796.2237811},
doi = {10.1145/2237796.2237811},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/BaresiMMR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/RadjenovicMPRMBK12,
author = {Alek Radjenovic and
Nikolas Drivalos Matragkas and
Richard F. Paige and
Matteo Rossi and
Alfredo Motta and
Luciano Baresi and
Dimitrios S. Kolovos},
editor = {Antonio Vallecillo and
Juha{-}Pekka Tolvanen and
Ekkart Kindler and
Harald St{\"{o}}rrle and
Dimitrios S. Kolovos},
title = {{MADES:} {A} Tool Chain for Automated Verification of {UML} Models
of Embedded Systems},
booktitle = {Modelling Foundations and Applications - 8th European Conference,
{ECMFA} 2012, Kongens Lyngby, Denmark, July 2-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7349},
pages = {340--351},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31491-9\_26},
doi = {10.1007/978-3-642-31491-9\_26},
timestamp = {Sat, 30 Sep 2023 09:39:26 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/RadjenovicMPRMBK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip6-3/AlliBBCMMOPRRSSSTD12,
author = {Giovanni Alli and
Luciano Baresi and
Andrea G. Bianchessi and
Gianpaolo Cugola and
Alessandro Margara and
Angelo Morzenti and
Carlo Ongini and
Emanuele Panigati and
Matteo Rossi and
S. Rotondi and
Sergio M. Savaresi and
Fabio Alberto Schreiber and
Alessandro Sivieri and
Letizia Tanca and
Edoardo G. Vannutelli Depoli},
title = {Green Move: Towards next generation sustainable smartphone-based vehicle
sharing},
booktitle = {Sustainable Internet and {ICT} for Sustainability, SustainIT 2012,
4-5 October, 2012, Pisa, Italy, Sponsored by the {IFIP} {TC6} {WG}
6.3 "Performance of Communication Systems"},
pages = {1--5},
publisher = {{IEEE}},
year = {2012},
url = {https://ieeexplore.ieee.org/document/6388033/},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip6-3/AlliBBCMMOPRRSSSTD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/BaresiFLR12,
author = {Luciano Baresi and
Gianni Ferretti and
Alberto Leva and
Matteo Rossi},
title = {Flexible logic-based Co-simulation of Modelica models},
booktitle = {{IEEE} 10th International Conference on Industrial Informatics, {INDIN}
2012, Beijing, China, July 25-27, 2012},
pages = {635--640},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/INDIN.2012.6301223},
doi = {10.1109/INDIN.2012.6301223},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/indin/BaresiFLR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/BaresiG12,
author = {Luciano Baresi and
Sam Guinea},
title = {Architectural Styles for Adaptive Systems: {A} Tutorial},
booktitle = {Sixth {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems, {SASO} 2012, Lyon, France, September 10-14, 2012},
pages = {237--238},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SASO.2012.38},
doi = {10.1109/SASO.2012.38},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/BaresiG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/VillelaCBLS12,
author = {Karina Villela and
Sholom Cohen and
Luciano Baresi and
Jaejoon Lee and
Klaus Schmid},
editor = {Eduardo Santana de Almeida and
Christa Schwanninger and
David Benavides},
title = {SCArVeS: services, clouds, and alternative design strategies for variant-rich
software systems},
booktitle = {16th International Software Product Line Conference, {SPLC} '12, Salvador,
Brazil - September 2-7, 2012, Volume 1},
pages = {291},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2362536.2362579},
doi = {10.1145/2362536.2362579},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/VillelaCBLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srii/BaresiGHILMP12,
author = {Luciano Baresi and
Nikolaos Georgantas and
Kristof Hamann and
Val{\'{e}}rie Issarny and
Winfried Lamersdorf and
Andreas Metzger and
Barbara Pernici},
title = {Emerging Research Themes in Services-Oriented Systems},
booktitle = {2012 Annual {SRII} Global Conference, San Jose, CA, USA, July 24-27,
2012},
pages = {333--342},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SRII.2012.44},
doi = {10.1109/SRII.2012.44},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srii/BaresiGHILMP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2012seams,
editor = {Hausi A. M{\"{u}}ller and
Luciano Baresi},
title = {7th International Symposium on Software Engineering for Adaptive and
Self-Managing Systems, {SEAMS} 2012, Zurich, Switzerland, June 4-5,
2012},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://ieeexplore.ieee.org/xpl/conhome/6220308/proceeding},
isbn = {978-1-4673-1788-7},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/2012seams.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/ArdagnaBCCP11,
author = {Danilo Ardagna and
Luciano Baresi and
Sara Comai and
Marco Comuzzi and
Barbara Pernici},
title = {A Service-Based Framework for Flexible Business Processes},
journal = {{IEEE} Softw.},
volume = {28},
number = {2},
pages = {61--67},
year = {2011},
url = {https://doi.org/10.1109/MS.2011.28},
doi = {10.1109/MS.2011.28},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/ArdagnaBCCP11.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}
}
@article{DBLP:journals/tse/BaresiG11,
author = {Luciano Baresi and
Sam Guinea},
title = {Self-Supervising {BPEL} Processes},
journal = {{IEEE} Trans. Software Eng.},
volume = {37},
number = {2},
pages = {247--263},
year = {2011},
url = {https://doi.org/10.1109/TSE.2010.37},
doi = {10.1109/TSE.2010.37},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/BaresiG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BaresiM11,
author = {Luciano Baresi and
Matteo Miraz},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {A Component-Oriented Metamodel for the Modernization of Software Applications},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {179--187},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.25},
doi = {10.1109/ICECCS.2011.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/BaresiM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indiaSE/BaresiG11,
author = {Luciano Baresi and
Sam Guinea},
editor = {Arun Bahulkar and
K. Kesavasamy and
T. V. Prabhakar and
Gautam Shroff},
title = {{A3:} self-adaptation capabilities through groups and coordination},
booktitle = {Proceeding of the 4th Annual India Software Engineering Conference,
{ISEC} 2011, Thiruvananthapuram, Kerala, India, February 24-27, 2011},
pages = {11--20},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1953355.1953358},
doi = {10.1145/1953355.1953358},
timestamp = {Thu, 10 Dec 2020 11:39:56 +0100},
biburl = {https://dblp.org/rec/conf/indiaSE/BaresiG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/BaresiCLMP11,
author = {Luciano Baresi and
Jane Cleland{-}Huang and
James Lockerbie and
Neil A. M. Maiden and
Liliana Pasquale},
title = {An introduction to the workshop on requirements for systems, services,
and systems of systems},
booktitle = {Requirements Engineering for Systems, Services and Systems-of-Systems
(RESS), 2011 Workshop on, Trento, Italy, August 30, 2011},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/RESS.2011.6043936},
doi = {10.1109/RESS.2011.6043936},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/re/BaresiCLMP11.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/soca/ZenginMBP11,
author = {Asli Zengin and
Annapaola Marconi and
Luciano Baresi and
Marco Pistore},
editor = {Kwei{-}Jay Lin and
Christian Huemer and
M. Brian Blake and
Boualem Benatallah},
title = {{CLAM:} Managing cross-layer adaptation in service-based systems},
booktitle = {2011 {IEEE} International Conference on Service-Oriented Computing
and Applications, {SOCA} 2011, Irvine, CA, USA, December 12-14, 2011},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SOCA.2011.6166220},
doi = {10.1109/SOCA.2011.6166220},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/soca/ZenginMBP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/VillelaCB11,
author = {Karina Villela and
Sholom Cohen and
Luciano Baresi},
editor = {Eduardo Santana de Almeida and
Tomoji Kishi and
Christa Schwanninger and
Isabel John and
Klaus Schmid},
title = {SCArVeS: Services, Clouds, and Alternative Design Strategies for Variant-Rich
Software Systems},
booktitle = {Software Product Lines - 15th International Conference, {SPLC} 2011,
Munich, Germany, August 22-26, 2011},
pages = {342},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SPLC.2011.54},
doi = {10.1109/SPLC.2011.54},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/VillelaCB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/BaresiG11,
author = {Luciano Baresi and
Sam Guinea},
title = {{A-3:} An Architectural Style for Coordinating Distributed Components},
booktitle = {9th Working {IEEE/IFIP} Conference on Software Architecture, {WICSA}
2011, Boulder, Colorado, USA, June 20-24, 2011},
pages = {161--170},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/WICSA.2011.29},
doi = {10.1109/WICSA.2011.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wicsa/BaresiG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/BaresiP11,
author = {Luciano Baresi and
Liliana Pasquale},
editor = {Paris Avgeriou and
John Grundy and
Jon G. Hall and
Patricia Lago and
Ivan Mistr{\'{\i}}k},
title = {Adaptation Goals for Adaptive Service-Oriented Architectures},
booktitle = {Relating Software Requirements and Architectures},
pages = {161--181},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21001-3\_10},
doi = {10.1007/978-3-642-21001-3\_10},
timestamp = {Thu, 13 Sep 2018 16:29:42 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/BaresiP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/internet/BaresiGNS10,
author = {Luciano Baresi and
Sam Guinea and
Olivier Nano and
George Spanoudakis},
title = {Comprehensive Monitoring of {BPEL} Processes},
journal = {{IEEE} Internet Comput.},
volume = {14},
number = {3},
pages = {50--57},
year = {2010},
url = {https://doi.org/10.1109/MIC.2010.66},
doi = {10.1109/MIC.2010.66},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/internet/BaresiGNS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/MirazLB10,
author = {Matteo Miraz and
Pier Luca Lanzi and
Luciano Baresi},
title = {Improving evolutionary testing by means of efficiency enhancement
techniques},
booktitle = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
2010, Barcelona, Spain, 18-23 July 2010},
pages = {1--8},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/CEC.2010.5586231},
doi = {10.1109/CEC.2010.5586231},
timestamp = {Thu, 16 Dec 2021 14:02:32 +0100},
biburl = {https://dblp.org/rec/conf/cec/MirazLB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/LemosGMSALSTVVWBBBBCDDEGGGGIKKLMMMMMNPPSSSSTWW10,
author = {Rog{\'{e}}rio de Lemos and
Holger Giese and
Hausi A. M{\"{u}}ller and
Mary Shaw and
Jesper Andersson and
Marin Litoiu and
Bradley R. Schmerl and
Gabriel Tamura and
Norha M. Villegas and
Thomas Vogel and
Danny Weyns and
Luciano Baresi and
Basil Becker and
Nelly Bencomo and
Yuriy Brun and
Bojan Cukic and
Ronald J. Desmarais and
Schahram Dustdar and
Gregor Engels and
Kurt Geihs and
Karl M. G{\"{o}}schka and
Alessandra Gorla and
Vincenzo Grassi and
Paola Inverardi and
Gabor Karsai and
Jeff Kramer and
Ant{\'{o}}nia Lopes and
Jeff Magee and
Sam Malek and
Serge Mankovski and
Raffaela Mirandola and
John Mylopoulos and
Oscar Nierstrasz and
Mauro Pezz{\`{e}} and
Christian Prehofer and
Wilhelm Sch{\"{a}}fer and
Richard D. Schlichting and
Dennis B. Smith and
Jo{\~{a}}o Pedro Sousa and
Ladan Tahvildari and
Kenny Wong and
Jochen Wuttke},
editor = {Rog{\'{e}}rio de Lemos and
Holger Giese and
Hausi A. M{\"{u}}ller and
Mary Shaw},
title = {Software Engineering for Self-Adaptive Systems: {A} Second Research
Roadmap},
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 = {1--32},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-35813-5\_1},
doi = {10.1007/978-3-642-35813-5\_1},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/LemosGMSALSTVVWBBBBCDDEGGGGIKKLMMMMMNPPSSSSTWW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AnderssonBBLGIV10,
author = {Jesper Andersson and
Luciano Baresi and
Nelly Bencomo and
Rog{\'{e}}rio de Lemos and
Alessandra Gorla and
Paola Inverardi and
Thomas Vogel},
editor = {Rog{\'{e}}rio de Lemos and
Holger Giese and
Hausi A. M{\"{u}}ller and
Mary Shaw},
title = {Software Engineering Processes for Self-Adaptive Systems},
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 = {51--75},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-35813-5\_3},
doi = {10.1007/978-3-642-35813-5\_3},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/AnderssonBBLGIV10.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/fmco/BaresiMMR10,
author = {Luciano Baresi and
Angelo Morzenti and
Alfredo Motta and
Matteo Rossi},
editor = {Bernhard K. Aichernig and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Towards the UML-Based Formal Verification of Timed Systems},
booktitle = {Formal Methods for Components and Objects - 9th International Symposium,
{FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {6957},
pages = {267--286},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25271-6\_14},
doi = {10.1007/978-3-642-25271-6\_14},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/BaresiMMR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DustdarDLBCPZ10,
author = {Schahram Dustdar and
Christoph Dorn and
Fei Li and
Luciano Baresi and
Giacomo Cabri and
Cesare Pautasso and
Franco Zambonelli},
editor = {Rog{\'{e}}rio de Lemos and
Mauro Pezz{\`{e}}},
title = {A roadmap towards sustainable self-aware service systems},
booktitle = {2010 {ICSE} Workshop on Software Engineering for Adaptive and Self-Managing
Systems, {SEAMS} 2010, Cape Town, South Africa, May 3-4, 2010},
pages = {10--19},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1808984.1808986},
doi = {10.1145/1808984.1808986},
timestamp = {Tue, 05 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/DustdarDLBCPZ10.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/BaresiP10,
author = {Luciano Baresi and
Liliana Pasquale},
editor = {Rog{\'{e}}rio de Lemos and
Mauro Pezz{\`{e}}},
title = {Live goals for adaptive service compositions},
booktitle = {2010 {ICSE} Workshop on Software Engineering for Adaptive and Self-Managing
Systems, {SEAMS} 2010, Cape Town, South Africa, May 3-4, 2010},
pages = {114--123},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1808984.1808997},
doi = {10.1145/1808984.1808997},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BaresiP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BaresiM10,
author = {Luciano Baresi and
Matteo Miraz},
editor = {Jeff Kramer and
Judith Bishop and
Premkumar T. Devanbu and
Sebasti{\'{a}}n Uchitel},
title = {TestFul: automatic unit-test generation for Java classes},
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 = {281--284},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1810295.1810353},
doi = {10.1145/1810295.1810353},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BaresiM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/BaresiG10,
author = {Luciano Baresi and
Sam Guinea},
editor = {Paul P. Maglio and
Mathias Weske and
Jian Yang and
Marcelo Fantinato},
title = {Mashups with Mashlight},
booktitle = {Service-Oriented Computing - 8th International Conference, {ICSOC}
2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6470},
pages = {711--712},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17358-5\_67},
doi = {10.1007/978-3-642-17358-5\_67},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/BaresiG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/BaresiLM10,
author = {Luciano Baresi and
Pier Luca Lanzi and
Matteo Miraz},
title = {TestFul: An Evolutionary Test Approach for Java},
booktitle = {Third International Conference on Software Testing, Verification and
Validation, {ICST} 2010, Paris, France, April 7-9, 2010},
pages = {185--194},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICST.2010.54},
doi = {10.1109/ICST.2010.54},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/BaresiLM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/BaresiP10,
author = {Luciano Baresi and
Liliana Pasquale},
title = {Adaptive Goals for Self-Adaptive Service Compositions},
booktitle = {{IEEE} International Conference on Web Services, {ICWS} 2010, Miami,
Florida, USA, July 5-10, 2010},
pages = {353--360},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICWS.2010.60},
doi = {10.1109/ICWS.2010.60},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/BaresiP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BaresiMMR10,
author = {Luciano Baresi and
Angelo Morzenti and
Alfredo Motta and
Matteo Rossi},
editor = {J{\"{u}}rgen Dingel and
Arnor Solberg},
title = {From Interaction Overview Diagrams to Temporal Logic},
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 = {90--104},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-21210-9\_9},
doi = {10.1007/978-3-642-21210-9\_9},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/BaresiMMR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/BaresiPS10,
author = {Luciano Baresi and
Liliana Pasquale and
Paola Spoletini},
title = {Fuzzy Goals for Requirements-Driven Adaptation},
booktitle = {{RE} 2010, 18th {IEEE} International Requirements Engineering Conference,
Sydney, New South Wales, Australia, September 27 - October 1, 2010},
pages = {125--134},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/RE.2010.25},
doi = {10.1109/RE.2010.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/BaresiPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/servicewave/BaresiG10,
author = {Luciano Baresi and
Sam Guinea},
editor = {Elisabetta Di Nitto and
Ramin Yahyapour},
title = {Consumer Mashups with Mashlight},
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 = {112--123},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17694-4\_10},
doi = {10.1007/978-3-642-17694-4\_10},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/servicewave/BaresiG10.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}
}
@incollection{DBLP:books/daglib/p/BaresiFMZ10,
author = {Luciano Baresi and
Antonio Di Ferdinando and
Antonio Manzalini and
Franco Zambonelli},
editor = {Athanasios V. Vasilakos and
Manish Parashar and
Stamatis Karnouskos and
Witold Pedrycz},
title = {The {CASCADAS} Framework for Autonomic Communications},
booktitle = {Autonomic Communication},
pages = {147--168},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-0-387-09753-4\_6},
doi = {10.1007/978-0-387-09753-4\_6},
timestamp = {Fri, 09 Apr 2021 18:19:01 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/BaresiFMZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/scube/KazhamiakinBBPUB10,
author = {Raman Kazhamiakin and
Salima Benbernou and
Luciano Baresi and
Pierluigi Plebani and
Maike Uhlig and
Olivier Barais},
editor = {Mike P. Papazoglou and
Klaus Pohl and
Michael Parkin and
Andreas Metzger},
title = {Adaptation of Service-Based Systems},
booktitle = {Service Research Challenges and Solutions for the Future Internet
- S-Cube - Towards Engineering, Managing and Adapting Service-Based
Systems},
series = {Lecture Notes in Computer Science},
volume = {6500},
pages = {117--156},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17599-2\_5},
doi = {10.1007/978-3-642-17599-2\_5},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scube/KazhamiakinBBPUB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/LemosGMSABBBBCD10,
author = {Rog{\'{e}}rio de Lemos and
Holger Giese and
Hausi A. M{\"{u}}ller and
Mary Shaw and
Jesper Andersson and
Luciano Baresi and
Basil Becker and
Nelly Bencomo and
Yuriy Brun and
Bojan Cukic and
Ronald J. Desmarais and
Schahram Dustdar and
Gregor Engels and
Kurt Geihs and
Karl M. G{\"{o}}schka and
Alessandra Gorla and
Vincenzo Grassi and
Paola Inverardi and
Gabor Karsai and
Jeff Kramer and
Marin Litoiu and
Ant{\'{o}}nia Lopes and
Jeff Magee and
Sam Malek and
Serge Mankovskii and
Raffaela Mirandola and
John Mylopoulos and
Oscar Nierstrasz and
Mauro Pezz{\`{e}} and
Christian Prehofer and
Wilhelm Sch{\"{a}}fer and
Richard D. Schlichting and
Bradley R. Schmerl and
Dennis B. Smith and
Jo{\~{a}}o Pedro Sousa and
Gabriel Tamura and
Ladan Tahvildari and
Norha M. Villegas and
Thomas Vogel and
Danny Weyns and
Kenny Wong and
Jochen Wuttke},
editor = {Rog{\'{e}}rio de Lemos and
Holger Giese and
Hausi A. M{\"{u}}ller and
Mary Shaw},
title = {Software Engineering for Self-Adaptive Systems: {A} second Research
Roadmap},
booktitle = {Software Engineering for Self-Adaptive Systems, 24.10. - 29.10.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10431},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/opus/volltexte/2011/3156/},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/LemosGMSABBBBCD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/RafeRBS09,
author = {Vahid Rafe and
Adel Torkaman Rahmani and
Luciano Baresi and
Paola Spoletini},
title = {Towards automated verification of layered graph transformation specifications},
journal = {{IET} Softw.},
volume = {3},
number = {4},
pages = {276--291},
year = {2009},
url = {https://doi.org/10.1049/iet-sen.2008.0059},
doi = {10.1049/IET-SEN.2008.0059},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/RafeRBS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jwe/BaresiFH09,
author = {Luciano Baresi and
Piero Fraternali and
Geert{-}Jan Houben},
title = {Editorial},
journal = {J. Web Eng.},
volume = {8},
number = {1},
pages = {1--2},
year = {2009},
url = {http://www.rintonpress.com/xjwe8/jwe-8-1/001-002.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jwe/BaresiFH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fia/TheilmannB09,
author = {Wolfgang Theilmann and
Luciano Baresi},
editor = {Georgios Tselentis and
John Domingue and
Alex Galis and
Anastasius Gavras and
David Hausheer and
Srdjan Krco and
Volkmar Lotz and
Theodore B. Zahariadis},
title = {Multi-level SLAs for Harmonized Management in the Future Internet},
booktitle = {Towards the Future Internet - {A} European Research Perspective},
pages = {193--202},
publisher = {{IOS} Press},
year = {2009},
url = {https://doi.org/10.3233/978-1-60750-007-0-193},
doi = {10.3233/978-1-60750-007-0-193},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fia/TheilmannB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BaresiBGS09,
author = {Luciano Baresi and
Domenico Bianculli and
Sam Guinea and
Paola Spoletini},
editor = {David Lee and
Ant{\'{o}}nia Lopes and
Arnd Poetzsch{-}Heffter},
title = {Keep It Small, Keep It Real: Efficient Run-Time Verification of Web
Service Compositions},
booktitle = {Formal Techniques for Distributed Systems, Joint 11th {IFIP} {WG}
6.1 International Conference {FMOODS} 2009 and 29th {IFIP} {WG} 6.1
International Conference {FORTE} 2009, Lisboa, Portugal, June 9-12,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5522},
pages = {26--40},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02138-1\_2},
doi = {10.1007/978-3-642-02138-1\_2},
timestamp = {Mon, 15 Jul 2019 16:26:46 +0200},
biburl = {https://dblp.org/rec/conf/forte/BaresiBGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/MirazLB09,
author = {Matteo Miraz and
Pier Luca Lanzi and
Luciano Baresi},
editor = {Franz Rothlauf},
title = {TestFul: using a hybrid evolutionary algorithm for testing stateful
systems},
booktitle = {Genetic and Evolutionary Computation Conference, {GECCO} 2009, Proceedings,
Montreal, Qu{\'{e}}bec, Canada, July 8-12, 2009},
pages = {1947--1948},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1569901.1570252},
doi = {10.1145/1569901.1570252},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gecco/MirazLB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BaresiNGD09,
author = {Luciano Baresi and
Elisabetta Di Nitto and
Sam Guinea and
Schahram Dustdar},
title = {Multi-dimensional service compositions},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Companion Volume},
pages = {323--326},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE-COMPANION.2009.5071012},
doi = {10.1109/ICSE-COMPANION.2009.5071012},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BaresiNGD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/BaresiGPT09,
author = {Luciano Baresi and
Sam Guinea and
Marco Pistore and
Michele Trainotti},
title = {Dynamo + Astro: An Integrated Approach for {BPEL} Monitoring},
booktitle = {{IEEE} International Conference on Web Services, {ICWS} 2009, Los
Angeles, CA, USA, 6-10 July 2009},
pages = {230--237},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICWS.2009.67},
doi = {10.1109/ICWS.2009.67},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/BaresiGPT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsoc/2009,
editor = {Luciano Baresi and
Chi{-}Hung Chi and
Jun Suzuki},
title = {Service-Oriented Computing, 7th International Joint Conference, ICSOC-ServiceWave
2009, Stockholm, Sweden, November 24-27, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5900},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10383-4},
doi = {10.1007/978-3-642-10383-4},
isbn = {978-3-642-10382-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/Baresi09,
author = {Luciano Baresi},
editor = {Ling Liu and
M. Tamer {\"{O}}zsu},
title = {Activity Diagrams},
booktitle = {Encyclopedia of Database Systems},
pages = {41--45},
publisher = {Springer {US}},
year = {2009},
url = {https://doi.org/10.1007/978-0-387-39940-9\_9},
doi = {10.1007/978-0-387-39940-9\_9},
timestamp = {Sun, 02 Jun 2019 21:10:27 +0200},
biburl = {https://dblp.org/rec/reference/db/Baresi09.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/caise/BaresiMP08,
author = {Luciano Baresi and
Matteo Miraz and
Pierluigi Plebani},
editor = {Zohra Bellahsene and
Michel L{\'{e}}onard},
title = {A Flexible and Semantic-Aware Publication Infrastructure for Web Services},
booktitle = {Advanced Information Systems Engineering, 20th International Conference,
CAiSE 2008, Montpellier, France, June 16-20, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5074},
pages = {435--449},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69534-9\_33},
doi = {10.1007/978-3-540-69534-9\_33},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/caise/BaresiMP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/Baresi08,
author = {Luciano Baresi},
editor = {Marten van Sinderen and
Jo{\~{a}}o Paulo A. Almeida and
Lu{\'{\i}}s Ferreira Pires and
Maarten Steen},
title = {Self-adaptive Web Service Compositions},
booktitle = {Workshops Proceedings of the 12th International {IEEE} Enterprise
Distributed Object Computing Conference, {ECOCW} 2008, 16 September
2008, Munich, Germany},
pages = {343},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/EDOCW.2008.53},
doi = {10.1109/EDOCW.2008.53},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edoc/Baresi08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BaresiGT08,
author = {Luciano Baresi and
Sam Guinea and
Giordano Tamburrelli},
editor = {Betty H. C. Cheng and
Rog{\'{e}}rio de Lemos and
David Garlan and
Holger Giese and
Marin Litoiu and
Jeff Magee and
Hausi A. M{\"{u}}ller and
Richard N. Taylor},
title = {Towards decentralized self-adaptive component-based systems},
booktitle = {2008 {ICSE} Workshop on Software Engineering for Adaptive and Self-Managing
Systems, {SEAMS} 2008, Leipzig, Germany, May 12-13, 2008},
pages = {57--64},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1370018.1370029},
doi = {10.1145/1370018.1370029},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BaresiGT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/BaresiGP08,
author = {Luciano Baresi and
Sam Guinea and
Liliana Pasquale},
editor = {Athman Bouguettaya and
Ingolf Kr{\"{u}}ger and
Tiziana Margaria},
title = {Integrated and Composable Supervision of {BPEL} Processes},
booktitle = {Service-Oriented Computing - {ICSOC} 2008, 6th International Conference,
Sydney, Australia, December 1-5, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5364},
pages = {614--619},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89652-4\_54},
doi = {10.1007/978-3-540-89652-4\_54},
timestamp = {Sun, 02 Jun 2019 21:20:23 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/BaresiGP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indiaSE/BaresiG08,
author = {Luciano Baresi and
Sam Guinea},
editor = {Gautam Shroff and
Pankaj Jalote and
Sriram K. Rajamani},
title = {A dynamic and reactive approach to the supervision of {BPEL} processes},
booktitle = {Proceeding of the 1st Annual India Software Engineering Conference,
{ISEC} 2008, Hyderabad, India, February 19-22, 2008},
pages = {39--48},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1342211.1342222},
doi = {10.1145/1342211.1342222},
timestamp = {Thu, 10 Dec 2020 11:39:56 +0100},
biburl = {https://dblp.org/rec/conf/indiaSE/BaresiG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BaresiGP08,
author = {Luciano Baresi and
Sam Guinea and
Liliana Pasquale},
editor = {Tevfik Bultan and
Tao Xie},
title = {Towards a unified framework for the monitoring and recovery of {BPEL}
processes},
booktitle = {Proceedings of the 2008 Workshop on Testing, Analysis, and Verification
of Web Services and Applications, held in conjunction with the {ACM}
{SIGSOFT} International Symposium on Software Testing and Analysis
{(ISSTA} 2008), {TAV-WEB} 2008, Seattle, Washington, USA, July 21,
2008},
pages = {15--19},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390832.1390835},
doi = {10.1145/1390832.1390835},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/BaresiGP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/BaresiMS08,
author = {Luciano Baresi and
Neil A. M. Maiden and
Peter Sawyer},
title = {Service-Centric Systems and Requirements Engineering},
booktitle = {16th {IEEE} International Requirements Engineering Conference, {RE}
2008, 8-12 September 2008, Barcelona, Catalunya, Spain},
pages = {305},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/RE.2008.60},
doi = {10.1109/RE.2008.60},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/BaresiMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/servicewave/BaresiGKP08,
author = {Luciano Baresi and
Sam Guinea and
Raman Kazhamiakin and
Marco Pistore},
editor = {Petri M{\"{a}}h{\"{o}}nen and
Klaus Pohl and
Thierry Priol},
title = {An Integrated Approach for the Run-Time Monitoring of {BPEL} Orchestrations},
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 = {1--12},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89897-9\_1},
doi = {10.1007/978-3-540-89897-9\_1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/servicewave/BaresiGKP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soco/BaresiT08,
author = {Luciano Baresi and
Giordano Tamburrelli},
editor = {Cesare Pautasso and
{\'{E}}ric Tanter},
title = {Loose Compositions for Autonomic Systems},
booktitle = {Software Composition - 7th International Symposium, SC@ETAPS 2008,
Budapest, Hungary, March 29-30, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4954},
pages = {165--172},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78789-1\_13},
doi = {10.1007/978-3-540-78789-1\_13},
timestamp = {Thu, 25 Jun 2020 18:19:16 +0200},
biburl = {https://dblp.org/rec/conf/soco/BaresiT08.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/BaresiM07,
author = {Luciano Baresi and
Sandro Morasca},
title = {Three empirical studies on estimating the design effort of Web applications},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {16},
number = {4},
pages = {15},
year = {2007},
url = {https://doi.org/10.1145/1276933.1276936},
doi = {10.1145/1276933.1276936},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/BaresiM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/BaresiGP07,
author = {Luciano Baresi and
Sam Guinea and
Pierluigi Plebani},
editor = {John Krogstie and
Andreas L. Opdahl and
Guttorm Sindre},
title = {Policies and Aspects for the Supervision of {BPEL} Processes},
booktitle = {Advanced Information Systems Engineering, 19th International Conference,
CAiSE 2007, Trondheim, Norway, June 11-15, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4495},
pages = {340--354},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72988-4\_24},
doi = {10.1007/978-3-540-72988-4\_24},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/caise/BaresiGP07.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/BaresiG07,
author = {Luciano Baresi and
Sam Guinea},
title = {Dynamo and Self-Healing {BPEL} Compositions},
booktitle = {29th International Conference on Software Engineering {(ICSE} 2007),
Minneapolis, MN, USA, May 20-26, 2007, Companion Volume},
pages = {69--70},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICSECOMPANION.2007.31},
doi = {10.1109/ICSECOMPANION.2007.31},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BaresiG07.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/ChanBSBG07,
author = {K. S. May Chan and
Judith Bishop and
Johan Steyn and
Luciano Baresi and
Sam Guinea},
editor = {Elisabetta Di Nitto and
Matei Ripeanu},
title = {A Fault Taxonomy for Web Service Composition},
booktitle = {Service-Oriented Computing - {ICSOC} 2007 Workshops, International
Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4907},
pages = {363--375},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-93851-4\_36},
doi = {10.1007/978-3-540-93851-4\_36},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/ChanBSBG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/BaresiBGGS07,
author = {Luciano Baresi and
Domenico Bianculli and
Carlo Ghezzi and
Sam Guinea and
Paola Spoletini},
title = {A Timed Extension of WSCoL},
booktitle = {2007 {IEEE} International Conference on Web Services {(ICWS} 2007),
July 9-13, 2007, Salt Lake City, Utah, {USA}},
pages = {663--670},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICWS.2007.25},
doi = {10.1109/ICWS.2007.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/BaresiBGGS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lipari/BianculliGSBG07,
author = {Domenico Bianculli and
Carlo Ghezzi and
Paola Spoletini and
Luciano Baresi and
Sam Guinea},
editor = {Egon B{\"{o}}rger and
Antonio Cisternino},
title = {A Guided Tour through {SAVVY-WS:} {A} Methodology for Specifying and
Validating Web Service Compositions},
booktitle = {Advances in Software Engineering, Lipari Summer School 2007, Lipari
Island, Italy, July 8-21, 2007, Revised Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {5316},
pages = {131--160},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-89762-0\_5},
doi = {10.1007/978-3-540-89762-0\_5},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lipari/BianculliGSBG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/BaresiMM07,
author = {Luciano Baresi and
Andrea Maurino and
Stefano Modafferi},
title = {Distributed {BPEL} Processes},
booktitle = {Proceedings of the Nineteenth International Conference on Software
Engineering {\&} Knowledge Engineering (SEKE'2007), Boston, Massachusetts,
USA, July 9-11, 2007},
pages = {692--697},
publisher = {Knowledge Systems Institute Graduate School},
year = {2007},
timestamp = {Thu, 12 Mar 2020 11:30:50 +0100},
biburl = {https://dblp.org/rec/conf/seke/BaresiMM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BaresiGP07,
author = {Luciano Baresi and
Sam Guinea and
Liliana Pasquale},
editor = {Alexander L. Wolf},
title = {Self-healing {BPEL} processes with Dynamo and the JBoss rule engine},
booktitle = {Proceedings of the 2007 International Workshop on Engineering of Software
Services for Pervasive Environments, {ESSPE} 2007, Dubrovnik, Croatia,
September 4, 2007},
pages = {11--20},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1294904.1294906},
doi = {10.1145/1294904.1294906},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BaresiGP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BaresiBCPP07,
author = {Luciano Baresi and
Daniele Braga and
Marco Comuzzi and
Filippo Pacifici and
Pierluigi Plebani},
editor = {Elisabetta Di Nitto and
Andrea Polini and
Andrea Zisman},
title = {A service-based infrastructure for advanced logistics},
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 = {47--53},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1294928.1294940},
doi = {10.1145/1294928.1294940},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BaresiBCPP07.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/wse/Baresi07,
author = {Luciano Baresi},
editor = {Shihong Huang and
Massimiliano Di Penta},
title = {Web Services and Web 2.0: Married or Fianc{\'{e}}s?},
booktitle = {Proceedings of the 9th {IEEE} International Symposium on Web Systems
Evolution, {WSE} 2009, 5-6 October 2007, Paris, France},
pages = {1},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/WSE.2007.4380236},
doi = {10.1109/WSE.2007.4380236},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wse/Baresi07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaresiRRS08,
author = {Luciano Baresi and
Vahid Rafe and
Adel Torkaman Rahmani and
Paola Spoletini},
editor = {Barbara K{\"{o}}nig and
Arend Rensink and
Reiko Heckel},
title = {An Efficient Solution for Model Checking Graph Transformation Systems},
booktitle = {Proceedings of the Third Workshop on Graph Transformation for Concurrency
and Verification, GT-VC@CONCUR 2007, Lisbon, Portugal, September 3,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {213},
number = {1},
pages = {3--21},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.04.071},
doi = {10.1016/J.ENTCS.2008.04.071},
timestamp = {Fri, 17 Feb 2023 09:59:54 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BaresiRRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/swb/BaresiN07,
author = {Luciano Baresi and
Elisabetta Di Nitto},
editor = {Luciano Baresi and
Elisabetta Di Nitto},
title = {Introduction},
booktitle = {Test and Analysis of Web Services},
pages = {1--7},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72912-9\_1},
doi = {10.1007/978-3-540-72912-9\_1},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/swb/BaresiN07.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}
}
@proceedings{DBLP:conf/icwe/2007,
editor = {Luciano Baresi and
Piero Fraternali and
Geert{-}Jan Houben},
title = {Web Engineering, 7th International Conference, {ICWE} 2007, Como,
Italy, July 16-20, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4607},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73597-7},
doi = {10.1007/978-3-540-73597-7},
isbn = {978-3-540-73596-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icwe/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:conf/swb/2007taws,
editor = {Luciano Baresi and
Elisabetta Di Nitto},
title = {Test and Analysis of Web Services},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72912-9},
doi = {10.1007/978-3-540-72912-9},
isbn = {978-3-540-72912-9},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/swb/2007taws.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/eceasst/BaresiMM06,
author = {Luciano Baresi and
Andrea Maurino and
Stefano Modafferi},
title = {Towards Distributed {BPEL} Orchestrations},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {3},
year = {2006},
url = {https://doi.org/10.14279/tuj.eceasst.3.7},
doi = {10.14279/TUJ.ECEASST.3.7},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BaresiMM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BaresiHTV06,
author = {Luciano Baresi and
Reiko Heckel and
Sebastian Th{\"{o}}ne and
D{\'{a}}niel Varr{\'{o}}},
title = {Style-based modeling and refinement of service-oriented architectures},
journal = {Softw. Syst. Model.},
volume = {5},
number = {2},
pages = {187--207},
year = {2006},
url = {https://doi.org/10.1007/s10270-006-0001-4},
doi = {10.1007/S10270-006-0001-4},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/BaresiHTV06.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/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/gg/BaresiS06,
author = {Luciano Baresi and
Paola Spoletini},
editor = {Andrea Corradini and
Hartmut Ehrig and
Ugo Montanari and
Leila Ribeiro and
Grzegorz Rozenberg},
title = {On the Use of Alloy to Analyze Graph Transformation Systems},
booktitle = {Graph Transformations, Third International Conference, {ICGT} 2006,
Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4178},
pages = {306--320},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841883\_22},
doi = {10.1007/11841883\_22},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gg/BaresiS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iastedSE/BaresiM06,
author = {Luciano Baresi and
Luca Mainetti},
editor = {Peter Kokol},
title = {{W2000} meets {J2ME} for the Fast Prototyping of Mobile Web Applications},
booktitle = {Proceedings of the {IASTED} International Conference on Software Engineering,
February 14-16, 2006, Innsbruck, Austria},
pages = {59--64},
publisher = {{IASTED/ACTA} Press},
year = {2006},
timestamp = {Wed, 08 Nov 2006 11:18:50 +0100},
biburl = {https://dblp.org/rec/conf/iastedSE/BaresiM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BaresiGP06,
author = {Luciano Baresi and
Sam Guinea and
Marco Plebani},
editor = {Rog{\'{e}}rio de Lemos and
Cristina Gacek and
Alexander B. Romanovsky},
title = {Business Process Monitoring for Dependability},
booktitle = {Architecting Dependable Systems {IV} [the book is a result of {DSN}
2006 workshops, Philadelphia, PA, {USA]}},
series = {Lecture Notes in Computer Science},
volume = {4615},
pages = {337--361},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74035-3\_15},
doi = {10.1007/978-3-540-74035-3\_15},
timestamp = {Mon, 26 Feb 2024 07:46:57 +0100},
biburl = {https://dblp.org/rec/conf/icse/BaresiGP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BaresiG06,
author = {Luciano Baresi and
Sam Guinea},
editor = {Leon J. Osterweil and
H. Dieter Rombach and
Mary Lou Soffa},
title = {Tutorial: towards dynamic web services},
booktitle = {28th International Conference on Software Engineering {(ICSE} 2006),
Shanghai, China, May 20-28, 2006},
pages = {1067--1068},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1134285.1134509},
doi = {10.1145/1134285.1134509},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BaresiG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/BaresiM06,
author = {Luciano Baresi and
Matteo Miraz},
editor = {Asit Dan and
Winfried Lamersdorf},
title = {A Distributed Approach for the Federation of Heterogeneous Registries},
booktitle = {Service-Oriented Computing - {ICSOC} 2006, 4th International Conference,
Chicago, IL, USA, December 4-7, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4294},
pages = {240--251},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11948148\_20},
doi = {10.1007/11948148\_20},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/BaresiM06.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}
}
@inproceedings{DBLP:conf/tgc/BaresiEH06,
author = {Luciano Baresi and
Karsten Ehrig and
Reiko Heckel},
editor = {Ugo Montanari and
Donald Sannella and
Roberto Bruni},
title = {Verification of Model Transformations: {A} Case Study with {BPEL}},
booktitle = {Trustworthy Global Computing, Second Symposium, {TGC} 2006, Lucca,
Italy, November 7-9, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4661},
pages = {183--199},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75336-0\_12},
doi = {10.1007/978-3-540-75336-0\_12},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/tgc/BaresiEH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/BaresiCMM06,
author = {Luciano Baresi and
Sebastiano Colazzo and
Luca Mainetti and
Sandro Morasca},
editor = {Emilia Mendes and
Nile Mosley},
title = {{W2000:} {A} Modelling Notation for Complex Web Applications},
booktitle = {Web Engineering},
pages = {335--364},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/3-540-28218-1\_11},
doi = {10.1007/3-540-28218-1\_11},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/BaresiCMM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2006,
editor = {Luciano Baresi and
Reiko Heckel},
title = {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},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11693017},
doi = {10.1007/11693017},
isbn = {3-540-33093-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/puc/BaresiDGM05,
author = {Luciano Baresi and
Schahram Dustdar and
Harald C. Gall and
Maristella Matera},
title = {Special issue on ubiquitous mobile information and collaboration systems
{(UMICS)}},
journal = {Pers. Ubiquitous Comput.},
volume = {9},
number = {5},
pages = {261--261},
year = {2005},
url = {https://doi.org/10.1007/s00779-004-0329-0},
doi = {10.1007/S00779-004-0329-0},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/puc/BaresiDGM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/BaresiP05,
author = {Luciano Baresi and
Mauro Pezz{\`{e}}},
title = {Formal interpreters for diagram notations},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {14},
number = {1},
pages = {42--84},
year = {2005},
url = {https://doi.org/10.1145/1044834.1044836},
doi = {10.1145/1044834.1044836},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/BaresiP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BaresiP05,
author = {Luciano Baresi and
Mauro Pezz{\`{e}}},
editor = {Hans{-}J{\"{o}}rg Kreowski and
Ugo Montanari and
Fernando Orejas and
Grzegorz Rozenberg and
Gabriele Taentzer},
title = {From Graph Transformation to Software Engineering and Back},
booktitle = {Formal Methods in Software and Systems Modeling, Essays Dedicated
to Hartmut Ehrig, on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {3393},
pages = {24--37},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31847-7\_2},
doi = {10.1007/978-3-540-31847-7\_2},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BaresiP05.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/emmsad/AdorniAABBCCCPF05,
author = {Marzia Adorni and
Francesca Arcelli and
Danilo Ardagna and
Luciano Baresi and
Carlo Batini and
Cinzia Cappiello and
Marco Comerio and
Marco Comuzzi and
Flavio De Paoli and
Chiara Francalanci and
Paolo Losi and
Simone Grega and
Andrea Maurino and
Stefano Modafferi and
Barbara Pernici and
Claudia Raibulet and
Francesco Tisato},
editor = {Terry A. Halpin and
Keng Siau and
John Krogstie},
title = {The {MAIS} approach to web service design},
booktitle = {Proceedings of the 10th International Workshop on Exploring Modeling
Methods for Systems Analysis and Design, {EMMSAD} 2005, held in conjunction
with the 17th Conference on Advanced Information Systems (CAiSE 2005),
Porto, Portugal, 13-14 June, 2005},
series = {{CEUR} Workshop Proceedings},
volume = {363},
pages = {1--12},
publisher = {CEUR-WS.org},
year = {2005},
url = {https://ceur-ws.org/Vol-363/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:10 +0100},
biburl = {https://dblp.org/rec/conf/emmsad/AdorniAABBCCCPF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BaresiG05,
author = {Luciano Baresi and
Sam Guinea},
title = {An Introduction to Self-Healing Web Services},
booktitle = {10th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2005), 16-20 June 2005, Shanghai, China},
pages = {4},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICECCS.2005.19},
doi = {10.1109/ICECCS.2005.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/BaresiG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/BaresiG05,
author = {Luciano Baresi and
Sam Guinea},
editor = {Boualem Benatallah and
Fabio Casati and
Paolo Traverso},
title = {Towards Dynamic Monitoring of {WS-BPEL} Processes},
booktitle = {Service-Oriented Computing - {ICSOC} 2005, Third International Conference,
Amsterdam, The Netherlands, December 12-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3826},
pages = {269--282},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11596141\_21},
doi = {10.1007/11596141\_21},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/BaresiG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/BaresiG05a,
author = {Luciano Baresi and
Sam Guinea},
editor = {Boualem Benatallah and
Fabio Casati and
Paolo Traverso},
title = {Dynamo: Dynamic Monitoring of {WS-BPEL} Processes},
booktitle = {Service-Oriented Computing - {ICSOC} 2005, Third International Conference,
Amsterdam, The Netherlands, December 12-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3826},
pages = {478--483},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11596141\_36},
doi = {10.1007/11596141\_36},
timestamp = {Wed, 13 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsoc/BaresiG05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/BaresiFTM05,
author = {Luciano Baresi and
Piero Fraternali and
Massimo Tisi and
Sandro Morasca},
editor = {David B. Lowe and
Martin Gaedke},
title = {Towards Model-Driven Testing of a Web Application Generator},
booktitle = {Web Engineering, 5th International Conference, {ICWE} 2005, Sydney,
Australia, July 27-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3579},
pages = {75--86},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11531371\_13},
doi = {10.1007/11531371\_13},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/icwe/BaresiFTM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BaresiQ05,
author = {Luciano Baresi and
Elisa Quintarelli},
editor = {Hisham Haddad and
Lorie M. Liebrock and
Andrea Omicini and
Roger L. Wainwright},
title = {Graph transformation to infer schemata from {XML} documents},
booktitle = {Proceedings of the 2005 {ACM} Symposium on Applied Computing (SAC),
Santa Fe, New Mexico, USA, March 13-17, 2005},
pages = {642--646},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1066677.1066824},
doi = {10.1145/1066677.1066824},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/BaresiQ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BaresiCM05,
author = {Luciano Baresi and
Sebastiano Colazzo and
Luca Mainetti},
editor = {Hisham Haddad and
Lorie M. Liebrock and
Andrea Omicini and
Roger L. Wainwright},
title = {First experiences on constraining consistency and adaptivity of {W2000}
models},
booktitle = {Proceedings of the 2005 {ACM} Symposium on Applied Computing (SAC),
Santa Fe, New Mexico, USA, March 13-17, 2005},
pages = {1674--1678},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1066677.1067056},
doi = {10.1145/1066677.1067056},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/BaresiCM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tes/BaresiGP05,
author = {Luciano Baresi and
Sam Guinea and
Pierluigi Plebani},
editor = {Christoph Bussler and
Ming{-}Chien Shan},
title = {WS-Policy for Service Monitoring},
booktitle = {Technologies for E-Services, 6th International Workshop, {TES} 2005,
Trondheim, Norway, September 2-3, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3811},
pages = {72--83},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11607380\_7},
doi = {10.1007/11607380\_7},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/tes/BaresiGP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/caise/2004umics,
editor = {Luciano Baresi and
Schahram Dustdar and
Harald C. Gall and
Maristella Matera},
title = {Ubiquitous Mobile Information and Collaboration Systems, Second CAiSE
Workshop, {UMICS} 2004, Riga, Latvia, June 7-8, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3272},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b104023},
doi = {10.1007/B104023},
isbn = {3-540-24100-0},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/caise/2004umics.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/gg/BaresiH04,
author = {Luciano Baresi and
Reiko Heckel},
editor = {Hartmut Ehrig and
Gregor Engels and
Francesco Parisi{-}Presicce and
Grzegorz Rozenberg},
title = {Tutorial Introduction to Graph Transformation: {A} Software Engineering
Perspective},
booktitle = {Graph Transformations, Second International Conference, {ICGT} 2004,
Rome, Italy, September 28 - October 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3256},
pages = {431--433},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30203-2\_30},
doi = {10.1007/978-3-540-30203-2\_30},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/BaresiH04.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}
}
@inproceedings{DBLP:conf/ifip8/BaresiMM04,
author = {Luciano Baresi and
Andrea Maurino and
Stefano Modafferi},
editor = {Elaine Lawrence and
Barbara Pernici and
John Krogstie},
title = {Workflow Partitioning in Mobile Information Systems},
booktitle = {Mobile Information Systems, {IFIP} {TC} 8 Working Conference on Mobile
Information Systems (MOBIS), 15-17 September 2004, Oslo, Norway},
series = {{IFIP}},
volume = {158},
pages = {93--106},
year = {2004},
timestamp = {Mon, 14 Jul 2014 08:16:02 +0200},
biburl = {https://dblp.org/rec/conf/ifip8/BaresiMM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/BaresiHTV04,
author = {Luciano Baresi and
Reiko Heckel and
Sebastian Th{\"{o}}ne and
D{\'{a}}niel Varr{\'{o}}},
title = {Style-Based Refinement of Dynamic Software Architectures},
booktitle = {4th Working {IEEE} / {IFIP} Conference on Software Architecture {(WICSA}
2004), 12-15 June 2004, Oslo, Norway},
pages = {155--166},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/WICSA.2004.1310699},
doi = {10.1109/WICSA.2004.1310699},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wicsa/BaresiHTV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaresiP05,
author = {Luciano Baresi and
Mauro Pezz{\`{e}}},
editor = {Hartmut Ehrig and
Julia Padberg and
Grzegorz Rozenberg},
title = {Petri Nets as Semantic Domain for Diagram Notations},
booktitle = {Proceedings of the Workshop on Petri Nets and Graph Transformations,
PNGT@ICGT 2004, Rome, Italy, October 2, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {127},
number = {2},
pages = {29--44},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.02.004},
doi = {10.1016/J.ENTCS.2005.02.004},
timestamp = {Mon, 12 Dec 2022 14:22:43 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BaresiP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaresiY05,
author = {Luciano Baresi and
Michal Young},
editor = {Mauro Pezz{\`{e}}},
title = {Toward Translating Design Constraints to Run-Time Assertions},
booktitle = {Proceedings of the International Workshop on Test and Analysis of
Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {116},
pages = {73--84},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.085},
doi = {10.1016/J.ENTCS.2004.02.085},
timestamp = {Fri, 09 Dec 2022 13:14:28 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BaresiY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaresiP06,
author = {Luciano Baresi and
Mauro Pezz{\`{e}}},
editor = {Reiko Heckel},
title = {An Introduction to Software Testing},
booktitle = {Proceedings of the School of SegraVis Research Training Network on
Foundations of Visual Modelling Techniques, FoVMT 2004, Dagstuhl,
Germany, May 3-7, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {148},
number = {1},
pages = {89--111},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.12.014},
doi = {10.1016/J.ENTCS.2005.12.014},
timestamp = {Fri, 16 Dec 2022 13:13:21 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BaresiP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/BaresiCDGM03,
author = {Luciano Baresi and
Sara Comai and
Schahram Dustdar and
Harald C. Gall and
Maristella Matera},
editor = {Johann Eder and
Roland T. Mittermeir and
Barbara Pernici},
title = {{UMICS} '03 Preface},
booktitle = {The 15th Conference on Advanced Information Systems Engineering (CAiSE
'03), Klagenfurt/Velden, Austria, 16-20 June, 2003, Workshops Proceedings,
Information Systems for a Connected Society},
series = {{CEUR} Workshop Proceedings},
volume = {75},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-75/files/UMICS\_00.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:35 +0100},
biburl = {https://dblp.org/rec/conf/caise/BaresiCDGM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/metrics/BaresiMP03,
author = {Luciano Baresi and
Sandro Morasca and
Paolo Paolini},
title = {Estimating the Design Effort of Web Applications},
booktitle = {9th {IEEE} International Software Metrics Symposium {(METRICS} 2003),
3-5 September 2003, Sydney, Australia},
pages = {62--72},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/METRIC.2003.1232456},
doi = {10.1109/METRIC.2003.1232456},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/metrics/BaresiMP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BaresiHTV03,
author = {Luciano Baresi and
Reiko Heckel and
Sebastian Th{\"{o}}ne and
D{\'{a}}niel Varr{\'{o}}},
editor = {Jukka Paakki and
Paola Inverardi},
title = {Modeling and validation of service-oriented architectures: application
vs. style},
booktitle = {Proceedings of the 11th {ACM} {SIGSOFT} Symposium on Foundations of
Software Engineering 2003 held jointly with 9th European Software
Engineering Conference, {ESEC/FSE} 2003, Helsinki, Finland, September
1-5, 2003},
pages = {68--77},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/940071.940082},
doi = {10.1145/940071.940082},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BaresiHTV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tes/BaresiBAFPP03,
author = {Luciano Baresi and
Devis Bianchini and
Valeria De Antonellis and
Maria Grazia Fugini and
Barbara Pernici and
Pierluigi Plebani},
editor = {Boualem Benatallah and
Ming{-}Chien Shan},
title = {Context-Aware Composition of E-services},
booktitle = {Technologies for E-Services, 4th International Workshop, {TES} 2003,
Berlin, Germany, September 8, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2819},
pages = {28--41},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39406-8\_3},
doi = {10.1007/978-3-540-39406-8\_3},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tes/BaresiBAFPP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wise/2003w,
editor = {Giuseppe Santucci and
Wolfgang Klas and
Michela Bertolotto and
Coral Calero and
Luciano Baresi},
title = {4th International Conference on Web Information Systems Engineering
Workshops, {WISE} 2003 Workshops, Rome, Italy, December 13, 2003},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://ieeexplore.ieee.org/xpl/conhome/9036/proceeding},
isbn = {0-7695-2103-7},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wise/2003w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BaresiP02,
author = {Luciano Baresi and
Mauro Pezz{\`{e}}},
editor = {Ralf{-}Detlef Kutsche and
Herbert Weber},
title = {A Toolbox for Automating Visual Software Engineering},
booktitle = {Fundamental Approaches to Software Engineering, 5th International
Conference, {FASE} 2002, held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2306},
pages = {189--202},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45923-5\_13},
doi = {10.1007/3-540-45923-5\_13},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/BaresiP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BaresiGMP02,
author = {Luciano Baresi and
Franca Garzotto and
Luca Mainetti and
Paolo Paolini},
editor = {Ralf{-}Detlef Kutsche and
Herbert Weber},
title = {Meta-modeling Techniques Meet Web Application Design Tools},
booktitle = {Fundamental Approaches to Software Engineering, 5th International
Conference, {FASE} 2002, held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2306},
pages = {294--307},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45923-5\_20},
doi = {10.1007/3-540-45923-5\_20},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/BaresiGMP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BaresiH02,
author = {Luciano Baresi and
Reiko Heckel},
editor = {Andrea Corradini and
Hartmut Ehrig and
Hans{-}J{\"{o}}rg Kreowski and
Grzegorz Rozenberg},
title = {Tutorial Introduction to Graph Transformation: {A} Software Engineering
Perspective},
booktitle = {Graph Transformation, First International Conference, {ICGT} 2002,
Barcelona, Spain, October 7-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2505},
pages = {402--429},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45832-8\_30},
doi = {10.1007/3-540-45832-8\_30},
timestamp = {Sat, 04 Apr 2020 17:15:23 +0200},
biburl = {https://dblp.org/rec/conf/gg/BaresiH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/BaresiDMP02,
author = {Luciano Baresi and
Giovanni Denaro and
Luca Mainetti and
Paolo Paolini},
title = {Assertions to better specify the amazon bug},
booktitle = {Proceedings of the 14th international conference on Software engineering
and knowledge engineering, {SEKE} 2002, Ischia, Italy, July 15-19,
2002},
pages = {585--592},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/568760.568863},
doi = {10.1145/568760.568863},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seke/BaresiDMP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wise/BaresiMP02,
author = {Luciano Baresi and
Sandro Morasca and
Paolo Paolini},
editor = {Tok Wang Ling and
Umeshwar Dayal and
Elisa Bertino and
Wee Keong Ng and
Angela Goh},
title = {An Empirical Study on the Design Effort of Web Applications},
booktitle = {3rd International Conference on Web Information Systems Engineering,
{WISE} 2002, Singapore, December 12-14, 2002, Proceedings},
pages = {345--354},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/WISE.2002.1181670},
doi = {10.1109/WISE.2002.1181670},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wise/BaresiMP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaresiMP02,
author = {Luciano Baresi and
Marco Mauri and
Mauro Pezz{\`{e}}},
editor = {Tom Mens and
Andy Sch{\"{u}}rr and
Gabriele Taentzer},
title = {PLCTools: Graph Transformation Meets {PLC} Design},
booktitle = {International Workshop on Graph-Based Tools, GraBaTs@ICGT 2002, Barcelona,
Spain, October 7-8, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {72},
number = {2},
pages = {79},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80532-8},
doi = {10.1016/S1571-0661(05)80532-8},
timestamp = {Tue, 06 Dec 2022 16:38:30 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BaresiMP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cooppn/BaresimP01,
author = {Luciano Baresi and
Mauro Pezz{\`{e}}},
editor = {Gul Agha and
Fiorella de Cindio and
Grzegorz Rozenberg},
title = {On Formalizing {UML} with High-Level Petri Nets},
booktitle = {Concurrent Object-Oriented Programming and Petri Nets, Advances in
Petri Nets},
series = {Lecture Notes in Computer Science},
volume = {2001},
pages = {276--304},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45397-0\_9},
doi = {10.1007/3-540-45397-0\_9},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/cooppn/BaresimP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/BaresiGP01,
author = {Luciano Baresi and
Franca Garzotto and
Paolo Paolini},
title = {Extending {UML} for Modeling Web Applications},
booktitle = {34th Annual Hawaii International Conference on System Sciences (HICSS-34),
January 3-6, 2001, Maui, Hawaii, {USA}},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/HICSS.2001.926350},
doi = {10.1109/HICSS.2001.926350},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/BaresiGP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/GarzottoPB01,
author = {Franca Garzotto and
Paolo Paolini and
Luciano Baresi},
title = {Supporting Reusable Web Design with HDM-Edit},
booktitle = {34th Annual Hawaii International Conference on System Sciences (HICSS-34),
January 3-6, 2001, Maui, Hawaii, {USA}},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/HICSS.2001.927108},
doi = {10.1109/HICSS.2001.927108},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/GarzottoPB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaresiP01,
author = {Luciano Baresi and
Mauro Pezz{\`{e}}},
editor = {Hartmut Ehrig and
Claudia Ermel and
Julia Padberg},
title = {Improving {UML} with Petri nets},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March
31 - April 1, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {4},
pages = {107--119},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80947-2},
doi = {10.1016/S1571-0661(04)80947-2},
timestamp = {Thu, 01 Dec 2022 11:20:11 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BaresiP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaresiPT01,
author = {Luciano Baresi and
Mauro Pezz{\`{e}} and
Gabriele Taentzer},
editor = {Luciano Baresi and
Mauro Pezz{\`{e}} and
Gabriele Taentzer},
title = {Introduction - Graph Transformation and Visual Modeling Techniques
- {GT-VMT} 2001},
booktitle = {International Workshop on Graph Transformation and Visual Modeling
Techniques, {GT-VMT} 2001, Satellite Workshop of {ICALP} 2001, Crete,
Greece, July 12-13, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {50},
number = {3},
pages = {325--326},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(05)80571-7},
doi = {10.1016/S1571-0661(05)80571-7},
timestamp = {Tue, 13 Dec 2022 10:53:28 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BaresiPT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gtvmt/2001,
editor = {Luciano Baresi and
Mauro Pezz{\`{e}} and
Gabriele Taentzer},
title = {International Workshop on Graph Transformation and Visual Modeling
Techniques, {GT-VMT} 2001, Satellite Workshop of {ICALP} 2001, Crete,
Greece, July 12-13, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {50},
number = {3},
publisher = {Elsevier},
year = {2001},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/50/issue/3},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gtvmt/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/BaresiGP00,
author = {Luciano Baresi and
Franca Garzotto and
Paolo Paolini},
editor = {Stephen W. Liddle and
Heinrich C. Mayr and
Bernhard Thalheim},
title = {From Web Sites to Web Applications: New Issues for Conceptual Modeling},
booktitle = {Conceptual Modeling for E-Business and the Web, {ER} 2000 Workshops
on Conceptual Modeling Approaches for E-Business and The World Wide
Web and Conceptual Modeling, Salt Lake City, Utah, USA, October 9-12,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1921},
pages = {89--100},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45394-6\_9},
doi = {10.1007/3-540-45394-6\_9},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/er/BaresiGP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/PezzeB00,
author = {Mauro Pezz{\`{e}} and
Luciano Baresi},
editor = {Jos{\'{e}} D. P. Rolim and
Andrei Z. Broder and
Andrea Corradini and
Roberto Gorrieri and
Reiko Heckel and
Juraj Hromkovic and
Ugo Vaccaro and
J. B. Wells},
title = {Can Graph Grammars Make Formal Methods More Human?},
booktitle = {{ICALP} Workshops 2000, Proceedings of the Satelite Workshops of the
27th International Colloquium on Automata, Languages and Programming,
Geneva, Switzerland, July 9-15, 2000},
pages = {387--394},
publisher = {Carleton Scientific, Waterloo, Ontario, Canada},
year = {2000},
timestamp = {Sat, 04 Apr 2020 17:15:23 +0200},
biburl = {https://dblp.org/rec/conf/icalp/PezzeB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/BaresiMMP00,
author = {Luciano Baresi and
Marco Mauri and
Antonello Monti and
Mauro Pezz{\`{e}}},
title = {{PLCTOOLS:} design, formal validation, and code generation for programmable
controllers},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
{\&} Cybernetics: "Cybernetics Evolving to Systems, Humans, Organizations,
and their Complex Interactions", Sheraton Music City Hotel, Nashville,
Tennessee, USA, 8-11 October 2000},
pages = {2437--2442},
publisher = {{IEEE}},
year = {2000},
url = {https://doi.org/10.1109/ICSMC.2000.884357},
doi = {10.1109/ICSMC.2000.884357},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smc/BaresiMMP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agtive/BaresiP99,
author = {Luciano Baresi and
Mauro Pezz{\`{e}}},
editor = {Manfred Nagl and
Andy Sch{\"{u}}rr and
Manfred M{\"{u}}nch},
title = {A Formal Definition of Stuctured Analysis with Programmable Graph
Grammars},
booktitle = {Applications of Graph Transformations with Industrial Relevance, International
Workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1779},
pages = {193--208},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-45104-8\_14},
doi = {10.1007/3-540-45104-8\_14},
timestamp = {Thu, 14 Oct 2021 10:29:53 +0200},
biburl = {https://dblp.org/rec/conf/agtive/BaresiP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wacc/BaresiCCFMP99,
author = {Luciano Baresi and
Fabio Casati and
Silvana Castano and
Maria Grazia Fugini and
Isabelle Mirbel and
Barbara Pernici},
title = {{WIDE} workflow development methodology},
booktitle = {Proceedings of the international joint conference on Work activities
coordination and collaboration 1999, San Francisco, California, USA,
February 22-25, 1999},
pages = {19--28},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/295665.295669},
doi = {10.1145/295665.295669},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/wacc/BaresiCCFMP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/BaresiP98,
author = {Luciano Baresi and
Mauro Pezz{\`{e}}},
title = {Toward Formalizing Structured Analysis},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {7},
number = {1},
pages = {80--107},
year = {1998},
url = {https://doi.org/10.1145/268411.268429},
doi = {10.1145/268411.268429},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/BaresiP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/BolchiniB97,
author = {Cristiana Bolchini and
Luciano Baresi},
title = {Software methodologies in {VHDL} code analysis},
journal = {J. Syst. Archit.},
volume = {44},
number = {1},
pages = {3--21},
year = {1997},
url = {https://doi.org/10.1016/S1383-7621(97)00024-6},
doi = {10.1016/S1383-7621(97)00024-6},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/BolchiniB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbms/BaresiPGP97,
author = {Luciano Baresi and
Manuele Di Paola and
Antonio Gargiulo and
Mauro Pezz{\`{e}}},
title = {{LEMMA:} a language for easy medical models analysis},
booktitle = {10th {IEEE} Symposium on Computer-Based Medical Systems {(CBMS} '97),
11-13 June 1997, Maribor, Slovenia},
pages = {244--249},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/CBMS.1997.596442},
doi = {10.1109/CBMS.1997.596442},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cbms/BaresiPGP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BaresiOP97,
author = {Luciano Baresi and
Alessandro Orso and
Mauro Pezz{\`{e}}},
editor = {W. Richards Adrion and
Alfonso Fuggetta and
Richard N. Taylor and
Anthony I. Wasserman},
title = {Introducing Formal Specification Methods in Industrial Practice},
booktitle = {Pulling Together, Proceedings of the 19th International Conference
on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997},
pages = {56--66},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/253228.253241},
doi = {10.1145/253228.253241},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/BaresiOP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/SciutoBB96,
author = {Donatella Sciuto and
Luciano Baresi and
Cristiana Bolchini},
editor = {Graham Symonds and
Wolfgang Nebel},
title = {Software methodologies for {VHDL} code static analysis based on flow
graphs},
booktitle = {Proceedings of the conference on European design automation, {EURO-DAC}
'96/EURO-VHDL '96, Geneva, Switzerland, September 16-20, 1996},
pages = {406--411},
publisher = {{IEEE} Computer Society Press},
year = {1996},
url = {https://doi.org/10.1109/EURDAC.1996.558236},
doi = {10.1109/EURDAC.1996.558236},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurodac/SciutoBB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tapos/BandinelliBFL95,
author = {Sergio Bandinelli and
Luciano Baresi and
Alfonso Fuggetta and
Luigi Lavazza},
title = {Experiences in the Implementation of a Process-centered Software Engineering
Environment Using Object-Oriented Technology},
journal = {Theory Pract. Object Syst.},
volume = {1},
number = {2},
pages = {115--131},
year = {1995},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tapos/BandinelliBFL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/AlonsoCBH95,
author = {Alejandro Alonso and
Hanne Christensen and
Luciano Baresi and
Marko Heikkinen},
title = {{IDERS:} an integrated environment for the development of hard real-time
systems},
booktitle = {7th Euromicro Workshop on Real-Time Systems, EUROMICRO-RTS'95, Odense,
Denmark, March 14-16, 1995},
pages = {4--10},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/EMWRTS.1995.514285},
doi = {10.1109/EMWRTS.1995.514285},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/AlonsoCBH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BaresiOP95,
author = {Luciano Baresi and
Alessandro Orso and
Mauro Pezz{\`{e}}},
title = {Customizable notations for kernel formalisms},
booktitle = {1st {IEEE} International Conference on Engineering of Complex Computer
Systems {(ICECCS} '95), November 6-10, 1995, Fort Lauderdale, Florida,
{USA}},
pages = {43},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ICECCS.1995.479301},
doi = {10.1109/ICECCS.1995.479301},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/BaresiOP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isotas/BandinelliBFL93,
author = {Sergio Bandinelli and
Luciano Baresi and
Alfonso Fuggetta and
Luigi Lavazza},
editor = {Shojiro Nishio and
Akinori Yonezawa},
title = {Requirements and Early Experiences in the Implementation of the {SPADE}
Repository using Object-Oriented Technology},
booktitle = {Object Technologies for Advanced Software, First {JSSST} International
Symposium, Kanazawa, Japan, November 4-6, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {742},
pages = {511--528},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57342-9\_92},
doi = {10.1007/3-540-57342-9\_92},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/isotas/BandinelliBFL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/BandinelliBFL93,
author = {Sergio Bandinelli and
Luciano Baresi and
Alfonso Fuggetta and
Luigi Lavazza},
editor = {Wilhelm Sch{\"{a}}fer},
title = {Requirements and Early Experiences in the Implementation of the {SPADE}
Repository},
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 = {30--32},
publisher = {{IEEE} Computer Society},
year = {1993},
timestamp = {Wed, 02 Apr 2003 08:27:45 +0200},
biburl = {https://dblp.org/rec/conf/ispw/BandinelliBFL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-16 20:27 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:
