Accéder directement au contenu

Cinzia Di Giusto

37
Documents

Publications

Image document

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
Image document

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

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
Image document

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
Image document

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
Image document

A Unifying Framework for Deciding Synchronizability

Benedikt Bollig , Cinzia Di Giusto , Alain Finkel , Laetitia Laversa , Etienne Lozes
CONCUR 2021 - 32nd International Conference on Concurrency Theory, Aug 2021, Paris, France. pp.1-33
Communication dans un congrès hal-03278370v1
Image document

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
Image document

Pattern Matching in discrete Models for Ecosystem Ecology

Cinzia Di Giusto , Cédric Gaucherel , Hanna Klaudel , Franck Pommereau
10th 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
Image document

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

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

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
Image document

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
Image document

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

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
Image document

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
Image document

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

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
Image document

Weakly synchronous systems with three machines are Turing powerful

Cinzia Di Giusto , Davide Ferré , Etienne Lozes , Nicolas Nisse
Inria. 2023
Rapport hal-04182953v1
Image document

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
Image document

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
Image document

Multiparty Reactive Sessions

Mauricio Cano , Ilaria Castellani , Cinzia Di Giusto , Jorge A. Pérez
[Research Report] 9270, INRIA. 2019, pp.65
Rapport hal-02106742v1
Image document

On the k-synchronizability of systems

Cinzia Di Giusto , Laetitia Laversa , Etienne Lozes
[Research Report] Laboratoire I3S. 2019
Rapport hal-02272347v2
Image document

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 hal-01473941v1
Image document

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 hal-01152719v2
Image document

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 hal-01093090v1