


default search action
Luciano Baresi
Person information
- affiliation: Polytechnic University of Milan, Italy
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [i14]Luciano Baresi, Davide Yi Xian Hu, Muhammad Irfan Mas'udi, Giovanni Quattrocchi:
DILLEMA: Diffusion and Large Language Models for Multi-Modal Augmentation. CoRR abs/2502.04378 (2025) - 2024
- [j47]Andreas Metzger, Clément Quinton, Zoltán Ádám Mann
, Luciano Baresi, Klaus Pohl:
Realizing self-adaptive systems via online reinforcement learning and feature-model-guided exploration. Computing 106(4): 1251-1272 (2024) - [j46]Luciano Baresi
, Giovanni Quattrocchi
, Nicholas Rasi:
A qualitative and quantitative analysis of container engines. J. Syst. Softw. 210: 111965 (2024) - [j45]Luciano Baresi
, Davide Yi Xian Hu
, Giovanni Quattrocchi
, Luca Terracciano
:
NEPTUNE: A Comprehensive Framework for Managing Serverless Functions at the Edge. ACM Trans. Auton. Adapt. Syst. 19(1): 7:1-7:32 (2024) - [j44]Giovanni Quattrocchi
, Emilio Incerto
, Riccardo Pinciroli
, Catia Trubiani
, Luciano Baresi
:
Autoscaling Solutions for Cloud Applications Under Dynamic Workloads. IEEE Trans. Serv. Comput. 17(3): 804-820 (2024) - [c182]Luciano Baresi, Simone Bianco, Amleto Di Salle, Ludovico Iovino, Leonardo Mariani, Daniela Micucci, Luciana Brasil Rebelo dos Santos, Maria Teresa Rossi, Raimondo Schettini:
COBOL: COmmunity-Based Organized Littering. SEAA 2024: 511-517 - [c181]Luciano Baresi, Giovanni Quattrocchi, Inacio Gaspar Ticongolo:
Efficient and Dependency-Aware Placement of Serverless Functions on Edge Infrastructures. ICSOC (1) 2024: 3-20 - [c180]Luciano Baresi
, Matteo Camilli
, Tommaso Dolci
, Giovanni Quattrocchi:
A Conceptual Framework for Quality Assurance of LLM-based Socio-critical Systems. ASE 2024: 2314-2318 - [c179]Luciano Baresi
, Massimiliano Di Penta
, Giovanni Quattrocchi
, Damian Andrew Tamburri
:
How have iOS Development Technologies Changed over Time? A Study in Open-Source. MOBILESoft@ICSE 2024: 33-42 - [e12]Luciano Baresi, Xiaoxing Ma, Liliana Pasquale:
Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2024, Lisbon, Portugal, April 15-16, 2024. ACM 2024 [contents] - [i13]Luciano Baresi, Giovanni Quattrocchi, Inacio Gaspar Ticongolo:
Dependency-aware Resource Allocation for Serverless Functions at the Edge. CoRR abs/2401.01025 (2024) - [i12]Luciano Baresi, Davide Yi Xian Hu, Andrea Stocco, Paolo Tonella:
Efficient Domain Augmentation for Autonomous Driving Testing Using Diffusion Models. CoRR abs/2409.13661 (2024) - 2023
- [j43]Luciano Baresi
, Giovanni Quattrocchi
, Nicholas Rasi
:
Open Challenges in Federated Machine Learning. IEEE Internet Comput. 27(2): 20-27 (2023) - [j42]Luciano Baresi
, Tommaso Dolci, Giovanni Quattrocchi
, Nicholas Rasi:
A multi-faceted analysis of the performance variability of virtual machines. Softw. Pract. Exp. 53(11): 2067-2091 (2023) - [c178]Luciano Baresi
, Damian A. Tamburri:
Architecting Artificial Intelligence for Autonomous Cars: The OpenPilot Framework. ECSA 2023: 189-204 - [c177]Luciano Baresi, Giovanni Quattrocchi, Damian A. Tamburri:
2nd International Workshop on the Foundations of Infrastructure Specification and Testing : FIST 2023. ICSA-C 2023: 317 - [c176]Inacio Gaspar Ticongolo, Luciano Baresi, Giovanni Quattrocchi:
Advanced Serverless Edge Computing. ICSOC Workshops 2023: 285-291 - [c175]Luciano Baresi
, Giovanni Quattrocchi, Inacio Gaspar Ticongolo:
Dependency-Aware Resource Allocation for Serverless Functions at the Edge. ICSOC (1) 2023: 347-362 - [c174]Luciano Baresi
, Chiara Criscuolo, Carlo Ghezzi:
Understanding Fairness Requirements for ML-based Software. RE 2023: 341-346 - [i11]Luciano Baresi, Giovanni Quattrocchi, Nicholas Rasi:
A Qualitative and Quantitative Analysis of Container Engines. CoRR abs/2303.04080 (2023) - [i10]Luciano Baresi, Tommaso Dolci, Giovanni Quattrocchi, Nicholas Rasi:
A Multi-faceted Analysis of the Performance Variability of Virtual Machines. CoRR abs/2309.11959 (2023) - 2022
- [j41]Andreas Christoforou
, Andreas S. Andreou
, Martin Garriga, Luciano Baresi
:
Adopting microservice architecture: A decision support model based on genetically evolved multi-layer FCM. Appl. Soft Comput. 114: 108066 (2022) - [j40]Mohammad Mehdi Pourhashem Kallehbasti
, Matteo Rossi
, Luciano Baresi
:
On How Bit-Vector Logic Can Help Verify LTL-Based Specifications. IEEE Trans. Software Eng. 48(4): 1154-1168 (2022) - [c173]Luciano Baresi
, Giovanni Quattrocchi:
Training and Serving Machine Learning Models at Scale. ICSOC 2022: 669-683 - [c172]Luciano Baresi
, Giovanni Quattrocchi, Damian Andrew Tamburri, Luca Terracciano:
A declarative modelling framework for the deployment and management of blockchain applications. MoDELS 2022: 311-321 - [c171]Luciano Baresi
, Davide Yi Xian Hu, Giovanni Quattrocchi, Luca Terracciano:
NEPTUNE: Network- and GPU-aware Management of Serverless Functions at the Edge. SEAMS 2022: 144-155 - [i9]Luciano Baresi, Davide Yi Xian Hu, Giovanni Quattrocchi, Luca Terracciano:
NEPTUNE: Network- and GPU-aware Management of Serverless Functions at the Edge. CoRR abs/2205.04320 (2022) - [i8]Luciano Baresi, Giovanni Quattrocchi, Damian Andrew Tamburri, Luca Terracciano:
A Declarative Modelling Framework for the Deployment and Management of Blockchain Applications. CoRR abs/2209.05092 (2022) - [i7]Luciano Baresi, Giovanni Quattrocchi:
Training and Serving Machine Learning Models at Scale. CoRR abs/2211.05516 (2022) - [i6]Luciano Baresi, Giovanni Quattrocchi, Damian Andrew Tamburri:
Microservice Architecture Practices and Experience: a Focused Look on Docker Configuration Files. CoRR abs/2212.03107 (2022) - 2021
- [j39]Clément Quinton
, Michael Vierhauser
, Rick Rabiser
, Luciano Baresi
, Paul Grünbacher
, Christian Schuhmayer:
Evolution in dynamic software product lines. J. Softw. Evol. Process. 33(2) (2021) - [j38]Luciano Baresi
, William G. Griswold
, Grace A. Lewis
, Marco Autili
, Ivano Malavolta
, Christine Julien
:
Trends and Challenges for Software Engineering in the Mobile Domain. IEEE Softw. 38(1): 88-96 (2021) - [j37]Luciano Baresi
, Alberto Leva
, Giovanni Quattrocchi
:
Fine-Grained Dynamic Resource Allocation for Big-Data Applications. IEEE Trans. Software Eng. 47(8): 1668-1682 (2021) - [c170]Luciano Baresi
, Giovanni Quattrocchi, Nicholas Rasi:
Resource Management for TensorFlow Inference. ICSOC 2021: 238-253 - [c169]Luciano Baresi
, Davide Yi Xian Hu
, Giovanni Quattrocchi, Luca Terracciano:
KOSMOS: Vertical and Horizontal Resource Autoscaling for Kubernetes. ICSOC 2021: 821-829 - [c168]Luciano Baresi
, Kostandin Caushi:
IDEA: Runtime Collection of Android Data. ISSRE Workshops 2021: 137-143 - [c167]Andreas Metzger, Clément Quinton, Zoltán Ádám Mann, Luciano Baresi, Klaus Pohl:
Feature-Modell-geführtes Online Reinforcement Learning für Selbst-adaptive Systeme. Software Engineering 2021: 75-76 - [c166]Luciano Baresi
, Giovanni Quattrocchi, Nicholas Rasi:
Federated Machine Learning as a Self-Adaptive Problem. SEAMS@ICSE 2021: 41-47 - 2020
- [j36]Luciano Baresi
, Marcello M. Bersani
, Francesco Marconi, Giovanni Quattrocchi, Matteo Rossi:
Using formal verification to evaluate the execution time of Spark applications. Formal Aspects Comput. 32(1): 33-70 (2020) - [j35]Christos Tsigkanos
, Martin Garriga, Luciano Baresi
, Carlo Ghezzi:
Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed Internet of Things Systems. ACM Trans. Internet Techn. 20(2): 17:1-17:23 (2020) - [c165]Luciano Baresi
, Giovanni Quattrocchi:
COCOS: A Scalable Architecture for Containerized Heterogeneous Systems. ICSA 2020: 103-113 - [c164]Andreas Metzger
, Clément Quinton
, Zoltán Ádám Mann
, Luciano Baresi
, Klaus Pohl
:
Feature Model-Guided Online Reinforcement Learning for Self-Adaptive Services. ICSOC 2020: 269-286 - [c163]Luciano Baresi
, Giovanni Quattrocchi, Damian Andrew Tamburri, Willem-Jan van den Heuvel:
Automated Quality Assessment of Incident Tickets for Smart Service Continuity. ICSOC 2020: 492-499 - [c162]Luciano Baresi
, Giovanni Quattrocchi:
A Simulation-based Comparison between Industrial Autoscaling Solutions and COCOS for Cloud Applications. ICWS 2020: 94-101 - [p9]Luciano Baresi
, Martin Garriga:
Microservices: The Evolution and Extinction of Web Services? Microservices, Science and Engineering 2020: 3-28 - [i5]Christos Tsigkanos, Martin Garriga, Luciano Baresi, Carlo Ghezzi:
Cloud Deployment Tradeoffs for the Analysis of Spatially-Distributed Systems of Internet-of-Things. CoRR abs/2004.11428 (2020)
2010 – 2019
- 2019
- [j34]Luciano Baresi
, Danilo Filgueira Mendonça
, Martin Garriga, Sam Guinea, Giovanni Quattrocchi:
A Unified Model for the Mobile-Edge-Cloud Continuum. ACM Trans. Internet Techn. 19(2): 29:1-29:21 (2019) - [c161]Luciano Baresi
, Danilo Filgueira Mendonça:
Towards a Serverless Platform for Edge Computing. ICFC 2019: 1-10 - [c160]Luciano Baresi
, Danilo Filgueira Mendonça, Giovanni Quattrocchi:
PAPS: A Framework for Decentralized Self-management at the Edge. ICSOC 2019: 508-522 - [c159]Luciano Baresi
, Giovanni Denaro, Giovanni Quattrocchi:
Big-Data Applications as Self-Adaptive Systems of Systems. ISSRE Workshops 2019: 155-162 - [c158]Luciano Baresi
, Giovanni Denaro, Giovanni Quattrocchi:
Symbolic execution-driven extraction of the parallel execution plans of Spark applications. ESEC/SIGSOFT FSE 2019: 246-256 - [i4]Andreas Metzger, Clément Quinton, Zoltán Ádám Mann, Luciano Baresi, Klaus Pohl:
Feature-Model-Guided Online Learning for Self-Adaptive Systems. CoRR abs/1907.09158 (2019) - 2018
- [j33]Konstantin Rubinov, Luciano Baresi
:
What Are We Missing When Testing Our Android Apps? Computer 51(4): 60-68 (2018) - [j32]Giovanni Meroni
, Luciano Baresi
, Marco Montali, Pierluigi Plebani
:
Multi-party business process compliance monitoring through IoT-enabled artifacts. Inf. Syst. 73: 61-78 (2018) - [c157]Andreas Christoforou
, Andreas S. Andreou, Luciano Baresi, Michael P. Papazoglou
:
DevOps-Based Software Engineering for the Cloud. ESOCC Workshops 2018: 226-232 - [c156]Luciano Baresi
, Giovanni Quattrocchi:
Towards Vertically Scalable Spark Applications. Euro-Par Workshops 2018: 106-118 - [c155]Luciano Baresi
, Anita Imani, Cristina Frà, Massimo Valla:
LIQDROID: towards seamlessly distributed Android applications. MOBILESoft@ICSE 2018: 166-175 - [c154]Luciano Baresi
, Mersedeh Sadeghi
, Massimo Valla:
TDeX: A Description Model for Heterogeneous Smart Devices and GUI Generation. iThings/GreenCom/CPSCom/SmartData 2018: 97-104 - [c153]Francesco Marconi
, Giovanni Quattrocchi, Luciano Baresi
, Marcello M. Bersani, Matteo Rossi
:
On the Timed Analysis of Big-Data Applications. NFM 2018: 315-332 - [c152]Rick Rabiser
, Sam Guinea, Michael Vierhauser
, Luciano Baresi
, Paul Grünbacher
:
A comparison framework for runtime monitoring approaches (journal-first abstract). SANER 2018: 472 - [r2]Luciano Baresi
:
Activity Diagrams. Encyclopedia of Database Systems (2nd ed.) 2018 - 2017
- [j31]Luciano Baresi
, Márcio Eduardo Delamaro, Paulo Augusto Nardi
:
Test oracles for simulink-like models. Autom. Softw. Eng. 24(2): 369-391 (2017) - [j30]Rick Rabiser
, Sam Guinea, Michael Vierhauser
, Luciano Baresi
, Paul Grünbacher
:
A comparison framework for runtime monitoring approaches. J. Syst. Softw. 125: 309-321 (2017) - [j29]Luciano Baresi
, Angelo Morzenti
, Alfredo Motta, Mohammad Mehdi Pourhashem Kallehbasti
, Matteo Rossi:
A Logic-Based Approach for the Verification of UML Timed Models. ACM Trans. Softw. Eng. Methodol. 26(2): 7:1-7:47 (2017) - [j28]Luciano Baresi
, Carlo Ghezzi, Xiaoxing Ma
, Valerio Panzica La Manna:
Efficient Dynamic Updates of Distributed Components Through Version Consistency. IEEE Trans. Software Eng. 43(4): 340-358 (2017) - [c151]Luciano Baresi, Claudio Di Ciccio, Jan Mendling, Giovanni Meroni, Pierluigi Plebani:
mArtifact: an Artifact-driven Process Monitoring Platform. BPM (Demos) 2017 - [c150]Luciano Baresi
, Martin Garriga, Alan De Renzis:
Microservices Identification Through Interface Analysis. ESOCC 2017: 19-33 - [c149]Luciano Baresi
, Danilo Filgueira Mendonça, Martin Garriga:
Empowering Low-Latency Applications Through a Serverless Edge Computing Architecture. ESOCC 2017: 196-210 - [c148]Luciano Baresi
, Naser Derakhshan, Sam Guinea, Francesco Arenella:
MAGNET: A middleware for the proximal interaction of devices based on Wi-Fi direct. ICC 2017: 1-7 - [c147]Andreas Christoforou
, Martin Garriga, Andreas S. Andreou, Luciano Baresi
:
Supporting the Decision of Migrating to Microservices Through Multi-layer Fuzzy Cognitive Maps. ICSOC 2017: 471-480 - [c146]Jesper Andersson, Rafael Capilla
, Luciano Baresi
, Holger Eichelberger
:
10th International Workshop on Dynamic Software Product Lines (DSPL'17): Adaptive Systems through Runtime Variability. SPLC (A) 2017: 246 - 2016
- [j27]Danilo Filgueira Mendonça
, Genaína Nunes Rodrigues
, Raian Ali
, Vander Alves
, Luciano Baresi
:
GODA: A goal-oriented requirements engineering framework for runtime dependability analysis. Inf. Softw. Technol. 80: 245-264 (2016) - [j26]Luciano Baresi
, Matteo Miraz, Pierluigi Plebani
:
A distributed architecture for efficient Web service discovery. Serv. Oriented Comput. Appl. 10(1): 1-17 (2016) - [c145]Luciano Baresi, Giovanni Meroni, Pierluigi Plebani:
On Handling Business Process Anomalies through Artifact-based Modeling. CAiSE Forum 2016: 9-16 - [c144]Luciano Baresi
, Giovanni Meroni
, Pierluigi Plebani
:
Using the Guard-Stage-Milestone Notation for Monitoring BPMN-based Processes. BMMDS/EMMSAD 2016: 18-33 - [c143]Henry Muccini
, K. Eric Harper, Robert Heinrich, Jan Bosch, Noël Plouzeau, Olaf Zimmermann, Luciano Baresi
, Vittorio Cortellessa:
Welcome Message from the Chairs of WICSA, QoSA and CBSE. CBSE 2016: vii-viii - [c142]Amir Molzam Sharifloo, Andreas Metzger, Clément Quinton, Luciano Baresi
, Klaus Pohl:
Learning and evolution in dynamic software product lines. SEAMS@ICSE 2016: 158-164 - [c141]Luciano Baresi
, Sam Guinea, Danilo Filgueira Mendonça:
A3Droid: A framework for developing distributed crowdsensing. PerCom Workshops 2016: 1-6 - [c140]Luciano Baresi
, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi:
How bit-vector logic can help improve the verification of LTL specifications over infinite domains. SAC 2016: 1666-1673 - [c139]Luciano Baresi
, Sam Guinea, Alberto Leva
, Giovanni Quattrocchi:
A discrete-time feedback controller for containerized cloud applications. SIGSOFT FSE 2016: 217-228 - [c138]Maryam Ehsanpour, Luciano Baresi, Matteo Rossi, Ernesto Damiani:
Analysis of Energy-Efficient Buildings through Simulation and Formal Methods. SIMPDA 2016: 113-119 - [c137]Luciano Baresi
, Sam Guinea, Giovanni Quattrocchi, Damian A. Tamburri
:
MicroCloud: A Container-Based Solution for Efficient Resource Management in the Cloud. SmartCloud 2016: 218-223 - [c136]Luciano Baresi
, Naser Derakhshan, Sam Guinea:
WiDiSi: A Wi-Fi direct simulator. WCNC 2016: 1-7 - 2015
- [j25]Luciano Baresi
, Luca Mottola
, Schahram Dustdar
:
Building Software for the Internet of Things. IEEE Internet Comput. 19(2): 6-8 (2015) - [j24]Luciano Baresi
, Gundula Blohm, Dimitrios S. Kolovos
, Nicholas Drivalos Matragkas, Alfredo Motta, Richard F. Paige, Alek Radjenovic, Matteo Rossi:
Formal verification and validation of embedded systems: the UML-based MADES approach. Softw. Syst. Model. 14(1): 343-363 (2015) - [c135]Luciano Baresi
, Giovanni Meroni
, Pierluigi Plebani
:
A GSM-based Approach for Monitoring Cross-Organization Business Processes Using Smart Objects. Business Process Management Workshops 2015: 389-400 - [c134]Luciano Baresi
, Adnan Shahzada:
An Architecture-Centric Approach for Dynamic Smart Spaces. ECSA 2015: 277-284 - [c133]Vinícius Pereira, Luciano Baresi, Márcio Eduardo Delamaro:
Mapping Formal Results Back to UML Semi-formal Model. ICEIS (2) 2015: 320-329 - [c132]Luciano Baresi
, Clément Quinton:
Dynamically Evolving the Structural Variability of Dynamic Software Product Lines. SEAMS@ICSE 2015: 57-63 - [c131]Luciano Baresi
, Laurent-Walter Goix, Sam Guinea, Valerio Panzica La Manna, Jacopo Aliprandi, Dario Archetti:
SPF: A Middleware for Social Interaction in Mobile Proximity Environments. ICSE (2) 2015: 79-88 - [c130]Luciano Baresi
, Mohammad Mehdi Pourhashem Kallehbasti
, Matteo Rossi:
Efficient Scalable Verification of LTL Specifications. ICSE (1) 2015: 711-721 - [c129]Luciano Baresi
, Tim Menzies
, Andreas Metzger, Thomas Zimmermann:
1st International Workshop on Big Data Software Engineering (BIGDSE 2015). ICSE (2) 2015: 965-966 - [c128]Luciano Baresi
, Sam Guinea, Giovanni Quattrocchi:
Distributed Coordinated Adaptation of Cloud-Based Applications. SEFM Workshops 2015: 215-227 - [c127]Luciano Baresi
, Sam Guinea:
Event-Based Monitoring of Service-Oriented Smart Spaces (Invited Paper). SOCA 2015: 123-130 - [c126]Clément Quinton, Rick Rabiser
, Michael Vierhauser
, Paul Grünbacher
, Luciano Baresi
:
Evolution in dynamic software product lines: challenges and perspectives. SPLC 2015: 126-130 - [e11]Matteo Baldoni, Luciano Baresi, Mehdi Dastani:
Engineering Multi-Agent Systems - Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers. Lecture Notes in Computer Science 9318, Springer 2015, ISBN 978-3-319-26183-6 [contents] - [e10]Luciano Baresi, Tim Menzies, Andreas Metzger, Thomas Zimmermann:
1st IEEE/ACM International Workshop on Big Data Software Engineering, BIGDSE 2015, Florence, Italy, May 23, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-7025-7 [contents] - 2014
- [j23]Luciano Baresi
, Hausi A. Müller
:
Introduction to the Special Section on Best Papers from SEAMS 2012. ACM Trans. Auton. Adapt. Syst. 8(4): 16:1 (2014) - [c125]Filippo Seracini, Massimiliano Menarini, Ingolf Krueger, Luciano Baresi, Sam Guinea, Giovanni Quattrocchi:
A Comprehensive Resource Management Solution for Web-based Systems. ICAC 2014: 233-239 - [c124]Luciano Baresi
, Mohammad Mehdi Pourhashem Kallehbasti
, Matteo Rossi:
Flexible modular formalization of UML sequence diagrams. FormaliSE 2014: 10-16 - [c123]Luciano Baresi
:
Self-adaptive systems, services, and product lines. SPLC 2014: 2-4 - [c122]Luciano Baresi
, Sam Guinea, Adnan Shahzada:
Short paper: Harmonizing heterogeneous components in SeSaMe. WF-IoT 2014: 197-198 - [c121]Luciano Baresi
, Sam Guinea, Valerio Panzica La Manna:
Consistent Runtime Evolution of Service-Based Business Processes. WICSA 2014: 77-86 - [p8]Luciano Baresi
, Domenico Bianculli
, Sam Guinea:
Cloud-Based Systems Need Multi-Level Management. Advanced Web Services 2014: 579-603 - [i3]Sven Apel
, Joanne M. Atlee, Luciano Baresi, Pamela Zave:
Feature Interactions: The Next Generation (Dagstuhl Seminar 14281). Dagstuhl Reports 4(7): 1-24 (2014) - 2013
- [j22]Luciano Baresi
, Carlo Ghezzi:
A journey through SMScom: self-managing situational computing. Comput. Sci. Res. Dev. 28(4): 267-277 (2013) - [j21]Yu Zhou, Luciano Baresi
, Matteo Rossi:
Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata. J. Comput. Sci. Technol. 28(1): 188-202 (2013) - [c120]Luciano Baresi
, Sam Guinea, Adnan Shahzada:
SeSaMe: Towards a Semantic Self Adaptive Middleware for Smart Spaces. EMAS@AAMAS 2013: 1-18 - [c119]Luciano Baresi
, Annapaola Marconi
, Marco Pistore
, Adina Sirbu:
Corrective Evolution of Adaptable Process Models. BMMDS/EMMSAD 2013: 214-229 - [c118]Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, Jesper Andersson, Marin Litoiu
, Bradley R. Schmerl, Danny Weyns
, Luciano Baresi
, Nelly Bencomo, Yuriy Brun, Javier Cámara, Radu Calinescu, Myra B. Cohen, Alessandra Gorla, Vincenzo Grassi, Lars Grunske
, Paola Inverardi, Jean-Marc Jézéquel
, Sam Malek, Raffaela Mirandola
, Marco Mori, Hausi A. Müller
, Romain Rouvoy
, Cecília M. F. Rubira
, Éric Rutten, Mary Shaw, Giordano Tamburrelli, Gabriel Tamura
, Norha M. Villegas
, Thomas Vogel
, Franco Zambonelli:
Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. Software Engineering for Self-Adaptive Systems 2013: 3-30 - [c117]Bradley R. Schmerl, Jesper Andersson, Thomas Vogel
, Myra B. Cohen, Cecília M. F. Rubira
, Yuriy Brun, Alessandra Gorla, Franco Zambonelli, Luciano Baresi
:
Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems 2013: 64-89 - [c116]Luciano Baresi
, Sam Guinea:
Event-Based Multi-level Service Monitoring. ICWS 2013: 83-90 - [c115]Luciano Baresi
, Gianluca Ripa, Liliana Pasquale:
IRET: Requirements for service platforms. RE 2013: 336-337 - [c114]Paulo Augusto Nardi, Márcio Eduardo Delamaro, Luciano Baresi
:
Specifying automated oracles for Simulink models. RTCSA 2013: 330-333 - [c113]Luciano Baresi
, Sam Guinea, Panteha Saeedi:
Self-managing Overlays for Infrastructure-less Networks. SASO 2013: 81-90 - [c112]Steven Fraser
, Luciano Baresi
, Jane Cleland-Huang, Carlo A. Furia, Georges Gonthier, Paola Inverardi, Moshe Y. Vardi:
A publication culture in software engineering (panel). ESEC/SIGSOFT FSE 2013: 19-23 - [p7]Luciano Baresi
, Sam Guinea, Panteha Saeedi:
Achieving Self-adaptation through Dynamic Group Management. Assurances for Self-Adaptive Systems 2013: 214-239 - [e9]Bertrand Meyer, Luciano Baresi, Mira Mezini:
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. ACM 2013, ISBN 978-1-4503-2237-9 [contents] - [i2]Luciano Baresi, Andreas Rummler, Klaus Schmid:
Customizing Service Platforms (Dagstuhl Seminar 13171). Dagstuhl Reports 3(4): 114-150 (2013) - 2012
- [j20]Luciano Baresi
, Sam Guinea, Liliana Pasquale:
Service-Oriented Dynamic Software Product Lines. Computer 45(10): 42-48 (2012) - [j19]Luciano Baresi
, Angelo Morzenti, Alfredo Motta, Matteo Rossi:
A logic-based semantics for the verification of multi-diagram UML models. ACM SIGSOFT Softw. Eng. Notes 37(4): 1-8 (2012) - [c111]Alek Radjenovic, Nikolas Drivalos Matragkas, Richard F. Paige, Matteo Rossi, Alfredo Motta, Luciano Baresi
, Dimitrios S. Kolovos
:
MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems. ECMFA 2012: 340-351 - [c110]Giovanni Alli, Luciano Baresi, Andrea G. Bianchessi, Gianpaolo Cugola, Alessandro Margara, Angelo Morzenti, Carlo Ongini, Emanuele Panigati, Matteo Rossi, S. Rotondi, Sergio M. Savaresi, Fabio Alberto Schreiber, Alessandro Sivieri, Letizia Tanca, Edoardo G. Vannutelli Depoli:
Green Move: Towards next generation sustainable smartphone-based vehicle sharing. SustainIT 2012: 1-5 - [c109]Luciano Baresi
, Gianni Ferretti
, Alberto Leva
, Matteo Rossi:
Flexible logic-based Co-simulation of Modelica models. INDIN 2012: 635-640 - [c108]Luciano Baresi
, Sam Guinea:
Architectural Styles for Adaptive Systems: A Tutorial. SASO 2012: 237-238 - [c107]Karina Villela, Sholom Cohen, Luciano Baresi
, Jaejoon Lee, Klaus Schmid
:
SCArVeS: services, clouds, and alternative design strategies for variant-rich software systems. SPLC (1) 2012: 291 - [c106]Luciano Baresi
, Nikolaos Georgantas, Kristof Hamann, Valérie Issarny, Winfried Lamersdorf, Andreas Metzger, Barbara Pernici
:
Emerging Research Themes in Services-Oriented Systems. SRII Global Conference 2012: 333-342 - [e8]Hausi A. Müller, Luciano Baresi:
7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2012, Zurich, Switzerland, June 4-5, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-1788-7 [contents] - 2011
- [j18]Danilo Ardagna
, Luciano Baresi
, Sara Comai
, Marco Comuzzi
, Barbara Pernici
:
A Service-Based Framework for Flexible Business Processes. IEEE Softw. 28(2): 61-67 (2011) - [j17]Luciano Baresi
, Carlo Ghezzi, Luca Mottola
:
Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens. IEEE Trans. Software Eng. 37(2): 228-246 (2011) - [j16]Luciano Baresi
, Sam Guinea:
Self-Supervising BPEL Processes. IEEE Trans. Software Eng. 37(2): 247-263 (2011) - [c105]Luciano Baresi
, Matteo Miraz:
A Component-Oriented Metamodel for the Modernization of Software Applications. ICECCS 2011: 179-187 - [c104]Luciano Baresi
, Sam Guinea:
A3: self-adaptation capabilities through groups and coordination. ISEC 2011: 11-20 - [c103]Luciano Baresi
, Jane Cleland-Huang, James Lockerbie
, Neil A. M. Maiden, Liliana Pasquale:
An introduction to the workshop on requirements for systems, services, and systems of systems. RESS 2011 - [c102]Liliana Pasquale, Luciano Baresi, Bashar Nuseibeh:
Towards Adaptive Systems through Requirements@Runtime. Models@run.time 2011: 13-24 - [c101]Xiaoxing Ma
, Luciano Baresi
, Carlo Ghezzi, Valerio Panzica La Manna, Jian Lu:
Version-consistent dynamic reconfiguration of component-based distributed systems. SIGSOFT FSE 2011: 245-255 - [c100]Asli Zengin, Annapaola Marconi
, Luciano Baresi
, Marco Pistore
:
CLAM: Managing cross-layer adaptation in service-based systems. SOCA 2011: 1-8 - [c99]Karina Villela, Sholom Cohen, Luciano Baresi
:
SCArVeS: Services, Clouds, and Alternative Design Strategies for Variant-Rich Software Systems. SPLC 2011: 342 - [c98]Luciano Baresi
, Sam Guinea:
A-3: An Architectural Style for Coordinating Distributed Components. WICSA 2011: 161-170 - [p6]Luciano Baresi, Liliana Pasquale:
Adaptation Goals for Adaptive Service-Oriented Architectures. Relating Software Requirements and Architectures 2011: 161-181 - 2010
- [j15]Luciano Baresi
, Sam Guinea, Olivier Nano, George Spanoudakis:
Comprehensive Monitoring of BPEL Processes. IEEE Internet Comput. 14(3): 50-57 (2010) - [c97]Matteo Miraz, Pier Luca Lanzi
, Luciano Baresi
:
Improving evolutionary testing by means of efficiency enhancement techniques. IEEE Congress on Evolutionary Computation 2010: 1-8 - [c96]Rogério de Lemos
, Holger Giese, Hausi A. Müller
, Mary Shaw, Jesper Andersson, Marin Litoiu
, Bradley R. Schmerl, Gabriel Tamura
, Norha M. Villegas
, Thomas Vogel
, Danny Weyns
, Luciano Baresi
, Basil Becker, Nelly Bencomo, Yuriy Brun
, Bojan Cukic
, Ronald J. Desmarais, Schahram Dustdar
, Gregor Engels, Kurt Geihs
, Karl M. Göschka
, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai
, Jeff Kramer, Antónia Lopes
, Jeff Magee, Sam Malek, Serge Mankovski, Raffaela Mirandola
, John Mylopoulos, Oscar Nierstrasz
, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Dennis B. Smith, João Pedro Sousa, Ladan Tahvildari, Kenny Wong, Jochen Wuttke:
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Software Engineering for Self-Adaptive Systems 2010: 1-32 - [c95]Jesper Andersson, Luciano Baresi
, Nelly Bencomo, Rogério de Lemos
, Alessandra Gorla, Paola Inverardi, Thomas Vogel
:
Software Engineering Processes for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems 2010: 51-75 - [c94]Luciano Baresi
, Mauro Caporuscio
, Carlo Ghezzi, Sam Guinea:
Model-Driven Management of Services. ECOWS 2010: 147-154 - [c93]Luciano Baresi
, Angelo Morzenti
, Alfredo Motta, Matteo Rossi:
Towards the UML-Based Formal Verification of Timed Systems. FMCO 2010: 267-286 - [c92]Schahram Dustdar
, Christoph Dorn
, Fei Li, Luciano Baresi
, Giacomo Cabri
, Cesare Pautasso, Franco Zambonelli
:
A roadmap towards sustainable self-aware service systems. SEAMS 2010: 10-19 - [c91]Luca Mottola
, Thiemo Voigt, Fredrik Österlind, Joakim Eriksson, Luciano Baresi
, Carlo Ghezzi:
Anquiro: enabling efficient static verification of sensor network software. SESENA@ICSE 2010: 32-37 - [c90]Luciano Baresi
, Liliana Pasquale:
Live goals for adaptive service compositions. SEAMS 2010: 114-123 - [c89]Luciano Baresi
, Matteo Miraz:
TestFul: automatic unit-test generation for Java classes. ICSE (2) 2010: 281-284 - [c88]Luciano Baresi
, Sam Guinea:
Mashups with Mashlight. ICSOC 2010: 711-712 - [c87]Luciano Baresi
, Pier Luca Lanzi
, Matteo Miraz:
TestFul: An Evolutionary Test Approach for Java. ICST 2010: 185-194 - [c86]Luciano Baresi
, Liliana Pasquale:
Adaptive Goals for Self-Adaptive Service Compositions. ICWS 2010: 353-360 - [c85]Luciano Baresi
, Angelo Morzenti
, Alfredo Motta, Matteo Rossi:
From Interaction Overview Diagrams to Temporal Logic. MoDELS (Workshops) 2010: 90-104 - [c84]Luciano Baresi
, Liliana Pasquale, Paola Spoletini
:
Fuzzy Goals for Requirements-Driven Adaptation. RE 2010: 125-134 - [c83]Luciano Baresi
, Sam Guinea:
Consumer Mashups with Mashlight. ServiceWave 2010: 112-123 - [c82]Luciano Baresi
, Carlo Ghezzi:
The disappearing boundary between development-time and run-time. FoSER 2010: 17-22 - [p5]Luciano Baresi
, Antonio Di Ferdinando, Antonio Manzalini, Franco Zambonelli
:
The CASCADAS Framework for Autonomic Communications. Autonomic Communication 2010: 147-168 - [p4]Raman Kazhamiakin, Salima Benbernou, Luciano Baresi
, Pierluigi Plebani
, Maike Uhlig, Olivier Barais
:
Adaptation of Service-Based Systems. S-CUBE Book 2010: 117-156 - [i1]Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ronald J. Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Marin Litoiu, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovskii, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè
, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Bradley R. Schmerl, Dennis B. Smith, João Pedro Sousa, Gabriel Tamura, Ladan Tahvildari, Norha M. Villegas, Thomas Vogel, Danny Weyns, Kenny Wong, Jochen Wuttke:
Software Engineering for Self-Adaptive Systems: A second Research Roadmap. Software Engineering for Self-Adaptive Systems 2010
2000 – 2009
- 2009
- [j14]Vahid Rafe, Adel Torkaman Rahmani, Luciano Baresi
, Paola Spoletini
:
Towards automated verification of layered graph transformation specifications. IET Softw. 3(4): 276-291 (2009) - [j13]Luciano Baresi, Piero Fraternali, Geert-Jan Houben:
Editorial. J. Web Eng. 8(1): 1-2 (2009) - [c81]Wolfgang Theilmann, Luciano Baresi
:
Multi-level SLAs for Harmonized Management in the Future Internet. Future Internet Assembly 2009: 193-202 - [c80]Luciano Baresi
, Domenico Bianculli
, Sam Guinea, Paola Spoletini:
Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions. FMOODS/FORTE 2009: 26-40 - [c79]Matteo Miraz, Pier Luca Lanzi, Luciano Baresi
:
TestFul: using a hybrid evolutionary algorithm for testing stateful systems. GECCO 2009: 1947-1948 - [c78]Luciano Baresi
, Elisabetta Di Nitto
, Sam Guinea, Schahram Dustdar
:
Multi-dimensional service compositions. ICSE Companion 2009: 323-326 - [c77]Luciano Baresi
, Sam Guinea, Marco Pistore
, Michele Trainotti:
Dynamo + Astro: An Integrated Approach for BPEL Monitoring. ICWS 2009: 230-237 - [e7]Luciano Baresi, Chi-Hung Chi, Jun Suzuki:
Service-Oriented Computing, 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings. Lecture Notes in Computer Science 5900, 2009, ISBN 978-3-642-10382-7 [contents] - [r1]Luciano Baresi:
Activity Diagrams. Encyclopedia of Database Systems 2009: 41-45 - 2008
- [j12]Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia Monga:
Using Graph Transformation Systems to Specify and Verify Data Abstractions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008) - [c76]Luciano Baresi
, Matteo Miraz, Pierluigi Plebani
:
A Flexible and Semantic-Aware Publication Infrastructure for Web Services. CAiSE 2008: 435-449 - [c75]Luciano Baresi:
Self-adaptive Web Service Compositions. EDOCW 2008: 343 - [c74]Luciano Baresi
, Sam Guinea, Giordano Tamburrelli:
Towards decentralized self-adaptive component-based systems. SEAMS 2008: 57-64 - [c73]Luciano Baresi
, Sam Guinea, Liliana Pasquale:
Integrated and Composable Supervision of BPEL Processes. ICSOC 2008: 614-619 - [c72]Luciano Baresi
, Sam Guinea:
A dynamic and reactive approach to the supervision of BPEL processes. ISEC 2008: 39-48 - [c71]Luciano Baresi
, Sam Guinea, Liliana Pasquale:
Towards a unified framework for the monitoring and recovery of BPEL processes. TAV-WEB 2008: 15-19 - [c70]Luciano Baresi
, Neil A. M. Maiden, Peter Sawyer:
Service-Centric Systems and Requirements Engineering. RE 2008: 305 - [c69]Luciano Baresi
, Sam Guinea, Raman Kazhamiakin
, Marco Pistore
:
An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations. ServiceWave 2008: 1-12 - [c68]Luciano Baresi
, Giordano Tamburrelli:
Loose Compositions for Autonomic Systems. SC@ETAPS 2008: 165-172 - 2007
- [j11]Luciano Baresi
, Domenico Bianculli
, Carlo Ghezzi, Sam Guinea, Paola Spoletini
:
Validation of web service compositions. IET Softw. 1(6): 219-232 (2007) - [j10]Luciano Baresi
, Elisabetta Di Nitto
, Carlo Ghezzi, Sam Guinea:
A framework for the deployment of adaptable web service compositions. Serv. Oriented Comput. Appl. 1(1): 75-91 (2007) - [j9]Luciano Baresi
, Sandro Morasca
:
Three empirical studies on estimating the design effort of Web applications. ACM Trans. Softw. Eng. Methodol. 16(4): 15 (2007) - [c67]Luciano Baresi
, Sam Guinea, Pierluigi Plebani
:
Policies and Aspects for the Supervision of BPEL Processes. CAiSE 2007: 340-354 - [c66]Fei He, Luciano Baresi
, Carlo Ghezzi, Paola Spoletini:
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. FORTE 2007: 247-262 - [c65]Luciano Baresi
, Sam Guinea:
Dynamo and Self-Healing BPEL Compositions. ICSE Companion 2007: 69-70 - [c64]Luciano Baresi
, Carlo Ghezzi, Luca Mottola
:
On Accurate Automatic Verification of Publish-Subscribe Architectures. ICSE 2007: 199-208 - [c63]K. S. May Chan, Judith Bishop, Johan Steyn, Luciano Baresi
, Sam Guinea:
A Fault Taxonomy for Web Service Composition. ICSOC Workshops 2007: 363-375 - [c62]Luciano Baresi
, Domenico Bianculli
, Carlo Ghezzi, Sam Guinea, Paola Spoletini
:
A Timed Extension of WSCoL. ICWS 2007: 663-670 - [c61]Domenico Bianculli
, Carlo Ghezzi, Paola Spoletini, Luciano Baresi
, Sam Guinea:
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions. Lipari Summer School 2007: 131-160 - [c60]Luciano Baresi, Andrea Maurino, Stefano Modafferi:
Distributed BPEL Processes. SEKE 2007: 692-697 - [c59]Luciano Baresi
, Sam Guinea, Liliana Pasquale:
Self-healing BPEL processes with Dynamo and the JBoss rule engine. ESSPE 2007: 11-20 - [c58]Luciano Baresi
, Daniele Braga, Marco Comuzzi
, Filippo Pacifici, Pierluigi Plebani
:
A service-based infrastructure for advanced logistics. IW-SOSWE 2007: 47-53 - [c57]Luciano Baresi
, Giorgio Gerosa, Carlo Ghezzi, Luca Mottola
:
Playing with time in publish-subscribe using a domain-specific model checker. SAVCBS 2007: 55-62 - [c56]Luciano Baresi
:
Web Services and Web 2.0: Married or Fiancés? WSE 2007: 1 - [c55]Luciano Baresi
, Vahid Rafe, Adel Torkaman Rahmani, Paola Spoletini:
An Efficient Solution for Model Checking Graph Transformation Systems. GT-VC@CONCUR 2007: 3-21 - [p3]Luciano Baresi
, Elisabetta Di Nitto
:
Introduction. Test and Analysis of Web Services 2007: 1-7 - [p2]Luciano Baresi
, Carlo Ghezzi, Sam Guinea:
Towards Self-healing Composition of Services. Contributions to Ubiquitous Computing 2007: 27-46 - [e6]Luciano Baresi, Piero Fraternali, Geert-Jan Houben:
Web Engineering, 7th International Conference, ICWE 2007, Como, Italy, July 16-20, 2007, Proceedings. Lecture Notes in Computer Science 4607, Springer 2007, ISBN 978-3-540-73596-0 [contents] - [e5]Luciano Baresi
, Elisabetta Di Nitto
:
Test and Analysis of Web Services. Springer 2007, ISBN 978-3-540-72912-9 [contents] - 2006
- [j8]Luciano Baresi
, Elisabetta Di Nitto
, Carlo Ghezzi:
Toward Open-World Software: Issue and Challenges. Computer 39(10): 36-43 (2006) - [j7]Luciano Baresi, Andrea Maurino, Stefano Modafferi:
Towards Distributed BPEL Orchestrations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 3 (2006) - [j6]Luciano Baresi
, Reiko Heckel, Sebastian Thöne, Dániel Varró
:
Style-based modeling and refinement of service-oriented architectures. Softw. Syst. Model. 5(2): 187-207 (2006) - [c54]Luciano Baresi
, Paolo Beretta, Roberto Fraccapani, Carlo Ghezzi, Filippo Pacifici:
Towards a Model-driven Approach to Develop Applications based on Physical Active Objects. APSEC 2006: 173-182 - [c53]Luciano Baresi
, Carlo Ghezzi, Luca Mottola:
Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures. FORTE 2006: 131-135 - [c52]Luciano Baresi
, Paola Spoletini
:
On the Use of Alloy to Analyze Graph Transformation Systems. ICGT 2006: 306-320 - [c51]Luciano Baresi, Luca Mainetti:
W2000 meets J2ME for the Fast Prototyping of Mobile Web Applications. IASTED Conf. on Software Engineering 2006: 59-64 - [c50]Luciano Baresi
, Sam Guinea, Marco Plebani:
Business Process Monitoring for Dependability. WADS 2006: 337-361 - [c49]Luciano Baresi
, Sam Guinea:
Tutorial: towards dynamic web services. ICSE 2006: 1067-1068 - [c48]Luciano Baresi
, Matteo Miraz:
A Distributed Approach for the Federation of Heterogeneous Registries. ICSOC 2006: 240-251 - [c47]Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi:
Towards Open-World Software: Issue and Challenges. SEW 2006: 249-252 - [c46]Luciano Baresi, Karsten Ehrig, Reiko Heckel:
Verification of Model Transformations: A Case Study with BPEL. TGC 2006: 183-199 - [p1]Luciano Baresi
, Sebastiano Colazzo, Luca Mainetti
, Sandro Morasca
:
W2000: A Modelling Notation for Complex Web Applications. Web Engineering 2006: 335-364 - [e4]Luciano Baresi, Reiko Heckel:
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. Lecture Notes in Computer Science 3922, Springer 2006, ISBN 3-540-33093-3 [contents] - 2005
- [j5]Luciano Baresi
, Schahram Dustdar
, Harald C. Gall
, Maristella Matera
:
Special issue on ubiquitous mobile information and collaboration systems (UMICS). Pers. Ubiquitous Comput. 9(5): 261-261 (2005) - [j4]Luciano Baresi
, Mauro Pezzè
:
Formal interpreters for diagram notations. ACM Trans. Softw. Eng. Methodol. 14(1): 42-84 (2005) - [c45]Luciano Baresi, Mauro Pezzè:
From Graph Transformation to Software Engineering and Back. Formal Methods in Software and Systems Modeling 2005: 24-37 - [c44]Luciano Baresi
, Carlo Ghezzi, Antonio Miele
, Matteo Miraz, Andrea Naggi, Filippo Pacifici:
Hybrid service-oriented architectures: a case-study in the automotive domain. SEM 2005: 62-68 - [c43]Marzia Adorni, Francesca Arcelli, Danilo Ardagna, Luciano Baresi, Carlo Batini, Cinzia Cappiello, Marco Comerio, Marco Comuzzi, Flavio De Paoli, Chiara Francalanci, Paolo Losi, Simone Grega, Andrea Maurino, Stefano Modafferi, Barbara Pernici, Claudia Raibulet, Francesco Tisato:
The MAIS approach to web service design. EMMSAD 2005: 1-12 - [c42]Luciano Baresi
, Sam Guinea:
An Introduction to Self-Healing Web Services. ICECCS 2005: 4 - [c41]Luciano Baresi
, Sam Guinea:
Towards Dynamic Monitoring of WS-BPEL Processes. ICSOC 2005: 269-282 - [c40]Luciano Baresi
, Sam Guinea:
Dynamo: Dynamic Monitoring of WS-BPEL Processes. ICSOC 2005: 478-483 - [c39]Luciano Baresi, Piero Fraternali, Massimo Tisi, Sandro Morasca:
Towards Model-Driven Testing of a Web Application Generator. ICWE 2005: 75-86 - [c38]Luciano Baresi
, Elisa Quintarelli
:
Graph transformation to infer schemata from XML documents. SAC 2005: 642-646 - [c37]Luciano Baresi
, Sebastiano Colazzo, Luca Mainetti
:
First experiences on constraining consistency and adaptivity of W2000 models. SAC 2005: 1674-1678 - [c36]Luciano Baresi
, Sam Guinea, Pierluigi Plebani:
WS-Policy for Service Monitoring. TES 2005: 72-83 - [e3]Luciano Baresi, Schahram Dustdar
, Harald C. Gall
, Maristella Matera:
Ubiquitous Mobile Information and Collaboration Systems, Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3272, Springer 2005, ISBN 3-540-24100-0 [contents] - 2004
- [c35]Luciano Baresi
, Carlo Ghezzi:
Validation of Component and Service Federations in Automotive Software Applications. ASWSD 2004: 57-73 - [c34]Luciano Baresi
, Reiko Heckel:
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. ICGT 2004: 431-433 - [c33]Luciano Baresi
, Carlo Ghezzi, Sam Guinea:
Smart monitors for composed services. ICSOC 2004: 193-202 - [c32]Luciano Baresi, Andrea Maurino, Stefano Modafferi:
Workflow Partitioning in Mobile Information Systems. MOBIS 2004: 93-106 - [c31]Luciano Baresi
, Reiko Heckel, Sebastian Thöne, Dániel Varró
:
Style-Based Refinement of Dynamic Software Architectures. WICSA 2004: 155-166 - [c30]Luciano Baresi
, Mauro Pezzè
:
Petri Nets as Semantic Domain for Diagram Notations. PNGT@ICGT 2004: 29-44 - [c29]Luciano Baresi
, Michal Young:
Toward Translating Design Constraints to Run-Time Assertions. TACoS 2004: 73-84 - [c28]Luciano Baresi
, Mauro Pezzè
:
An Introduction to Software Testing. FoVMT 2004: 89-111 - 2003
- [c27]Luciano Baresi, Sara Comai, Schahram Dustdar, Harald C. Gall, Maristella Matera:
UMICS '03 Preface. CAiSE Workshops 2003 - [c26]Luciano Baresi
, Sandro Morasca
, Paolo Paolini:
Estimating the Design Effort of Web Applications. IEEE METRICS 2003: 62-72 - [c25]Luciano Baresi
, Reiko Heckel, Sebastian Thöne, Dániel Varró
:
Modeling and validation of service-oriented architectures: application vs. style. ESEC / SIGSOFT FSE 2003: 68-77 - [c24]Luciano Baresi, Devis Bianchini, Valeria De Antonellis, Maria Grazia Fugini, Barbara Pernici, Pierluigi Plebani
:
Context-Aware Composition of E-services. TES 2003: 28-41 - [e2]Giuseppe Santucci, Wolfgang Klas, Michela Bertolotto, Coral Calero, Luciano Baresi:
4th International Conference on Web Information Systems Engineering Workshops, WISE 2003 Workshops, Rome, Italy, December 13, 2003. IEEE Computer Society 2003, ISBN 0-7695-2103-7 [contents] - 2002
- [c23]Luciano Baresi, Mauro Pezzè:
A Toolbox for Automating Visual Software Engineering. FASE 2002: 189-202 - [c22]Luciano Baresi
, Franca Garzotto, Luca Mainetti, Paolo Paolini:
Meta-modeling Techniques Meet Web Application Design Tools. FASE 2002: 294-307 - [c21]Luciano Baresi
, Reiko Heckel:
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. ICGT 2002: 402-429 - [c20]Luciano Baresi
, Giovanni Denaro
, Luca Mainetti
, Paolo Paolini:
Assertions to better specify the amazon bug. SEKE 2002: 585-592 - [c19]Luciano Baresi, Sandro Morasca
, Paolo Paolini:
An Empirical Study on the Design Effort of Web Applications. WISE 2002: 345-354 - [c18]Luciano Baresi, Marco Mauri, Mauro Pezzè
:
PLCTools: Graph Transformation Meets PLC Design. GraBaTs 2002: 79 - 2001
- [c17]Luciano Baresi, Mauro Pezzè:
On Formalizing UML with High-Level Petri Nets. Concurrent Object-Oriented Programming and Petri Nets 2001: 276-304 - [c16]Luciano Baresi, Franca Garzotto, Paolo Paolini:
Extending UML for Modeling Web Applications. HICSS 2001 - [c15]Franca Garzotto, Paolo Paolini, Luciano Baresi:
Supporting Reusable Web Design with HDM-Edit. HICSS 2001 - [c14]Luciano Baresi, Mauro Pezzè
:
Improving UML with Petri nets. UNIGRA 2001: 107-119 - [c13]Luciano Baresi, Mauro Pezzè
, Gabriele Taentzer:
Introduction - Graph Transformation and Visual Modeling Techniques - GT-VMT 2001. GT-VMT@ICALP 2001: 325-326 - [e1]Luciano Baresi, Mauro Pezzè, Gabriele Taentzer:
International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT 2001, Satellite Workshop of ICALP 2001, Crete, Greece, July 12-13, 2001. Electronic Notes in Theoretical Computer Science 50(3), Elsevier 2001 [contents] - 2000
- [c12]Luciano Baresi, Franca Garzotto, Paolo Paolini:
From Web Sites to Web Applications: New Issues for Conceptual Modeling. ER (Workshops) 2000: 89-100 - [c11]Mauro Pezzè, Luciano Baresi:
Can Graph Grammars Make Formal Methods More Human? ICALP Satellite Workshops 2000: 387-394 - [c10]Luciano Baresi, Marco Mauri, Antonello Monti, Mauro Pezzè
:
PLCTOOLS: design, formal validation, and code generation for programmable controllers. SMC 2000: 2437-2442
1990 – 1999
- 1999
- [c9]Luciano Baresi, Mauro Pezzè:
A Formal Definition of Stuctured Analysis with Programmable Graph Grammars. AGTIVE 1999: 193-208 - [c8]Luciano Baresi, Fabio Casati, Silvana Castano
, Maria Grazia Fugini, Isabelle Mirbel, Barbara Pernici
:
WIDE workflow development methodology. WACC 1999: 19-28 - 1998
- [j3]Luciano Baresi
, Mauro Pezzè
:
Toward Formalizing Structured Analysis. ACM Trans. Softw. Eng. Methodol. 7(1): 80-107 (1998) - 1997
- [j2]Cristiana Bolchini, Luciano Baresi
:
Software methodologies in VHDL code analysis. J. Syst. Archit. 44(1): 3-21 (1997) - [c7]Luciano Baresi, Manuele Di Paola, Antonio Gargiulo, Mauro Pezzè
:
LEMMA: a language for easy medical models analysis. CBMS 1997: 244-249 - [c6]Luciano Baresi
, Alessandro Orso, Mauro Pezzè
:
Introducing Formal Specification Methods in Industrial Practice. ICSE 1997: 56-66 - 1996
- [c5]Donatella Sciuto, Luciano Baresi
, Cristiana Bolchini:
Software methodologies for VHDL code static analysis based on flow graphs. EURO-DAC 1996: 406-411 - 1995
- [j1]Sergio Bandinelli, Luciano Baresi, Alfonso Fuggetta, Luigi Lavazza:
Experiences in the Implementation of a Process-centered Software Engineering Environment Using Object-Oriented Technology. Theory Pract. Object Syst. 1(2): 115-131 (1995) - [c4]Alejandro Alonso
, Hanne Christensen, Luciano Baresi, Marko Heikkinen:
IDERS: an integrated environment for the development of hard real-time systems. RTS 1995: 4-10 - [c3]Luciano Baresi, Alessandro Orso, Mauro Pezzè
:
Customizable notations for kernel formalisms. ICECCS 1995: 43- - 1993
- [c2]Sergio Bandinelli, Luciano Baresi, Alfonso Fuggetta, Luigi Lavazza:
Requirements and Early Experiences in the Implementation of the SPADE Repository using Object-Oriented Technology. ISOTAS 1993: 511-528 - [c1]Sergio Bandinelli, Luciano Baresi, Alfonso Fuggetta, Luigi Lavazza:
Requirements and Early Experiences in the Implementation of the SPADE Repository. ISPW 1993: 30-32
Coauthor Index

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-13 21:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint