| Title | Corresponding Author |
Further Authors |
|---|---|---|
| Constructing Quantified Invariants via Predicate Abstraction | Lahiri, Shuvendu K. | Randal E. Bryant |
| Why AI + ILP is good for WCET, but MC is not, nor ILP alone | Reinhard Wilhelm | |
| Approximate Probabilistic Model Checking | Peyronnet, Sylvain | Thomas Herault, Richard Lassaigne, Frederic Magniette |
| Invariance Kernels of Polygonal Differential Inclusions | Pace, Gordon | Gerardo Schneider |
| Completeness and Complexity of Bounded Model Checking | Strichman, Ofer | Edmund Clarke, Daniel Kroening, Joel Ouaknine |
| Applying Jlint to Space Exploration Software | Artho, Cyrille | Klaus Havelund |
| Rule-Based Runtime Verification | Sen, Koushik | Howard Barringer, Allen Goldberg, Klaus Havelund |
| Checking Interval Based Properties for Reactive Systems | Pei Yu | Xu Qiwen |
| Boolean Algebra of Shape Analysis Constraints | Kuncak, Viktor | Martin Rinard |
| Automatic Inference of Class Invariants | Logozzo, Francesco | |
| Security Types Preserving Compilation | Rezk, Tamara | Barthe, Gilles Basu, Amitabh Rezk |
| Model Checking for Object Specifications in Hidden Algebra | Lucanu, Dorel | Gabriel Ciobanu |
| Widening Operators for Powerset Domains | Bagnara, Roberto | Patricia M. Hill, Enea Zaffanella |
| Analysis of recursive game graphs using data flow equations | Etessami, Kousha | |
| A Complete Method for Synthesis of Linear Ranking Funktions | Rybalchenko, Andrey | Andreas Podelski |
| Symbolic Implementation of the Best Transformer | Yorsh, Greta | Thomas Reps, Mooly Sagiv |
| History-Dependent Scheduling for Cryptographic Processes | Vanackere, Vincent | |
| Liveness with Invisible Ranking | Pnueli, Amir | Yi Fang, Nir Piterman, Lenore Zuck |
| Type Inference for Parameterized Race-Free Java | Agarwal, Rahul | Scott D. Stoller |
| Certifying Temporal Properties for Compiled C Programs | Xia, Songtao | James Hook |
| Verifying Atomicity Specifications for Concurrent Object-Oriented Software using Model-Checking | Hatcliff, John | Robby, Matthew B. Dwyer |
| Construction of a Semantic Model for a Typed Assembly Language | Tan, Gang | Andrew W. Appel, Kedar N. Swadi, Dinghao Wu |