Antonio Brogi

According to our database1, Antonio Brogi authored at least 187 papers between 1989 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Cloud Container Technologies: A State-of-the-Art Review.
IEEE Trans. Cloud Computing, 2019

Mimicking FogDirector application management.
Computer Science - R&D, 2019

Estimating costs of multi-component enterprise applications.
Formal Asp. Comput., 2019

Making a Business Out of (Predictive Application Management in) the Fog.
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

Robust Management of Trans-Cloud Applications.
Proceedings of the 12th IEEE International Conference on Cloud Computing, 2019

Predictive Analysis to Support Fog Application Deployment.
Proceedings of the Fog and Edge Computing, 2019

2018
TosKer: A synergy between TOSCA and Docker for orchestrating multicomponent applications.
Softw., Pract. Exper., 2018

A microservice-based architecture for (customisable) analyses of Docker images.
Softw., Pract. Exper., 2018

Orchestrating incomplete TOSCA applications with Docker.
Sci. Comput. Program., 2018

Simulation-based matching of cloud applications.
Sci. Comput. Program., 2018

Fault-aware management protocols for multi-component applications.
Journal of Systems and Software, 2018

Analysing Multiple QoS Attributes in Parallel Design Patterns-Based Applications.
International Journal of Parallel Programming, 2018

Explaining Successful Docker Images Using Pattern Mining Analysis.
Proceedings of the Software Technologies: Applications and Foundations, 2018

Helping Your Docker Images to Spread Based on Explainable Models.
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2018

Bonsai in the Fog: An active learning lab with Fog computing.
Proceedings of the Third International Conference on Fog and Mobile Edge Computing, 2018

True Concurrent Management of Multi-component Applications.
Proceedings of the Service-Oriented and Cloud Computing, 2018

Deploying Fog Applications: How Much Does It Cost, By the Way?
Proceedings of the 8th International Conference on Cloud Computing and Services Science, 2018

2017
QoS-Aware Deployment of IoT Applications Through the Fog.
IEEE Internet of Things Journal, 2017

DrACO: Discovering available cloud offerings.
Computer Science - R&D, 2017

From (Incomplete) TOSCA Specifications to Running Applications, with Docker.
Proceedings of the Software Engineering and Formal Methods, 2017

Towards a Reference Dataset of Microservice-Based Applications.
Proceedings of the Software Engineering and Formal Methods, 2017

Keynote speech 3: QoS-aware deployment of Fog applications.
Proceedings of the 2017 Fourth International Conference on Software Defined Systems, 2017

Sommelier: A Tool for Validating TOSCA Application Topologies.
Proceedings of the Model-Driven Engineering and Software Development, 2017

Validating TOSCA Application Topologies.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

How to Best Deploy Your Fog Applications, Probably.
Proceedings of the 1st IEEE International Conference on Fog and Edge Computing, 2017

DockerFinder: Multi-attribute Search of Docker Images.
Proceedings of the 2017 IEEE International Conference on Cloud Engineering, 2017

Keynote speech 3: QoS-aware deployment of Fog applications.
Proceedings of the Second International Conference on Fog and Mobile Edge Computing, 2017

Container-Based Support for Autonomic Data Stream Processing Through the Fog.
Proceedings of the Euro-Par 2017: Parallel Processing Workshops, 2017

TosKer: Orchestrating Applications with TOSCA and Docker.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2017

Modelling the Dynamic Reconfiguration of Application Topologies, Faults Included.
Proceedings of the Coordination Models and Languages, 2017

Application Deployment through the Fog.
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.
T. Petri Nets and Other Models of Concurrency, 2016

Finding available services in TOSCA-compliant clouds.
Sci. Comput. Program., 2016

ToscaMart: A method for adapting and reusing cloud applications.
Journal of Systems and Software, 2016

Behaviour-Aware Matching of Cloud Applications.
Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

Fault-Aware Application Management Protocols.
Proceedings of the Service-Oriented and Cloud Computing, 2016

SeaClouds: An Open Reference Architecture for Multi-cloud Governance.
Proceedings of the Software Architecture - 10th European Conference, 2016

