Compiling and Executing Declarative Modeling Languages to Gecode. - Raffaele Cipriano; Agostino Dovier; Jacopo Mauro (ICLP, 2008)

On the expressive power of priorities in CHR. - Maurizio Gabbrielli; Jacopo Mauro; Maria Chiara Meo (PPDP, 2009)

Service-Oriented Volunteer Computing for Massively Parallel Constraint Solving Using Portfolios. - Zeynep Kiziltan; Jacopo Mauro (CPAIOR, 2010)

Decidability properties for fragments of CHR. - Maurizio Gabbrielli; Jacopo Mauro; Maria Chiara Meo; Jon Sneyers (Theory Pract. Log. Program., 2010)

Solving XCSP problems by using Gecode. - Massimo Morara; Jacopo Mauro; Maurizio Gabbrielli (CILC, 2011)

An Efficient Management of Correlation Sets with Broadcast. - Jacopo Mauro; Maurizio Gabbrielli; Claudio Guidi; Fabrizio Montesi (COORDINATION, 2011)

Graceful Interruption of Request-Response Service Interactions. - Mila Dalla Preda; Maurizio Gabbrielli; Ivan Lanese; Jacopo Mauro; Gianluigi Zavattaro (ICSOC, 2011)

Interface-Based Service Composition with Aggregation. - Mila Dalla Preda; Maurizio Gabbrielli; Claudio Guidi; Jacopo Mauro; Fabrizio Montesi (ESOCC, 2012)

Service integration via target-transparent mediation. - Mila Dalla Preda; Maurizio Gabbrielli; Claudio Guidi; Jacopo Mauro; Fabrizio Montesi (SOCA, 2012)

Constraints meet concurrency. - Jacopo Mauro (2012)

An Empirical Evaluation of Portfolios Approaches for Solving CSPs. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (CPAIOR, 2013)

Fast Post-Disaster Emergency Vehicle Scheduling. - Roberto Amadini; Imane Sefrioui; Jacopo Mauro; Maurizio Gabbrielli (DCAI, 2013)

Aeolus: Mastering the Complexity of Cloud Application Deployment. - Michel Catan; Roberto Di Cosmo; Antoine Eiche; Tudor A. Lascu; Michael Lienhardt; Jacopo Mauro; Ralf Treinen; Stefano Zacchiroli; Gianluigi Zavattaro; Jakub Zwolakowski (ESOCC, 2013)

Automatic Component Deployment in the Presence of Circular Dependencies. - Tudor A. Lascu; Jacopo Mauro; Gianluigi Zavattaro (FACS, 2013)

Component Reconfiguration in the Presence of Conflicts. - Roberto Di Cosmo; Jacopo Mauro; Stefano Zacchiroli; Gianluigi Zavattaro (ICALP (2), 2013)

A Planning Tool Supporting the Deployment of Cloud Applications. - Tudor A. Lascu; Jacopo Mauro; Gianluigi Zavattaro (ICTAI, 2013)

Towards Global and Local Types for Adaptation. - Mario Bravetti; Marco Carbone; Thomas T. Hildebrandt; Ivan Lanese; Jacopo Mauro; Jorge A. Pérez 001; Gianluigi Zavattaro (SEFM Workshops, 2013)

Features for Building CSP Portfolio Solvers. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (CoRR, 2013)

SUNNY: a Simple and Dynamic Algorithm Portfolio for Solving CSPs. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (CoRR, 2013)

Expressive power of Constraint Handling Rules extensions and fragments. - Jacopo Mauro (Bull. EATCS, 2013)

The expressive power of CHR with priorities. - Maurizio Gabbrielli; Jacopo Mauro; Maria Chiara Meo (Inf. Comput., 2013)

A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing. - Roberto Amadini; Imane Sefrioui; Jacopo Mauro; Maurizio Gabbrielli (Int. J. Interact. Multim. Artif. Intell., 2013)

An enhanced features extractor for a portfolio of constraint solvers. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (SAC, 2014)

AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. - Mila Dalla Preda; Saverio Giallorenzo; Ivan Lanese; Jacopo Mauro; Maurizio Gabbrielli (SLE, 2014)

Deadlock Freedom by Construction for Distributed Adaptive Applications. - Mila Dalla Preda; Maurizio Gabbrielli; Saverio Giallorenzo; Ivan Lanese; Jacopo Mauro (CoRR, 2014)

