- Runtime Verification Based on Register Automata Dino Distefano Radu Grigore Rasmus Lerchedahl Petersen Nikos Tzevelekos Tue 18 December 2012
- Analysis of Boolean Programs Patrice Godefroid Mihalis Yannakakis Tue 18 December 2012
- Synthesis from LTL Specifications with Mean-Payoff Objectives Aaron Bohy Véronique Bruyère Emmanuel Filiot Jean-François Raskin Tue 18 December 2012
- A lightweight regular model checking approach for parameterized systems Giorgio Delzanno Ahmed Rezine Tue 18 December 2012
- Reachability problems in BioAmbients Giorgio Delzanno Gianluigi Zavattaro Tue 18 December 2012
- Static Analysis of XML Document Adaptations Alessandro Solimando Giorgio Delzanno Giovanna Guerrini Tue 18 December 2012
- On the Decidability Status of Reachability and Coverability in Graph Transformation Systems Nathalie Bertrand Giorgio Delzanno Barbara Kønig Arnaud Sangnier Jan Stuckrath Tue 18 December 2012
- Automata-based Static Analysis of XML Document Adaptation Alessandro Solimando Giorgio Delzanno Giovanna Guerrini Tue 18 December 2012
- The Cost of Parameterized Reachability in Mobile Ad Hoc Networks Giorgio Delzanno Arnaud Sangnier Riccardo Traverso Gianluigi Zavattaro Tue 18 December 2012
- Automatic Verification of Directory-Based Consistency Protocols with Graph Constraints Parosh Aziz Abdulla Giorgio Delzanno Ahmed Rezine Tue 18 December 2012
- Parameterized Verification of Safety Properties in Ad Hoc Network Protocols Giorgio Delzanno Arnaud Sangnier Gianluigi Zavattaro Tue 18 December 2012
- On the verification of membrane systems with dynamic structure Giorgio Delzanno Laurent Begin Tue 18 December 2012
- Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming Giorgio Delzanno Roberto Giacobazzi Francesco Ranzato Tue 18 December 2012
- Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification Parosh Abdulla Yu-Fang Chen Giorgio Delzanno Frédéric Haziza Chih-Duo Hong Ahmed Rezine Tue 18 December 2012
- Deciding Reachability in Mobile Ambients with Name Restriction Giorgio Delzanno Roberto Montagna Tue 18 December 2012
- Approximated parameterized verification of infinite-state processes with global conditions Parosh Abdulla Giorgio Delzanno Ahmed Rezine Tue 18 December 2012
- Monotonic Abstraction (On Efficient Verification of Parameterized Systems) Parosh Aziz Abdulla Giorgio Delzanno Noomene Ben Henda Ahmed Rezine Tue 18 December 2012
- Approximated Context-Sensitive Analysis for Parameterized Verification Parosh Abdulla Giorgio Delzanno Ahmed Rezine Tue 18 December 2012
- Automatic Verification of Directory-Based Consistency Protocols Parosh Abdulla Giorgio Delzanno Ahmed Rezine Tue 18 December 2012
- Monotonic Abstraction in Parameterized Verification Parosh Aziz Abdulla Giorgio Delzanno Ahmed Rezine Tue 18 December 2012
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