2015
Adaptive management of applications across multiple clouds: The SeaClouds Approach.
CLEI Electron. J., 2015

SeaClouds: Agile management of complex applications across multiple heterogeneous clouds.
Proceedings of the Projects Showcase, 2015

Modelling and Analysing Cloud Application Management.
Proceedings of the Service Oriented and Cloud Computing - 4th European Conference, 2015

Automated Prediction of the QoS of Service Orchestrations: PASO at Work.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2015

Modelling the Behaviour of Management Operations in Cloud-based Applications.
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015

2014
SeaClouds: a European project on seamless management of multi-cloud applications.
ACM SIGSOFT Software Engineering Notes, 2014

Dynamic Verification of Mashups of Service-Oriented Things through a Mediation Platform.
J. UCS, 2014

Probabilistic Prediction of the QoS of Service Orchestrations: A Truly Compositional Approach.
Proceedings of the Service-Oriented Computing - 12th International Conference, 2014

Reusing cloud-based services with TOSCA.
Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Informatik 2014, Big Data, 2014

TOSCA in a Nutshell: Promises and Perspectives.
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
Run-Time Verification of Behaviour-Aware Mashups in the Internet of Things.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013

Matching Cloud Services with TOSCA.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013

2012
A formalized, taxonomy-driven approach to cross-layer application adaptation.
TAAS, 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

Behaviour-Aware Compositions of Things.
Proceedings of the 2012 IEEE International Conference on Green Computing and Communications, 2012

2011
On the potential advantages of exploiting behavioural information for contract-based service discovery and composition.
J. Log. Algebr. Program., 2011

Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation.
Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

2010
Design and implementation of Sator: A web service aggregator.
ACM Trans. Softw. Eng. Methodol., 2010

Taxonomy-Driven Adaptation of Multi-layer Applications Using Templates.
Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

2009
A Net-based Approach to Web Services Publication and Replaceability.
Fundam. Inform., 2009

Software composition with Linda.
Computer Languages, Systems & Structures, 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
Semantics-based composition-oriented discovery of Web services.
ACM Trans. Internet Techn., 2008

Ontology- and Behavior-Aware Discovery of Web Service Compositions.
Int. J. Cooperative Inf. Syst., 2008

On the Use of Behavioural Equivalences for Web Services' Development.
Fundam. Inform., 2008

Workflow-based semantics for peer-to-peer specifications.
Frontiers Comput. Sci. China, 2008

A Service-Oriented Model for Embedded Peer-to-Peer Systems.
Electr. Notes Theor. Comput. Sci., 2008

Secure P2P Programming on Top of Tuple Spaces.
Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2008

Workflow Semantics of Peer and Service Behaviour.
Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Tailoring service discovery to embedded P2P systems.
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

Discovering service compositions that feature a desired behaviour.
Proceedings of the Memorias de la XI Conferencia Iberoamericana de Software Engineering (CIbSE 2008), 2008

Evolving Reactive Logic Programs.
Proceedings of the Il Milione (i.e. 2ˆ6), 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
Behaviour-Aware Discovery of Web Service Compositions.
Int. J. Web Service Res., 2007

Service adaptation through trace inspection.
IJBPIM, 2007

Preface.
Electr. Notes Theor. Comput. Sci., 2007

Behavioural Types for Service Integration: Achievements and Challenges.
Electr. Notes Theor. Comput. Sci., 2007

Dynamic Contextual Adaptation.
Electr. Notes Theor. Comput. Sci., 2007

SAM : A Semantic Web Service Discovery System.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2007

From OWL-S Descriptions to Petri Nets.
Proceedings of the Service-Oriented Computing, 2007

Discovering Service Compositions That Feature a Desired Behaviour.
Proceedings of the Service-Oriented Computing, 2007

A Behavioural Congruence for Web Services.
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

Automated Generation of BPEL Adapters.
Proceedings of the Memorias de la X Conferencia Iberoamericana de Software Engineering (CIbSE 2007), 2007

2006
On the expressiveness of timed coordination models.
Sci. Comput. Program., 2006

Preface.
Sci. Comput. Program., 2006

On the semantics of software adaptation.
Sci. Comput. Program., 2006

