![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Antonio Brogi
Person information
- affiliation: University of Pisa, Italy
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
- [j85]Francisco Leonardo Ponce Mella, Jacopo Soldani, Carla Taramasco, Hernán Astudillo, Antonio Brogi:
Beyond Security: Understanding the Multiple Impacts of Security Smells for Microservices. CLEI Electron. J. 27(2) (2024) - 2023
- [j84]Juan Luis Herrera
, Javier Berrocal, Stefano Forti
, Antonio Brogi
, Juan Manuel Murillo:
Continuous QoS-aware adaptation of Cloud-IoT application placements. Computing 105(9): 2037-2059 (2023) - [j83]Jacopo Soldani
, Antonio Brogi
:
Anomaly Detection and Failure Root Cause Analysis in (Micro) Service-Based Cloud Applications: A Survey. ACM Comput. Surv. 55(3): 59:1-59:39 (2023) - [j82]Marco Gaglianese
, Stefano Forti
, Federica Paganelli
, Antonio Brogi
:
Assessing and enhancing a Cloud-IoT monitoring service over federated testbeds. Future Gener. Comput. Syst. 147: 77-92 (2023) - [j81]Alessandro Bocci
, Stefano Forti
, Roberto Guanciale
, Gian-Luigi Ferrari
, Antonio Brogi
:
Secure Partitioning of Cloud Applications, with Cost Look-Ahead. Future Internet 15(7): 224 (2023) - [j80]Giorgio Dell'Immagine, Jacopo Soldani
, Antonio Brogi
:
KubeHound: Detecting Microservices' Security Smells in Kubernetes Deployments. Future Internet 15(7): 228 (2023) - [j79]Giuseppe Bisicchia
, Stefano Forti
, Antonio Brogi
:
Sustainable goal-oriented smart environments: a declarative programming approach. J. Log. Comput. 33(4): 864-899 (2023) - [j78]Jacopo Soldani
, Stefano Forti
, Antonio Brogi
:
yRCA: An explainable failure root cause analyser. Sci. Comput. Program. 230: 102997 (2023) - [j77]Edoardo Baldini
, Stefano Chessa
, Antonio Brogi
:
Estimating the Environmental Impact of Green IoT Deployments. Sensors 23(3): 1537 (2023) - [j76]Jacopo Soldani
, Javad Khalili, Antonio Brogi
:
Offline Mining of Microservice-Based Architectures (Extended Version). SN Comput. Sci. 4(3): 304 (2023) - 2022
- [j75]Antonio Brogi
, Jose Carrasco, Francisco Durán, Ernesto Pimentel, Jacopo Soldani
:
Self-healing trans-cloud applications. Computing 104(4): 809-833 (2022) - [j74]Francisco Ponce
, Jacopo Soldani
, Hernán Astudillo
, Antonio Brogi
:
Smells and refactorings for microservices security: A multivocal literature review. J. Syst. Softw. 192: 111393 (2022) - [j73]Stefano Forti
, Giuseppe Bisicchia
, Antonio Brogi
:
Declarative continuous reasoning in the cloud-IoT continuum. J. Log. Comput. 32(2): 206-232 (2022) - [j72]Stefano Forti
, Isaac Lera
, Carlos Guerrero
, Antonio Brogi
:
Osmotic management of distributed complex systems: A declarative decentralised approach. J. Softw. Evol. Process. 34(10) (2022) - [j71]Jacopo Soldani
, Lars Luthmann, Nicolas Gottwald, Malte Lochau, Antonio Brogi
:
Compositional testing of management conformance for multi-component enterprise applications. Serv. Oriented Comput. Appl. 16(3): 209-225 (2022) - [j70]Jacopo Soldani
, Marco Cameriero
, Giulio Paparelli
, Antonio Brogi
:
Modelling and Analysing Replica- and Fault-aware Management of Horizontally Scalable Applications. ACM Trans. Internet Techn. 22(3): 74:1-74:32 (2022) - [j69]Stefano Forti
, Federica Paganelli
, Antonio Brogi
:
Probabilistic QoS-aware Placement of VNF Chains at the Edge. Theory Pract. Log. Program. 22(1): 1-36 (2022) - 2021
- [j68]Alessandro Bocci
, Stefano Forti
, Gian-Luigi Ferrari
, Antonio Brogi
:
Secure FaaS orchestration in the fog: how far are we? Computing 103(5): 1025-1056 (2021) - [j67]Stefano Forti
, Marco Gaglianese
, Antonio Brogi
:
Lightweight self-organising distributed monitoring of Fog infrastructures. Future Gener. Comput. Syst. 114: 605-618 (2021) - [j66]Stefano Forti, Marco Gaglianese, Antonio Brogi
:
Corrigendum to "Lightweight self-organising distributed monitoring of Fog infrastructures" [Future Gener. Comput. Syst. 114 (2020) 605-618]. Future Gener. Comput. Syst. 118: 495 (2021) - [j65]Antonio Brogi
, Stefano Forti
, Carlos Guerrero
, Isaac Lera
:
Declarative Application Management in the Fog. J. Grid Comput. 19(4): 45 (2021) - [j64]Vladimir Yussupov
, Jacopo Soldani, Uwe Breitenbücher, Antonio Brogi
, Frank Leymann:
FaaSten your decisions: A classification framework and technology review of function-as-a-Service platforms. J. Syst. Softw. 175: 110906 (2021) - [j63]Jacopo Soldani
, Giuseppe Muntoni, Davide Neri
, Antonio Brogi
:
The μTOSCA toolchain: Mining, analyzing, and refactoring microservice-based architectures. Softw. Pract. Exp. 51(7): 1591-1621 (2021) - 2020
- [j62]Stefano Forti
, Gian-Luigi Ferrari
, Antonio Brogi
:
Secure Cloud-Edge Deployments, with Trust. Future Gener. Comput. Syst. 102: 775-788 (2020) - [j61]Davide Neri, Jacopo Soldani
, Olaf Zimmermann, Antonio Brogi
:
Design principles, architectural smells and refactorings for microservices: a multivocal review. SICS Softw.-Intensive Cyber Phys. Syst. 35(1-2): 3-15 (2020) - [j60]Matteo Bogo, Jacopo Soldani
, Davide Neri, Antonio Brogi
:
Fine-grained management of cloud-native applications, based on TOSCA. Internet Technol. Lett. 3(5) (2020) - [j59]Antonio Brogi, Antonio Bucchiarone
, Rafael Capilla, Pooyan Jamshidi, Maurizio Leotta, Zoltán Ádám Mann, Marina Mongiello, Francesco Nocera:
Ensemble-Based Software Engineering for Modern Computing Platforms. ACM SIGSOFT Softw. Eng. Notes 45(1): 28-30 (2020) - [j58]Stefano Forti
, Alessandro Pagiaro, Antonio Brogi
:
Simulating FogDirector Application Management. Simul. Model. Pract. Theory 101: 102021 (2020) - [j57]Antonio Brogi
, Stefano Forti
, Carlos Guerrero
, Isaac Lera
:
How to place your apps in the fog: State of the art and open challenges. Softw. Pract. Exp. 50(5): 719-740 (2020) - [j56]Matteo Bogo, Jacopo Soldani
, Davide Neri
, Antonio Brogi
:
Component-aware orchestration of cloud-based enterprise applications, from TOSCA to Docker and Kubernetes. Softw. Pract. Exp. 50(9): 1793-1821 (2020) - 2019
- [j55]Antonio Brogi
, Andrea Corradini, Jacopo Soldani
:
Estimating costs of multi-component enterprise applications. Formal Aspects Comput. 31(4): 421-451 (2019) - [j54]Stefano Forti
, Ahmad Ibrahim
, Antonio Brogi
:
Mimicking FogDirector application management. SICS Softw.-Intensive Cyber Phys. Syst. 34(2-3): 151-161 (2019) - [j53]Claus Pahl
, Antonio Brogi
, Jacopo Soldani
, Pooyan Jamshidi
:
Cloud Container Technologies: A State-of-the-Art Review. IEEE Trans. Cloud Comput. 7(3): 677-692 (2019) - 2018
- [j52]Antonio Brogi
, Marco Danelutto
, Daniele De Sensi
, Ahmad Ibrahim
, Jacopo Soldani
, Massimo Torquati
:
Analysing Multiple QoS Attributes in Parallel Design Patterns-Based Applications. Int. J. Parallel Program. 46(1): 81-100 (2018) - [j51]Antonio Brogi
, Andrea Canciani, Jacopo Soldani
:
Fault-aware management protocols for multi-component applications. J. Syst. Softw. 139: 189-210 (2018) - [j50]Filippo Bonchi
, Antonio Brogi
, Andrea Canciani, Jacopo Soldani
:
Simulation-based matching of cloud applications. Sci. Comput. Program. 162: 110-131 (2018) - [j49]Antonio Brogi
, Davide Neri
, Luca Rinaldi, Jacopo Soldani
:
Orchestrating incomplete TOSCA applications with Docker. Sci. Comput. Program. 166: 194-213 (2018) - [j48]Antonio Brogi
, Davide Neri
, Jacopo Soldani
:
A microservice-based architecture for (customisable) analyses of Docker images. Softw. Pract. Exp. 48(8): 1461-1474 (2018) - [j47]Antonio Brogi
, Luca Rinaldi, Jacopo Soldani
:
TosKer: A synergy between TOSCA and Docker for orchestrating multicomponent applications. Softw. Pract. Exp. 48(11): 2061-2079 (2018) - 2017
- [j46]Antonio Brogi
, Paolo Cifariello, Jacopo Soldani
:
DrACO: Discovering available cloud offerings. Comput. Sci. Res. Dev. 32(3-4): 269-279 (2017) - [j45]Antonio Brogi
, Stefano Forti
:
QoS-Aware Deployment of IoT Applications Through the Fog. IEEE Internet Things J. 4(5): 1185-1192 (2017) - 2016
- [j44]Jacopo Soldani
, Tobias Binz, Uwe Breitenbücher, Frank Leymann
, Antonio Brogi
:
ToscaMart: A method for adapting and reusing cloud applications. J. Syst. Softw. 113: 395-406 (2016) - [j43]Antonio Brogi
, Jacopo Soldani
:
Finding available services in TOSCA-compliant clouds. Sci. Comput. Program. 115-116: 177-198 (2016) - [j42]Antonio Brogi
, Andrea Canciani, Jacopo Soldani
, Pengwei Wang
:
A Petri Net-Based Approach to Model and Analyze the Management of Cloud Applications. Trans. Petri Nets Other Model. Concurr. 11: 28-48 (2016) - 2015
- [j41]Antonio Brogi, Jose Carrasco
, Javier Cubo, Elisabetta Di Nitto, Francisco Durán, Michela Fazzolari, Ahmad Ibrahim, Ernesto Pimentel, Jacopo Soldani
, Pengwei Wang
, Francesco D'Andria:
Adaptive management of applications across multiple clouds: The SeaClouds Approach. CLEI Electron. J. 18(1) (2015) - 2014
- [j40]Antonio Brogi, Javier Cubo, Laura González, Ernesto Pimentel, Raúl Ruggia:
Dynamic Verification of Mashups of Service-Oriented Things through a Mediation Platform. J. Univers. Comput. Sci. 20(8): 1049-1070 (2014) - [j39]Antonio Brogi, Ahmad Ibrahim
, Jacopo Soldani
, José Carrasco, Javier Cubo, Ernesto Pimentel, Francesco D'Andria:
SeaClouds: a European project on seamless management of multi-cloud applications. ACM SIGSOFT Softw. Eng. Notes 39(1): 1-4 (2014) - 2012
- [j38]Razvan Popescu, Athanasios Staikopoulos, Antonio Brogi
, Peng Liu, Siobhán Clarke
:
A formalized, taxonomy-driven approach to cross-layer application adaptation. ACM Trans. Auton. Adapt. Syst. 7(1): 7:1-7:30 (2012) - 2011
- [j37]José Júlio Alferes
, Federico Banti, Antonio Brogi:
Evolving reactive logic programs. Intelligenza Artificiale 5(1): 77-81 (2011) - [j36]Antonio Brogi
:
On the potential advantages of exploiting behavioural information for contract-based service discovery and composition. J. Log. Algebraic Methods Program. 80(1): 3-12 (2011) - 2010
- [j35]Antonio Brogi
, Razvan Popescu, Matteo Tanca:
Design and implementation of Sator: A web service aggregator. ACM Trans. Softw. Eng. Methodol. 19(3): 10:1-10:21 (2010) - 2009
- [j34]Ana M. Roldán
, Ernesto Pimentel
, Antonio Brogi
:
Software composition with Linda. Comput. Lang. Syst. Struct. 35(4): 395-405 (2009) - [j33]Filippo Bonchi
, Antonio Brogi
, Sara Corfini, Fabio Gadducci
:
A Net-based Approach to Web Services Publication and Replaceability. Fundam. Informaticae 94(3-4): 305-330 (2009) - 2008
- [j32]Antonio Brogi
, Razvan Popescu:
Workflow-based semantics for peer-to-peer specifications. Frontiers Comput. Sci. China 2(4): 398-412 (2008) - [j31]Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci:
On the Use of Behavioural Equivalences for Web Services' Development. Fundam. Informaticae 89(4): 479-510 (2008) - [j30]Antonio Brogi
, Sara Corfini:
Ontology- and Behavior-Aware Discovery of Web Service Compositions. Int. J. Cooperative Inf. Syst. 17(3): 319-347 (2008) - [j29]Antonio Brogi
, Sara Corfini, Razvan Popescu:
Semantics-based composition-oriented discovery of Web services. ACM Trans. Internet Techn. 8(4): 19:1-19:39 (2008) - 2007
- [j28]Antonio Brogi
, Razvan Popescu:
Service adaptation through trace inspection. Int. J. Bus. Process. Integr. Manag. 2(1): 9-16 (2007) - [j27]Antonio Brogi
, Sara Corfini:
Behaviour-Aware Discovery of Web Service Compositions. Int. J. Web Serv. Res. 4(3): 1-25 (2007) - 2006
- [j26]Antonio Brogi, Jean-Marie Jacquet, Joost N. Kok:
Foundations on Coordination Languages and Software Architectures. Fundam. Informaticae 73(4) (2006) - [j25]Antonio Brogi, Jean-Marie Jacquet, Isabelle Linden:
Fully Abstract Semantics for a Coordination Model with Asynchronous Communication and Enhanced Matching. Fundam. Informaticae 73(4): 431-478 (2006) - [j24]Antonio Brogi
, Jean-Marie Jacquet, Jeff Kramer, Ernesto Pimentel
:
Preface. Sci. Comput. Program. 61(2): 73-74 (2006) - [j23]Antonio Brogi
, Carlos Canal
, Ernesto Pimentel
:
On the semantics of software adaptation. Sci. Comput. Program. 61(2): 136-151 (2006) - [j22]Isabelle Linden
, Jean-Marie Jacquet, Koen De Bosschere, Antonio Brogi
:
On the expressiveness of timed coordination models. Sci. Comput. Program. 61(2): 152-187 (2006) - [j21]Antonio Brogi
, Carlos Canal
, Ernesto Pimentel
:
Component adaptation through flexible subservicing. Sci. Comput. Program. 63(1): 39-56 (2006) - 2005
- [j20]Andrea Bracciali
, Antonio Brogi
, Franco Turini:
A framework for specifying and verifying the behaviour of open systems. J. Log. Algebraic Methods Program. 63(2): 215-240 (2005) - [j19]Andrea Bracciali
, Antonio Brogi
, Carlos Canal
:
A formal approach to component adaptation. J. Syst. Softw. 74(1): 45-54 (2005) - [j18]José Júlio Alferes
, Federico Banti, Antonio Brogi
, João Alexandre Leite
:
The Refined Extension Principle for Semantics of Dynamic Logic Programming. Stud Logica 79(1): 7-32 (2005) - 2003
- [j17]Antonio Brogi
, V. S. Subrahmanian, Carlo Zaniolo:
A Deductive Database Approach to A.I. Planning. J. Intell. Inf. Syst. 20(3): 215-253 (2003) - [j16]Antonio Brogi
, Jean-Marie Jacquet:
On the expressiveness of coordination via shared dataspaces. Sci. Comput. Program. 46(1-2): 71-98 (2003) - 2000
- [j15]Antonio Brogi, Patricia M. Hill:
Special Issue on Logical Formalisms for Program Composition - Editorial. J. Funct. Log. Program. 2000(2) (2000) - 1999
- [j14]Antonio Brogi
, Chiara Renso, Franco Turini:
Dynamic composition of parameterised logic modules. Comput. Lang. 25(4): 211-242 (1999) - [j13]Antonio Brogi
, Simone Contiero, Franco Turini:
Programming by Combining General Logic Programs. J. Log. Comput. 9(1): 7-24 (1999) - 1998
- [j12]Antonio Brogi
, Simone Contiero:
A Program Specialiser for Meta-Level Compositions of Logic Programs. New Gener. Comput. 16(2): 123-161 (1998) - 1997
- [j11]Antonio Brogi
, V. S. Subrahmanian, Carlo Zaniolo:
The Logic of Totally and Partially Ordered Plans: A Deductive Database Approach. Ann. Math. Artif. Intell. 19(1-2): 27-58 (1997) - [j10]Antonio Brogi:
A Turing machine contest for introducing high school students to computer science. ACM SIGCSE Bull. 29(2): 23-27 (1997) - [j9]Antonio Brogi
, Evelina Lamma, Paolo Mancarella, Paola Mello:
A Unifying View for Logic Programming with Non-Monotonic Reasoning. Theor. Comput. Sci. 184(1-2): 1-5 (1997) - 1995
- [j8]Antonio Brogi
, Franco Turini:
Fully Abstract Composition Semantics for an Algebra of Logic Programs. Theor. Comput. Sci. 149(2): 201-209 (1995) - 1994
- [j7]Antonio Brogi
, Paolo Mancarella, Dino Pedreschi
, Franco Turini:
Modular Logic Programming. ACM Trans. Program. Lang. Syst. 16(4): 1361-1398 (1994) - 1993
- [j6]Antonio Brogi, Roberto Gorrieri:
Distributed Logic Programming. J. Log. Program. 15(4): 295-335 (1993) - [j5]Antonio Brogi
, Evelina Lamma, Paola Mello:
Composing Open Logic Programs. J. Log. Comput. 3(4): 417-439 (1993) - 1992
- [j4]Antonio Brogi
, Anna Ciampolini, Evelina Lamma, Paola Mello:
The Implementation of a Distributed Model for Logic Programming Based on Multiple-Headed Clauses. Inf. Process. Lett. 42(6): 331-338 (1992) - [j3]Antonio Brogi
, Evelina Lamma, Paola Mello:
Compositional Model-Theoretic Semantics for Logic Programs. New Gener. Comput. 11(1): 1-21 (1992) - 1991
- [j2]Antonio Brogi
, Paolo Ciancarini
:
The Concurrent Language, Shared Prolog. ACM Trans. Program. Lang. Syst. 13(1): 99-123 (1991) - 1990
- [j1]Antonio Brogi
, Evelina Lamma, Paola Mello:
Hypothetical Reasoning in Logic Programming: A Semantic Approach. Inf. Process. Lett. 36(6): 285-291 (1990)
Conference and Workshop Papers
- 2024
- [c197]Monica Vitali, Jacopo Soldani, Roberto Amadini, Antonio Brogi, Stefano Forti, Simone Gazza, Saverio Giallorenzo, Pierluigi Plebani, Francisco Ponce, Gianluigi Zavattaro:
FREEDA: Failure-Resilient, Energy-aware, and Explainable Deployment of Microservice-based Applications over Cloud-IoT Infrastructures. CAiSE Research Projects Exhibition 2024: 69-75 - [c196]Philip Wizenty, Francisco Ponce, Florian Rademacher, Jacopo Soldani, Hernán Astudillo, Antonio Brogi, Sabine Sachweh:
Model-Driven End-to-End Resolution of Security Smells in Microservice Architectures. CLOSER 2024: 204-215 - [c195]Remo Andreoli, Stefano Forti
, Luigi Pannocchi, Tommaso Cucinotta, Antonio Brogi:
A Logic Programming Approach to VM Placement. CLOSER 2024: 319-326 - [c194]Francisco Ponce
, Jacopo Soldani
, Carla Taramasco
, Hernán Astudillo
, Antonio Brogi
:
Triaging Microservice Security Smells, with TriSS. EASE 2024: 698-706 - [c193]Alessandro Bocci
, Antonio Brogi
, Gianpaolo Cugola
, Stefano Forti
, Luca Mottola
, Virginia Pilloni
, Sabrina Romano
, Jacopo Soldani
, Elio Usai
:
Towards enabling observability of energy demand, with NEST. FRAME@HPDC 2024 - [c192]Jacopo Soldani
, Roberto Amadini
, Antonio Brogi
, Stefano Forti
, Saverio Giallorenzo
, Pierluigi Plebani
, Monica Vitali
, Gianluigi Zavattaro
:
Towards Sustainable Deployment of Microservices over the Cloud-IoT Continuum, with FREEDA. FRAME@HPDC 2024 - [c191]Jacopo Massa
, Stefano Forti
, Federica Paganelli, Patrizio Dazzi
, Antonio Brogi
:
A declarative reasoning approach to conflict management in Intent-Based Networking. ICIN 2024: 228-233 - 2023
- [c190]Jacopo Massa
, Stefano Forti
, Patrizio Dazzi
, Antonio Brogi
:
Declarative and Linear Programming Approaches to Service Placement, Reconciled. CLOUD 2023: 1-10 - [c189]Francisco Ponce, Jacopo Soldani, Carla Taramasco, Hernán Astudillo, Antonio Brogi
:
To Security and Beyond: On The Impacts of Microservice Security Smells and Refactorings. CLEI 2023: 1-10 - [c188]Jacopo Soldani, Marco Marino, Antonio Brogi
:
Semi-Automated Smell Resolution in Kubernetes-Deployed Microservices. CLOSER 2023: 34-45 - [c187]Giuseppe Bisicchia, Stefano Forti
, Alberto Colla, Antonio Brogi
:
Customisable Fault and Performance Monitoring Across Multiple Clouds. CLOSER 2023: 212-219 - [c186]Marco Aldinucci, Robert Birke, Antonio Brogi
, Emanuele Carlini, Massimo Coppola, Marco Danelutto, Patrizio Dazzi
, Luca Ferrucci
, Stefano Forti
, Hanna Kavalionak, Gabriele Mencagli, Matteo Mordacchini
, Marcelo Pasin, Federica Paganelli, Massimo Torquati:
A Proposal for a Continuum-aware Programming Model: From Workflows to Services Autonomously Interacting in the Compute Continuum. COMPSAC 2023: 1852-1857 - [c185]Alexander Bakhtin, Xiaozhou Li, Jacopo Soldani, Antonio Brogi, Tomás Cerný, Davide Taibi:
Tools Reconstructing Microservice Architecture: A Systematic Mapping Study. ECSA (Tracks, Workshops and Doctoral Symposium) 2023: 3-18 - [c184]Alessio Matricardi
, Alessandro Bocci
, Stefano Forti
, Antonio Brogi
:
Simulating FaaS Orchestrations In The Cloud-Edge Continuum. FRAME@HPDC 2023: 19-26 - [c183]Thomas Howard-Grubb, Jacopo Soldani
, Giorgio Dell'Immagine, Francesca Arcelli Fontana
, Antonio Brogi
:
Smelling Homemade Crypto Code in Microservices, with KubeHound. ICSOC Workshops 2023: 317-324 - [c182]Giuseppe Bisicchia
, José García-Alonso
, Juan Manuel Murillo
, Antonio Brogi
:
Distributing Quantum Computations, by Shots. ICSOC (1) 2023: 363-377 - [c181]Philip Wizenty, Francisco Ponce, Florian Rademacher, Jacopo Soldani, Hernán Astudillo, Antonio Brogi, Sabine Sachweh:
Towards Resolving Security Smells in Microservices, Model-Driven. ICSOFT 2023: 15-26 - [c180]Philip Wizenty
, Francisco Ponce
, Florian Rademacher
, Jacopo Soldani
, Hernán Astudillo
, Antonio Brogi
, Sabine Sachweh
:
Model-Driven Security Smell Resolution in Microservice Architecture Using LEMMA. ICSOFT (Selected Papers) 2023: 29-49 - [c179]Alessandro Bocci
, Stefano Forti
, Antonio Brogi
:
Sustainable Cloud-Edge Infrastructure as a Service. MECO 2023: 1-4 - [c178]Jacopo Massa
, Stefano Forti
, Federica Paganelli, Patrizio Dazzi
, Antonio Brogi
:
Declarative Provisioning of Virtual Network Function Chains in Intent-based Networks. NetSoft 2023: 522-527 - [c177]Giuseppe Bisicchia, José García-Alonso, Juan Manuel Murillo, Antonio Brogi
:
Dispatching Shots Among Multiple Quantum Computers: An Architectural Proposal. QCE 2023: 195-198 - [c176]Jacopo Soldani, Davide Rendina, Francesca Arcelli Fontana, Antonio Brogi
:
Kubernetes-Enabled Detection and Resolution of Architectural Smells for Microservices. SOSE 2023: 75-80 - [c175]Marco Gaglianese, Jacopo Soldani, Stefano Forti
, Antonio Brogi
:
Green Orchestration of Cloud-Edge Applications: State of the Art and Open Challenges. SOSE 2023: 250-261 - [c174]Tommaso Di Riccio, Jacopo Massa
, Stefano Forti, Antonio Brogi
:
Sustainable placement of VNF chains in Intent-based Networking. UCC 2023: 26 - [c173]Jacopo Massa
, Stefano Forti
, Federica Paganelli, Patrizio Dazzi
, Antonio Brogi
:
Towards declarative intent processing and conflict resolution in IBN. UCC 2023: 63 - [c172]Stefano Forti
, Ahmad Ibrahim
, Antonio Brogi
:
Leasing the Cloud-Edge Continuum, à la Carte. ICLP 2023: 288-299 - 2022
- [c171]Alessandro Bocci
, Stefano Forti
, Gian-Luigi Ferrari, Antonio Brogi
:
Type, pad, and place: Avoiding data leaks in Cloud-IoT FaaS orchestrations. CCGRID 2022: 798-805 - [c170]Jacopo Soldani, Javad Khalili, Antonio Brogi
:
Offline Mining of Microservice-based Architectures. CLOSER 2022: 63-73 - [c169]Jacopo Soldani
, Stefano Forti
, Antonio Brogi
:
Failure Root Cause Analysis for Microservices, Explained. DAIS 2022: 74-91 - [c168]Evangelos Ntentos, Uwe Zdun, Jacopo Soldani, Antonio Brogi
:
Assessing Architecture Conformance to Coupling-Related Infrastructure-as-Code Best Practices: Metrics and Case Studies. ECSA 2022: 101-116 - [c167]Francisco Ponce
, Jacopo Soldani
, Hernán Astudillo
, Antonio Brogi
:
Should Microservice Security Smells Stay or be Refactored? Towards a Trade-off Analysis. ECSA 2022: 131-139 - [c166]Francisco Ponce
, Jacopo Soldani
, Hernán Astudillo
, Antonio Brogi
:
Microservices Security: Bad vs. Good Practices. ECSA (Tracks and Workshops) 2022: 337-352 - [c165]Alessandro Bocci
, Roberto Guanciale, Stefano Forti
, Gian-Luigi Ferrari, Antonio Brogi
:
Secure Partitioning of Composite Cloud Applications. ESOCC 2022: 47-64 - [c164]Jacopo Soldani
, Riccardo Paoletti, Antonio Brogi
:
Pattern-Based Resolution of Integration Mismatches in Enterprise Applications. ESOCC 2022: 93-108 - [c163]E. Maione, Stefano Forti, Antonio Brogi
:
People Counting in the Times of Covid-19. ICSOC Workshops 2022: 196-208 - [c162]Marco Gaglianese
, Stefano Forti
, Federica Paganelli
, Antonio Brogi
:
Lightweight Self-adaptive Cloud-IoT Monitoring across Fed4FIRE+ Testbeds. INFOCOM Workshops 2022: 1-6 - [c161]Antonio Brogi
:
Microservices Beyond COVID-19 (Invited Paper). Microservices 2022: 1:1-1:3 - [c160]Stefano Forti
, Antonio Brogi
:
Green Application Placement in the Cloud-IoT Continuum. PADL 2022: 208-217 - [c159]Vladimir Yussupov
, Uwe Breitenbücher, Antonio Brogi
, Lukas Harzenetter, Frank Leymann, Jacopo Soldani:
Serverless or Serverful? A Pattern-Based Approach for Exploring Hosting Alternatives. SummerSOC 2022: 45-67 - [c158]Jacopo Massa
, Stefano Forti
, Antonio Brogi
:
Data-Aware Service Placement in the Cloud-IoT Continuum. SummerSOC 2022: 139-158 - 2021
- [c157]Stefano Forti
, Antonio Brogi
:
Declarative Osmotic Application Placement. CAiSE Workshops 2021: 177-190 - [c156]Giuseppe Bisicchia, Stefano Forti, Antonio Brogi:
A Declarative Goal-oriented Framework for Smart Environments with LPaaS. CILC 2021: 143-157 - [c155]Jacopo Soldani, Uwe Breitenbücher, Antonio Brogi
, Leonardo Frioli, Frank Leymann, Michael Wurster:
Tailoring Technology-Agnostic Deployment Models to Production-Ready Deployment Technologies. CLOSER (Selected Papers) 2021: 1-24 - [c154]Michael Wurster, Uwe Breitenbücher, Antonio Brogi, Felix Diez, Frank Leymann, Jacopo Soldani, Karoline Wild:
Automating the Deployment of Distributed Applications by Combining Multiple Deployment Technologies. CLOSER 2021: 178-189 - [c153]Vladimir Yussupov
, Jacopo Soldani, Uwe Breitenbücher, Antonio Brogi, Frank Leymann:
From Serverful to Serverless: A Spectrum of Patterns for Hosting Application Components. CLOSER 2021: 268-279 - [c152]Federica Paganelli
, Paola Cappanera, Antonio Brogi
, Riccardo Falco
:
Profit-aware placement of multi-flavoured VNF chains. CloudNet 2021: 48-55 - [c151]Jacopo Soldani
, Antonio Brogi
:
Automated Generation of Configurable Cloud-Native Chaos Testbeds. EDCC Workshops 2021: 101-108 - [c150]Alessandro Bocci, Stefano Forti, Gian-Luigi Ferrari, Antonio Brogi:
Placing FaaS in the Fog, Securely. ITASEC 2021: 166-179 - [c149]Giuseppe Bisicchia
, Stefano Forti
, Antonio Brogi
:
Declarative Goal Mediation in Smart Environments. SMARTCOMP 2021: 389-391 - [c148]Jacopo Soldani, Giuseppe Montesano, Antonio Brogi
:
What Went Wrong? Explaining Cascading Failures in Microservice-Based Applications. SummerSOC 2021: 133-153 - 2020
- [c147]Michael Wurster, Uwe Breitenbücher, Antonio Brogi, Frank Leymann, Jacopo Soldani:
Cloud-native Deploy-ability: An Analysis of Required Features of Deployment Technologies to Deploy Arbitrary Cloud-native Applications. CLOSER 2020: 171-180 - [c146]Jacopo Soldani, Lars Luthmann, Malte Lochau, Antonio Brogi
:
Testing Conformance in Multi-component Enterprise Application Management. ESOCC 2020: 3-18 - [c145]Michael Wurster, Uwe Breitenbücher, Antonio Brogi
, Lukas Harzenetter
, Frank Leymann, Jacopo Soldani:
Technology-Agnostic Declarative Deployment Automation of Cloud Applications. ESOCC 2020: 97-112 - [c144]Giuseppe Muntoni, Jacopo Soldani, Antonio Brogi
:
Mining the Architecture of Microservice-Based Applications from their Kubernetes Deployment. ESOCC Workshops 2020: 103-115 - [c143]Antonio Brogi
, Stefano Forti
, Carlos Guerrero, Isaac Lera:
Towards Declarative Decentralised Application Management in the Fog. ISSRE Workshops 2020: 223-230 - [c142]Stefano Forti
, Antonio Brogi
:
Continuous Reasoning for Managing Next-Gen Distributed Applications. ICLP Technical Communications 2020: 164-177 - 2019
- [c141]Antonio Brogi
, Jose Carrasco, Francisco Durán, Ernesto Pimentel, Jacopo Soldani
:
Robust Management of Trans-Cloud Applications. CLOUD 2019: 219-223 - [c140]Antonio Brogi
, Stefano Forti
, Carlos Guerrero, Isaac Lera:
Meet Genetic Algorithms in Monte Carlo: Optimised Placement of Multi-Service Applications in the Fog. EDGE 2019: 13-17 - [c139]Giuseppe Astuti, Antonio Brogi
, Stefano Forti
:
Making a Business Out of (Predictive Application Management in) the Fog. FMEC 2019: 78-85 - [c138]Antonio Brogi
, Davide Neri, Jacopo Soldani:
Freshening the Air in Microservices: Resolving Architectural Smells via Refactoring. ICSOC Workshops 2019: 17-29 - [c137]Michael Wurster, Uwe Breitenbücher, Antonio Brogi
, Ghareeb Falazi, Lukas Harzenetter, Frank Leymann, Jacopo Soldani, Vladimir Yussupov
:
The EDMM Modeling and Transformation System. ICSOC Workshops 2019: 294-298 - [c136]Antonio Brogi
, Stefano Forti
, Marco Gaglianese
:
Measuring the Fog, Gently. ICSOC 2019: 523-538 - [c135]Antonio Brogi
, Jacopo Soldani:
Identifying Failure Causalities in Multi-component Applications. SEFM Workshops 2019: 226-235 - 2018
- [c134]Antonio Brogi
, Stefano Forti
, Ahmad Ibrahim
:
Deploying Fog Applications: How Much Does It Cost, By the Way? CLOSER 2018: 68-77 - [c133]Antonio Brogi
, Stefano Forti
, Ahmad Ibrahim
:
Optimising QoS-Assurance, Resource Usage and Cost of Fog Application Deployments. CLOSER (Selected Papers) 2018: 168-189 - [c132]Antonio Brogi
, Andrea Canciani, Jacopo Soldani
:
True Concurrent Management of Multi-component Applications. ESOCC 2018: 17-32 - [c131]Antonio Brogi
, Claus Pahl, Jacopo Soldani:
On Enhancing the Orchestration of Multi-container Docker Applications. ESOCC Workshops 2018: 21-33 - [c130]Antonio Brogi
, Gian-Luigi Ferrari
, Stefano Forti
:
Secure Apps in the Fog: Anything to Declare? ESOCC Workshops 2018: 46-61 - [c129]Antonio Brogi
, Stefano Forti
, Ahmad Ibrahim
, Luca Rinaldi:
Bonsai in the Fog: An active learning lab with Fog computing. FMEC 2018: 79-86 - [c128]Riccardo Guidotti, Jacopo Soldani
, Davide Neri
, Antonio Brogi
, Dino Pedreschi
:
Helping Your Docker Images to Spread Based on Explainable Models. ECML/PKDD (3) 2018: 205-221 - [c127]Riccardo Guidotti, Jacopo Soldani
, Davide Neri
, Antonio Brogi
:
Explaining Successful Docker Images Using Pattern Mining Analysis. STAF Workshops 2018: 98-113 - 2017
- [c126]Antonio Brogi
:
Application Deployment through the Fog. COMPSAC (1) 2017: 706 - [c125]Antonio Brogi
, Andrea Canciani, Jacopo Soldani
:
Modelling the Dynamic Reconfiguration of Application Topologies, Faults Included. COORDINATION 2017: 178-196 - [c124]Antonio Brogi
, Luca Rinaldi, Jacopo Soldani
:
TosKer: Orchestrating Applications with TOSCA and Docker. ESOCC Workshops 2017: 130-144 - [c123]Antonio Brogi
, Gabriele Mencagli
, Davide Neri
, Jacopo Soldani
, Massimo Torquati
:
Container-Based Support for Autonomic Data Stream Processing Through the Fog. Euro-Par Workshops 2017: 17-28 - [c122]Antonio Brogi:
Keynote speech 3: QoS-aware deployment of Fog applications. FMEC 2017: 3 - [c121]Antonio Brogi
, Davide Neri
, Jacopo Soldani
:
DockerFinder: Multi-attribute Search of Docker Images. IC2E 2017: 273-278 - [c120]Antonio Brogi
, Stefano Forti
, Ahmad Ibrahim
:
How to Best Deploy Your Fog Applications, Probably. ICFEC 2017: 105-114 - [c119]Antonio Brogi
, Antonio Di Tommaso, Jacopo Soldani
:
Sommelier: A Tool for Validating TOSCA Application Topologies. MODELSWARD (Revised Selected Papers) 2017: 1-22 - [c118]Antonio Brogi
, Antonio Di Tommaso, Jacopo Soldani:
Validating TOSCA Application Topologies. MODELSWARD 2017: 667-678 - [c117]Antonio Brogi:
Keynote speech 3: QoS-aware deployment of Fog applications. SDS 2017: 3 - [c116]Antonio Brogi
, Andrea Canciani, Davide Neri
, Luca Rinaldi, Jacopo Soldani
:
Towards a Reference Dataset of Microservice-Based Applications. SEFM Workshops 2017: 219-229 - [c115]Antonio Brogi
, Davide Neri
, Luca Rinaldi, Jacopo Soldani
:
From (Incomplete) TOSCA Specifications to Running Applications, with Docker. SEFM Workshops 2017: 491-506 - 2016
- [c114]Antonio Brogi
, Jose Carrasco, Javier Cubo
, Francesco D'Andria
, Elisabetta Di Nitto
, Michele Guerriero, Diego Pérez, Ernesto Pimentel, Jacopo Soldani
:
SeaClouds: An Open Reference Architecture for Multi-cloud Governance. ECSA 2016: 334-338 - [c113]Antonio Brogi
, Andrea Canciani, Jacopo Soldani
:
Fault-Aware Application Management Protocols. ESOCC 2016: 219-234 - [c112]Filippo Bonchi
, Antonio Brogi
, Andrea Canciani, Jacopo Soldani
:
Behaviour-Aware Matching of Cloud Applications. TASE 2016: 117-124 - 2015
- [c111]Antonio Brogi, Andrea Canciani, Jacopo Soldani, Pengwei Wang:
Modelling the Behaviour of Management Operations in Cloud-based Applications. PNSE @ Petri Nets 2015: 191-205 - [c110]Antonio Brogi
, Andrea Canciani, Jacopo Soldani
:
Modelling and Analysing Cloud Application Management. ESOCC 2015: 19-33 - [c109]Leonardo Bartoloni, Antonio Brogi
, Ahmad Ibrahim
:
Automated Prediction of the QoS of Service Orchestrations: PASO at Work. ESOCC Workshops 2015: 111-125 - [c108]Dionysis Athanasopoulos, Miguel Barrientos, Leonardo Bartoloni, Antonio Brogi, Mattia Buccarella, Jose Carrasco, Javier Cubo, Francesco D'Andria, Elisabetta Di Nitto, Adrián Nieto, Marc Oriol, Ernesto Pimentel, Simone Zenzaro:
SeaClouds: Agile management of complex applications across multiple heterogeneous clouds. STAF Projects Showcase 2015: 54-61 - 2014
- [c107]Antonio Brogi, José Carrasco, Javier Cubo, Francesco D'Andria, Ahmad Ibrahim, Ernesto Pimentel, Jacopo Soldani:
SeaClouds: Seamless adaptive multi-cloud management of service-based applications. CIbSE 2014: 95-108 - [c106]Antonio Brogi
, José Carrasco, Javier Cubo, Francesco D'Andria, Ahmad Ibrahim
, Ernesto Pimentel, Jacopo Soldani:
EU Project SeaClouds - Adaptive Management of Service-based Applications Across Multiple Clouds. CLOSER 2014: 758-763 - [c105]Antonio Brogi
, Jacopo Soldani
, Pengwei Wang
:
TOSCA in a Nutshell: Promises and Perspectives. ESOCC 2014: 171-186 - [c104]Antonio Brogi
, Ernesto Pimentel
:
Workshop on Seamless Adaptive Multi-cloud Management of Service-Based Applications (SeaCloudS): Preface. ESOCC Workshops 2014: 247-248 - [c103]Antonio Brogi, Jacopo Soldani:
Reusing cloud-based services with TOSCA. GI-Jahrestagung 2014: 235-246 - [c102]Leonardo Bartoloni, Antonio Brogi
, Ahmad Ibrahim
:
Probabilistic Prediction of the QoS of Service Orchestrations: A Truly Compositional Approach. ICSOC 2014: 378-385 - 2013
- [c101]Antonio Brogi
, Jacopo Soldani
:
Matching Cloud Services with TOSCA. ESOCC Workshops 2013: 218-232 - [c100]Laura González, Javier Cubo
, Antonio Brogi
, Ernesto Pimentel
, Raúl Ruggia:
Run-Time Verification of Behaviour-Aware Mashups in the Internet of Things. ESOCC Workshops 2013: 318-330 - 2012
- [c99]Javier Cubo
, Antonio Brogi
, Ernesto Pimentel
:
Towards behaviour-aware compositions of things in the future internet. WAS4FI-Mashups 2012: 28-35 - [c98]Javier Cubo
, Antonio Brogi
, Ernesto Pimentel
:
Behaviour-Aware Compositions of Things. GreenCom 2012: 1-8 - [c97]Annapaola Marconi
, Antonio Bucchiarone
, Konstantinos Bratanis, Antonio Brogi
, Javier Cámara, Dimitris Dranidis
, Holger Giese, Raman Kazhamiakin
, Rogério de Lemos
, Clarissa Cassales Marquezan, Andreas Metzger:
Research challenges on multi-layer and mixed-initiative monitoring and adaptation for service-based systems. S-Cube@ICSE 2012: 40-46 - 2011
- [c96]José Antonio Martín, Antonio Brogi
, Ernesto Pimentel
:
Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation. FACS 2011: 259-277 - 2010
- [c95]Antonio Brogi, Sara Corfini:
Analysing the Behaviour of Peer Specifications for mobile P2P applications. CIbSE 2010: 65-78 - [c94]Razvan Popescu, Athanasios Staikopoulos, Peng Liu, Antonio Brogi
, Siobhán Clarke
:
Taxonomy-Driven Adaptation of Multi-layer Applications Using Templates. SASO 2010: 213-222 - 2009
- [c93]Antonio Brogi
, Sara Corfini, Thaizel Fuentes:
A Two-Tiered Approach to Enabling Enhanced Service Discovery in Embedded Peer-to-Peer Systems. ICSOC/ServiceWave 2009: 68-82 - 2008
- [c92]Filippo Bonchi
, Antonio Brogi
, Sara Corfini, Fabio Gadducci
:
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study. Petri Nets 2008: 52-71 - [c91]José Júlio Alferes, Federico Banti, Antonio Brogi:
Evolving Reactive Logic Programs. Il Milione 2008 - [c90]Fabrizio Benigni, Antonio Brogi, Sara Corfini:
Discovering service compositions that feature a desired behaviour. CIbSE 2008: 4-16 - [c89]Antonio Brogi, Francisco Gutiérrez, Pablo López, Ernesto Pimentel, Razvan Popescu:
Modelado de sistemas P2P con control de excepciones. CIbSE 2008: 31-44 - [c88]Antonio Brogi, Sara Corfini, Thaizel Fuentes:
Tailoring service discovery to embedded P2P systems. MobiQuitous 2008 - [c87]Antonio Brogi
, Razvan Popescu:
Workflow Semantics of Peer and Service Behaviour. TASE 2008: 143-150 - [c86]Fabrizio Benigni, Antonio Brogi
, Jean-Louis Buchholz, Jean-Marie Jacquet, Julien Lange
, Razvan Popescu:
Secure P2P Programming on Top of Tuple Spaces. WETICE 2008: 54-59 - 2007
- [c85]Antonio Brogi, Razvan Popescu:
Automated Generation of BPEL Adapters. CIbSE 2007: 387-400 - [c84]Filippo Bonchi
, Antonio Brogi
, Sara Corfini, Fabio Gadducci:
A Behavioural Congruence for Web Services. FSEN 2007: 240-256 - [c83]Fabrizio Benigni, Antonio Brogi
, Sara Corfini:
Discovering Service Compositions That Feature a Desired Behaviour. ICSOC 2007: 56-68 - [c82]Antonio Brogi
, Sara Corfini, Stefano Iardella:
From OWL-S Descriptions to Petri Nets. ICSOC Workshops 2007: 427-438 - [c81]Antonio Brogi
, Sara Corfini:
SAM : A Semantic Web Service Discovery System. KES (3) 2007: 703-710 - [c80]Antonio Brogi
, Razvan Popescu, Francisco Gutiérrez
, Pablo López, Ernesto Pimentel
:
A Service-Oriented Model for Embedded Peer-to-Peer Systems. FOCLASA 2007: 5-22 - 2006
- [c79]Antonio Brogi, Razvan Popescu:
Towards Semi-automated Workflow-based Aggregation of Web Services. CIbSE 2006: 9-22 - [c78]Antonio Brogi
, Razvan Popescu:
Automated Generation of BPEL Adapters. ICSOC 2006: 27-39 - [c77]Antonio Brogi
, Sara Corfini, José Francisco Aldana Montes, Ismael Navas-Delgado
:
Automated Discovery of Compositions of Services Described with Separate Ontologies. ICSOC 2006: 509-514 - [c76]José Júlio Alferes
, Federico Banti, Antonio Brogi
:
An Event-Condition-Action Logic Programming Language. JELIA 2006: 29-42 - [c75]Antonio Brogi, Sara Corfini, José Francisco Aldana Montes, Ismael Navas-Delgado:
A Prototype for Discovering Compositions of Semantic Web Services. SWAP 2006 - [c74]Antonio Brogi
, Razvan Popescu:
From BPEL Processes to YAWL Workflows. WS-FM 2006: 107-122 - [c73]Antonio Brogi
, Javier Cámara, Carlos Canal
, Javier Cubo
, Ernesto Pimentel
:
Dynamic Contextual Adaptation. FOCLASA 2006: 81-95 - 2005
- [c72]Federico Banti, José Júlio Alferes
, Antonio Brogi
:
Operational Semantics for DyLPs. EPIA 2005: 43-54 - [c71]Antonio Brogi
, Razvan Popescu:
Towards Semi-automated Workflow-Based Aggregation of Web Services. ICSOC 2005: 214-227 - [c70]Federico Banti, José Júlio Alferes
, Antonio Brogi
, Pascal Hitzler:
The Well Supported Semantics for Multidimensional Dynamic Logic Programs. LPNMR 2005: 356-368 - [c69]Antonio Brogi
, Sara Corfini, Razvan Popescu:
Composition-Oriented Service Discovery. SC@ETAPS 2005: 15-30 - 2004
- [c68]Antonio Brogi
, Carlos Canal, Ernesto Pimentel:
Behavioural Types and Component Adaptation. AMAST 2004: 42-56 - [c67]José Júlio Alferes
, Federico Banti, Antonio Brogi
:
From Logic Programs Updates to Action Description Updates. CLIMA 2004: 52-77 - [c66]Antonio Brogi
, Carlos Canal, Ernesto Pimentel:
Measuring Component Adaptation. COORDINATION 2004: 71-86 - [c65]Steffen Becker, Antonio Brogi
, Ian Gorton, Sven Overhage, Alexander B. Romanovsky
, Massimo Tivoli
:
Towards an Engineering Approach to Component Adaptation. Architecting Systems with Trustworthy Components 2004: 193-215 - [c64]Federico Banti, José Júlio Alferes
, Antonio Brogi
:
Well Founded Semantics for Logic Program Updates. IBERAMIA 2004: 397-407 - [c63]José Júlio Alferes
, Federico Banti, Antonio Brogi, João Alexandre Leite:
Semantics for Dynamic Logic Programming: A Principle-Based Approach. LPNMR 2004: 8-20 - [c62]Clara Baracchini, Antonio Brogi, Marco Callieri, Lucia Capitani, Paolo Cignoni, Andrea Fasano, Claudio Montani, C. Nenci, R. P. Novello, Paolo Pingi, Federico Ponchio, Roberto Scopigno:
Digital reconstruction of the Arrigo VII funerary complex. VAST 2004: 145-154 - [c61]Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel:
Preface. FOCLASA 2004: 1-2 - [c60]Antonio Brogi
, Carlos Canal
, Ernesto Pimentel
:
Behavioural Types for Service Integration: Achievements and Challenges. FOCLASA 2004: 41-54 - [c59]Antonio Brogi
, Carlos Canal
, Ernesto Pimentel
, Antonio Vallecillo
:
Formalizing Web Service Choreographies. WSFM 2004: 73-94 - 2003
- [c58]José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira:
An Evolving Agent with EVOLP. APPIA-GULP-PRODE 2003: 205-216 - [c57]José Júlio Alferes
, Antonio Brogi
, João Alexandre Leite
, Luís Moniz Pereira:
Logic Programming for Evolving Agents. CIA 2003: 281-297 - [c56]José Júlio Alferes
, Antonio Brogi
, João Alexandre Leite
, Luís Moniz Pereira:
An Evolvable Rule-Based E-mail Agent. EPIA 2003: 394-408 - [c55]Antonio Brogi
, Carlos Canal
, Ernesto Pimentel
:
Soft component adaptation. SecCo 2003: 1-16 - [c54]Antonio Brogi
, Jean-Marie Jacquet, Ernesto Pimentel
:
Preface: Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003. FOCLASA 2003: 1-2 - [c53]Antonio Brogi
, Carlos Canal
, Ernesto Pimentel
:
On the specification of software adaptation. FOCLASA 2003: 47-65 - [c52]Isabelle Linden
, Jean-Marie Jacquet, Koenraad De Bosschere, Antonio Brogi
:
On the Expressiveness of Relative-Timed Coordination Models. FOCLASA 2003: 125-153 - [c51]Ana M. Roldán
, Ernesto Pimentel
, Antonio Brogi
:
Safe Composition of Linda-based Components. TACoS 2003: 180-189 - 2002
- [c50]Andrea Bracciali, Antonio Brogi
, Carlos Canal:
Adapting Components with Mismatching Behaviours. Component Deployment 2002: 185-199 - [c49]Andrea Bracciali, Antonio Brogi
, Carlos Canal:
Dynamically Adapting the Behaviour of Software Components. COORDINATION 2002: 88-95 - [c48]José Júlio Alferes
, Antonio Brogi
, João Alexandre Leite
, Luís Moniz Pereira:
Evolving Logic Programs. JELIA 2002: 50-61 - [c47]Andrea Bracciali, Antonio Brogi, Gian-Luigi Ferrari, Emilio Tuosto:
Security and Dynamic Compositions of Open Systems. PDPTA 2002: 1372-1377 - [c46]Antonio Brogi
, Ernesto Pimentel
, Ana M. Roldán
:
Compatibility of Linda-based Component Interfaces. Formal Methods and Component Interaction @ ICALP 2002: 82-96 - [c45]Andrea Bracciali
, Antonio Brogi
, Carlos Canal
:
Systematic Component Adaptation. Formal Methods and Component Interaction @ ICALP 2002: 97-113 - [c44]Antonio Brogi
, Ernesto Pimentel
:
Preface. Formal Methods and Component Interaction @ ICALP 2002: 134 - [c43]Antonio Brogi, Jean-Marie Jacquet:
Preface. FOCLASA 2002: 247 - [c42]Antonio Brogi
, Jean-Marie Jacquet, Isabelle Linden
:
On Modeling Coordination via Asynchronous Communication and Enhanced Matching. FOCLASA 2002: 284-309 - 2001
- [c41]José Júlio Alferes
, Antonio Brogi
, João Alexandre Leite
, Luís Moniz Pereira:
Computing Environment-Aware Agent Behaviours with Logic Program Updates. LOPSTR 2001: 216-232 - [c40]Antonio Brogi
, Gianluca Caruso:
From Subject Directories to Subject Meta-directories via Declarative Programming. PADL 2001: 45-59 - [c39]Andrea Bracciali, Antonio Brogi
, Franco Turini:
Coordinating interaction patterns. SAC 2001: 159-165 - [c38]Andrea Bracciali
, Antonio Brogi
, Gian-Luigi Ferrari
, Emilio Tuosto
:
Security Issues in Component-based Design. ConCoord 2001: 49-57 - [c37]Antonio Brogi
, Nadia Busi, Maurizio Gabbrielli
, Gianluigi Zavattaro:
Comparative analysis of the expressiveness of shared dataspace coordination. TOSCA 2001: 102-115 - [c36]Antonio Brogi
:
Probabilistic behaviours of reactive agents. APPIA-GULP-PRODE 2001: 227-252 - [c35]Antonio Brogi
, Alessandra Di Pierro
, Herbert Wiklicky:
Linear Embedding for a Quantitative Comparison of Language Expressiveness. QAPL 2001: 207-237 - 2000
- [c34]Antonio Brogi, Simone Contiero, Franco Turini:
On the Interplay between Reactivity and Computation. CL-2000 Workshop on Computational Logic in Multi-Agent Systems 2000: 66- - [c33]Jean-Marie Jacquet, Koenraad De Bosschere, Antonio Brogi
:
On Timed Coordination Languages. COORDINATION 2000: 81-98 - 1999
- [c32]Antonio Brogi, G. Marongiu:
ExpertFinder: A Prolog Recommender System Integrated with the WWW. APPIA-GULP-PRODE 1999: 471-484 - [c31]Antonio Brogi
, Jean-Marie Jacquet:
On the Expressiveness of Coordination Models. COORDINATION 1999: 134-149 - [c30]Clara Baracchini, Antonio Brogi, Davide Merlitti:
Interactive Information System for the Camposanto Monumentale of Pisa. Eurographics (Short Presentations) 1999 - 1998
- [c29]Antonio Brogi, Simone Contiero, Franco Turini:
The Use of Renaming in Composing General Programs. LOPSTR 1998: 124-142 - [c28]Antonio Brogi
, Jean-Marie Jacquet:
On the Expressiveness of Linda-like Concurrent Languages. EXPRESS 1998: 75-96 - 1997
- [c27]Antonio Brogi
, Jean-Marie Jacquet:
Modeling Coordination via Asynchronous Communication. COORDINATION 1997: 238-255 - [c26]Antonio Brogi
, Simone Contiero, Franco Turini:
Composing General Logic Programs. LPNMR 1997: 274-289 - 1996
- [c25]Antonio Brogi, Simone Contiero:
Specialising Meta-level Compositions of Logic Programs. APPIA-GULP-PRODE 1996: 535-548 - [c24]Antonio Brogi
, Cosimo Guarino:
Pruning the Search Space of Logic Programs. ELP 1996: 35-49 - [c23]Antonio Brogi
, Simone Contiero:
Specialising Meta-level Compositions of Logic Programs. LOPSTR 1996: 275-294 - 1995
- [c22]Antonio Brogi
, Evelina Lamma, Paolo Mancarella, Paola Mello:
An Abductive Framework for Extended Logic Programming. LPNMR 1995: 330-343 - 1994
- [c21]Antonio Brogi, Chiara Renso, Franco Turini:
Amalgamating Language and Meta-language for Composing Logic Programs. GULP-PRODE (2) 1994: 408-422 - [c20]Antonio Brogi, Franco Turini:
Semantics of Meta-Logic in an Algebra of Programs. LICS 1994: 262-270 - [c19]Antonio Brogi
, Simone Contiero:
Gödel as a Meta-Language for Composing Logic Programs. META 1994: 377-394 - [c18]Antonio Brogi
, A. Chiarelli, Paolo Mancarella, V. Mazzotta, Dino Pedreschi
, Chiara Renso, Franco Turini:
Implementations of Program Composition Operations. PLILP 1994: 292-307 - 1992
- [c17]Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello:
Normal logic programs as open positive programs. CNKBS 1992: 9-11 - [c16]Antonio Brogi, Evelina Lamma, Paola Mello:
ATMS for Implementing Logic Programming. ECAI 1992: 114-118 - [c15]Antonio Brogi
, Franco Turini:
Metalogic for State Oriented Programming. ELP 1992: 187-204 - [c14]Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello:
Normal Logic Programs as Open Positive Programs. JICSLP 1992: 783-797 - [c13]Antonio Brogi
, Paolo Mancarella, Dino Pedreschi
, Franco Turini:
Meta for Modularising Logic Programming. META 1992: 105-119 - 1991
- [c12]Antonio Brogi
, Evelina Lamma, Paolo Mancarella, Paola Mello:
Abductive Reasoning in a Multi-Theory Framework. AI*IA 1991: 137-146 - [c11]Antonio Brogi
, Evelina Lamma, Paola Mello:
Open Logic Theories. ELP 1991: 73-88 - [c10]Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini:
Theory Construction in Computational Logic. ICLP Workshop on Construction of Logic Programs 1991: 241-250 - [c9]Antonio Brogi, Franco Turini:
Metalogic for Knowledge Representation. KR 1991: 61-69 - [c8]Antonio Brogi
, Evelina Lamma, Paola Mello:
Objects in a Logic Programming Framework. RCLP 1991: 102-113 - [c7]Antonio Brogi
, Maurizio Gabbrielli
:
Constraints for Synchronizing Logic Coarse-grained Sequential Logic Processes. PLILP 1991: 407-418 - 1990
- [c6]Antonio Brogi, Evelina Lamma, Paola Mello:
Inheritance and Hypothetical Reasoning in Logic Programming. ECAI 1990: 105-110 - [c5]Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini:
Universal Quantification by Case Analysis. ECAI 1990: 111-116 - [c4]Antonio Brogi:
AND-Parallelism without Shared Variables. ICLP 1990: 306-321 - [c3]Antonio Brogi
, Paolo Mancarella, Dino Pedreschi
, Franco Turini:
Logic Programming within a Functional Framework. PLILP 1990: 372-386 - 1989
- [c2]Antonio Brogi, Roberto Gorrieri:
Model Theoretic, Fixpoint and Operational Semantics for a Distributed Logic Language. ICLP 1989: 637-652 - [c1]Antonio Brogi
, Roberto Gorrieri:
A Distributed, Net Oriented Semantics for Delta Prolog. TAPSOFT, Vol.1 1989: 162-177
Parts in Books or Collections
- 2019
- [p2]Antonio Brogi, Stefano Forti
, Ahmad Ibrahim:
Predictive Analysis to Support Fog Application Deployment. Fog and Edge Computing 2019: 191-221 - 2004
- [p1]Antonio Brogi
:
On the Semantics of Logic Program Composition. Program Development in Computational Logic 2004: 115-151
Editorship
- 2020
- [e9]Antonio Brogi
, Wolf Zimmermann, Kyriakos Kritikos
:
Service-Oriented and Cloud Computing - 8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020, Proceedings. Lecture Notes in Computer Science 12054, Springer 2020, ISBN 978-3-030-44768-7 [contents] - 2019
- [e8]Francesco Nocera, Antonio Bucchiarone, Marina Mongiello, Rafael Capilla, Maurizio Leotta, Zoltán Ádám Mann, Pooyan Jamshidi, Antonio Brogi:
Proceedings of the 2nd ACM SIGSOFT International Workshop on Ensemble-Based Software Engineering for Modern Computing Platforms, EnSEmble@ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26, 2019. ACM 2019, ISBN 978-1-4503-6853-7 [contents] - 2010
- [e7]Antonio Brogi, Cesare Pautasso, George Angelos Papadopoulos:
8th IEEE European Conference on Web Services (ECOWS 2010), 1-3 December 2010, Ayia Napa, Cyprus. IEEE Computer Society 2010, ISBN 978-1-4244-9397-5 [contents] - 2009
- [e6]Antonio Brogi, João Araújo, Raquel Anaya:
Memorias de la XII Conferencia Iberoamericana de Software Engineering (CIbSE 2009), Medellín, Colombia, Abril 13-17, 2009. 2009 [contents] - 2007
- [e5]Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel:
Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures, FOCLASA 2004, London, UK, August 30, 2004. Electronic Notes in Theoretical Computer Science 180(2), Elsevier 2007 [contents] - 2004
- [e4]Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel:
Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003, Marseille, France, September 2, 2003. Electronic Notes in Theoretical Computer Science 97, Elsevier 2004 [contents] - 2003
- [e3]Antonio Brogi, Jean-Marie Jacquet:
Foundations of Coordination Languages and Software Architectures, FOCLASA 2002, Satellite Workshop of CONCUR 2002, Brno, Czech Republic, August 19, 2002. Electronic Notes in Theoretical Computer Science 68(3), Elsevier 2003 [contents] - 2002
- [e2]Antonio Brogi, Ernesto Pimentel:
Formal Methods and Component Interaction 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12, 2002. Electronic Notes in Theoretical Computer Science 66(4), Elsevier 2002 [contents] - 1994
- [e1]Koenraad De Bosschere, Jean-Marie Jacquet, Antonio Brogi:
ICPL 1994 Workshop W1: Process-Based Parallel Logic Programming, Santa Margherita Ligure, Italy, June, 1994. 1994 [contents]
Data and Artifacts
- 2024
- [d2]Enrique Moguel
, Juan Manuel Murillo
, José García-Alonso
, Johanna Barzen
, Frank Leymann
, Shaukat Ali
, Tao Yue
, Paolo Arcaini
, Ricardo Pérez-Castillo
, Ignacio García Rodríguez de Guzmán
, Mario Piattini
, Antonio Ruiz-Cortés
, Antonio Brogi
, Jianjun Zhao
, Andriy V. Miranskyy
, Manuel Wimmer
:
Prospects for Quantum Software Engineering in the Next Decade - Supplementary material. Zenodo, 2024 - 2023
- [d1]Juan Luis Herrera
, Javier Berrocal
, Stefano Forti
, Antonio Brogi
, Juan Manuel Murillo
:
Supplemental material for "Multi-Layered Continuous Reasoning for Cloud-IoT Application Management". IEEE DataPort, 2023
Informal and Other Publications
- 2024
- [i16]Simon Schneider, Alexander Bakhtin, Xiaozhou Li, Jacopo Soldani, Antonio Brogi
, Tomás Cerný, Riccardo Scandariato, Davide Taibi:
Comparison of Static Analysis Architecture Recovery Tools for Microservice Applications. CoRR abs/2403.06941 (2024) - [i15]Juan Manuel Murillo, José García-Alonso, Enrique Moguel, Johanna Barzen, Frank Leymann, Shaukat Ali, Tao Yue, Paolo Arcaini, Ricardo Pérez, Ignacio García Rodríguez de Guzmán, Mario Piattini, Antonio Ruiz-Cortés, Antonio Brogi
, Jianjun Zhao, Andriy V. Miranskyy, Manuel Wimmer:
Challenges of Quantum Software Engineering for the Next Decade: The Road Ahead. CoRR abs/2404.06825 (2024) - [i14]Giuseppe Bisicchia, José García-Alonso, Juan Manuel Murillo, Antonio Brogi:
From Quantum Mechanics to Quantum Software Engineering. CoRR abs/2404.19428 (2024) - [i13]Stefano Forti, Jacopo Soldani, Antonio Brogi:
Carbon-aware Software Services. CoRR abs/2405.12582 (2024) - 2023
- [i12]Giuseppe Bisicchia, Stefano Forti, Ernesto Pimentel, Antonio Brogi
:
Continuous QoS-compliant Orchestration in the Cloud-Edge Continuum. CoRR abs/2310.02985 (2023) - [i11]Jacopo Massa, Stefano Forti, Patrizio Dazzi, Antonio Brogi:
Data-aware Declarative Application Management in the Cloud-IoT Continuum. ERCIM News 2023(133) (2023) - 2021
- [i10]Francisco Ponce, Jacopo Soldani, Hernán Astudillo, Antonio Brogi:
Smells and Refactorings for Microservices Security: A Multivocal Literature Review. CoRR abs/2104.13303 (2021) - [i9]Jacopo Soldani, Antonio Brogi:
Anomaly Detection and Failure Root Cause Analysis in (Micro)Service-Based Cloud Applications: A Survey. CoRR abs/2105.12378 (2021) - [i8]Giuseppe Bisicchia, Stefano Forti, Antonio Brogi:
A Declarative Goal-oriented Framework for Smart Environments with LPaaS. CoRR abs/2106.13083 (2021) - [i7]Stefano Forti, Antonio Brogi:
Green Application Placement in the Cloud-IoT Continuum. CoRR abs/2110.13039 (2021) - 2020
- [i6]Matteo Bogo, Jacopo Soldani, Davide Neri, Antonio Brogi:
Component-aware Orchestration of Cloud-based Enterprise Applications, from TOSCA to Docker and Kubernetes. CoRR abs/2002.01699 (2020) - [i5]Vladimir Yussupov, Jacopo Soldani, Uwe Breitenbücher, Antonio Brogi, Frank Leymann:
FaaSten Your Decisions: Classification Framework and Technology Review of Function-as-a-Service Platforms. CoRR abs/2004.00969 (2020) - 2019
- [i4]Stefano Forti, Gian-Luigi Ferrari, Antonio Brogi:
Secure Cloud-Edge Deployments, with Trust. CoRR abs/1901.05347 (2019) - [i3]Antonio Brogi, Stefano Forti, Carlos Guerrero, Isaac Lera:
How to Place Your Apps in the Fog - State of the Art and Open Challenges. CoRR abs/1901.05717 (2019) - [i2]Antonio Brogi, Stefano Forti, Federica Paganelli:
Probabilistic QoS-aware Placement of VNF chains at the Edge. CoRR abs/1906.00197 (2019) - [i1]Antonio Brogi, Davide Neri
, Jacopo Soldani, Olaf Zimmermann:
Design principles, architectural smells and refactorings for microservices: A multivocal review. CoRR abs/1906.01553 (2019)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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 2024-08-11 01:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint