Skip to Main content
Number of documents

20

Cinzia Di Giusto


Journal articles6 documents

  • Elisabetta de Maria, Cinzia Di Giusto, Laetitia Laversa. Spiking neural networks modelled as timed automata: with parameter learning. Natural Computing, Springer Verlag, 2019. ⟨hal-02003126⟩
  • Franck Delaplace, Cinzia Di Giusto, Jean-Louis Giavitto, Hanna Klaudel, Antoine Spicher. Activity Networks with Delays an Application to Toxicity Analysis. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2018, 160 (1-2), pp.119 --142. ⟨10.3233/FI-2018-1677⟩. ⟨hal-01783917⟩
  • Cinzia Di Giusto, Jorge A. Pérez. Event-based run-time adaptation in communication-centric systems. Formal Aspects of Computing, Springer Verlag, 2016, ⟨10.1007/s00165-016-0377-z⟩. ⟨hal-01320789⟩
  • Cinzia Di Giusto, Jorge Andrés Pérez. Disciplined structured communications with disciplined runtime adaptation. Science of Computer Programming, Elsevier, 2015, 97 (P2), pp.235--265. ⟨10.1016/j.scico.2014.04.017⟩. ⟨hal-01052441⟩
  • Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro. Adaptable Processes. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2012, 8 (4:13), pp.1--71. ⟨hal-00909365⟩
  • Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo. On the Expressive Power of Multiple Heads in CHR. ACM Transactions on Computational Logic, Association for Computing Machinery, 2012, 13 (1), ⟨10.1145/2071368.2071374⟩. ⟨hal-00909390⟩

Conference papers11 documents

  • Cinzia Di Giusto, Cédric Gaucherel, Hanna Klaudel, Franck Pommereau. Pattern Matching in discrete Models for Ecosystem Ecology. 10th International Conference on Bioinformatics Models, Methods and Algorithms (Bioinformatics 2019), Feb 2019, Prague, Czech Republic. pp.101--111. ⟨hal-02002550⟩
  • Cinzia Di Giusto, Cédric Gaucherel, Hanna Klaudel, Franck Pommereau. Analysis of Discrete Models for Ecosystem Ecology. 12th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2019), Feb 2019, Prague, Czech Republic. pp.242--264, ⟨10.1007/978-3-030-46970-2_12⟩. ⟨hal-02682352⟩
  • Elisabetta de Maria, Cinzia Di Giusto. Parameter Learning for Spiking Neural Networks Modelled as Timed Automata. 9th International Conference on Bioinformatics Models, Methods and Algorithms, Jan 2018, Funchal, France. ⟨10.5220/0006530300170028⟩. ⟨hal-01717603⟩
  • Elisabetta de Maria, Cinzia Di Giusto, Giovanni Ciatto. Formal Validation of Neural Networks as Timed Automata. the 8th International Conference on Computational Systems-Biology and Bioinformatics, Dec 2017, Nha Trang City, France. ⟨10.1145/3156346.3156350⟩. ⟨hal-01717598⟩
  • Cinzia Di Giusto, Hanna Klaudel, Franck Delaplace. Systemic approach for toxicity analysis. 5th International Workshop on Biological Processes and Petri Nets (BioPPN 2014), Jun 2014, Tunis, Tunisia. pp.30--44. ⟨hal-01078546⟩
  • Samuel Mimram, Cinzia Di Giusto. A Categorical Theory of Patches. MFPS - Mathematical Foundations of Programming Semantics, Jun 2013, New Orleans, United States. pp.283-307, ⟨10.1016/j.entcs.2013.09.018⟩. ⟨hal-00904156⟩
  • Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro. Towards the Verification of Adaptable Processes. 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⟩. ⟨hal-00909368⟩
  • Mario Bravetti, Cinzia Di Giusto, Jorge Pérez, Gianluigi Zavattaro. Adaptable Processes (Extended Abstract). 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⟩. ⟨hal-01583325⟩
  • Mario Bravetti, Cinzia Di Giusto, Jorge A. Perez, Gianluigi Zavattaro. A Calculus for Component Evolvability (Extended Abstract). Formal Aspects of Component Software (FACS 2010), 2010, Guimarães, Portugal. ⟨hal-00881630⟩
  • Jesus Aranda, Cinzia Di Giusto, Mogens Nielsen, Frank Valencia. CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence. 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⟩. ⟨inria-00201547⟩
  • Jesus Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank Valencia. Expressiveness of Recursion, Replication and Scope Mechanisms in Process Calculi. 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⟩. ⟨inria-00239497⟩

Reports3 documents

  • Cinzia Di Giusto, Laetitia Laversa, Etienne Lozes. On the k-synchronizability of systems. [Research Report] Laboratoire I3S. 2019. ⟨hal-02272347v2⟩
  • Franck Delaplace, Cinzia Di Giusto, Jean-Louis Giavitto, Hanna Klaudel. Activity Networks with Delays An application to toxicity analysis. [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. ⟨hal-01152719v2⟩
  • Cinzia Di Giusto, Jorge A. Perez. An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems. [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. ⟨hal-01093090⟩