- Statistical Model Checking: An Overview Axel Legay Benoît Delahaye Saddek Bensalem Fri 02 March 2012
- Copilot: A Hard Real-Time Runtime Monitor Lee Pike Alwyn Goodloe Robin Morisset Sebastian Niller Fri 02 March 2012
- Dafny: An Automatic Program Verifier for Functional Correctness K. Rustan M. Leino Fri 02 March 2012
- SAT-Based Model Checking without Unrolling Aaron R. Bradley Fri 02 March 2012
- Realizability and Parametricity in Pure Type Systems Jean-Philippe Bernardy Marc Lasson Fri 02 March 2012
- CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes Hubert Garavel Frédéric Lang Radu Mateescu Wendelin Serwe Fri 02 March 2012
- Green's Relations and Their Use in Automata Theory Thomas Colcombet Fri 02 March 2012
- Introduction to Active Automata Learning from a Practical Perspective Bernhard Steffen Falk Howar Maik Merten Fri 02 March 2012
- Model-Based Testing and Some Steps towards Test-Based Modelling Jan Tretmans Fri 02 March 2012
- SpaceEx: Scalable Verification of Hybrid Systems Goran Frehse Colas Le Guernic Alexandre Donzé Scott Cotton Rajarshi Ray Olivier Lebeltel Rodolfo Ripado Antoine Girard Thao Dang Oded Maler Fri 02 March 2012
- BAP: A Binary Analysis Platform David Brumley Ivan Jager Thanassis Avgerinos Edward J. Schwartz Fri 02 March 2012
- A View of Canonical Extension Mai Gehrke Jacob Vosmaer Fri 02 March 2012
- Describing Periodicity in Two-Way Deterministic Finite Automata Using Transformation Semigroups Michal Kunc Alexander Okhotin Fri 02 March 2012
- Computer-Aided Security Proofs for the Working Cryptographer Gilles Barthe Benjamin Grégoire Sylvain Heraud Santiago Zanella Béguelin Fri 02 March 2012
- Point-Free, Set-Free Concrete Linear Algebra Georges Gonthier Fri 02 March 2012
- Full Abstraction in a Subtyped pi-Calculus with Linear Types Romain Demangeon Kohei Honda Fri 02 March 2012
- Energy Games in Multiweighted Automata Uli Fahrenberg Line Juhl Kim G. Larsen Jiří Srba Fri 02 March 2012
- Exact Incremental Analysis of Timed Automata with an SMT-Solver Bahareh Badban Martin Lange Fri 02 March 2012
- Model-Based Coverage-Driven Test Suite Generation for Software Product Lines Harald Cichos Sebastian Oster Malte Lochau Andy Schürr Fri 02 March 2012
- Visibly Pushdown Transducers with Look-Ahead Emmanuel Filiot Frédéric Servais Fri 02 March 2012
Library Size: 13G (12950 entries),
Last Updated: Apr 12, 2026, 22:09:01,
Build Time: N/A