Component adaptation through flexible subservicing.
Sci. Comput. Program., 2006

Fully Abstract Semantics for a Coordination Model with Asynchronous Communication and Enhanced Matching.
Fundam. Inform., 2006

Foundations on Coordination Languages and Software Architectures.
Fundam. Inform., 2006

From BPEL Processes to YAWL Workflows.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

A Prototype for Discovering Compositions of Semantic Web Services.
Proceedings of the SWAP 2006, 2006

An Event-Condition-Action Logic Programming Language.
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Automated Generation of BPEL Adapters.
Proceedings of the Service-Oriented Computing, 2006

Automated Discovery of Compositions of Services Described with Separate Ontologies.
Proceedings of the Service-Oriented Computing, 2006

Towards Semi-automated Workflow-based Aggregation of Web Services.
Proceedings of the Memorias de la IX Conferenci a Iberoamericana de Software Engineering (CIbSE 2006), 2006

2005
The Refined Extension Principle for Semantics of Dynamic Logic Programming.
Studia Logica, 2005

A formal approach to component adaptation.
Journal of Systems and Software, 2005

A framework for specifying and verifying the behaviour of open systems.
J. Log. Algebr. Program., 2005

Composition-Oriented Service Discovery.
Proceedings of the Software Composition, 4th International Workshop, 2005

The Well Supported Semantics for Multidimensional Dynamic Logic Programs.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Towards Semi-automated Workflow-Based Aggregation of Web Services.
Proceedings of the Service-Oriented Computing, 2005

Operational Semantics for DyLPs.
Proceedings of the Progress in Artificial Intelligence, 2005

2004
On the Expressiveness of Relative-Timed Coordination Models.
Electr. Notes Theor. Comput. Sci., 2004

Preface: Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003.
Electr. Notes Theor. Comput. Sci., 2004

Formalizing Web Service Choreographies.
Electr. Notes Theor. Comput. Sci., 2004

On the specification of software adaptation.
Electr. Notes Theor. Comput. Sci., 2004

Digital reconstruction of the Arrigo VII funerary complex.
Proceedings of the VAST 2004: The 5th International Symposium on Virtual Reality, 2004

Semantics for Dynamic Logic Programming: A Principle-Based Approach.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

On the Semantics of Logic Program Composition.
Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

Well Founded Semantics for Logic Program Updates.
Proceedings of the Advances in Artificial Intelligence, 2004

Towards an Engineering Approach to Component Adaptation.
Proceedings of the Architecting Systems with Trustworthy Components, 2004

Measuring Component Adaptation.
Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

From Logic Programs Updates to Action Description Updates.
Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

Behavioural Types and Component Adaptation.
Proceedings of the Algebraic Methodology and Software Technology, 2004

2003
On the expressiveness of coordination via shared dataspaces.
Sci. Comput. Program., 2003

A Deductive Database Approach to A.I. Planning.
J. Intell. Inf. Syst., 2003

Safe Composition of Linda-based Components.
Electr. Notes Theor. Comput. Sci., 2003

On Modeling Coordination via Asynchronous Communication and Enhanced Matching.
Electr. Notes Theor. Comput. Sci., 2003

Preface.
Electr. Notes Theor. Comput. Sci., 2003

Soft component adaptation.
Electr. Notes Theor. Comput. Sci., 2003

An Evolvable Rule-Based E-mail Agent.
Proceedings of the Progress in Artificial Intelligence, 2003

Logic Programming for Evolving Agents.
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
Compatibility of Linda-based Component Interfaces.
Electr. Notes Theor. Comput. Sci., 2002

Preface.
Electr. Notes Theor. Comput. Sci., 2002

Systematic Component Adaptation.
Electr. Notes Theor. Comput. Sci., 2002

Security and Dynamic Compositions of Open Systems.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002

Evolving Logic Programs.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Dynamically Adapting the Behaviour of Software Components.
Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

Adapting Components with Mismatching Behaviours.
Proceedings of the Component Deployment, IFIP/ACM Working Conference, 2002

2001
Linear Embedding for a Quantitative Comparison of Language Expressiveness.
Electr. Notes Theor. Comput. Sci., 2001