Aeolus: A component model for the cloud. - Roberto Di Cosmo; Jacopo Mauro; Stefano Zacchiroli; Gianluigi Zavattaro (Inf. Comput., 2014)

SUNNY: a Lazy Portfolio Approach for Constraint Solving. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (Theory Pract. Log. Program., 2014)

Constraints Meet Concurrency. - Jacopo Mauro (Atlantis Press, 2014)

SUNNY for algorithm selection: a preliminary study. - Roberto Amadini; Fabio Biselli; Maurizio Gabbrielli; Tong Liu 004; Jacopo Mauro (CILC, 2015)

Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper). - Roberto Di Cosmo; Michael Lienhardt; Jacopo Mauro; Stefano Zacchiroli; Gianluigi Zavattaro; Jakub Zwolakowski (CONCUR, 2015)

Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. - Mila Dalla Preda; Maurizio Gabbrielli; Saverio Giallorenzo; Ivan Lanese; Jacopo Mauro (COORDINATION, 2015)

On the Integration of Automatic Deployment into the ABS Modeling Language. - Stijn de Gouw; Michael Lienhardt; Jacopo Mauro; Behrooz Nobakht; Gianluigi Zavattaro (ESOCC, 2015)

Automatic Deployment of Services in the Cloud with Aeolus Blender. - Roberto Di Cosmo; Antoine Eiche; Jacopo Mauro; Stefano Zacchiroli; Gianluigi Zavattaro; Jakub Zwolakowski (ICSOC, 2015)

Feature Selection for SUNNY: A Study on the Algorithm Selection Library. - Roberto Amadini; Fabio Biselli; Maurizio Gabbrielli; Tong Liu 004; Jacopo Mauro (ICTAI, 2015)

A Multicore Tool for Constraint Solving. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (IJCAI, 2015)

Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (LOPSTR, 2015)

On the Complexity of Reconfiguration in Systems with Legacy Components. - Jacopo Mauro; Gianluigi Zavattaro (MFCS (1), 2015)

SUNNY-CP: a sequential CP portfolio solver. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (SAC, 2015)

Constraints meet concurrency. - Jacopo Mauro (Constraints An Int. J., 2015)

SUNNY-CP 2: a Parallel CP Portfolio Solver. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (CoRR, 2015)

Automatic deployment of component-based applications. - Tudor A. Lascu; Jacopo Mauro; Gianluigi Zavattaro (Sci. Comput. Program., 2015)

Developing correct, distributed, adaptive software. - Mila Dalla Preda; Maurizio Gabbrielli; Saverio Giallorenzo; Ivan Lanese; Jacopo Mauro (Sci. Comput. Program., 2015)

Self-Reconfiguring Microservices. - Maurizio Gabbrielli; Saverio Giallorenzo; Claudio Guidi; Jacopo Mauro; Fabrizio Montesi (Theory and Practice of Formal Methods, 2016)

On the Expressiveness of Synchronization in Component Deployment. - Jacopo Mauro; Gianluigi Zavattaro (Theory and Practice of Formal Methods, 2016)

Declarative Elasticity in ABS. - Stijn de Gouw; Jacopo Mauro; Behrooz Nobakht; Gianluigi Zavattaro (ESOCC, 2016)

User Profiles for Context-Aware Reconfiguration in Software Product Lines. - Michael Nieke; Jacopo Mauro; Christoph Seidl 001; Ingrid Chieh Yu (ISoLA (2), 2016)

Parallelizing Constraint Solvers for Hard RCPSP Instances. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (LION, 2016)

Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies. - Erika Ábrahám; Florian Corzilius; Einar Broch Johnsen; Gereon Kremer; Jacopo Mauro (SETTA, 2016)

Context Aware Reconfiguration in Software Product Lines. - Jacopo Mauro; Michael Nieke; Christoph Seidl 001; Ingrid Chieh Yu (VaMoS, 2016)

Portfolio approaches for constraint optimization problems. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (Ann. Math. Artif. Intell., 2016)

An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (Int. J. Interact. Multim. Artif. Intell., 2016)

NightSplitter: A Scheduling Tool to Optimize (Sub)group Activities. - Tong Liu 004; Roberto Di Cosmo; Maurizio Gabbrielli; Jacopo Mauro (CP, 2017)

