- Formal specifications better than function points for code sizing Mark Staples Rafal Kolanski Gerwin Klein Corey Lewis June Andronick Toby Murray Ross Jeffery Len Bass Fri 02 March 2012
- Poster: VIBeS, Transition System Mutation Made Easy Xavier Devroey Gilles Perrouin Pierre-Yves Schobbens Patrick Heymans Fri 02 March 2012
- Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification Daniel Matichuk Toby Murray June Andronick Ross Jeffery Gerwin Klein Mark Staples Fri 02 March 2012
- Do Developers Read Compiler Error Messages Titus Barik Justin Smith Kevin Lubick Elisabeth Holmes Jing Feng Emerson Murphy-Hill Chris Parnin Fri 02 March 2012
- A new always cancellation-free approach to the multilevel symbolic analysis for very large electric networks S. Lasota Fri 02 March 2012
- Postconditioned Symbolic Execution Qiuping Yi Zijiang Yang Shengjian Guo Chao Wang Jian Liu Chen Zhao Fri 02 March 2012
- Model-Based Testing IoT Communication via Active Automata Learning Martin Tappler Bernhard K. Aichernig Roderick Bloem Fri 02 March 2012
- Timed k-Tail: Automatic Inference of Timed Automata Fabrizio Pastore Daniela Micucci Leonardo Mariani Fri 02 March 2012
- Conflict Analysis and Branching Heuristics in the Search for Graph Automorphisms Paolo Codenotti Hadi Katebi Karem A. Sakallah Igor L. Markov Fri 02 March 2012
- Virtual Electronics Laboratory: A new tool to improve Industrial Electronics Learning Luis M. Menendez Angel Salaverria Enrique Mandado Jacinto G. Dacosta Fri 02 March 2012
- Predictive Runtime Monitoring of Vehicle Models Using Bayesian Estimation and Reachability Analysis Yi Chou Hansol Yoon Sriram Sankaranarayanan Fri 02 March 2012
- Symbolic network analysis with the valid trees and the valid tree-pairs Zongmou Yin Fri 02 March 2012
- Rosenberg-Type Completeness Criteria for Subclones of Slupeckitextquotesingles Clone A. Szendrei Fri 02 March 2012
- Studying the influence of standard compiler optimizations on symbolic execution Shiyu Dong Oswaldo Olivo Lingming Zhang Sarfraz Khurshid Fri 02 March 2012
- Mapping uniquely occurring short sequences derived from high throughput technologies to a reference genome Pavlos Antoniou Jackie W. Daykin Costas S. Iliopoulos Derrick Kourie Laurent Mouchard Solon P. Pissis Fri 02 March 2012
- Design Techniques and Applications of Cyberphysical Systems: A Survey Siddhartha Kumar Khaitan James D. McCalley Fri 02 March 2012
- Characterization of typings in polymorphic type discipline P. Giannini S.R. Della Rocca Fri 02 March 2012
- Complete axiomatizations of the algebras of finite, rational and infinite trees M.J. Maher Fri 02 March 2012
- Axiomatizing net computations and processes P. Degano J. Meseguer U. Montanari Fri 02 March 2012
- A probabilistic powerdomain of evaluations C. Jones Gordon Plotkin Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
