Nombre de documents

16

Cinzia Di Giusto


Article dans une revue5 documents

  • Cinzia Di Giusto, Franck Delaplace, Jean-Louis Giavitto, Hanna Klaudel, Antoine Spicher, et al.. 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〉
  • 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〉
  • 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〉

Communication dans un congrès9 documents

  • Cinzia Di Giusto, Elisabetta De Maria. Parameter Learning for Spiking Neural Networks Modelled as Timed Automata. 9th International Conference on Bioinformatics Models, Methods and Algorithms, Jan 2018, Funchal, France. SCITEPRESS - Science and Technology Publications, 〈10.5220/0006530300170028〉. 〈hal-01717603〉
  • Cinzia Di Giusto, Elisabetta De Maria, Giovanni Ciatto. Formal Validation of Neural Networks as Timed Automata. the 8th International Conference, Dec 2017, Nha Trang City, France. ACM Press, 〈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. CEUR Workshop Proceedings, 1159, pp.30--44, 2014. 〈hal-01078546〉
  • Samuel Mimram, Cinzia Di Giusto. A Categorical Theory of Patches. Dexter Kozen and Michael Mislove. MFPS - Mathematical Foundations of Programming Semantics, Jun 2013, New Orleans, United States. Elsevier, 298, pp.283-307, 2013, Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS XXIX. 〈http://www.sciencedirect.com/science/article/pii/S1571066113000649〉. 〈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. Tiziana Margaria and Bernhard Steffen. 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. Springer, 7609, pp.269--283, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-34026-0_20〉. 〈hal-00909368〉
  • Mario Bravetti, Cinzia Di Giusto, Jorge Pérez, Gianluigi Zavattaro. Adaptable Processes (Extended Abstract). Roberto Bruni; Juergen Dingel. 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. Springer, Lecture Notes in Computer Science, LNCS-6722, pp.90-105, 2011, Formal Techniques for Distributed Systems. 〈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. 2010. 〈hal-00881630〉
  • Jesus Aranda, Cinzia Di Giusto, Mogens Nielsen, Frank Valencia. CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence. Zhong Shao. 5th Asian Symposium on Programming Languages and Systems (APLAS'07), Nov 2007, Singapore, Singapore. Springer, 4807, pp.383-398, 2007, Lecture Notes in Computer Science. 〈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. Frank S. de Boer and Marcello M. Bonsangue. 5th International Symposium on Formal Methods for Components and Objects (FMCO'06), Nov 2006, Amsterdam, Netherlands. Springer, 4709, pp.185-206, 2007, Lecture Notes in Computer Science. 〈10.1007/978-3-540-74792-5〉. 〈inria-00239497〉

Rapport2 documents

  • 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〉