CaSPL-gen: a Context-aware Software Product Line benchmark generator. - Magnus Hestvik; Jacopo Mauro; Ingrid Chieh Yu (NIK, 2017)

SUNNY with Algorithm Configuration. - Tong Liu 004; Roberto Amadini; Jacopo Mauro (OASC, 2017)

A Model-Based Scalability Optimization Methodology for Cloud Applications. - Jia-Chun Lin; Jacopo Mauro; Thomas Brox Røst; Ingrid Chieh Yu (SC², 2017)

Anomaly Detection and Explanation in Context-Aware Software Product Lines. - Jacopo Mauro; Michael Nieke; Christoph Seidl 001; Ingrid Chieh Yu (SPLC (B), 2017)

Dynamic Choreographies: Theory And Implementation. - Mila Dalla Preda; Maurizio Gabbrielli; Saverio Giallorenzo; Ivan Lanese; Jacopo Mauro (Log. Methods Comput. Sci., 2017)

Release the Beasts: When Formal Methods Meet Real World Data. - Rudolf Schlatte; Einar Broch Johnsen; Jacopo Mauro; Silvia Lizeth Tapia Tarifa; Ingrid Chieh Yu (It's All About Coordination, 2018)

Anomaly analyses for feature-model evolution. - Michael Nieke; Jacopo Mauro; Christoph Seidl 001; Thomas Thüm; Ingrid Chieh Yu; Felix Franzke (GPCE, 2018)

Automatic Parameter Optimisation of Service Quality and Resource Usage. - Jacopo Mauro; Silvia Lizeth Tapia Tarifa; Ingrid Chieh Yu (NIK, 2018)

Context-aware reconfiguration in evolving software product lines. - Jacopo Mauro; Michael Nieke; Christoph Seidl 001; Ingrid Chieh Yu (Sci. Comput. Program., 2018)

SUNNY-CP and the MiniZinc challenge. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (Theory Pract. Log. Program., 2018)

Guess Who's Coming: Runtime Inclusion of Participants in Choreographies. - Maurizio Gabbrielli; Saverio Giallorenzo; Ivan Lanese; Jacopo Mauro (The Art of Modelling Computational Systems, 2019)

Optimal and Automated Deployment for Microservices. - Mario Bravetti; Saverio Giallorenzo; Jacopo Mauro; Iacopo Talevi; Gianluigi Zavattaro (FASE, 2019)

On the modeling of optimal and automatized cloud application deployment. - Stijn de Gouw; Jacopo Mauro; Gianluigi Zavattaro (J. Log. Algebraic Methods Program., 2019)

A Formal Approach to Microservice Architecture Deployment. - Mario Bravetti; Saverio Giallorenzo; Jacopo Mauro; Iacopo Talevi; Gianluigi Zavattaro (Microservices, Science and Engineering, 2020)

Lazy product discovery in huge configuration spaces. - Michael Lienhardt; Ferruccio Damiani; Einar Broch Johnsen; Jacopo Mauro (ICSE, 2020)

Allocation Priority Policies for Serverless Function-Execution Scheduling Optimisation. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Gianluigi Zavattaro (ICSOC, 2020)

SMT-based variability analyses in FeatureIDE. - Joshua Sprey; Chico Sundermann; Sebastian Krieter; Michael Nieke; Jacopo Mauro; Thomas Thüm; Ina Schaefer (VaMoS, 2020)

Microservice Interface Based Deployment Orchestration. - Lorenzo Bacchiani; Mario Bravetti; Saverio Giallorenzo; Jacopo Mauro; Iacopo Talevi; Gianluigi Zavattaro (CoRR, 2020)

Microservice Dynamic Architecture-Level Deployment Orchestration. - Lorenzo Bacchiani; Mario Bravetti; Saverio Giallorenzo; Jacopo Mauro; Iacopo Talevi; Gianluigi Zavattaro (COORDINATION, 2021)

Wandering and getting lost: the architecture of an app activating local communities on dementia issues. - Nicklas Sindlev Andersen; Marco Chiarandini; Jacopo Mauro (SEH@ICSE, 2021)

Boreas - A Service Scheduler for Optimal Kubernetes Deployment. - Torgeir Lebesbye; Jacopo Mauro; Gianluca Turin; Ingrid Chieh Yu (ICSOC, 2021)

Anomaly detection in Context-aware Feature Models. - Jacopo Mauro (VaMoS, 2021)

A Mixed-method Study on Security and Privacy Practices in Danish Companies. - Asmita Dalela; Saverio Giallorenzo; Oksana Kulyk; Jacopo Mauro; Elda Paja (CoRR, 2021)

Microservice Dynamic Architecture-Level Deployment Orchestration (Extended Version). - Lorenzo Bacchiani; Mario Bravetti; Saverio Giallorenzo; Jacopo Mauro; Iacopo Talevi; Gianluigi Zavattaro (CoRR, 2021)

sunny-as2: Enhancing SUNNY for Algorithm Selection. - Tong Liu 004; Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (J. Artif. Intell. Res., 2021)

Virtualization Costs: Benchmarking Containers and Virtual Machines Against Bare-Metal. - Saverio Giallorenzo; Jacopo Mauro; Martin Gyde Poulsen; Filip Siroky (SN Comput. Sci., 2021)

A Declarative Approach to Topology-Aware Serverless Function-Execution Scheduling. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (ICWS, 2022)

sunny-as2: Enhancing SUNNY for Algorithm Selection (Extended Abstract). - Tong Liu 004; Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (IJCAI, 2022)

Custom Serverless Function Scheduling Policies: An APP Tutorial. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (Microservices, 2022)

Topology-aware Serverless Function-Execution Scheduling. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (CoRR, 2022)

Microservice security: a systematic literature review. - Davide Berardi; Saverio Giallorenzo; Jacopo Mauro; Andrea Melis 001; Fabrizio Montesi; Marco Prandini (PeerJ Comput. Sci., 2022)

Serverless Scheduling Policies based on Cost Analysis. - Giuseppe De Palma; Saverio Giallorenzo; Cosimo Laneve; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (TiCSA@ETAPS, 2023)

Formally Verifying Function Scheduling Properties in Serverless Applications. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (IT Prof., 2023)

On the Evaluation of (Meta-)solver Approaches. - Roberto Amadini; Maurizio Gabbrielli; Tong Liu 004; Jacopo Mauro (J. Artif. Intell. Res., 2023)

Integrated Timed Architectural Modeling/Execution Language. - Lorenzo Bacchiani; Mario Bravetti; Saverio Giallorenzo; Jacopo Mauro; Gianluigi Zavattaro (Active Object Languages: Current Research Trends, 2024)

An OpenWhisk Extension for Topology-Aware Allocation Priority Policies. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (COORDINATION, 2024)

Choreography-Defined Networks: A Case Study on DoS Mitigation. - Saverio Giallorenzo; Jacopo Mauro; Andrea Melis 001; Fabrizio Montesi; Marco Peressotti; Marco Prandini (ICSOC (2), 2024)

FunLess: Functions-as-a-Service for Private Edge Cloud Systems. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (ICWS, 2024)

Function-as-a-Service Allocation Policies Made Formal. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (ISoLA (1), 2024)

Towards a Function-as-a-Service Choreographic Programming Language: Examples and Applications. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (CoRR, 2024)

On the Complexity of Reachability Properties in Serverless Function Scheduling. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (CoRR, 2024)

WebAssembly at the Edge: Benchmarking a Serverless Platform for Private Edge Cloud Systems. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (IEEE Internet Comput., 2024)

COORDINATION Artefact for An OpenWhisk Extension for Topology-aware Allocation Priority Policies. - Giuseppe De Palma; Saverio Giallorenzo; Gianluigi Zavattaro; Jacopo Mauro; Matteo Trentin (Zenodo, 2024)

COORDINATION Artefact for An OpenWhisk Extension for Topology-aware Allocation Priority Policies. - Giuseppe De Palma; Saverio Giallorenzo; Gianluigi Zavattaro; Jacopo Mauro; Matteo Trentin (Zenodo, 2024)

Leveraging static analysis for cost-aware serverless scheduling policies. - Giuseppe De Palma; Saverio Giallorenzo; Cosimo Laneve; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (Int. J. Softw. Tools Technol. Transf., 2024)

Towards a Framework for Transitioning from Monolith to Serverless. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gejsi Vjerdha (The Combined Power of Research, Education, and Dissemination, 2025)

Affinity-aware Serverless Function Scheduling. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (ICSA, 2025)

tAPP OpenWhisk: A serverless platform for topology-aware allocation priority policies. - Giuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (Sci. Comput. Program., 2026)