- Incremental Closure of Free Variable Tableaux Martin Giese Fri 02 March 2012
- Learning Probabilistic Residual Finite State Automata Yann Esposito Aurélien Lemay François Denis Pierre Dupont Fri 02 March 2012
- Designs, Disputes and Strategies Claudia Faggian Martin Hyland Fri 02 March 2012
- Timed Interfaces Luca de Alfaro Thomas A. Henzinger Mariëlle Stoelinga Fri 02 March 2012
- Timed Control Synthesis for External Specifications Deepak D'souza P. Madhusudan Fri 02 March 2012
- Executing Higher Order Logic Stefan Berghofer Tobias Nipkow Fri 02 March 2012
- Model Generation by Moderated Regular Extrapolation Andreas Hagerer Hardi Hungar Oliver Niese Bernhard Steffen Fri 02 March 2012
- Disambiguation Filters for Scannerless Generalized LR Parsers Mark G. J. van den Brand Jeroen Scheerder Jurgen J. Vinju Eelco Visser Fri 02 March 2012
- Modular Static Program Analysis Patrick Cousot Radhia Cousot Fri 02 March 2012
- Synthesizing Monitors for Safety Properties Klaus Havelund Grigore Roşu Fri 02 March 2012
- Adaptive Model Checking Alex Groce Doron Peled Mihalis Yannakakis Fri 02 March 2012
- TIMES b- A Tool for Modelling and Implementation of Embedded Systems Tobias Amnell Elena Fersman Leonid Mokrushin Paul Pettersson Wang Yi Fri 02 March 2012
- Timed Automata with Asynchronous Processes: Schedulability and Decidability Elena Fersman Paul Pettersson Wang Yi Fri 02 March 2012
- Optimization Properties for Classes of Conjunctive Regular Path Queries Alin Deutsch Val Tannen Fri 02 March 2012
- Proof General: A Generic Tool for Proof Development David Aspinall Fri 02 March 2012
- Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations Oleg Botchkarev Stavros Tripakis Fri 02 March 2012
- Ellipsoidal Techniques for Reachability Analysis Alexander B. Kurzhanski Pravin Varaiya Fri 02 March 2012
- Level Set Methods for Computation in Hybrid Systems Ian Mitchell Claire J. Tomlin Fri 02 March 2012
- Optimization-Based Verification and Stability Characterization of Piecewise Affine and Hybrid Systems Alberto Bemporad Fabio Danilo Torrisi Manfred Morari Fri 02 March 2012
- Small Progress Measures for Solving Parity Games Marcin Jurdziński Fri 02 March 2012
Library Size: 13G (12952 entries),
Last Updated: Apr 13, 2026, 17:04:26,
Build Time: N/A