Jacopo Mauro

ORCID

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 55

Top Venues

CoRR

VaMoS

ICSOC

Sci. Comput. Program.

University of Bologna, Italy (PHD)

Education History

University of Bologna, Italy

PHD

Publications

Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
Affinity-aware Serverless Function Scheduling. CoRR (2024)
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
FunLess: Functions-as-a-Service for Private Edge Cloud Systems. CoRR (2024)
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
An OpenWhisk Extension for Topology-Aware Allocation Priority Policies. COORDINATION (2024)
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
On the Complexity of Reachability Properties in Serverless Function Scheduling. CoRR (2024)
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
Towards a Function-as-a-Service Choreographic Programming Language: Examples and Applications. CoRR (2024)
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
Formally Verifying Function Scheduling Properties in Serverless Applications. IT Prof. 25 (6) (2023)
Roberto Amadini, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro
On the Evaluation of (Meta-)solver Approaches. J. Artif. Intell. Res. 76 (2023)
Giuseppe De Palma, Saverio Giallorenzo, Cosimo Laneve, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
Serverless Scheduling Policies based on Cost Analysis. TiCSA@ETAPS (2023)
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
Custom Serverless Function Scheduling Policies: An APP Tutorial. Microservices (2022)
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
Topology-aware Serverless Function-Execution Scheduling. CoRR (2022)
Roberto Amadini, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro
On the evaluation of (meta-)solver approaches. CoRR (2022)
Davide Berardi, Saverio Giallorenzo, Jacopo Mauro, Andrea Melis, Fabrizio Montesi, Marco Prandini
Microservice security: a systematic literature review. PeerJ Comput. Sci. 8 (2022)
Tong Liu, Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
sunny-as2: Enhancing SUNNY for Algorithm Selection (Extended Abstract). IJCAI (2022)
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
A Declarative Approach to Topology-Aware Serverless Function-Execution Scheduling. ICWS (2022)
Saverio Giallorenzo, Jacopo Mauro, Martin Gyde Poulsen, Filip Siroky
Virtualization Costs: Benchmarking Containers and Virtual Machines Against Bare-Metal. SN Comput. Sci. 2 (5) (2021)
Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
Microservice Dynamic Architecture-Level Deployment Orchestration (Extended Version). CoRR (2021)
Nicklas Sindlev Andersen, Marco Chiarandini, Jacopo Mauro
Wandering and getting lost: the architecture of an app activating local communities on dementia issues. SEH@ICSE (2021)
Torgeir Lebesbye, Jacopo Mauro, Gianluca Turin, Ingrid Chieh Yu
Boreas - A Service Scheduler for Optimal Kubernetes Deployment. ICSOC (2021)
Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
Microservice Dynamic Architecture-Level Deployment Orchestration. COORDINATION (2021)
Jacopo Mauro
Anomaly detection in Context-aware Feature Models. VaMoS (2021)
Asmita Dalela, Saverio Giallorenzo, Oksana Kulyk, Jacopo Mauro, Elda Paja
A Mixed-method Study on Security and Privacy Practices in Danish Companies. CoRR (2021)
Tong Liu, Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
sunny-as2: Enhancing SUNNY for Algorithm Selection. J. Artif. Intell. Res. 72 (2021)
Nicklas Sindlev Andersen, Marco Chiarandini, Jacopo Mauro
Wandering and getting lost: the architecture of an app activating local communities on dementia issues. CoRR (2021)
Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
Microservice Interface Based Deployment Orchestration. CoRR (2020)
Joshua Sprey, Chico Sundermann, Sebastian Krieter, Michael Nieke, Jacopo Mauro, Thomas Thüm, Ina Schaefer
SMT-based variability analyses in FeatureIDE. VaMoS (2020)
Jacopo Mauro
Anomaly detection in Context-aware Feature Models. CoRR (2020)
Michael Lienhardt, Ferruccio Damiani, Einar Broch Johnsen, Jacopo Mauro
Lazy Product Discovery in Huge Configuration Spaces. CoRR (2020)
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Gianluigi Zavattaro
Allocation Priority Policies for Serverless Function-Execution Scheduling Optimisation. ICSOC (2020)
Michael Lienhardt, Ferruccio Damiani, Einar Broch Johnsen, Jacopo Mauro
Lazy product discovery in huge configuration spaces. ICSE (2020)
Tong Liu, Roberto Amadini, Jacopo Mauro, Maurizio Gabbrielli
sunny-as2: Enhancing SUNNY for Algorithm Selection. CoRR (2020)
Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
Optimal and Automated Deployment for Microservices. CoRR (2019)
Stijn de Gouw, Jacopo Mauro, Gianluigi Zavattaro
On the modeling of optimal and automatized cloud application deployment. J. Log. Algebraic Methods Program. 107 (2019)
Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
Guess Who's Coming: Runtime Inclusion of Participants in Choreographies. The Art of Modelling Computational Systems (2019)
Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
Optimal and Automated Deployment for Microservices. FASE (2019)
Jacopo Mauro, Michael Nieke, Christoph Seidl, Ingrid Chieh Yu
Context-aware reconfiguration in evolving software product lines. Sci. Comput. Program. 163 (2018)
Jacopo Mauro, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu
Automatic Parameter Optimisation of Service Quality and Resource Usage. NIK (2018)
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
SUNNY-CP and the MiniZinc challenge. Theory Pract. Log. Program. 18 (1) (2018)
Michael Nieke, Jacopo Mauro, Christoph Seidl, Thomas Thüm, Ingrid Chieh Yu, Felix Franzke
Anomaly analyses for feature-model evolution. GPCE (2018)
Rudolf Schlatte, Einar Broch Johnsen, Jacopo Mauro, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu
Release the Beasts: When Formal Methods Meet Real World Data. It's All About Coordination (2018)
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
Dynamic Choreographies: Theory And Implementation. Log. Methods Comput. Sci. 13 (2) (2017)
Tong Liu, Roberto Amadini, Jacopo Mauro
SUNNY with Algorithm Configuration. OASC (2017)
Jia-Chun Lin, Jacopo Mauro, Thomas Brox Røst, Ingrid Chieh Yu
A Model-Based Scalability Optimization Methodology for Cloud Applications. SC² (2017)
Tong Liu, Roberto Di Cosmo, Maurizio Gabbrielli, Jacopo Mauro
NightSplitter: A Scheduling Tool to Optimize (Sub)group Activities. CP (2017)
Magnus Hestvik, Jacopo Mauro, Ingrid Chieh Yu
CaSPL-gen: a Context-aware Software Product Line benchmark generator. NIK (2017)
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
SUNNY-CP and the MiniZinc Challenge. CoRR (2017)
Jacopo Mauro, Michael Nieke, Christoph Seidl, Ingrid Chieh Yu
Anomaly Detection and Explanation in Context-Aware Software Product Lines. SPLC (B) (2017)
Erika Ábrahám, Florian Corzilius, Einar Broch Johnsen, Gereon Kremer, Jacopo Mauro
Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies. SETTA (2016)
Maurizio Gabbrielli, Saverio Giallorenzo, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi
Self-Reconfiguring Microservices. Theory and Practice of Formal Methods (2016)
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
Portfolio approaches for constraint optimization problems. Ann. Math. Artif. Intell. 76 (1-2) (2016)
Stijn de Gouw, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro
Declarative Elasticity in ABS. ESOCC (2016)
Michael Nieke, Jacopo Mauro, Christoph Seidl, Ingrid Chieh Yu
User Profiles for Context-Aware Reconfiguration in Software Product Lines. ISoLA (2) (2016)
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems. Int. J. Interact. Multim. Artif. Intell. 3 (7) (2016)
Jacopo Mauro, Gianluigi Zavattaro
On the Expressiveness of Synchronization in Component Deployment. Theory and Practice of Formal Methods (2016)
Jacopo Mauro, Michael Nieke, Christoph Seidl, Ingrid Chieh Yu
Context Aware Reconfiguration in Software Product Lines. VaMoS (2016)
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
Parallelizing Constraint Solvers for Hard RCPSP Instances. LION (2016)
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges. LOPSTR (2015)
Tudor A. Lascu, Jacopo Mauro, Gianluigi Zavattaro
Automatic deployment of component-based applications. Sci. Comput. Program. 113 (2015)
Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro
Feature Selection for SUNNY: A Study on the Algorithm Selection Library. ICTAI (2015)
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
Developing correct, distributed, adaptive software. Sci. Comput. Program. 97 (2015)
Stijn de Gouw, Michael Lienhardt, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro
On the Integration of Automatic Deployment into the ABS Modeling Language. ESOCC (2015)
Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro
SUNNY for algorithm selection: a preliminary study. CILC (2015)
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
SUNNY-CP: a sequential CP portfolio solver. SAC (2015)
Jacopo Mauro
Constraints meet concurrency. Constraints An Int. J. 20 (4) (2015)
Roberto Di Cosmo, Michael Lienhardt, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski
Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper). CONCUR (2015)
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. COORDINATION (2015)
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
SUNNY-CP 2: a Parallel CP Portfolio Solver. CoRR (2015)
Jacopo Mauro, Gianluigi Zavattaro
On the Complexity of Reconfiguration in Systems with Legacy Components. MFCS (1) (2015)
Roberto Di Cosmo, Antoine Eiche, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski
Automatic Deployment of Services in the Cloud with Aeolus Blender. ICSOC (2015)
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
A Multicore Tool for Constraint Solving. IJCAI (2015)
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
Portfolio Approaches for Constraint Optimization Problems. LION (2014)
Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. SLE (2014)
Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro
Aeolus: A component model for the cloud. Inf. Comput. 239 (2014)
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
An enhanced features extractor for a portfolio of constraint solvers. SAC (2014)
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
SUNNY: a Lazy Portfolio Approach for Constraint Solving. Theory Pract. Log. Program. 14 (4-5) (2014)
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
Deadlock Freedom by Construction for Distributed Adaptive Applications. CoRR (2014)
Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. CoRR (2014)
Roberto Amadini, Imane Sefrioui, Jacopo Mauro, Maurizio Gabbrielli
A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing. Int. J. Interact. Multim. Artif. Intell. 2 (4) (2013)
Jacopo Mauro
Expressive power of Constraint Handling Rules extensions and fragments. Bull. EATCS 111 (2013)
Tudor A. Lascu, Jacopo Mauro, Gianluigi Zavattaro
A Planning Tool Supporting the Deployment of Cloud Applications. ICTAI (2013)
Tudor A. Lascu, Jacopo Mauro, Gianluigi Zavattaro
Automatic Component Deployment in the Presence of Circular Dependencies. FACS (2013)
Mario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Pérez, Gianluigi Zavattaro
Towards Global and Local Types for Adaptation. SEFM Workshops (2013)
Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro
Component Reconfiguration in the Presence of Conflicts. ICALP (2) (2013)
Michel Catan, Roberto Di Cosmo, Antoine Eiche, Tudor A. Lascu, Michael Lienhardt, Jacopo Mauro, Ralf Treinen, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski
Aeolus: Mastering the Complexity of Cloud Application Deployment. ESOCC (2013)
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
An Empirical Evaluation of Portfolios Approaches for Solving CSPs. CPAIOR (2013)
Roberto Amadini, Imane Sefrioui, Jacopo Mauro, Maurizio Gabbrielli
Fast Post-Disaster Emergency Vehicle Scheduling. DCAI (2013)
Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo
The expressive power of CHR with priorities. Inf. Comput. 228 (2013)
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
Features for Building CSP Portfolio Solvers. CoRR (2013)
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
SUNNY: a Simple and Dynamic Algorithm Portfolio for Solving CSPs. CoRR (2013)
Mila Dalla Preda, Maurizio Gabbrielli, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi
Service integration via target-transparent mediation. SOCA (2012)
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
An Empirical Evaluation of Portfolios Approaches for solving CSPs CoRR (2012)
Mila Dalla Preda, Maurizio Gabbrielli, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi
Interface-Based Service Composition with Aggregation. ESOCC (2012)
Jacopo Mauro, Maurizio Gabbrielli, Claudio Guidi, Fabrizio Montesi
An Efficient Management of Correlation Sets with Broadcast. COORDINATION (2011)
Massimo Morara, Jacopo Mauro, Maurizio Gabbrielli
Solving XCSP problems by using Gecode CoRR (2011)
Massimo Morara, Jacopo Mauro, Maurizio Gabbrielli
Solving XCSP problems by using Gecode. CILC (2011)
Mila Dalla Preda, Maurizio Gabbrielli, Ivan Lanese, Jacopo Mauro, Gianluigi Zavattaro
Graceful Interruption of Request-Response Service Interactions. ICSOC (2011)
Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo, Jon Sneyers
Decidability properties for fragments of CHR CoRR (2010)
Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo, Jon Sneyers
Decidability properties for fragments of CHR. Theory Pract. Log. Program. 10 (4-6) (2010)
Zeynep Kiziltan, Jacopo Mauro
Service-Oriented Volunteer Computing for Massively Parallel Constraint Solving Using Portfolios. CPAIOR (2010)
Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo
On the expressive power of priorities in CHR. PPDP (2009)
Raffaele Cipriano, Agostino Dovier, Jacopo Mauro
Compiling and Executing Declarative Modeling Languages to Gecode. ICLP (2008)

Jacopo Mauro.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jacopo Mauro