- Robustness in real-time systems Nicolas Markey Fri 02 March 2012
- Theory exploration of binary trees Isabela Dramnesc Tudor Jebelean Sorin Stratulat Fri 02 March 2012
- Symbolic noise analysis of low voltage amplifiers by using nullors Elyoenai Martinez-Romero Esteban Tlelo-Cuautle Carlos Sanchez-Lopez Sheldon X.-D. Tan Fri 02 March 2012
- Specifying and Verifying Timing Properties of a Time-triggered Protocol for In-vehicle Communication Bo Zhang Fri 02 March 2012
- All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask) Edward J. Schwartz Thanassis Avgerinos David Brumley Fri 02 March 2012
- A Symbolic Execution Framework for JavaScript Prateek Saxena Devdatta Akhawe Steve Hanna Feng Mao Stephen McCamant Dawn Song Fri 02 March 2012
- Simple High-Level Code for Cryptographic Arithmetic - With Proofs, Without Compromises Andres Erbsen Jade Philipoom Jason Gross Robert Sloan Adam Chlipala Fri 02 March 2012
- Sample Spaces and Feature Models: There and Back Again Krzysztof Czarnecki Steven She Andrzej Wasowski Fri 02 March 2012
- The recognition problem for the set of perfect squares Alan Cobham Fri 02 March 2012
- Depth-first search and linear graph algorithms Robert Tarjan Fri 02 March 2012
- Boolean matrix multiplication and transitive closure M. J. Fischer A. R. Meyer Fri 02 March 2012
- The Sparsity Challenges James Harold Davenport Jacques Carette Fri 02 March 2012
- On the Bounds for State-Set Size in the Proofs of Equivalence Between Deterministic, Nondeterministic, and Two-Way Finite Automata F.R. Moore Fri 02 March 2012
- Identifiability of nonlinear systems with application to HIV/AIDS models X. Xia C.H. Moog Fri 02 March 2012
- A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games I.M. Mitchell A.M. Bayen C.J. Tomlin Fri 02 March 2012
- A Bayesian approach to identification of hybrid systems A.L. Juloski S. Weiland W.P.M.H. Heemels Fri 02 March 2012
- A bounded-error approach to piecewise affine system identification A. Bempora A. Garulli S. Paoletti A. Vicino Fri 02 March 2012
- Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems Alex A. Kurzhanskiy Pravin Varaiya Fri 02 March 2012
- A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates Stephen Prajna Ali Jadbabaie George J. Pappas Fri 02 March 2012
- Computing Abstractions of Nonlinear Systems Gunther Reissig Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
