Παρακολούθηση
Cinzia Di Giusto
Cinzia Di Giusto
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe MDSC (C&A))
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα unice.fr - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Adaptable processes
M Bravetti, C Di Giusto, JA Pérez, G Zavattaro
arXiv preprint arXiv:1210.6379, 2012
402012
A categorical theory of patches
S Mimram, C Di Giusto
Electronic notes in theoretical computer science 298, 283-307, 2013
232013
On the expressiveness of forwarding in higher-order communication
CD Giusto, JA Pérez, G Zavattaro
International Colloquium on Theoretical Aspects of Computing, 155-169, 2009
222009
The κ-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages
G Delzanno, CD Giusto, M Gabbrielli, C Laneve, G Zavattaro
International Conference on Computational Methods in Systems Biology, 158-172, 2009
212009
Expressiveness of multiple heads in CHR
CD Giusto, M Gabbrielli, MC Meo
International Conference on Current Trends in Theory and Practice of …, 2009
192009
Disciplined structured communications with consistent runtime adaptation
C Di Giusto, JA Pérez
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 1913-1918, 2013
162013
CCS with replication in the chomsky hierarchy: The expressive power of divergence
J Aranda, CD Giusto, M Nielsen, FD Valencia
Asian Symposium on Programming Languages and Systems, 383-398, 2007
162007
On recursion, replication and scope mechanisms in process calculi
J Aranda, CD Giusto, C Palamidessi, FD Valencia
International Symposium on Formal Methods for Components and Objects, 185-206, 2006
162006
Disciplined structured communications with disciplined runtime adaptation
C Di Giusto, JA Pérez
Science of Computer Programming 97, 235-265, 2015
142015
Adaptable processes
M Bravetti, CD Giusto, JA Pérez, G Zavattaro
Formal Techniques for Distributed Systems, 90-105, 2011
112011
Towards the verification of adaptable processes
M Bravetti, CD Giusto, JA Pérez, G Zavattaro
International Symposium On Leveraging Applications of Formal Methods …, 2012
102012
On the k-synchronizability of systems
C Di Giusto, L Laversa, E Lozes
23rd International Conference on Foundations of Software Science and …, 2020
92020
An event-based approach to runtime adaptation in communication-centric systems
C Di Giusto, JA Pérez
Web Services, Formal Methods, and Behavioral Types, 67-85, 2014
92014
Revisiting glue expressiveness in component-based systems
CD Giusto, JB Stefani
International Conference on Coordination Languages and Models, 16-30, 2011
92011
Hunting Distributed Malware with the κ-Calculus
MD Preda, CD Giusto
International Symposium on Fundamentals of Computation Theory, 102-113, 2011
82011
Steps on the road to component evolvability
M Bravetti, CD Giusto, JA Pérez, G Zavattaro
International Workshop on Formal Aspects of Component Software, 295-299, 2010
82010
Parameter Learning for Spiking Neural Networks Modelled as Timed Automata.
E De Maria, C Di Giusto
BIOINFORMATICS, 17-28, 2018
72018
Event-based run-time adaptation in communication-centric systems
C Di Giusto, JA Pérez
Formal Aspects of Computing 28 (4), 531-566, 2016
72016
Systemic approach for toxicity analysis.
C Di Giusto, H Klaudel, F Delaplace
BioPPN@ Petri Nets, 30-44, 2014
62014
On the expressive power of multiple heads in chr
C Di Giusto, M Gabbrielli, MC Meo
ACM Transactions on Computational Logic (TOCL) 13 (1), 1-19, 2012
52012
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20