- IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems Étienne André Laurent Fribourg Ulrich Kühne Romain Soulat Fri 02 March 2012
- Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors Howard Barringer Yliès Falcone Klaus Havelund Giles Reger David Rydeheard Fri 02 March 2012
- Defining Context-Free Power Series Coalgebraically Marcello M. Bonsangue Jan Rutten Joost Winter Fri 02 March 2012
- Toward a Timed Theory of Channel Coding Eugene Asarin Nicolas Basset Marie-Pierre Béal Aldric Degorre Dominique Perrin Fri 02 March 2012
- Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads Marijn J. H. Heule Oliver Kullmann Siert Wieringa Armin Biere Fri 02 March 2012
- Monitoring Dense-Time, Continuous-Semantics, Metric Temporal Logic Kevin Baldor Jianwei Niu Fri 02 March 2012
- Introduction to the Coq Proof-Assistant for Practical Software Verification Christine Paulin-Mohring Fri 02 March 2012
- Compositional and Lightweight Dependent Type Inference for ML He Zhu Suresh Jagannathan Fri 02 March 2012
- An Introduction to the Theory of Viscosity Solutions for First-Order HamiltontextendashJacobi Equations and Applications Guy Barles Fri 02 March 2012
- Runtime Verification Based on Register Automata Radu Grigore Dino Distefano Rasmus Lerchedahl Petersen Nikos Tzevelekos Fri 02 March 2012
- Concurrent Flexible Reversibility Ivan Lanese Michael Lienhardt Claudio Antares Mezzina Alan Schmitt Jean-Bernard Stefani Fri 02 March 2012
- Why3 - Where Programs Meet Provers Jean-Christophe Filliâtre Andrei Paskevich Fri 02 March 2012
- dReal: An SMT Solver for Nonlinear Theories over the Reals Sicun Gao Soonho Kong Edmund M. Clarke Fri 02 March 2012
- Brzozowski Algorithm Is Generically Super-Polynomial for Deterministic Automata Sven De Felice Cyril Nicaud Fri 02 March 2012
- Automatic Verification of Erlang-Style Concurrency Emanuele D'Osualdo Jonathan Kochems C. -H. Luke Ong Fri 02 March 2012
- Time for Mutants - Model-Based Mutation Testing with Timed Automata Bernhard K. Aichernig Florian Lorber Dejan Ničković Fri 02 March 2012
- Small Induction Recursion Peter Hancock Conor McBride Neil Ghani Lorenzo Malatesta Thorsten Altenkirch Fri 02 March 2012
- ML4PG in Computer Algebra Verification Jónathan Heras Ekaterina Komendantskaya Fri 02 March 2012
- Type Classes and Filters for Mathematical Analysis in Isabelle/HOL Johannes Hölzl Fabian Immler Brian Huffman Fri 02 March 2012
- First-Order Theorem Proving and Vampire Laura Kovács Andrei Voronkov Fri 02 March 2012
Library Size: 13G (12950 entries),
Last Updated: Apr 12, 2026, 22:09:01,
Build Time: N/A
