Cinzia Di Giusto

Publications

Article dans une revue (9)

Multiparty half-duplex systems and synchronous communications Cinzia Di Giusto,Loïc Germerie Guizouarn,Etienne Lozes Journal of Logical and Algebraic Methods in Programming, 2022, 131, pp.100843. ⟨10.1016/j.jlamp.2022.100843⟩ Article dans une revue hal-03880184v1
Guessing the Buffer Bound for k-Synchronizability Cinzia Di Giusto,Laetitia Laversa,Etienne Lozes International Journal of Foundations of Computer Science, 2022, 34 (8), pp.1051-1076. ⟨10.1142/S0129054122430018⟩ Article dans une revue hal-03890605v1
Towards Generalised Half-Duplex Systems Cinzia Di Giusto,Loïc Germerie Guizouarn,Etienne Lozes Electronic Proceedings in Theoretical Computer Science, 2021, 347, pp.22-37. ⟨10.4204/EPTCS.347.2⟩ Article dans une revue hal-03508302v1
Spiking neural networks modelled as timed automata: with parameter learning Cinzia Di Giusto,Elisabetta de Maria,Laetitia Laversa Natural Computing, 2020, 19 (1), pp.135-155. ⟨10.1007/s11047-019-09727-9⟩ Article dans une revue hal-03508313v1
Activity Networks with Delays an Application to Toxicity Analysis Franck Delaplace,Cinzia Di Giusto,Jean-Louis Giavitto,Hanna Klaudel,Antoine Spicher Fundamenta Informaticae, 2018, 160 (1-2), pp.119 --142. ⟨10.3233/FI-2018-1677⟩ Article dans une revue hal-01783917v1
Event-based run-time adaptation in communication-centric systems Cinzia Di Giusto,Jorge A. Pérez Formal Aspects of Computing, 2016, ⟨10.1007/s00165-016-0377-z⟩ Article dans une revue hal-01320789v1
Disciplined structured communications with disciplined runtime adaptation Cinzia Di Giusto,Jorge Andrés Pérez Science of Computer Programming, 2015, 97 (P2), pp.235--265. ⟨10.1016/j.scico.2014.04.017⟩ Article dans une revue hal-01052441v1
Adaptable Processes Mario Bravetti,Cinzia Di Giusto,Jorge A. Pérez,Gianluigi Zavattaro Logical Methods in Computer Science, 2012, 8 (4:13), pp.1--71 Article dans une revue hal-00909365v1
On the Expressive Power of Multiple Heads in CHR Cinzia Di Giusto,Maurizio Gabbrielli,Maria Chiara Meo ACM Transactions on Computational Logic, 2012, 13 (1), ⟨10.1145/2071368.2071374⟩ Article dans une revue hal-00909390v1

Communication dans un congrès (20)

