- Safety Verification of Hybrid Systems Using Barrier Certificates Stephen Prajna Ali Jadbabaie Fri 02 March 2012
- Wellfounded Trees and Dependent Polynomial Functors Nicola Gambino Martin Hyland Fri 02 March 2012
- Model Checking with Multi-valued Logics Glenn Bruns Patrice Godefroid Fri 02 March 2012
- Solving Two-Variable Word Equations Robert Dąbrowski Wojtek Plandowski Fri 02 March 2012
- A Tutorial on Uppaal Gerd Behrmann Alexandre David Kim G. Larsen Fri 02 March 2012
- Constraint Propagation as a Proof System Albert Atserias Phokion G. Kolaitis Moshe Y. Vardi Fri 02 March 2012
- Monitoring Temporal Properties of Continuous Signals Oded Maler Dejan Nickovic Fri 02 March 2012
- Safe Programming with Pointers Through Stateful Views Dengping Zhu Hongwei Xi Fri 02 March 2012
- Reachability of Uncertain Linear Systems Using Zonotopes Antoine Girard Fri 02 March 2012
- PrimaltextendashDual Tests for Safety and Reachability Stephen Prajna Anders Rantzer Fri 02 March 2012
- Intruder Deduction for AC-Like Equational Theories with Homomorphisms Pascal Lafourcade Denis Lugiez Ralf Treinen Fri 02 March 2012
- Proving Positive Almost-Sure Termination Olivier Bournez Florent Garnier Fri 02 March 2012
- Entanglement textendash A Measure for the Complexity of Directed Graphs with Applications to Logic and Games Dietmar Berwanger Erich Grädel Fri 02 March 2012
- Product Line Use Cases: Scenario-Based Specification and Testing of Requirements Antonia Bertolino Alessandro Fantechi Stefania Gnesi Giuseppe Lami Fri 02 March 2012
- ``More Deterministic'' vs. ``Smaller'' Buchi Automata for Efficient LTL Model Checking Roberto Sebastiani Stefano Tonetta Fri 02 March 2012
- An Optimal Automata Approach to LTL Model Checking of Probabilistic Systems Jean-Michel Couvreur Nasser Saheb Grégoire Sutre Fri 02 March 2012
- How to Prove Inductive Theorems QuodLibet Jürgen Avenhaus Ulrich Kühler Tobias Schmidt-Samoa Claus-Peter Wirth Fri 02 March 2012
- Rule-Based Modelling, Symmetries, Refinements Vincent Danos Jérôme Feret Walter Fontana Russell Harmer Jean Krivine Fri 02 March 2012
- Modeling and Model Checking Software Product Lines Alexander Gruler Martin Leucker Kathrin Scheidemann Fri 02 March 2012
- The Spec Programming System: Challenges and Directions Mike Barnett Robert DeLine Manuel Fähndrich Bart Jacobs K. Rustan M. Leino Wolfram Schulte Herman Venter Fri 02 March 2012
Library Size: 13G (12951 entries),
Last Updated: Apr 13, 2026, 09:28:01,
Build Time: N/A
