| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso, Gianluigi Zavattaro |
The Cost of Parameterized Reachability in Mobile Ad Hoc Networks  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Delzanno, Ahmed Rezine |
A lightweight regular model checking approach for parameterized systems. |
STTT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
Automatic Verification of Directory-Based Consistency Protocols with Graph Constraints. |
Int. J. Found. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin |
A classification of the expressive power of well-structured transition systems. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro |
Parameterized Verification of Safety Properties in Ad Hoc Network Protocols |
PACO |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Viviana Mascardi, Giorgio Delzanno, Maurizio Martelli |
Some applications of Computational Logic to the development of intelligent systems and verification methods. |
Intelligenza Artificiale |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, Riccardo Traverso |
On the Verification of Timed Ad Hoc Networks. |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Igor Potapov (eds.) |
Reachability Problems - 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings |
RP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro |
On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Laurent Van Begin |
On the verification of membrane systems with dynamic structure. |
Natural Computing |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frédéric Haziza, Chih-Duo Hong, Ahmed Rezine |
Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro |
Parameterized Verification of Ad Hoc Networks. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Rosa-Velardo, Giorgio Delzanno |
Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Roberto Giacobazzi, Francesco Ranzato |
Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming. |
25 Years GULP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine |
Monotonic Abstraction: on Efficient Verification of Parameterized Systems. |
Int. J. Found. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Roberto Montagna |
Deciding Reachability in Mobile Ambients with Name Restriction. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
Approximated parameterized verification of infinite-state processes with global conditions. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
Unbounded processes, Over-approximation, Parameterized systems |
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
Approximated Context-Sensitive Analysis for Parameterized Verification. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin |
A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
Automatic Verification of Directory-Based Consistency Protocols. |
RP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Cinzia Di Giusto, Maurizio Gabbrielli, Cosimo Laneve, Gianluigi Zavattaro |
The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages. |
CMSB |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Roberto Montagna |
Reachability analysis of fragments of mobile ambients in AC term rewriting. |
Formal Asp. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Petri nets, Term rewriting, Reachability, Mobile ambients |
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
Monotonic Abstraction in Parameterized Verification. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frédéric Haziza, Ahmed Rezine |
Parameterized Tree Systems. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
Monotonic Abstraction in Action. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Laurent Van Begin |
A Biologically Inspired Model with Fusion and Clonation of Membranes. |
UC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Ahmed Rezine |
Handling Parameterized Systems with Non-atomic Global Conditions. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin |
On the Qualitative Analysis of Conformon P Systems. |
Workshop on Membrane Computing |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Roberto Montagna |
On Reachability and Spatial Reachability in Fragments of BioAmbients. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno |
Constraint-based automatic verification of abstract models of multithreaded programs. |
TPLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine |
Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems). |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
Parameterized Verification of Infinite-State Processes with Global Conditions. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin |
Comparing the Expressive Power of Well-Structured Transition Systems. |
CSL |
2007 |
DBLP DOI BibTeX RDF |
well-structured systems, language theory, Expressiveness |
| 1 | Giorgio Delzanno, Laurent Van Begin |
On the Dynamics of PB Systems with Volatile Membranes. |
Workshop on Membrane Computing |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno |
Constraint-based verification of abstract models of multitreaded programs |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Delzanno |
Constraint-based automatic verification of abstract models of multithreaded programs |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Delzanno, Sandro Etalle, Maurizio Gabbrielli |
Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems. |
TPLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Roberto Montagna |
Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Javier Esparza, Jirí Srba |
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Maurizio Gabbrielli |
Compositional Verification of Asynchronous Processes via Constraint Solving. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo |
A compositional semantics for CHR. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Montagna, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi |
BDI^ATL : An Alternating-Time BDI Logic for Multiagent Systems. |
EUMAS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Marco Bozzano, Giorgio Delzanno |
Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols. |
J. Symb. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno |
A Symbolic Procedure for Control Reachability in the Asynchronous Pi-calculus: Extended Abstract. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin |
Covering sharing trees: a compact data structure for parameterized verification. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
Efficient data structures, Heuristics, Static analysis, Constraints, Symbolic model checking, Infinite-state systems |
| 1 | Marco Bozzano, Giorgio Delzanno, Maurizio Martelli |
Model Checking Linear Logic Specifications. |
TPLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Pierre Ganty |
Automatic Verification of Time Sensitive Cryptographic Protocols. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo D'Antonio, Giorgio Delzanno |
SAT-Based Analysis of Cellular Automata. |
ACRI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bozzano, Giorgio Delzanno, Maurizio Martelli |
Model Checking Linear Logic Specifications |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Delzanno |
Constraint-Based Verification of Parameterized Cache Coherence Protocols. |
Formal Methods in System Design |
2003 |
DBLP DOI BibTeX RDF |
constraints, abstractions, symbolic model checking, cache coherence protocols |
| 1 | Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo |
Compositional Verification of Infinite State Systems. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno |
An Overview of MSR(C): A CLP-based Framework for the Symbolic Verification of Parameterized Concurrent Systems. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bozzano, Giorgio Delzanno, Maurizio Martelli |
An effective fixpoint semantics for linear logic programs. |
TPLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bozzano, Giorgio Delzanno |
Beyond Parameterized Verification. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin |
Towards the Automated Verification of Multithreaded Java Programs. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno |
Constraint-Based Model Checking for Parameterized Synchronous Systems. |
FroCos |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bozzano, Giorgio Delzanno |
Automated protocol verification in linear logic. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
model checking, linear logic, authentication protocols, bottom-up evaluation |
| 1 | Marco Bozzano, Giorgio Delzanno |
Algorithmic Verification of Invalidation-Based Protocols. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Maurizio Martelli |
Proofs as computations in linear logic. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno |
An Assertional Language for the Verification of Systems Parametric in Several Dimensions. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bozzano, Giorgio Delzanno, Maurizio Martelli |
On the Relations between Disjunctive and Linear Logic Programming. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bozzano, Giorgio Delzanno, Maurizio Martelli |
An Effective Fixpoint Semantics for Linear Logic Programs |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Delzanno, Andreas Podelski |
Constraint-based deductive model checking. |
STTT |
2001 |
DBLP DOI BibTeX RDF |
Model checking, Verification, Logic programming, Constraints |
| 1 | Rubén Carvajal-Schiaffino, Giorgio Delzanno, Giovanni Chiola |
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno |
Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and \lambda Prolog - A Case-study. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bozzano, Giorgio Delzanno, Maurizio Martelli |
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin |
Attacking Symbolic State Explosion. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Sandro Etalle |
Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols. |
LOPSTR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Argón, Giorgio Delzanno, Supratik Mukhopadhyay, Andreas Podelski |
Model Checking Communication Protocols. |
SOFSEM |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Tevfik Bultan |
Constraint-Based Verification of Client-Server Protocols. |
CP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli |
Object calculi in linear logic. |
J. Log. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno |
Verification of Consistency Protocols via Infinite-Stae Symbolic Model Checking. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Delzanno, Jean-François Raskin |
Symbolic Representation of Upward-Closed Sets. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bozzano, Giorgio Delzanno, Maurizio Martelli |
A bottom-up semantics for linear logic programs. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno |
Automatic Verification of Parameterized Cache Coherence Protocols. |
CAV |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Didier Galmiche, Maurizio Martelli |
A specification logic for concurrent object-oriented programming. |
Mathematical Structures in Computer Science |
1999 |
DBLP BibTeX RDF |
|
| 1 | Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini |
Multi-agent Systems Development as a Software Engineering Enterprise. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Andreas Podelski |
Model Checking in CLP. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Andreas Podelski |
Verification of Infinite-State Systems in Constraint Logic Programming. |
JFPLC |
1999 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Delzanno, Javier Esparza, Andreas Podelski |
Constraint-Based Analysis of Broadcast Protocols. |
CSL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bozzano, Giorgio Delzanno, Maurizio Martelli |
A Linear Logic Semantics for Object-Oriented, Deductive and Active Databases. |
APPIA-GULP-PRODE |
1997 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Delzanno, Maurizio Martelli |
Proofs as Computations in Linear Logic. |
APPIA-GULP-PRODE |
1996 |
DBLP BibTeX RDF |
|
| 1 | Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli |
A Linear Logic Calculus Objects. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Delzanno, Maurizio Martelli |
Forum Objects. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Delzanno, Maurizio Martelli |
Objects in Forum. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Delzanno, Maurizio Martelli |
A Bottom-Up Characterization of Finite Success. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")