Gianluigi Zavattaro
Orcid: 0000-0003-3313-6409Affiliations:
- University of Bologna, Italy
According to our database1,
Gianluigi Zavattaro
authored at least 181 papers
between 1997 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
CoRR, 2024
Towards a Function-as-a-Service Choreographic Programming Language: Examples and Applications.
CoRR, 2024
Proceedings of the Logic-Based Program Synthesis and Transformation, 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 Coordination Models and Languages, 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
Proceedings of the Active Object Languages: Current Research Trends, 2024
2023
IT Prof., 2023
Proceedings of the First Workshop on Trends in Configurable Systems Analysis, 2023
2022
Low-Latency Anomaly Detection on the Edge-Cloud Continuum for Industry 4.0 Applications: the SEAWALL Case Study.
IEEE Internet Things Mag., 2022
Proceedings of the Joint Post-proceedings of the Third and Fourth International Conference on Microservices, 2022
Proceedings of the IEEE International Conference on Web Services, 2022
Proceedings of the Service-Oriented Computing - 20th International Conference, 2022
Proceedings of the 5th Conference on Cloud and Internet of Things, 2022
2021
Softw. Syst. Model., 2021
Log. Methods Comput. Sci., 2021
CoRR, 2021
Proceedings of the Foundations of Software Science and Computation Structures, 2021
Proceedings of the Coordination Models and Languages, 2021
2020
J. Log. Algebraic Methods Program., 2020
Allocation Priority Policies for Serverless Function-Execution Scheduling Optimisation.
Proceedings of the Service-Oriented Computing - 18th International Conference, 2020
Proceedings of the Microservices, Science and Engineering., 2020
2019
J. Log. Algebraic Methods Program., 2019
Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019
Proceedings of the Fundamental Approaches to Software Engineering, 2019
Proceedings of the 30th International Conference on Concurrency Theory, 2019
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019
2018
On the boundary between decidability and undecidability of asynchronous session subtyping.
Theor. Comput. Sci., 2018
Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution, 2018
Foundations of Coordination and Contracts and Their Contribution to Session Type Theory.
Proceedings of the Coordination Models and Languages, 2018
2017
CoRR, 2017
2016
Proceedings of the Service-Oriented and Cloud Computing, 2016
Proceedings of the Theory and Practice of Formal Methods, 2016
2015
Proceedings of the Mathematical Foundations of Computer Science 2015, 2015
Proceedings of the Service-Oriented Computing - 13th International Conference, 2015
Proceedings of the Service Oriented and Cloud Computing - 4th European Conference, 2015
Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper).
Proceedings of the 26th International Conference on Concurrency Theory, 2015
When to Move to Transfer Nets - On the Limits of Petri Nets as Models for Process Calculi.
Proceedings of the Programming Languages with Applications to Biology and Security, 2015
Proceedings of the Software, 2015
2014
Proceedings of the Proceedings First Workshop on Logics and Model-checking for Self-* Systems, 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
Proceedings of the Web Services Foundations, 2014
2013
Proceedings of the Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, 2013
Proceedings of the Software Engineering and Formal Methods, 2013
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013
Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013
Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013
Proceedings of the Service-Oriented and Cloud Computing - Second European Conference, 2013
Proceedings of the Coordination Models and Languages, 15th International Conference, 2013
2012
Trans. Comp. Sys. Biology, 2012
Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology, 2012
Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012
Proceedings of the Formal Techniques for Distributed Systems, 2012
Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012
2011
Proceedings of the Proceedings First International Workshop on Process Algebra and Coordination, 2011
Proceedings of the Service-Oriented Computing - 9th International Conference, 2011
Proceedings of the Foundations of Software Science and Computational Structures, 2011
Proceedings of the Formal Techniques for Distributed Systems, 2011
Proceedings of the Coordination Models and Languages - 13th International Conference, 2011
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
2010
Proceedings of the Foundations of Software Science and Computational Structures, 2010
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010
Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010
Modeling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research).
Proceedings of the 1st International Workshop on Automated Configuration and Tailoring of Applications, 2010
2009
Math. Struct. Comput. Sci., 2009
Math. Struct. Comput. Sci., 2009
Math. Struct. Comput. Sci., 2009
Math. Struct. Comput. Sci., 2009
Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, 2009
Proceedings of the Formal Methods for Web Services, 2009
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009
Proceedings of the Theoretical Aspects of Computing, 2009
The <i>kappa</i>-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages.
Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009
2008
Theor. Comput. Sci., 2008
J. Log. Algebraic Methods Program., 2008
Fundam. Informaticae, 2008
Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, 2008
Proceedings of the Web Services and Formal Methods, 5th International Workshop, 2008
Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008
Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008
A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form.
Proceedings of the Formal Methods for Computational Systems Biology, 2008
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008
Proceedings of the ECOWS 2008, 2008
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008
Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008
Proceedings of the Algebraic Biology, Third International Conference, 2008
2007
J. Log. Algebraic Methods Program., 2007
J. Log. Algebraic Methods Program., 2007
Proceedings of the Software Composition - 6th International Symposium, 2007
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007
Proceedings of the Fifth IEEE European Conference on Web Services (ECOWS 2007), 2007
Proceedings of the Coordination Models and Languages, 9th International Conference, 2007
Proceedings of the Computational Methods in Systems Biology, International Conference, 2007
2006
Guest editor's introduction: Special issue on security issues in coordination models, languages, and systems.
Sci. Comput. Program., 2006
Sci. Comput. Program., 2006
Proceedings of the Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, 2006
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006
Proceedings of the Trustworthy Global Computing, Second Symposium, 2006
Proceedings of the Service-Oriented Computing, 2006
Proceedings of the Coordination Models and Languages, 8th International Conference, 2006
2005
Theor. Comput. Sci., 2005
Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005
Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005
Proceedings of the 14th IEEE International Workshops on Enabling Technologies (WETICE 2005), 2005
Proceedings of the Trustworthy Global Computing, International Symposium, 2005
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005
Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005
Proceedings of the Service-Oriented Computing, 2005
Proceedings of the Foundations of Software Science and Computational Structures, 2005
Proceedings of the Programming Languages and Systems, 2005
Proceedings of the Coordination Models and Languages, 7th International Conference, 2005
2004
Theor. Comput. Sci., 2004
Int. J. Cooperative Inf. Syst., 2004
Proceedings of the First International Workshop on Web Services and Formal Methods, 2004
Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, 2004
WSSecSpaces: a secure data-driven coordination service for Web Services applications.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004
Proceedings of the Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), 2004
Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004
Proceedings of the Coordination Models and Languages, 6th International Conference, 2004
Proceedings of the Coordination Models and Languages, 6th International Conference, 2004
2003
Sci. Comput. Program., 2003
Proceedings of the First International Workshop on Security Issues in Coordination Models, 2003
Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003
Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003
2002
Proceedings of the Foundations of Wide Area Network Computing, 2002
SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents.
Proceedings of the Foundations of Coordination Languages and Software Architectures, 2002
Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002
Proceedings of the Web Engineering and Peer-to-Peer Computing, 2002
Proceedings of the Coordination Models and Languages, 5th International Conference, 2002
2001
Proceedings of the International Workshop on Concurrency and Coordination, 2001
Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001
Publish/Subscribe vs. Shared Dataspace Coordination Infrastructures: Is It Just a Matter of Taste?.
Proceedings of the 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2001), 2001
Proceedings of the Foundations of Software Science and Computation Structures, 2001
An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study.
Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001
Coordination Models: A Guided Tour.
Proceedings of the Coordination of Internet Agents: Models, Technologies, and Applications, 2001
2000
Theor. Comput. Sci., 2000
Event Notification in Data-driven Coordination Languages: Comparing the Ordered and Unordered Interpretations.
Proceedings of the Applied Computing 2000, 2000
Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000
Proceedings of the Programming Languages and Systems, 2000
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000
1999
An Algebra of Actors.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999
Proceedings of the ECOOP'99, 1999
Proceedings of the Coordination Languages and Models, Third International Conference, 1999
Proceedings of the CONCUR '99: Concurrency Theory, 1999
1998
Proceedings of the Fifth International Workshop on Expressiveness in Concurrency, 1998
1997
Proceedings of the International Workshop on Expressiveness in Concurrency, 1997
Proceedings of the Coordination Languages and Models, Second International Conference, 1997