Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX 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} }
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.