Choreographies for Program Understanding Gabriele Genovese,Ivan Lanese,Cinzia Di Giusto,Emilio Tuosto,Germán Vidal FORTE 2025 - 45th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2025, Lille, France. pp.173-181, ⟨10.1007/978-3-031-95497-9_10⟩ Communication dans un congrès hal-05399397v1
Les systèmes faiblement synchrones avec trois machines sont Turing-complets Cinzia Di Giusto,Davide Ferré,Étienne Lozes,Nicolas Nisse AlgoTel 2024 – 26èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2024, Saint-Briac-sur-Mer, France Communication dans un congrès hal-04551070v1
Weakly Synchronous Systems with Three Machines Are Turing Powerful Cinzia Di Giusto,Davide Ferré,Etienne Lozes,Nicolas Nisse RP 2023 - 17th International Conference on Reachability Problems, 2023, Nice, France. pp.28-41, ⟨10.1007/978-3-031-45286-4_3⟩ Communication dans un congrès hal-04273451v1
Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata Clément Bertrand,Cinzia Di Giusto,Hanna Klaudel,Damien Regnault 34th International Conference on Concurrency Theory (CONCUR 2023), Sep 2023, Antwerp, Belgium. ⟨10.4230/LIPIcs.CONCUR.2023.33⟩ Communication dans un congrès hal-04199269v1
Formalising Futures and Promises in Viper Cinzia Giusto,Loïc Germerie Guizouarn,Ludovic Henrio,Etienne Lozes JFLA 2022 - 33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.165-183 Communication dans un congrès hal-03626843v1
A Unifying Framework for Deciding Synchronizability Benedikt Bollig,Cinzia Di Giusto,Alain Finkel,Laetitia Laversa,Etienne Lozeset al. CONCUR 2021 - 32nd International Conference on Concurrency Theory, Aug 2021, Paris, France. pp.1-33 Communication dans un congrès hal-03278370v1
On the k-synchronizability of Systems Cinzia Di Giusto,Laetitia Laversa,Etienne Lozes 23rd International Conference on Foundations of Software Science and Computer Systems (FOSSACS 2020), Apr 2020, Dublin, Ireland. pp.157-176, ⟨10.1007/978-3-030-45231-5_9⟩ Communication dans un congrès hal-02883586v1
Analysis of Discrete Models for Ecosystem Ecology Cinzia Di Giusto,Cédric Gaucherel,Hanna Klaudel,Franck Pommereau 12th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2019), Ana Roque; Arkadiusz Tomczyk; Elisabetta De Maria; Felix Putze; Roman Moucek; Ana Fred; Hugo Gamboa, Feb 2019, Prague, Czech Republic. pp.242--264, ⟨10.1007/978-3-030-46970-2_12⟩ Communication dans un congrès hal-02682352v1
Pattern Matching in discrete Models for Ecosystem Ecology Cinzia Di Giusto,Cédric Gaucherel,Hanna Klaudel,Franck Pommereau 10. International Conference on Bioinformatics Models, Methods and Algorithms (Bioinformatics 2019), Feb 2019, Prague, Czech Republic. pp.101--111 Communication dans un congrès hal-02002550v1
Parameter Learning for Spiking Neural Networks Modelled as Timed Automata Elisabetta de Maria,Cinzia Di Giusto 9th International Conference on Bioinformatics Models, Methods and Algorithms, Jan 2018, Funchal, France. ⟨10.5220/0006530300170028⟩ Communication dans un congrès hal-01717603v1
Formal Validation of Neural Networks as Timed Automata Elisabetta de Maria,Cinzia Di Giusto,Giovanni Ciatto the 8th International Conference on Computational Systems-Biology and Bioinformatics, Dec 2017, Nha Trang City, France. ⟨10.1145/3156346.3156350⟩ Communication dans un congrès hal-01717598v1
Systemic approach for toxicity analysis Cinzia Di Giusto,Hanna Klaudel,Franck Delaplace 5th International Workshop on Biological Processes and Petri Nets (BioPPN 2014), Jun 2014, Tunis, Tunisia. pp.30--44 Communication dans un congrès hal-01078546v1
Disciplined structured communications with consistent runtime adaptation C. Di Giusto,J.A. Pérez SAC '13 Proceedings of the 28th Annual ACM Symposium on Applied Computing, Mar 2013, Coimbra, Portugal. pp.1913-1918, ⟨10.1145/2480362.2480716⟩ Communication dans un congrès cea-01836268v1
A Categorical Theory of Patches Samuel Mimram,Cinzia Di Giusto MFPS - Mathematical Foundations of Programming Semantics, Jun 2013, New Orleans, United States. pp.283-307, ⟨10.1016/j.entcs.2013.09.018⟩ Communication dans un congrès hal-00904156v1
Towards the Verification of Adaptable Processes Mario Bravetti,Cinzia Di Giusto,Jorge A. Pérez,Gianluigi Zavattaro Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium (ISoLA 2012), Proceedings, Part I, 2012, Heraklion, Crète, Greece. pp.269--283, ⟨10.1007/978-3-642-34026-0_20⟩ Communication dans un congrès hal-00909368v1
Revisiting Glue Expressiveness in Component-Based Systems Cinzia Di Giusto,Jean-Bernard Stefani 13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.16-30, ⟨10.1007/978-3-642-21464-6_2⟩ Communication dans un congrès hal-01582994v1
Adaptable Processes (Extended Abstract) Mario Bravetti,Cinzia Di Giusto,Jorge A. Pérez,Gianluigi Zavattaro 13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.90-105, ⟨10.1007/978-3-642-21461-5_6⟩ Communication dans un congrès hal-01583325v1
A Calculus for Component Evolvability (Extended Abstract) Mario Bravetti,Cinzia Di Giusto,Jorge A. Perez,Gianluigi Zavattaro Formal Aspects of Component Software (FACS 2010), 2010, Guimarães, Portugal Communication dans un congrès hal-00881630v1
CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence Jesus Aranda,Cinzia Di Giusto,Mogens Nielsen,Frank Valencia 5th Asian Symposium on Programming Languages and Systems (APLAS'07), Nov 2007, Singapore, Singapore. pp.383-398, ⟨10.1007/978-3-540-76637-7_26⟩ Communication dans un congrès inria-00201547v1
Expressiveness of Recursion, Replication and Scope Mechanisms in Process Calculi Jesus Aranda,Cinzia Di Giusto,Catuscia Palamidessi,Frank D. Valencia 5th International Symposium on Formal Methods for Components and Objects (FMCO'06), Nov 2006, Amsterdam, Netherlands. pp.185-206, ⟨10.1007/978-3-540-74792-5⟩ Communication dans un congrès inria-00239497v1

Chapitre d'ouvrage (2)

Guessing the Buffer Bound for k-Synchronizability Cinzia Di Giusto,Laetitia Laversa,Etienne Lozes Implementation and Application of Automata, 12803, Springer International Publishing, pp.102-114, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-79121-6_9⟩ Chapitre d'ouvrage hal-03508219v1
Inferring the Synaptical Weights of Leaky Integrate and Fire Asynchronous Neural Networks: Modelled as Timed Automata Elisabetta de Maria,Cinzia Di Giusto Biomedical Engineering Systems and Technologies, 1024, Springer International Publishing, pp.149-166, 2019, Communications in Computer and Information Science, ⟨10.1007/978-3-030-29196-9_9⟩ Chapitre d'ouvrage hal-03603403v1

Pré-publication, Document de travail (5)

On the Impact of the Communication Model on Realisability Cinzia Di Giusto,Etienne Lozes,Pascal Urso 2025 Pré-publication, Document de travail hal-05398956v1
Realisability and Complementability of Multiparty Session Types Cinzia Di Giusto,Etienne Lozes,Pascal Urso 2025 Pré-publication, Document de travail hal-05166255v2
Weakly synchronous systems with three machines are Turing powerful * Davide Ferre’,Cinzia Di Giusto,Etienne Lozes,Nicolas Nisse 2024 Pré-publication, Document de travail hal-04727303v1
Weakly synchronous systems with three machines are Turing powerful Davide Ferre’,Cinzia Di Giusto,Etienne Lozes,Nicolas Nisse 2024 Pré-publication, Document de travail hal-04716163v2
Spiking Neural Networks modelled as Timed Automata with parameter learning Elisabetta de Maria,Cinzia · Di Giusto,Laetitia Laversa 2018 Pré-publication, Document de travail hal-01812544v1

Rapport (8)

Weakly synchronous systems with three machines are Turing powerful Cinzia Di Giusto,Davide Ferré,Etienne Lozes,Nicolas Nisse Inria. 2023 Rapport hal-04182953v1
Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata Clément Bertrand,Cinzia Di Giusto,Hanna Klaudel,Damien Regnault Université Côte d'Azur, CNRS, I3S, France; IBISC, Univ. Evry, Université Paris-Saclay, France; Scalian Digital Systems, Valbonne, France. 2023 Rapport hal-04155339v2
A partial order view of message-passing communication models Cinzia Di Giusto,Davide Ferré,Laetitia Laversa,Etienne Lozes [Research Report] Université Nice Côte d’Azur, CNRS, I3S, France. 2022 Rapport hal-03823473v3
On the k-synchronizability of systems Cinzia Di Giusto,Laetitia Laversa,Etienne Lozes [Research Report] Laboratoire I3S. 2019 Rapport (rapport de recherche) hal-02272347v2
Multiparty Reactive Sessions Mauricio Cano,Ilaria Castellani,Cinzia Di Giusto,Jorge A. Pérez [Research Report] 9270, INRIA. 2019, pp.65 Rapport (rapport de recherche) hal-02106742v1
Modeling Third Generation Neural Networks as Timed Automata and verifying their behavior through Temporal Logic Giovanni Ciatto,Elisabetta de Maria,Cinzia Di Giusto [Research Report] Université Côte d'Azur, CNRS, I3S, France. 2017 Rapport (rapport de recherche) hal-01473941v1
Activity Networks with Delays An application to toxicity analysis Franck Delaplace,Cinzia Di Giusto,Jean-Louis Giavitto,Hanna Klaudel [Research Report] Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe BIOINFO MDSC - Modèles Discrets pour les Systèmes Complexes. 2016 Rapport (rapport de recherche) hal-01152719v2
An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems Cinzia Di Giusto,Jorge A. Perez [Research Report] Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe BIOINFO MDSC - Modèles Discrets pour les Systèmes Complexes; Johann Bernoulli Institute for Mathematics and Computer Science, University of Groeningen. 2014 Rapport (rapport de recherche) hal-01093090v1

Proceedings/Recueil des communications (1)

Synchronisability in Mailbox Communication Cinzia Di Giusto,Laetitia Laversa,Kirstin Peters EXPRESS/SOS 2024, Electronic Proceedings in Theoretical Computer Science, 412, pp.19-34, 2024, ⟨10.4204/EPTCS.412.3⟩ Proceedings/Recueil des communications hal-04801432v1