publications

2023

1. Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata

   Clément Bertrand, Cinzia Di Giusto, Hanna Klaudel, and 1 more author

   In 34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium, 2023
2. Weakly Synchronous Systems with Three Machines Are Turing Powerful

   Cinzia Di Giusto, Davide Ferré,  Lozes, and 1 more author

   In Reachability Problems - 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings, 2023
3. Multiparty half-duplex systems and synchronous communications

   Cinzia Di Giusto, Loic Germerie Guizouarn, and  Lozes

   J. Log. Algebraic Methods Program., 2023
4. A Partial Order View of Message-Passing Communication Models

   Cinzia Di Giusto, Davide Ferré, Laetitia Laversa, and 1 more author

   Proc. ACM Program. Lang., 2023
5. Guessing the Buffer Bound for k-Synchronizability

   Cinzia Di Giusto, Laetitia Laversa, and Etienne Lozes

   International Journal of Foundations of Computer Science, 2023

   Abs

   A communicating system is k-synchronizable if all of the message sequence charts representing the executions can be divided into slices of k sends followed by k receptions. It was previously shown that, for a fixed given k, one could decide whether a communicating system is k-synchronizable. This result is interesting because the reachability problem can be solved for k-synchronizable systems. However, the decision procedure assumes that the bound k is fixed. In this paper we improve this result and show, for mailbox communication, that it is possible to decide if such a bound k exists.

2022

1. Proceedings 15th Interaction and Concurrency Experience, ICE 2022, Lucca, Italy, 17th June 2022

   2022

2021

1. A Unifying Framework for Deciding Synchronizability

   Benedikt Bollig, Cinzia Di Giusto, Alain Finkel, and 3 more authors

   In 32nd International Conference on Concurrency Theory, CONCUR 2021, August 24-27, 2021, Virtual Conference, 2021
2. Guessing the Buffer Bound for k-Synchronizability

   Cinzia Di Giusto, Laetitia Laversa, and  Lozes

   In Implementation and Application of Automata - 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings, 2021
3. Towards Generalised Half-Duplex Systems

   Cinzia Di Giusto, Loic Germerie Guizouarn, and  Lozes

   In Proceedings 14th Interaction and Concurrency Experience, ICE 2021, Online, 18th June 2021, 2021

2020

1. Spiking neural networks modelled as timed automata: with parameter learning

   Elisabetta De Maria, Cinzia Di Giusto, and Laetitia Laversa

   Nat. Comput., 2020
2. On the k-synchronizability of Systems

   Cinzia Di Giusto, Laetitia Laversa, and  Lozes

   In Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, 2020

2019

1. Multiparty Reactive Sessions

   Mauricio Cano, Ilaria Castellani, Cinzia Di Giusto, and 1 more author

   Apr 2019

   PDF
2. Pattern Matching in Discrete Models for Ecosystem Ecology

   Cinzia Di Giusto, Cédric Gaucherel, Hanna Klaudel, and 1 more author

   In Proceedings of the 12th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2019) - Volume 3: BIOINFORMATICS, Prague, Czech Republic, February 22-24, 2019, Apr 2019
3. Analysis of Discrete Models for Ecosystem Ecology

   Cinzia Di Giusto, Cédric Gaucherel, Hanna Klaudel, and 1 more author

   In Biomedical Engineering Systems and Technologies - 12th International Joint Conference, BIOSTEC 2019, Prague, Czech Republic, February 22-24, 2019, Revised Selected Papers, Apr 2019

2018

1. Activity Networks with Delays an Application to Toxicity Analysis

   Franck Delaplace, Cinzia Di Giusto, Jean-Louis Giavitto, and 2 more authors

   Fundam. Informaticae, Apr 2018
2. Parameter Learning for Spiking Neural Networks Modelled as Timed Automata

   Elisabetta De Maria, and Cinzia Di Giusto

   In Proceedings of the 11th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2018) - Volume 3: BIOINFORMATICS, Funchal, Madeira, Portugal, January 19-21, 2018, Apr 2018
