Sfoglia per Autore
Automatic Verification of Directory-Based Consistency Protocols
2009-01-01 Abdulla, P; Delzanno, Giorgio; Rezine, A.
The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages
2009-01-01 Delzanno, Giorgio; DI GIUSTO, C; Gabbrielli, M; Laneve, C; Zavattaro, G.
Approximated Context-Sensitive Analysis for Parameterized Verification.
2009-01-01 Abdulla, P; Delzanno, Giorgio; Rezine, A.
Deciding Reachability in Mobile Ambients with Name Restriction
2009-01-01 Delzanno, Giorgio; Montagna, R.
A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations
2009-01-01 Abdulla, P; Delzanno, Giorgio; VAN BEGIN, L.
Parameterized Verification of Ad Hoc Networks
2010-01-01 Delzanno, Giorgio; Sangnier, A; Zavattaro, G.
Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming
2010-01-01 Delzanno, Giorgio; R., Giacobazzi; F., Ranzato
Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data.
2010-01-01 ROSA VELARDO, F; Delzanno, Giorgio
On the verification of membrane systems with dynamic structure
2010-01-01 Delzanno, Giorgio; LAURENT VAN, Begin
Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification
2010-01-01 Abdulla, P; Chen, Y. F.; Delzanno, Giorgio; Haziza, F; Hong, C. D.; Rezine, A.
Some applications of Computational Logic to the development of intelligent systems and verification methods
2011-01-01 Mascardi, Viviana; Delzanno, Giorgio; Martelli, Maurizio
A classification of the expressive power of well-structured transition systems.
2011-01-01 Abdulla, P; Delzanno, Giorgio; VAN BEGIN, L.
On the Verification of Timed Ad Hoc Networks
2011-01-01 Abdulla, P; Delzanno, Giorgio; Rezine, O; Sangnier, A; Traverso, R.
Reachability Problems - 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings
2011-01-01 Delzanno, Giorgio; I., Potapov
On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks
2011-01-01 Delzanno, Giorgio; Sangnier, A; Zavattaro, G.
Automatic Verification of Directory-Based Consistency Protocols with Graph Constraints
2011-01-01 P., Abdulla; Delzanno, Giorgio; A., Rezine
Verification of Ad Hoc Networks with Node and Communication Failures
2012-01-01 Delzanno, Giorgio; A., Sangnier; G., Zavattaro
Automata-based Static Analysis of XML Document Adaptations
2012-01-01 Solimando, Alessandro; Delzanno, Giorgio; Guerrini, Giovanna
On the complexity of parameterized reachability in reconfigurable broadcast networks
2012-01-01 Delzanno, Giorgio; A., Sangner; R., Traverso; G., Zavattaro
Reachability problems in BioAmbients
2012-01-01 Delzanno, Giorgio; G., Zavattaro
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile