• 2013-11-11Modular Construction of Shape-Numeric Analyzers
• 2013-10-25Small Bug, Big Bang
• 2013-10-24The Parameterized Complexity of Counting k-Matchings
• 2013-10-11Automatic Generation of Program Invariants from Traces
• 2013-10-09Three Lectures on Model Checking
• 2013-09-09Automatic Testing-Based Formal Verification: Bridging Testing and Formal Verification for Program Correctness
• 2013-08-29Mu and mu tilde: two useful combinators
• 2013-08-22Mathematics and Physics Foundation for Digital Medicine in Virtual Environments
• 2013-08-21On Two Challenging Problems in Statistical Debugging
• 2013-08-05Advances in symbolic model checking for multi-agent systems
• 2013-07-17Program debugging with effective software fault localization
• 2013-07-17Uniform Monte Carlo Model Checking
• 2013-07-10Model-Checking Iterated Games
• 2013-07-09Equational Reasoning and Unification in Protocol Verification
• 2013-06-18Center Problems under Matroid and Knapsack Constraints
• 2013-06-18A Unifying Approach to Assessing Market Power in Deregulated Electricity Market
• 2013-06-04Reachability Probabilities of Quantum Markov Chains
• 2013-06-03Model Checking Stochastic Hybrid Systems
• 2013-05-16Develop Fine-Grained Access Control Systems for Smartphones
• 2013-05-13Automata for counting data, and some logic