3. Inferring the Synaptical Weights of Leaky Integrate and Fire Asynchronous Neural Networks: Modelled as Timed Automata

   Elisabetta De Maria, and Cinzia Di Giusto

   In Biomedical Engineering Systems and Technologies - 11th International Joint Conference, BIOSTEC 2018, Funchal, Madeira, Portugal, January 19-21, 2018, Revised Selected Papers, Apr 2018

2017

1. Formal Validation of Neural Networks as Timed Automata

   Elisabetta De Maria, Cinzia Di Giusto, and Giovanni Ciatto

   In Proceedings of the 8th International Conference on Computational Systems-Biology and Bioinformatics, Nha Trang City, Viet Nam, December 7-8, 2017, Apr 2017

2016

1. Event-based run-time adaptation in communication-centric systems

   Cinzia Di Giusto, and Jorge A. Pérez

   Formal Aspects Comput., Apr 2016

2015

1. Disciplined structured communications with disciplined runtime adaptation

   Cinzia Di Giusto, and Jorge A. Pérez

   Sci. Comput. Program., Apr 2015
2. An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems

   Cinzia Di Giusto, and Jorge A. Pérez

   In Web Services, Formal Methods, and Behavioral Types - 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers, Apr 2015

2014

1. Systemic approach for toxicity analysis

   Cinzia Di Giusto, Hanna Klaudel, and Franck Delaplace

   In Proceedings of the 5th International Workshop on Biological Processes & Petri Nets co-located with 35th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2014), Tunis, Tunisia, June 23, 2014, Apr 2014

2013

1. Disciplined structured communications with consistent runtime adaptation

   Cinzia Di Giusto, and Jorge A. Pérez

   In Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC ’13, Coimbra, Portugal, March 18-22, 2013, Apr 2013
2. Session Types with Runtime Adaptation: Overview and Examples

   Cinzia Di Giusto, and Jorge A. Pérez

   In Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013, Apr 2013

2012

1. Adaptable processes

   Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, and 1 more author

   Log. Methods Comput. Sci., Apr 2012
2. On the Expressive Power of Multiple Heads in CHR

   Cinzia Di Giusto, Maurizio Gabbrielli, and Maria Chiara Meo

   ACM Trans. Comput. Log., Apr 2012
3. Towards the Verification of Adaptable Processes

   Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, and 1 more author

   In Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, Apr 2012

2011

1. Revisiting Glue Expressiveness in Component-Based Systems

   Cinzia Di Giusto, and Jean-Bernard Stefani

   In Coordination Models and Languages - 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings, Apr 2011
2. Hunting Distributed Malware with the \(κ\)-Calculus

   Mila Dalla Preda, and Cinzia Di Giusto

   In Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings, Apr 2011
3. Adaptable Processes (Extended Abstract)

   Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, and 1 more author

   In Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings, Apr 2011

2010

1. Steps on the Road to Component Evolvability

   Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, and 1 more author

   In Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers, Apr 2010

2009

1. The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages

   Giorgio Delzanno, Cinzia Di Giusto, Maurizio Gabbrielli, and 2 more authors

   In Computational Methods in Systems Biology, 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings, Apr 2009
2. On the Expressiveness of Forwarding in Higher-Order Communication

   Cinzia Di Giusto, Jorge A. Pérez, and Gianluigi Zavattaro

   In Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings, Apr 2009
3. Move vs Copy: Towards a Formal Comparison of Ambients and Higher-Order Process Calculi

   Cinzia Di Giusto, and Jorge A. Pérez

   In Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009, Proceedings, Apr 2009
4. Expressiveness of Multiple Heads in CHR

   Cinzia Di Giusto, Maurizio Gabbrielli, and Maria Chiara Meo

   In SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings, Apr 2009

2008

1. Full Abstraction for Linda

   Cinzia Di Giusto, and Maurizio Gabbrielli

   In Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, Apr 2008

2007

1. CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence

   Jesús Aranda, Cinzia Di Giusto, Mogens Nielsen, and 1 more author

   In Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings, Apr 2007

2006

1. On Recursion, Replication and Scope Mechanisms in Process Calculi

   Jesús Aranda, Cinzia Di Giusto, Catuscia Palamidessi, and 1 more author

   In Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures, Apr 2006