Sfoglia per Autore
Deciding Reachability in Mobile Ambients with Name Restriction
2009-01-01 Delzanno, Giorgio; Montagna, R.
Approximated parameterized verification of infinite-state processes with global conditions
2009-01-01 PAROSH AZIZ, Abdulla; Delzanno, Giorgio; Ahmed, Rezine
Monotonic Abstraction: on Efficient Verification of Parameterized Systems
2009-01-01 Abdulla, P. A.; Delzanno, Giorgio; BEN HENDA, N; Rezine, A.
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.
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.
Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming
2010-01-01 Delzanno, Giorgio; R., Giacobazzi; F., Ranzato
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.
On the verification of membrane systems with dynamic structure
2010-01-01 Delzanno, Giorgio; LAURENT VAN, Begin
Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data.
2010-01-01 ROSA VELARDO, F; Delzanno, Giorgio
Parameterized Verification of Ad Hoc Networks
2010-01-01 Delzanno, Giorgio; Sangnier, A; Zavattaro, G.
Some applications of Computational Logic to the development of intelligent systems and verification methods
2011-01-01 Mascardi, Viviana; Delzanno, Giorgio; Martelli, Maurizio
Reachability Problems - 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings
2011-01-01 Delzanno, Giorgio; I., Potapov
Automatic Verification of Directory-Based Consistency Protocols with Graph Constraints
2011-01-01 P., Abdulla; Delzanno, Giorgio; A., Rezine
On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks
2011-01-01 Delzanno, Giorgio; Sangnier, A; Zavattaro, G.
On the Verification of Timed Ad Hoc Networks
2011-01-01 Abdulla, P; Delzanno, Giorgio; Rezine, O; Sangnier, A; Traverso, R.
A classification of the expressive power of well-structured transition systems.
2011-01-01 Abdulla, P; Delzanno, Giorgio; VAN BEGIN, L.
Automata-based Static Analysis of XML Document Adaptations
2012-01-01 Solimando, Alessandro; Delzanno, Giorgio; Guerrini, Giovanna
Static Analysis of XML Document Adaptations
2012-01-01 Solimando, Alessandro; Delzanno, Giorgio; Guerrini, Giovanna
Reachability problems in BioAmbients
2012-01-01 Delzanno, Giorgio; G., Zavattaro
On the Decidability Status of Reachability and Coverability in Graph Transformation Systems
2012-01-01 Nathalie, Bertrand; Delzanno, Giorgio; Barbara, König; Arnaud, Sangnier; Jan, Stückrath
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