Comparative analysis of the expressiveness of shared dataspace coordination.
Electr. Notes Theor. Comput. Sci., 2001

Probabilistic behaviours of reactive agents.
Electr. Notes Theor. Comput. Sci., 2001

Security Issues in Component-based Design.
Electr. Notes Theor. Comput. Sci., 2001

Coordinating interaction patterns.
Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001

From Subject Directories to Subject Meta-directories via Declarative Programming.
Proceedings of the Practical Aspects of Declarative Languages, 2001

Computing Environment-Aware Agent Behaviours with Logic Program Updates.
Proceedings of the Logic Based Program Synthesis and Transformation, 2001

2000
Special Issue on Logical Formalisms for Program Composition - Editorial.
Journal of Functional and Logic Programming, 2000

On Timed Coordination Languages.
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
Programming by Combining General Logic Programs.
J. Log. Comput., 1999

Dynamic composition of parameterised logic modules.
Comput. Lang., 1999

On the Expressiveness of Coordination Models.
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
A Program Specialiser for Meta-Level Compositions of Logic Programs.
New Generation Comput., 1998

On the Expressiveness of Linda-like Concurrent Languages.
Electr. Notes Theor. Comput. Sci., 1998

The Use of Renaming in Composing General Programs.
Proceedings of the Logic Programming Synthesis and Transformation, 1998

1997
A Unifying View for Logic Programming with Non-Monotonic Reasoning.
Theor. Comput. Sci., 1997

A Turing machine contest for introducing high school students to computer science.
SIGCSE Bulletin, 1997

The Logic of Totally and Partially Ordered Plans: A Deductive Database Approach.
Ann. Math. Artif. Intell., 1997

Composing General Logic Programs.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

Modeling Coordination via Asynchronous Communication.
Proceedings of the Coordination Languages and Models, Second International Conference, 1997

1996
Specialising Meta-level Compositions of Logic Programs.
Proceedings of the Logic Programming Synthesis and Transformation, 1996

Pruning the Search Space of Logic Programs.
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
Fully Abstract Composition Semantics for an Algebra of Logic Programs.
Theor. Comput. Sci., 1995

An Abductive Framework for Extended Logic Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

1994
Modular Logic Programming.
ACM Trans. Program. Lang. Syst., 1994

Implementations of Program Composition Operations.
Proceedings of the Programming Language Implementation and Logic Programming, 1994

Gödel as a Meta-Language for Composing Logic Programs.
Proceedings of the Logic Programming Synthesis and Transformation, 1994

Semantics of Meta-Logic in an Algebra of Programs
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
Composing Open Logic Programs.
J. Log. Comput., 1993

Distributed Logic Programming.
J. Log. Program., 1993

1992
Compositional Model-Theoretic Semantics for Logic Programs.
New Generation Comput., 1992

The Implementation of a Distributed Model for Logic Programming Based on Multiple-Headed Clauses.
Inf. Process. Lett., 1992

Meta for Modularising Logic Programming.
Proceedings of the Meta-Programming in Logic, 3rd International Workshop, 1992

Normal Logic Programs as Open Positive Programs.
Proceedings of the Logic Programming, 1992

Metalogic for State Oriented Programming.
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

Normal logic programs as open positive programs.
Proceedings of the CNKBS'92, 1992

1991
The Concurrent Language, Shared Prolog.
ACM Trans. Program. Lang. Syst., 1991

Constraints for Synchronizing Logic Coarse-grained Sequential Logic Processes.
Proceedings of the Programming Language Implementation and Logic Programming, 1991

Objects in a Logic Programming Framework.
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

Open Logic Theories.
Proceedings of the Extensions of Logic Programming, Second International Workshop, 1991

Abductive Reasoning in a Multi-Theory Framework.
Proceedings of the Trends in Artificial Intelligence, 1991

1990
Hypothetical Reasoning in Logic Programming: A Semantic Approach.
Inf. Process. Lett., 1990

Logic Programming within a Functional Framework.
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
A Distributed, Net Oriented Semantics for Delta Prolog.
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


  Loading...