Requirements and Early Experiences in the Implementation of the SPADE Repository using Object-Oriented Technology. - Sergio Bandinelli; Luciano Baresi; Alfonso Fuggetta; Luigi Lavazza (ISOTAS, 1993)

Requirements and Early Experiences in the Implementation of the SPADE Repository. - Sergio Bandinelli; Luciano Baresi; Alfonso Fuggetta; Luigi Lavazza (ISPW, 1993)

IDERS: an integrated environment for the development of hard real-time systems. - Alejandro Alonso 001; Hanne Christensen; Luciano Baresi; Marko Heikkinen (RTS, 1995)

Customizable notations for kernel formalisms. - Luciano Baresi; Alessandro Orso; Mauro Pezzè (ICECCS, 1995)

Experiences in the Implementation of a Process-centered Software Engineering Environment Using Object-Oriented Technology. - Sergio Bandinelli; Luciano Baresi; Alfonso Fuggetta; Luigi Lavazza (Theory Pract. Object Syst., 1995)

Software methodologies for VHDL code static analysis based on flow graphs. - Donatella Sciuto; Luciano Baresi; Cristiana Bolchini (EURO-DAC, 1996)

LEMMA: a language for easy medical models analysis. - Luciano Baresi; Manuele Di Paola; Antonio Gargiulo; Mauro Pezzè (CBMS, 1997)

Introducing Formal Specification Methods in Industrial Practice. - Luciano Baresi; Alessandro Orso; Mauro Pezzè (ICSE, 1997)

Software methodologies in VHDL code analysis. - Cristiana Bolchini; Luciano Baresi (J. Syst. Archit., 1997)

Toward Formalizing Structured Analysis. - Luciano Baresi; Mauro Pezzè (ACM Trans. Softw. Eng. Methodol., 1998)

A Formal Definition of Stuctured Analysis with Programmable Graph Grammars. - Luciano Baresi; Mauro Pezzè (AGTIVE, 1999)

WIDE workflow development methodology. - Luciano Baresi; Fabio Casati; Silvana Castano; Maria Grazia Fugini; Isabelle Mirbel; Barbara Pernici (WACC, 1999)

From Web Sites to Web Applications: New Issues for Conceptual Modeling. - Luciano Baresi; Franca Garzotto; Paolo Paolini (ER (Workshops), 2000)

Can Graph Grammars Make Formal Methods More Human? - Mauro Pezzè; Luciano Baresi (ICALP Satellite Workshops, 2000)

PLCTOOLS: design, formal validation, and code generation for programmable controllers. - Luciano Baresi; Marco Mauri; Antonello Monti; Mauro Pezzè (SMC, 2000)

On Formalizing UML with High-Level Petri Nets. - Luciano Baresi; Mauro Pezzè (Concurrent Object-Oriented Programming and Petri Nets, 2001)

Extending UML for Modeling Web Applications. - Luciano Baresi; Franca Garzotto; Paolo Paolini (HICSS, 2001)

Supporting Reusable Web Design with HDM-Edit. - Franca Garzotto; Paolo Paolini; Luciano Baresi (HICSS, 2001)

Improving UML with Petri nets. - Luciano Baresi; Mauro Pezzè (UNIGRA, 2001)

Introduction - Graph Transformation and Visual Modeling Techniques - GT-VMT 2001. - Luciano Baresi; Mauro Pezzè; Gabriele Taentzer (GT-VMT@ICALP, 2001)

Meta-modeling Techniques Meet Web Application Design Tools. - Luciano Baresi; Franca Garzotto; Luca Mainetti; Paolo Paolini (FASE, 2002)

A Toolbox for Automating Visual Software Engineering. - Luciano Baresi; Mauro Pezzè (FASE, 2002)

Assertions to better specify the amazon bug. - Luciano Baresi; Giovanni Denaro; Luca Mainetti; Paolo Paolini (SEKE, 2002)

An Empirical Study on the Design Effort of Web Applications. - Luciano Baresi; Sandro Morasca; Paolo Paolini (WISE, 2002)

PLCTools: Graph Transformation Meets PLC Design. - Luciano Baresi; Marco Mauri; Mauro Pezzè (GraBaTs, 2002)

UMICS '03 Preface. - Luciano Baresi; Sara Comai; Schahram Dustdar; Harald C. Gall; Maristella Matera (CAiSE Workshops, 2003)

Estimating the Design Effort of Web Applications. - Luciano Baresi; Sandro Morasca; Paolo Paolini (IEEE METRICS, 2003)

Modeling and validation of service-oriented architectures: application vs. style. - Luciano Baresi; Reiko Heckel; Sebastian Thöne; Dániel Varró (ESEC / SIGSOFT FSE, 2003)

Context-Aware Composition of E-services. - Luciano Baresi; Devis Bianchini; Valeria De Antonellis; Maria Grazia Fugini; Barbara Pernici; Pierluigi Plebani (TES, 2003)

Validation of Component and Service Federations in Automotive Software Applications. - Luciano Baresi; Carlo Ghezzi (ASWSD, 2004)

Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. - Luciano Baresi; Reiko Heckel (ICGT, 2004)

Smart monitors for composed services. - Luciano Baresi; Carlo Ghezzi; Sam Guinea (ICSOC, 2004)

Workflow Partitioning in Mobile Information Systems. - Luciano Baresi; Andrea Maurino; Stefano Modafferi (MOBIS, 2004)

Style-Based Refinement of Dynamic Software Architectures. - Luciano Baresi; Reiko Heckel; Sebastian Thöne; Dániel Varró (WICSA, 2004)

Petri Nets as Semantic Domain for Diagram Notations. - Luciano Baresi; Mauro Pezzè (PNGT@ICGT, 2004)

