Antonio Brogi
Orcid: 0000-0003-2048-2468Affiliations:
- University of Pisa, Italy
According to our database1,
Antonio Brogi
authored at least 285 papers
between 1989 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on di.unipi.it
On csauthors.net:
Bibliography
2024
Prospects for Quantum Software Engineering in the Next Decade - Supplementary material.
Dataset, March, 2024
CoRR, 2024
Comparison of Static Analysis Architecture Recovery Tools for Microservice Applications.
CoRR, 2024
Beyond Security: Understanding the Multiple Impacts of Security Smells for Microservices.
CLEI Electron. J., 2024
Proceedings of the 27th Conference on Innovation in Clouds, Internet and Networks, 2024
Towards Sustainable Deployment of Microservices over the Cloud-IoT Continuum, with FREEDA.
Proceedings of the 4th Workshop on Flexible Resource and Application Management on the Edge, 2024
Proceedings of the 4th Workshop on Flexible Resource and Application Management on the Edge, 2024
Proceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering, 2024
Proceedings of the 14th International Conference on Cloud Computing and Services Science, 2024
Proceedings of the 14th International Conference on Cloud Computing and Services Science, 2024
FREEDA: Failure-Resilient, Energy-aware, and Explainable Deployment of Microservice-based Applications over Cloud-IoT Infrastructures.
Proceedings of the Research Projects Exhibition Papers Presented at the 36th International Conference on Advanced Information Systems Engineering(CAiSE 2024), 2024
2023
Supplemental material for "Multi-Layered Continuous Reasoning for Cloud-IoT Application Management".
Dataset, November, 2023
Computing, September, 2023
Sci. Comput. Program., August, 2023
Future Internet, July, 2023
Future Internet, July, 2023
J. Log. Comput., June, 2023
SN Comput. Sci., May, 2023
Sensors, February, 2023
Future Gener. Comput. Syst., 2023
ERCIM News, 2023
Anomaly Detection and Failure Root Cause Analysis in (Micro) Service-Based Cloud Applications: A Survey.
ACM Comput. Surv., 2023
Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023
Proceedings of the IEEE/ACM 16th International Conference on Utility and Cloud Computing, 2023
Proceedings of the IEEE/ACM 16th International Conference on Utility and Cloud Computing, 2023
Kubernetes-Enabled Detection and Resolution of Architectural Smells for Microservices.
Proceedings of the IEEE International Conference on Service-Oriented System Engineering, 2023
Green Orchestration of Cloud-Edge Applications: State of the Art and Open Challenges.
Proceedings of the IEEE International Conference on Service-Oriented System Engineering, 2023
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023
Declarative Provisioning of Virtual Network Function Chains in Intent-based Networks.
Proceedings of the 9th IEEE International Conference on Network Softwarization, 2023
Proceedings of the 12th Mediterranean Conference on Embedded Computing, 2023
Proceedings of the Software Technologies - 18th International Conference, 2023
Proceedings of the 18th International Conference on Software Technologies, 2023
Proceedings of the Service-Oriented Computing - ICSOC 2023 Workshops - AI-PA, ASOCA, SAPD, SQS, SSCOPE, WESOACS and Satellite Events, Rome, Italy, November 28, 2023
Proceedings of the Service-Oriented Computing - 21st International Conference, 2023
Proceedings of the 3rd Workshop on Flexible Resource and Application Management on the Edge, 2023
Proceedings of the Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium, 2023
A Proposal for a Continuum-aware Programming Model: From Workflows to Services Autonomously Interacting in the Compute Continuum.
Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023
Proceedings of the 13th International Conference on Cloud Computing and Services Science, 2023
Proceedings of the 13th International Conference on Cloud Computing and Services Science, 2023
To Security and Beyond: On The Impacts of Microservice Security Smells and Refactorings.
Proceedings of the XLIX Latin American Computer Conference, 2023
Proceedings of the 16th IEEE International Conference on Cloud Computing, 2023
2022
Theory Pract. Log. Program., 2022
Modelling and Analysing Replica- and Fault-aware Management of Horizontally Scalable Applications.
ACM Trans. Internet Techn., 2022
Compositional testing of management conformance for multi-component enterprise applications.
Serv. Oriented Comput. Appl., 2022
Osmotic management of distributed complex systems: A declarative decentralised approach.
J. Softw. Evol. Process., 2022
J. Syst. Softw., 2022
Serverless or Serverful? A Pattern-Based Approach for Exploring Hosting Alternatives.
Proceedings of the Service-Oriented Computing - 16th Symposium and Summer School, 2022
Proceedings of the Service-Oriented Computing - 16th Symposium and Summer School, 2022
Proceedings of the Practical Aspects of Declarative Languages, 2022
Proceedings of the Joint Post-proceedings of the Third and Fourth International Conference on Microservices, 2022
Proceedings of the IEEE INFOCOM 2022, 2022
Proceedings of the Service-Oriented Computing - ICSOC 2022 Workshops - ASOCA, AI-PA, FMCIoT, WESOACS 2022, Sevilla, Spain, November 29, 2022
Proceedings of the Service-Oriented and Cloud Computing, 2022
Proceedings of the Service-Oriented and Cloud Computing, 2022
Proceedings of the Software Architecture. ECSA 2022 Tracks and Workshops, 2022
Should Microservice Security Smells Stay or be Refactored? Towards a Trade-off Analysis.
Proceedings of the Software Architecture - 16th European Conference, 2022
Assessing Architecture Conformance to Coupling-Related Infrastructure-as-Code Best Practices: Metrics and Case Studies.
Proceedings of the Software Architecture - 16th European Conference, 2022
Proceedings of the Distributed Applications and Interoperable Systems: 22nd IFIP WG 6.1 International Conference, 2022
Proceedings of the 12th International Conference on Cloud Computing and Services Science, 2022
Proceedings of the 22nd IEEE International Symposium on Cluster, 2022
2021
The μTOSCA toolchain: Mining, analyzing, and refactoring microservice-based architectures.
Softw. Pract. Exp., 2021
FaaSten your decisions: A classification framework and technology review of function-as-a-Service platforms.
J. Syst. Softw., 2021
Corrigendum to "Lightweight self-organising distributed monitoring of Fog infrastructures" [Future Gener. Comput. Syst. 114 (2020) 605-618].
Future Gener. Comput. Syst., 2021
Future Gener. Comput. Syst., 2021
Proceedings of the Service-Oriented Computing, 2021
Proceedings of the IEEE International Conference on Smart Computing, 2021
Proceedings of the Italian Conference on Cybersecurity, 2021
Proceedings of the Dependable Computing - EDCC 2021 Workshops, 2021
Proceedings of the 10th IEEE International Conference on Cloud Networking, CloudNet 2021, 2021
From Serverful to Serverless: A Spectrum of Patterns for Hosting Application Components.
Proceedings of the 11th International Conference on Cloud Computing and Services Science, 2021
Automating the Deployment of Distributed Applications by Combining Multiple Deployment Technologies.
Proceedings of the 11th International Conference on Cloud Computing and Services Science, 2021
Tailoring Technology-Agnostic Deployment Models to Production-Ready Deployment Technologies.
Proceedings of the Cloud Computing and Services Science - 11th International Conference, 2021
Proceedings of the 36th Italian Conference on Computational Logic, 2021
Proceedings of the Advanced Information Systems Engineering Workshops - CAiSE 2021 International Workshops, Melbourne, VIC, Australia, June 28, 2021
2020
Softw. Pract. Exp., 2020
Component-aware orchestration of cloud-based enterprise applications, from TOSCA to Docker and Kubernetes.
Softw. Pract. Exp., 2020
ACM SIGSOFT Softw. Eng. Notes, 2020
Internet Technol. Lett., 2020
Design principles, architectural smells and refactorings for microservices: a multivocal review.
SICS Softw.-Intensive Cyber Phys. Syst., 2020
Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020
Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020
Proceedings of the Service-Oriented and Cloud Computing, 2020
Proceedings of the Service-Oriented and Cloud Computing, 2020
Mining the Architecture of Microservice-Based Applications from their Kubernetes Deployment.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2020
Cloud-native Deploy-ability: An Analysis of Required Features of Deployment Technologies to Deploy Arbitrary Cloud-native Applications.
Proceedings of the 10th International Conference on Cloud Computing and Services Science, 2020
2019
IEEE Trans. Cloud Comput., 2019
SICS Softw.-Intensive Cyber Phys. Syst., 2019
Formal Aspects Comput., 2019
Proceedings of the Software Engineering and Formal Methods, 2019
Proceedings of the Service-Oriented Computing - ICSOC 2019 Workshops, 2019
Proceedings of the Service-Oriented Computing - ICSOC 2019 Workshops, 2019
Proceedings of the Service-Oriented Computing - 17th International Conference, 2019
Proceedings of the Fourth International Conference on Fog and Mobile Edge Computing, 2019
Meet Genetic Algorithms in Monte Carlo: Optimised Placement of Multi-Service Applications in the Fog.
Proceedings of the 3rd IEEE International Conference on Edge Computing, 2019
Proceedings of the 12th IEEE International Conference on Cloud Computing, 2019
Proceedings of the Fog and Edge Computing, 2019
2018
TosKer: A synergy between TOSCA and Docker for orchestrating multicomponent applications.
Softw. Pract. Exp., 2018
Softw. Pract. Exp., 2018
J. Syst. Softw., 2018
Int. J. Parallel Program., 2018
Proceedings of the Software Technologies: Applications and Foundations, 2018
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2018
Proceedings of the Third International Conference on Fog and Mobile Edge Computing, 2018
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2018
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2018
Proceedings of the Service-Oriented and Cloud Computing, 2018
Proceedings of the Cloud Computing and Services Science - 8th International Conference, 2018
Proceedings of the 8th International Conference on Cloud Computing and Services Science, 2018
2017
IEEE Internet Things J., 2017
Proceedings of the Software Engineering and Formal Methods, 2017
Proceedings of the Software Engineering and Formal Methods, 2017
Proceedings of the Model-Driven Engineering and Software Development, 2017
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017
Proceedings of the 1st IEEE International Conference on Fog and Edge Computing, 2017
Proceedings of the 2017 IEEE International Conference on Cloud Engineering, 2017
Proceedings of the Second International Conference on Fog and Mobile Edge Computing, 2017
Proceedings of the Euro-Par 2017: Parallel Processing Workshops, 2017
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2017
Proceedings of the Coordination Models and Languages, 2017
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017
2016
A Petri Net-Based Approach to Model and Analyze the Management of Cloud Applications.
Trans. Petri Nets Other Model. Concurr., 2016
J. Syst. Softw., 2016
Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016
Proceedings of the Service-Oriented and Cloud Computing, 2016
Proceedings of the Software Architecture - 10th European Conference, 2016
2015
CLEI Electron. J., 2015
SeaClouds: Agile management of complex applications across multiple heterogeneous clouds.
Proceedings of the Projects Showcase, 2015
Proceedings of the Service Oriented and Cloud Computing - 4th European Conference, 2015
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2015
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015
2014
ACM SIGSOFT Softw. Eng. Notes, 2014
Dynamic Verification of Mashups of Service-Oriented Things through a Mediation Platform.
J. Univers. Comput. Sci., 2014
Probabilistic Prediction of the QoS of Service Orchestrations: A Truly Compositional Approach.
Proceedings of the Service-Oriented Computing - 12th International Conference, 2014
Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Big Data, 2014
Proceedings of the Service-Oriented and Cloud Computing - Third European Conference, 2014
Workshop on Seamless Adaptive Multi-cloud Management of Service-Based Applications (SeaCloudS): Preface.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2014
EU Project SeaClouds - Adaptive Management of Service-based Applications Across Multiple Clouds.
Proceedings of the CLOSER 2014, 2014
SeaClouds: Seamless adaptive multi-cloud management of service-based applications.
Proceedings of the XVII Iberoamerican Conference on Software Engineering, 2014
2013
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013
2012
ACM Trans. Auton. Adapt. Syst., 2012
Research challenges on multi-layer and mixed-initiative monitoring and adaptation for service-based systems.
Proceedings of the First International Workshop on European Software Services and Systems Research, 2012
Proceedings of the 2012 IEEE International Conference on Green Computing and Communications, 2012
Proceedings of the 2nd International Workshop on Adaptive Services for the Future Internet and 6th International Workshop on Web APIs and Service Mashups (WAS4FI-Mashups 2012), 2012
2011
On the potential advantages of exploiting behavioural information for contract-based service discovery and composition.
J. Log. Algebraic Methods Program., 2011
Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011
2010
ACM Trans. Softw. Eng. Methodol., 2010
Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010
Analysing the Behaviour of Peer Specifications for mobile P2P applications.
Proceedings of the 13th Iberoamerican Conference on Software Engineering, 2010
2009
Fundam. Informaticae, 2009
A Two-Tiered Approach to Enabling Enhanced Service Discovery in Embedded Peer-to-Peer Systems.
Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009
2008
ACM Trans. Internet Techn., 2008
Int. J. Cooperative Inf. Syst., 2008
Fundam. Informaticae, 2008
Frontiers Comput. Sci. China, 2008
Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2008
Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008
Proceedings of the 5th Annual International Conference on Mobile and Ubiquitous Systems: Computing, 2008
Modelado de sistemas P2P con control de excepciones.
Proceedings of the Memorias de la XI Conferencia Iberoamericana de Software Engineering (CIbSE 2008), 2008
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study.
Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008
2007
Int. J. Bus. Process. Integr. Manag., 2007
Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2007
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2007
Proceedings of the Service-Oriented Computing, 2007
Proceedings of the Service-Oriented Computing, 2007
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007
2006
Fully Abstract Semantics for a Coordination Model with Asynchronous Communication and Enhanced Matching.
Fundam. Informaticae, 2006
Fundam. Informaticae, 2006
Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2006
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006
Proceedings of the SWAP 2006, 2006
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006
Proceedings of the Service-Oriented Computing, 2006
Proceedings of the Service-Oriented Computing, 2006
2005
Stud Logica, 2005
J. Log. Algebraic Methods Program., 2005
Proceedings of the Software Composition - 4th International Workshop, 2005
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005
Proceedings of the Service-Oriented Computing, 2005
Proceedings of the Progress in Artificial Intelligence, 2005
2004
Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures, 2004
Proceedings of the First International Workshop on Web Services and Formal Methods, 2004
Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures, 2004
Proceedings of the 5th International Symposium on Virtual Reality, 2004
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004
Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004
Proceedings of the Advances in Artificial Intelligence, 2004
Proceedings of the Architecting Systems with Trustworthy Components, 2004
Proceedings of the Coordination Models and Languages, 6th International Conference, 2004
Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004
Proceedings of the Algebraic Methodology and Software Technology, 2004
2003
Sci. Comput. Program., 2003
Proceedings of the International Workshop on Test and Analysis of Component-Based Systems, 2003
Proceedings of FOCLASA 2003, 2003
Preface: Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003.
Proceedings of FOCLASA 2003, 2003
Proceedings of the First International Workshop on Security Issues in Coordination Models, 2003
Proceedings of the Progress in Artificial Intelligence, 2003
Proceedings of the Cooperative Information Agents VII, 7th International Workshop, 2003
An Evolving Agent with EVOLP.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003
2002
Proceedings of the Formal Methods and Component Interaction 2002, 2002
Proceedings of the Foundations of Coordination Languages and Software Architectures, 2002
Proceedings of the Foundations of Coordination Languages and Software Architectures, 2002
Proceedings of the Formal Methods and Component Interaction 2002, 2002
Security and Dynamic Compositions of Open Systems.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002
Proceedings of the Coordination Models and Languages, 5th International Conference, 2002
Proceedings of the Component Deployment, IFIP/ACM Working Conference, 2002
2001
Proceedings of the Workshop on Quantitative Aspects of Programming Laguages, 2001
Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001
Proceedings of the Declarative Programming, 2001
Proceedings of the International Workshop on Concurrency and Coordination, 2001
Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001
Proceedings of the Practical Aspects of Declarative Languages, 2001
Proceedings of the Logic Based Program Synthesis and Transformation, 2001
2000
Special Issue on Logical Formalisms for Program Composition - Editorial.
J. Funct. Log. Program., 2000
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000
On the Interplay between Reactivity and Computation.
Proceedings of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), 2000
1999
Proceedings of the 20th Annual Conference of the European Association for Computer Graphics, 1999
Proceedings of the Coordination Languages and Models, Third International Conference, 1999
ExpertFinder: A Prolog Recommender System Integrated with the WWW.
Proceedings of the 1999 Joint Conference on Declarative Programming, 1999
1998
New Gener. Comput., 1998
Proceedings of the Fifth International Workshop on Expressiveness in Concurrency, 1998
Proceedings of the Logic Programming Synthesis and Transformation, 1998
1997
Theor. Comput. Sci., 1997
ACM SIGCSE Bull., 1997
Ann. Math. Artif. Intell., 1997
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997
Proceedings of the Coordination Languages and Models, Second International Conference, 1997
1996
Proceedings of the Extensions of Logic Programming, 5th International Workshop, 1996
Specialising Meta-level Compositions of Logic Programs.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996
1995
Theor. Comput. Sci., 1995
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995
1994
Proceedings of the Programming Language Implementation and Logic Programming, 1994
Proceedings of the Logic Programming Synthesis and Transformation, 1994
Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994
Amalgamating Language and Meta-language for Composing Logic Programs.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994
1993
Distributed Logic Programming.
J. Log. Program., 1993
1992
The Implementation of a Distributed Model for Logic Programming Based on Multiple-Headed Clauses.
Inf. Process. Lett., 1992
Proceedings of the Meta-Programming in Logic, 3rd International Workshop, 1992
Normal Logic Programs as Open Positive Programs.
Proceedings of the Logic Programming, 1992
Proceedings of the Extensions of Logic Programming, Third International Workshop, 1992
ATMS for Implementing Logic Programming.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992
1991
Proceedings of the Programming Language Implementation and Logic Programming, 1991
Proceedings of the Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990, 1991
Metalogic for Knowledge Representation.
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991
Theory Construction in Computational Logic.
Proceedings of the Constructing Logic Programs, 1991
Proceedings of the Extensions of Logic Programming, Second International Workshop, 1991
Proceedings of the Trends in Artificial Intelligence, 1991
1990
Inf. Process. Lett., 1990
Proceedings of the Programming Language Implementation and Logic Programming, 1990
AND-Parallelism without Shared Variables.
Proceedings of the Logic Programming, 1990
Universal Quantification by Case Analysis.
Proceedings of the 9th European Conference on Artificial Intelligence, 1990
Inheritance and Hypothetical Reasoning in Logic Programming.
Proceedings of the 9th European Conference on Artificial Intelligence, 1990
1989
Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989
Model Theoretic, Fixpoint and Operational Semantics for a Distributed Logic Language.
Proceedings of the Logic Programming, 1989