An Introduction to Software Testing. - Luciano Baresi; Mauro Pezzè (FoVMT, 2004)

Toward Translating Design Constraints to Run-Time Assertions. - Luciano Baresi; Michal Young (TACoS, 2004)

From Graph Transformation to Software Engineering and Back. - Luciano Baresi; Mauro Pezzè (Formal Methods in Software and Systems Modeling, 2005)

Hybrid service-oriented architectures: a case-study in the automotive domain. - Luciano Baresi; Carlo Ghezzi; Antonio Miele; Matteo Miraz; Andrea Naggi; Filippo Pacifici (SEM, 2005)

The MAIS approach to web service design. - 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; et al. (EMMSAD, 2005)

An Introduction to Self-Healing Web Services. - Luciano Baresi; Sam Guinea (ICECCS, 2005)

Towards Dynamic Monitoring of WS-BPEL Processes. - Luciano Baresi; Sam Guinea (ICSOC, 2005)

Dynamo: Dynamic Monitoring of WS-BPEL Processes. - Luciano Baresi; Sam Guinea (ICSOC, 2005)

Towards Model-Driven Testing of a Web Application Generator. - Luciano Baresi; Piero Fraternali; Massimo Tisi; Sandro Morasca (ICWE, 2005)

First experiences on constraining consistency and adaptivity of W2000 models. - Luciano Baresi; Sebastiano Colazzo; Luca Mainetti (SAC, 2005)

Graph transformation to infer schemata from XML documents. - Luciano Baresi; Elisa Quintarelli (SAC, 2005)

WS-Policy for Service Monitoring. - Luciano Baresi; Sam Guinea; Pierluigi Plebani (TES, 2005)

Special issue on ubiquitous mobile information and collaboration systems (UMICS). - Luciano Baresi; Schahram Dustdar; Harald C. Gall; Maristella Matera (Pers. Ubiquitous Comput., 2005)

Formal interpreters for diagram notations. - Luciano Baresi; Mauro Pezzè (ACM Trans. Softw. Eng. Methodol., 2005)

W2000: A Modelling Notation for Complex Web Applications. - Luciano Baresi; Sebastiano Colazzo; Luca Mainetti; Sandro Morasca (Web Engineering, 2006)

Towards a Model-driven Approach to Develop Applications based on Physical Active Objects. - Luciano Baresi; Paolo Beretta; Roberto Fraccapani; Carlo Ghezzi; Filippo Pacifici (APSEC, 2006)

Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures. - Luciano Baresi; Carlo Ghezzi; Luca Mottola (FORTE, 2006)

On the Use of Alloy to Analyze Graph Transformation Systems. - Luciano Baresi; Paola Spoletini (ICGT, 2006)

W2000 meets J2ME for the Fast Prototyping of Mobile Web Applications. - Luciano Baresi; Luca Mainetti (IASTED Conf. on Software Engineering, 2006)

Tutorial: towards dynamic web services. - Luciano Baresi; Sam Guinea (ICSE, 2006)

Business Process Monitoring for Dependability. - Luciano Baresi; Sam Guinea; Marco Plebani (WADS, 2006)

A Distributed Approach for the Federation of Heterogeneous Registries. - Luciano Baresi; Matteo Miraz (ICSOC, 2006)

Towards Open-World Software: Issue and Challenges. - Luciano Baresi; Elisabetta Di Nitto; Carlo Ghezzi (SEW, 2006)

Verification of Model Transformations: A Case Study with BPEL. - Luciano Baresi; Karsten Ehrig; Reiko Heckel (TGC, 2006)

Toward Open-World Software: Issue and Challenges. - Luciano Baresi; Elisabetta Di Nitto; Carlo Ghezzi (Computer, 2006)

Towards Distributed BPEL Orchestrations. - Luciano Baresi; Andrea Maurino; Stefano Modafferi (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

Style-based modeling and refinement of service-oriented architectures. - Luciano Baresi; Reiko Heckel; Sebastian Thöne; Dániel Varró (Softw. Syst. Model., 2006)

Policies and Aspects for the Supervision of BPEL Processes. - Luciano Baresi; Sam Guinea; Pierluigi Plebani (CAiSE, 2007)

Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. - Fei He 001; Luciano Baresi; Carlo Ghezzi; Paola Spoletini (FORTE, 2007)

Dynamo and Self-Healing BPEL Compositions. - Luciano Baresi; Sam Guinea (ICSE Companion, 2007)

On Accurate Automatic Verification of Publish-Subscribe Architectures. - Luciano Baresi; Carlo Ghezzi; Luca Mottola (ICSE, 2007)

A Fault Taxonomy for Web Service Composition. - K. S. May Chan; Judith Bishop; Johan Steyn; Luciano Baresi; Sam Guinea (ICSOC Workshops, 2007)

A Timed Extension of WSCoL. - Luciano Baresi; Domenico Bianculli; Carlo Ghezzi; Sam Guinea; Paola Spoletini (ICWS, 2007)

A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions. - Domenico Bianculli; Carlo Ghezzi; Paola Spoletini; Luciano Baresi; Sam Guinea (Lipari Summer School, 2007)

Distributed BPEL Processes. - Luciano Baresi; Andrea Maurino; Stefano Modafferi (SEKE, 2007)

A service-based infrastructure for advanced logistics. - Luciano Baresi; Daniele Braga; Marco Comuzzi; Filippo Pacifici; Pierluigi Plebani (IW-SOSWE, 2007)

Playing with time in publish-subscribe using a domain-specific model checker. - Luciano Baresi; Giorgio Gerosa; Carlo Ghezzi; Luca Mottola (SAVCBS, 2007)

Self-healing BPEL processes with Dynamo and the JBoss rule engine. - Luciano Baresi; Sam Guinea; Liliana Pasquale (ESSPE, 2007)

Introduction. - Luciano Baresi; Elisabetta Di Nitto (Test and Analysis of Web Services, 2007)

Web Services and Web 2.0: Married or Fiancés? - Luciano Baresi (WSE, 2007)

An Efficient Solution for Model Checking Graph Transformation Systems. - Luciano Baresi; Vahid Rafe; Adel Torkaman Rahmani; Paola Spoletini (GT-VC@CONCUR, 2007)

Validation of web service compositions. - Luciano Baresi; Domenico Bianculli; Carlo Ghezzi; Sam Guinea; Paola Spoletini (IET Softw., 2007)

A framework for the deployment of adaptable web service compositions. - Luciano Baresi; Elisabetta Di Nitto; Carlo Ghezzi; Sam Guinea (Serv. Oriented Comput. Appl., 2007)

Three empirical studies on estimating the design effort of Web applications. - Luciano Baresi; Sandro Morasca (ACM Trans. Softw. Eng. Methodol., 2007)

Towards Self-healing Composition of Services. - Luciano Baresi; Carlo Ghezzi; Sam Guinea (Contributions to Ubiquitous Computing, 2007)

A Flexible and Semantic-Aware Publication Infrastructure for Web Services. - Luciano Baresi; Matteo Miraz; Pierluigi Plebani (CAiSE, 2008)

Self-adaptive Web Service Compositions. - Luciano Baresi (EDOCW, 2008)

Towards decentralized self-adaptive component-based systems. - Luciano Baresi; Sam Guinea; Giordano Tamburrelli (SEAMS, 2008)

Integrated and Composable Supervision of BPEL Processes. - Luciano Baresi; Sam Guinea; Liliana Pasquale (ICSOC, 2008)

A dynamic and reactive approach to the supervision of BPEL processes. - Luciano Baresi; Sam Guinea (ISEC, 2008)

Towards a unified framework for the monitoring and recovery of BPEL processes. - Luciano Baresi; Sam Guinea; Liliana Pasquale (TAV-WEB, 2008)

Service-Centric Systems and Requirements Engineering. - Luciano Baresi; Neil A. M. Maiden; Peter Sawyer (RE, 2008)

An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations. - Luciano Baresi; Sam Guinea; Raman Kazhamiakin; Marco Pistore (ServiceWave, 2008)

Loose Compositions for Autonomic Systems. - Luciano Baresi; Giordano Tamburrelli (SC@ETAPS, 2008)

Using Graph Transformation Systems to Specify and Verify Data Abstractions. - Luciano Baresi; Carlo Ghezzi; Andrea Mocci; Mattia Monga (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Multi-level SLAs for Harmonized Management in the Future Internet. - Wolfgang Theilmann; Luciano Baresi (Future Internet Assembly, 2009)

Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions. - Luciano Baresi; Domenico Bianculli; Sam Guinea; Paola Spoletini (FMOODS/FORTE, 2009)

TestFul: using a hybrid evolutionary algorithm for testing stateful systems. - Matteo Miraz; Pier Luca Lanzi; Luciano Baresi (GECCO, 2009)

Multi-dimensional service compositions. - Luciano Baresi; Elisabetta Di Nitto; Sam Guinea; Schahram Dustdar (ICSE Companion, 2009)

Dynamo + Astro: An Integrated Approach for BPEL Monitoring. - Luciano Baresi; Sam Guinea; Marco Pistore; Michele Trainotti (ICWS, 2009)

Towards automated verification of layered graph transformation specifications. - Vahid Rafe; Adel Torkaman Rahmani; Luciano Baresi; Paola Spoletini (IET Softw., 2009)

Editorial. - Luciano Baresi; Piero Fraternali; Geert-Jan Houben (J. Web Eng., 2009)

Activity Diagrams. - Luciano Baresi (Encyclopedia of Database Systems, 2009)

The CASCADAS Framework for Autonomic Communications. - Luciano Baresi; Antonio Di Ferdinando; Antonio Manzalini; Franco Zambonelli (Autonomic Communication, 2010)

Improving evolutionary testing by means of efficiency enhancement techniques. - Matteo Miraz; Pier Luca Lanzi; Luciano Baresi (IEEE Congress on Evolutionary Computation, 2010)

Software Engineering Processes for Self-Adaptive Systems. - Jesper Andersson; Luciano Baresi; Nelly Bencomo; Rogério de Lemos; Alessandra Gorla; Paola Inverardi; Thomas Vogel 001 (Software Engineering for Self-Adaptive Systems, 2010)

Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. - 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 001; Danny Weyns; Luciano Baresi; et al. (Software Engineering for Self-Adaptive Systems, 2010)

Model-Driven Management of Services. - Luciano Baresi; Mauro Caporuscio; Carlo Ghezzi; Sam Guinea (ECOWS, 2010)

Towards the UML-Based Formal Verification of Timed Systems. - Luciano Baresi; Angelo Morzenti; Alfredo Motta; Matteo Rossi 001 (FMCO, 2010)

TestFul: automatic unit-test generation for Java classes. - Luciano Baresi; Matteo Miraz (ICSE (2), 2010)

Live goals for adaptive service compositions. - Luciano Baresi; Liliana Pasquale (SEAMS, 2010)

A roadmap towards sustainable self-aware service systems. - Schahram Dustdar; Christoph Dorn 001; Fei Li 002; Luciano Baresi; Giacomo Cabri; Cesare Pautasso; Franco Zambonelli (SEAMS, 2010)

Anquiro: enabling efficient static verification of sensor network software. - Luca Mottola; Thiemo Voigt; Fredrik Österlind; Joakim Eriksson; Luciano Baresi; Carlo Ghezzi (SESENA@ICSE, 2010)

Mashups with Mashlight. - Luciano Baresi; Sam Guinea (ICSOC, 2010)

TestFul: An Evolutionary Test Approach for Java. - Luciano Baresi; Pier Luca Lanzi; Matteo Miraz (ICST, 2010)

Adaptive Goals for Self-Adaptive Service Compositions. - Luciano Baresi; Liliana Pasquale (ICWS, 2010)

From Interaction Overview Diagrams to Temporal Logic. - Luciano Baresi; Angelo Morzenti; Alfredo Motta; Matteo Rossi 001 (MoDELS (Workshops), 2010)

Fuzzy Goals for Requirements-Driven Adaptation. - Luciano Baresi; Liliana Pasquale; Paola Spoletini (RE, 2010)

Adaptation of Service-Based Systems. - Raman Kazhamiakin; Salima Benbernou; Luciano Baresi; Pierluigi Plebani; Maike Uhlig; Olivier Barais (S-CUBE Book, 2010)

Consumer Mashups with Mashlight. - Luciano Baresi; Sam Guinea (ServiceWave, 2010)

The disappearing boundary between development-time and run-time. - Luciano Baresi; Carlo Ghezzi (FoSER, 2010)

Comprehensive Monitoring of BPEL Processes. - Luciano Baresi; Sam Guinea; Olivier Nano; George Spanoudakis (IEEE Internet Comput., 2010)

Adaptation Goals for Adaptive Service-Oriented Architectures. - Luciano Baresi; Liliana Pasquale (Relating Software Requirements and Architectures, 2011)

A Component-Oriented Metamodel for the Modernization of Software Applications. - Luciano Baresi; Matteo Miraz (ICECCS, 2011)

A3: self-adaptation capabilities through groups and coordination. - Luciano Baresi; Sam Guinea (ISEC, 2011)

An introduction to the workshop on requirements for systems, services, and systems of systems. - Luciano Baresi; Jane Cleland-Huang; James Lockerbie; Neil A. M. Maiden; Liliana Pasquale (RESS, 2011)

Towards Adaptive Systems through Requirements@Runtime. - Liliana Pasquale; Luciano Baresi; Bashar Nuseibeh (Models@run.time, 2011)

Version-consistent dynamic reconfiguration of component-based distributed systems. - Xiaoxing Ma; Luciano Baresi; Carlo Ghezzi; Valerio Panzica La Manna; Jian Lu 001 (SIGSOFT FSE, 2011)

CLAM: Managing cross-layer adaptation in service-based systems. - Asli Zengin; Annapaola Marconi; Luciano Baresi; Marco Pistore (SOCA, 2011)

SCArVeS: Services, Clouds, and Alternative Design Strategies for Variant-Rich Software Systems. - Karina Villela; Sholom Cohen; Luciano Baresi (SPLC, 2011)

A-3: An Architectural Style for Coordinating Distributed Components. - Luciano Baresi; Sam Guinea (WICSA, 2011)

A Service-Based Framework for Flexible Business Processes. - Danilo Ardagna; Luciano Baresi; Sara Comai; Marco Comuzzi; Barbara Pernici (IEEE Softw., 2011)

Self-Supervising BPEL Processes. - Luciano Baresi; Sam Guinea (IEEE Trans. Software Eng., 2011)

Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens. - Luciano Baresi; Carlo Ghezzi; Luca Mottola (IEEE Trans. Software Eng., 2011)

MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems. - Alek Radjenovic; Nikolas Drivalos Matragkas; Richard F. Paige; Matteo Rossi 001; Alfredo Motta; Luciano Baresi; Dimitrios S. Kolovos (ECMFA, 2012)

Green Move: Towards next generation sustainable smartphone-based vehicle sharing. - Giovanni Alli; Luciano Baresi; Andrea G. Bianchessi; Gianpaolo Cugola; Alessandro Margara; Angelo Morzenti; Carlo Ongini; Emanuele Panigati; Matteo Rossi 001; S. Rotondi; Sergio M. Savaresi; Fabio Alberto Schreiber; et al. (SustainIT, 2012)

Flexible logic-based Co-simulation of Modelica models. - Luciano Baresi; Gianni Ferretti; Alberto Leva; Matteo Rossi 001 (INDIN, 2012)

Architectural Styles for Adaptive Systems: A Tutorial. - Luciano Baresi; Sam Guinea (SASO, 2012)

SCArVeS: services, clouds, and alternative design strategies for variant-rich software systems. - Karina Villela; Sholom Cohen; Luciano Baresi; Jaejoon Lee; Klaus Schmid (SPLC (1), 2012)

Emerging Research Themes in Services-Oriented Systems. - Luciano Baresi; Nikolaos Georgantas; Kristof Hamann; Valérie Issarny; Winfried Lamersdorf; Andreas Metzger; Barbara Pernici (SRII Global Conference, 2012)

Service-Oriented Dynamic Software Product Lines. - Luciano Baresi; Sam Guinea; Liliana Pasquale (Computer, 2012)

A logic-based semantics for the verification of multi-diagram UML models. - Luciano Baresi; Angelo Morzenti; Alfredo Motta; Matteo Rossi 001 (ACM SIGSOFT Softw. Eng. Notes, 2012)

SeSaMe: Towards a Semantic Self Adaptive Middleware for Smart Spaces. - Luciano Baresi; Sam Guinea; Adnan Shahzada (EMAS@AAMAS, 2013)

Corrective Evolution of Adaptable Process Models. - Luciano Baresi; Annapaola Marconi; Marco Pistore; Adina Sirbu (BMMDS/EMMSAD, 2013)

Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. - 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 001; et al. (Software Engineering for Self-Adaptive Systems, 2013)

Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems. - Bradley R. Schmerl; Jesper Andersson; Thomas Vogel 001; Myra B. Cohen; Cecília M. F. Rubira; Yuriy Brun; Alessandra Gorla; Franco Zambonelli; Luciano Baresi (Software Engineering for Self-Adaptive Systems, 2013)

Event-Based Multi-level Service Monitoring. - Luciano Baresi; Sam Guinea (ICWS, 2013)

IRET: Requirements for service platforms. - Luciano Baresi; Gianluca Ripa; Liliana Pasquale (RE, 2013)

Specifying automated oracles for Simulink models. - Paulo Augusto Nardi; Márcio Eduardo Delamaro; Luciano Baresi (RTCSA, 2013)

Self-managing Overlays for Infrastructure-less Networks. - Luciano Baresi; Sam Guinea; Panteha Saeedi (SASO, 2013)

A publication culture in software engineering (panel). - Steven Fraser 001; Luciano Baresi; Jane Cleland-Huang; Carlo A. Furia; Georges Gonthier; Paola Inverardi; Moshe Y. Vardi (ESEC/SIGSOFT FSE, 2013)

Customizing Service Platforms (Dagstuhl Seminar 13171). - Luciano Baresi; Andreas Rummler; Klaus Schmid (Dagstuhl Reports, 2013)

A journey through SMScom: self-managing situational computing. - Luciano Baresi; Carlo Ghezzi (Comput. Sci. Res. Dev., 2013)

Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata. - Yu Zhou 010; Luciano Baresi; Matteo Rossi 001 (J. Comput. Sci. Technol., 2013)

Achieving Self-adaptation through Dynamic Group Management. - Luciano Baresi; Sam Guinea; Panteha Saeedi (Assurances for Self-Adaptive Systems, 2013)

Cloud-Based Systems Need Multi-Level Management. - Luciano Baresi; Domenico Bianculli; Sam Guinea (Advanced Web Services, 2014)

A Comprehensive Resource Management Solution for Web-based Systems. - Filippo Seracini; Massimiliano Menarini; Ingolf Krueger; Luciano Baresi; Sam Guinea; Giovanni Quattrocchi (ICAC, 2014)

Flexible modular formalization of UML sequence diagrams. - Luciano Baresi; Mohammad Mehdi Pourhashem Kallehbasti; Matteo Rossi 001 (FormaliSE, 2014)

Self-adaptive systems, services, and product lines. - Luciano Baresi (SPLC, 2014)

Short paper: Harmonizing heterogeneous components in SeSaMe. - Luciano Baresi; Sam Guinea; Adnan Shahzada (WF-IoT, 2014)

Consistent Runtime Evolution of Service-Based Business Processes. - Luciano Baresi; Sam Guinea; Valerio Panzica La Manna (WICSA, 2014)

Feature Interactions: The Next Generation (Dagstuhl Seminar 14281). - Sven Apel; Joanne M. Atlee; Luciano Baresi; Pamela Zave (Dagstuhl Reports, 2014)

Introduction to the Special Section on Best Papers from SEAMS 2012. - Luciano Baresi; Hausi A. Müller (ACM Trans. Auton. Adapt. Syst., 2014)

A GSM-based Approach for Monitoring Cross-Organization Business Processes Using Smart Objects. - Luciano Baresi; Giovanni Meroni; Pierluigi Plebani (Business Process Management Workshops, 2015)

An Architecture-Centric Approach for Dynamic Smart Spaces. - Luciano Baresi; Adnan Shahzada (ECSA, 2015)

Mapping Formal Results Back to UML Semi-formal Model. - Vinícius Pereira; Luciano Baresi; Márcio Eduardo Delamaro (ICEIS (2), 2015)

SPF: A Middleware for Social Interaction in Mobile Proximity Environments. - Luciano Baresi; Laurent-Walter Goix; Sam Guinea; Valerio Panzica La Manna; Jacopo Aliprandi; Dario Archetti (ICSE (2), 2015)

Efficient Scalable Verification of LTL Specifications. - Luciano Baresi; Mohammad Mehdi Pourhashem Kallehbasti; Matteo Rossi 001 (ICSE (1), 2015)

1st International Workshop on Big Data Software Engineering (BIGDSE 2015). - Luciano Baresi; Tim Menzies; Andreas Metzger; Thomas Zimmermann 001 (ICSE (2), 2015)

Dynamically Evolving the Structural Variability of Dynamic Software Product Lines. - Luciano Baresi; Clément Quinton (SEAMS@ICSE, 2015)

Distributed Coordinated Adaptation of Cloud-Based Applications. - Luciano Baresi; Sam Guinea; Giovanni Quattrocchi (SEFM Workshops, 2015)

Event-Based Monitoring of Service-Oriented Smart Spaces (Invited Paper). - Luciano Baresi; Sam Guinea (SOCA, 2015)

Evolution in dynamic software product lines: challenges and perspectives. - Clément Quinton; Rick Rabiser; Michael Vierhauser; Paul Grünbacher; Luciano Baresi (SPLC, 2015)

Building Software for the Internet of Things. - Luciano Baresi; Luca Mottola; Schahram Dustdar (IEEE Internet Comput., 2015)

Formal verification and validation of embedded systems: the UML-based MADES approach. - Luciano Baresi; Gundula Blohm; Dimitrios S. Kolovos; Nicholas Drivalos Matragkas; Alfredo Motta; Richard F. Paige; Alek Radjenovic; Matteo Rossi 001 (Softw. Syst. Model., 2015)

Using the Guard-Stage-Milestone Notation for Monitoring BPMN-based Processes. - Luciano Baresi; Giovanni Meroni; Pierluigi Plebani (BMMDS/EMMSAD, 2016)

On Handling Business Process Anomalies through Artifact-based Modeling. - Luciano Baresi; Giovanni Meroni; Pierluigi Plebani (CAiSE Forum, 2016)

Welcome Message from the Chairs of WICSA, QoSA and CBSE. - Henry Muccini; K. Eric Harper; Robert Heinrich; Jan Bosch; Noël Plouzeau; Olaf Zimmermann; Luciano Baresi; Vittorio Cortellessa (CBSE, 2016)

Learning and evolution in dynamic software product lines. - Amir Molzam Sharifloo; Andreas Metzger; Clément Quinton; Luciano Baresi; Klaus Pohl (SEAMS@ICSE, 2016)

A3Droid: A framework for developing distributed crowdsensing. - Luciano Baresi; Sam Guinea; Danilo Filgueira Mendonça (PerCom Workshops, 2016)

How bit-vector logic can help improve the verification of LTL specifications over infinite domains. - Luciano Baresi; Mohammad Mehdi Pourhashem Kallehbasti; Matteo Rossi 001 (SAC, 2016)

A discrete-time feedback controller for containerized cloud applications. - Luciano Baresi; Sam Guinea; Alberto Leva; Giovanni Quattrocchi (SIGSOFT FSE, 2016)

Analysis of Energy-Efficient Buildings through Simulation and Formal Methods. - Maryam Ehsanpour; Luciano Baresi; Matteo Rossi 001; Ernesto Damiani (SIMPDA, 2016)

MicroCloud: A Container-Based Solution for Efficient Resource Management in the Cloud. - Luciano Baresi; Sam Guinea; Giovanni Quattrocchi; Damian A. Tamburri (SmartCloud, 2016)

WiDiSi: A Wi-Fi direct simulator. - Luciano Baresi; Naser Derakhshan; Sam Guinea (WCNC, 2016)

GODA: A goal-oriented requirements engineering framework for runtime dependability analysis. - Danilo Filgueira Mendonça; Genaína Nunes Rodrigues; Raian Ali; Vander Alves; Luciano Baresi (Inf. Softw. Technol., 2016)

A distributed architecture for efficient Web service discovery. - Luciano Baresi; Matteo Miraz; Pierluigi Plebani (Serv. Oriented Comput. Appl., 2016)

mArtifact: an Artifact-driven Process Monitoring Platform. - Luciano Baresi; Claudio Di Ciccio; Jan Mendling; Giovanni Meroni; Pierluigi Plebani (BPM (Demos), 2017)

Microservices Identification Through Interface Analysis. - Luciano Baresi; Martin Garriga; Alan De Renzis (ESOCC, 2017)

Empowering Low-Latency Applications Through a Serverless Edge Computing Architecture. - Luciano Baresi; Danilo Filgueira Mendonça; Martin Garriga (ESOCC, 2017)

MAGNET: A middleware for the proximal interaction of devices based on Wi-Fi direct. - Luciano Baresi; Naser Derakhshan; Sam Guinea; Francesco Arenella (ICC, 2017)

Supporting the Decision of Migrating to Microservices Through Multi-layer Fuzzy Cognitive Maps. - Andreas Christoforou; Martin Garriga; Andreas S. Andreou; Luciano Baresi (ICSOC, 2017)

10th International Workshop on Dynamic Software Product Lines (DSPL'17): Adaptive Systems through Runtime Variability. - Jesper Andersson; Rafael Capilla; Luciano Baresi; Holger Eichelberger (SPLC (A), 2017)

Test oracles for simulink-like models. - Luciano Baresi; Márcio Eduardo Delamaro; Paulo Augusto Nardi (Autom. Softw. Eng., 2017)

A comparison framework for runtime monitoring approaches. - Rick Rabiser; Sam Guinea; Michael Vierhauser; Luciano Baresi; Paul Grünbacher (J. Syst. Softw., 2017)

A Logic-Based Approach for the Verification of UML Timed Models. - Luciano Baresi; Angelo Morzenti; Alfredo Motta; Mohammad Mehdi Pourhashem Kallehbasti; Matteo Rossi 001 (ACM Trans. Softw. Eng. Methodol., 2017)

Efficient Dynamic Updates of Distributed Components Through Version Consistency. - Luciano Baresi; Carlo Ghezzi; Xiaoxing Ma; Valerio Panzica La Manna (IEEE Trans. Software Eng., 2017)

DevOps-Based Software Engineering for the Cloud. - Andreas Christoforou; Andreas S. Andreou; Luciano Baresi; Michael P. Papazoglou (ESOCC Workshops, 2018)

Towards Vertically Scalable Spark Applications. - Luciano Baresi; Giovanni Quattrocchi (Euro-Par Workshops, 2018)

LIQDROID: towards seamlessly distributed Android applications. - Luciano Baresi; Anita Imani; Cristina Frà; Massimo Valla (MOBILESoft@ICSE, 2018)

TDeX: A Description Model for Heterogeneous Smart Devices and GUI Generation. - Luciano Baresi; Mersedeh Sadeghi; Massimo Valla (iThings/GreenCom/CPSCom/SmartData, 2018)

On the Timed Analysis of Big-Data Applications. - Francesco Marconi; Giovanni Quattrocchi; Luciano Baresi; Marcello M. Bersani; Matteo Rossi 001 (NFM, 2018)

A comparison framework for runtime monitoring approaches (journal-first abstract). - Rick Rabiser; Sam Guinea; Michael Vierhauser; Luciano Baresi; Paul Grünbacher (SANER, 2018)

What Are We Missing When Testing Our Android Apps? - Konstantin Rubinov; Luciano Baresi (Computer, 2018)

Multi-party business process compliance monitoring through IoT-enabled artifacts. - Giovanni Meroni; Luciano Baresi; Marco Montali; Pierluigi Plebani (Inf. Syst., 2018)

Activity Diagrams. - Luciano Baresi (Encyclopedia of Database Systems (2nd ed.), 2018)

Towards a Serverless Platform for Edge Computing. - Luciano Baresi; Danilo Filgueira Mendonça (ICFC, 2019)

PAPS: A Framework for Decentralized Self-management at the Edge. - Luciano Baresi; Danilo Filgueira Mendonça; Giovanni Quattrocchi (ICSOC, 2019)

Big-Data Applications as Self-Adaptive Systems of Systems. - Luciano Baresi; Giovanni Denaro; Giovanni Quattrocchi (ISSRE Workshops, 2019)

Symbolic execution-driven extraction of the parallel execution plans of Spark applications. - Luciano Baresi; Giovanni Denaro; Giovanni Quattrocchi (ESEC/SIGSOFT FSE, 2019)

Feature-Model-Guided Online Learning for Self-Adaptive Systems. - Andreas Metzger; Clément Quinton; Zoltán Ádám Mann; Luciano Baresi; Klaus Pohl (CoRR, 2019)

A Unified Model for the Mobile-Edge-Cloud Continuum. - Luciano Baresi; Danilo Filgueira Mendonça; Martin Garriga; Sam Guinea; Giovanni Quattrocchi (ACM Trans. Internet Techn., 2019)

Microservices: The Evolution and Extinction of Web Services? - Luciano Baresi; Martin Garriga (Microservices, Science and Engineering, 2020)

COCOS: A Scalable Architecture for Containerized Heterogeneous Systems. - Luciano Baresi; Giovanni Quattrocchi (ICSA, 2020)

Automated Quality Assessment of Incident Tickets for Smart Service Continuity. - Luciano Baresi; Giovanni Quattrocchi; Damian Andrew Tamburri; Willem-Jan van den Heuvel (ICSOC, 2020)

Feature Model-Guided Online Reinforcement Learning for Self-Adaptive Services. - Andreas Metzger; Clément Quinton; Zoltán Ádám Mann; Luciano Baresi; Klaus Pohl (ICSOC, 2020)

A Simulation-based Comparison between Industrial Autoscaling Solutions and COCOS for Cloud Applications. - Luciano Baresi; Giovanni Quattrocchi (ICWS, 2020)

Cloud Deployment Tradeoffs for the Analysis of Spatially-Distributed Systems of Internet-of-Things. - Christos Tsigkanos; Martin Garriga; Luciano Baresi; Carlo Ghezzi (CoRR, 2020)

Using formal verification to evaluate the execution time of Spark applications. - Luciano Baresi; Marcello M. Bersani; Francesco Marconi; Giovanni Quattrocchi; Matteo Rossi 001 (Formal Aspects Comput., 2020)

Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed Internet of Things Systems. - Christos Tsigkanos; Martin Garriga; Luciano Baresi; Carlo Ghezzi (ACM Trans. Internet Techn., 2020)

KOSMOS: Vertical and Horizontal Resource Autoscaling for Kubernetes. - Luciano Baresi; Davide Yi Xian Hu; Giovanni Quattrocchi; Luca Terracciano (ICSOC, 2021)

Resource Management for TensorFlow Inference. - Luciano Baresi; Giovanni Quattrocchi; Nicholas Rasi (ICSOC, 2021)

IDEA: Runtime Collection of Android Data. - Luciano Baresi; Kostandin Caushi (ISSRE Workshops, 2021)

Feature-Modell-geführtes Online Reinforcement Learning für Selbst-adaptive Systeme. - Andreas Metzger; Clément Quinton; Zoltán Ádám Mann; Luciano Baresi; Klaus Pohl (Software Engineering, 2021)

Federated Machine Learning as a Self-Adaptive Problem. - Luciano Baresi; Giovanni Quattrocchi; Nicholas Rasi (SEAMS@ICSE, 2021)

Evolution in dynamic software product lines. - Clément Quinton; Michael Vierhauser; Rick Rabiser; Luciano Baresi; Paul Grünbacher; Christian Schuhmayer (J. Softw. Evol. Process., 2021)

Trends and Challenges for Software Engineering in the Mobile Domain. - Luciano Baresi; William G. Griswold; Grace A. Lewis; Marco Autili; Ivano Malavolta; Christine Julien 001 (IEEE Softw., 2021)

Fine-Grained Dynamic Resource Allocation for Big-Data Applications. - Luciano Baresi; Alberto Leva; Giovanni Quattrocchi (IEEE Trans. Software Eng., 2021)

Training and Serving Machine Learning Models at Scale. - Luciano Baresi; Giovanni Quattrocchi (ICSOC, 2022)

A declarative modelling framework for the deployment and management of blockchain applications. - Luciano Baresi; Giovanni Quattrocchi; Damian Andrew Tamburri; Luca Terracciano (MoDELS, 2022)

NEPTUNE: Network- and GPU-aware Management of Serverless Functions at the Edge. - Luciano Baresi; Davide Yi Xian Hu; Giovanni Quattrocchi; Luca Terracciano (SEAMS, 2022)

Adopting microservice architecture: A decision support model based on genetically evolved multi-layer FCM. - Andreas Christoforou; Andreas S. Andreou; Martin Garriga; Luciano Baresi (Appl. Soft Comput., 2022)

Microservice Architecture Practices and Experience: a Focused Look on Docker Configuration Files. - Luciano Baresi; Giovanni Quattrocchi; Damian Andrew Tamburri (CoRR, 2022)

On How Bit-Vector Logic Can Help Verify LTL-Based Specifications. - Mohammad Mehdi Pourhashem Kallehbasti; Matteo Rossi 001; Luciano Baresi (IEEE Trans. Software Eng., 2022)

Architecting Artificial Intelligence for Autonomous Cars: The OpenPilot Framework. - Luciano Baresi; Damian A. Tamburri (ECSA, 2023)

2nd International Workshop on the Foundations of Infrastructure Specification and Testing : FIST 2023. - Luciano Baresi; Giovanni Quattrocchi; Damian A. Tamburri (ICSA-C, 2023)

Dependency-Aware Resource Allocation for Serverless Functions at the Edge. - Luciano Baresi; Giovanni Quattrocchi; Inacio Gaspar Ticongolo (ICSOC (1), 2023)

Advanced Serverless Edge Computing. - Inacio Gaspar Ticongolo; Luciano Baresi; Giovanni Quattrocchi (ICSOC Workshops, 2023)

Understanding Fairness Requirements for ML-based Software. - Luciano Baresi; Chiara Criscuolo; Carlo Ghezzi (RE, 2023)

Open Challenges in Federated Machine Learning. - Luciano Baresi; Giovanni Quattrocchi; Nicholas Rasi (IEEE Internet Comput., 2023)

A multi-faceted analysis of the performance variability of virtual machines. - Luciano Baresi; Tommaso Dolci; Giovanni Quattrocchi; Nicholas Rasi (Softw. Pract. Exp., 2023)

COBOL: COmmunity-Based Organized Littering. - Luciano Baresi; Simone Bianco 001; Amleto Di Salle; Ludovico Iovino; Leonardo Mariani; Daniela Micucci; Luciana Brasil Rebelo dos Santos; Maria Teresa Rossi; Raimondo Schettini (SEAA, 2024)

Efficient and Dependency-Aware Placement of Serverless Functions on Edge Infrastructures. - Luciano Baresi; Giovanni Quattrocchi; Inacio Gaspar Ticongolo (ICSOC (1), 2024)

A Conceptual Framework for Quality Assurance of LLM-based Socio-critical Systems. - Luciano Baresi; Matteo Camilli; Tommaso Dolci; Giovanni Quattrocchi (ASE, 2024)

How have iOS Development Technologies Changed over Time? A Study in Open-Source. - Luciano Baresi; Massimiliano Di Penta; Giovanni Quattrocchi; Damian Andrew Tamburri (MOBILESoft@ICSE, 2024)

On Assessing Heterogeneity Management Solutions in Federated Learning Systems. - Luciano Baresi; Tommaso Dolci; Iyad Wehbe (UCC, 2024)

Autoscaling Solutions for Cloud Applications Under Dynamic Workloads. - Giovanni Quattrocchi; Emilio Incerto; Riccardo Pinciroli; Catia Trubiani; Luciano Baresi (IEEE Trans. Serv. Comput., 2024)

DeepNurse: Self-healing Neural Networks for Unknown Domains. - Davide Yi Xian Hu; Luciano Baresi; Giovanni Quattrocchi (Zenodo, 2024)

NEPTUNE: A Comprehensive Framework for Managing Serverless Functions at the Edge. - Luciano Baresi; Davide Yi Xian Hu; Giovanni Quattrocchi; Luca Terracciano (ACM Trans. Auton. Adapt. Syst., 2024)

Realizing self-adaptive systems via online reinforcement learning and feature-model-guided exploration. - Andreas Metzger; Clément Quinton; Zoltán Ádám Mann; Luciano Baresi; Klaus Pohl (Computing, 2024)

A qualitative and quantitative analysis of container engines. - Luciano Baresi; Giovanni Quattrocchi; Nicholas Rasi (J. Syst. Softw., 2024)

Students' Perception of ChatGPT in Software Engineering: Lessons Learned from Five Courses. - Luciano Baresi; Andrea De Lucia; Antinisca Di Marco; Massimiliano Di Penta; Davide Di Ruscio; Leonardo Mariani; Daniela Micucci; Fabio Palomba; Maria Teresa Rossi; Fiorella Zampetti (CSEE&T, 2025)

Architecting Federated Learning Systems: A Requirement-Driven Approach. - Luciano Baresi; Livia Lestingi; Iyad Wehbe (ECSA, 2025)

DILLEMA: Diffusion and Large Language Models for Multi-Modal Augmentation. - Luciano Baresi; Davide Yi Xian Hu; Muhammad Irfan Mas'udi; Giovanni Quattrocchi (DeepTest, 2025)

Efficient Domain Augmentation for Autonomous Driving Testing Using Diffusion Models. - Luciano Baresi; Davide Yi Xian Hu; Andrea Stocco 001; Paolo Tonella (ICSE, 2025)

A Quantum Formulation for Clustering Edge Topologies. - Simone Reale; Elisabetta Di Nitto; Giovanni Quattrocchi; Luciano Baresi (QSW, 2025)

Optimizing Class Integration Testing with Criticality-Driven Test Order Generation. - Yanru Ding; Yanmei Zhang; Guan Yuan; Shujuan Jiang; Wei Dai 004; Luciano Baresi (SANER, 2025)

Dynamic Resource Allocation for Deadline-Constrained Neural Network Training. - Luciano Baresi; Marco Garlini; Giovanni Quattrocchi (SEAMS@ICSE, 2025)

Students' Perception of ChatGPT in Software Engineering: Lessons Learned from Five Courses. - Luciano Baresi; Andrea De Lucia; Antinisca Di Marco; Massimiliano Di Penta; Davide Di Ruscio; Leonardo Mariani; Daniela Micucci; Fabio Palomba; Maria Teresa Rossi; Fiorella Zampetti (Zenodo, 2025)

Can LLMs Generate User Stories and Assess Their Quality? - Giovanni Quattrocchi; Liliana Pasquale; Paola Spoletini; Luciano Baresi (CoRR, 2025)