Conferences in DBLP
Joshua D. Guttman Security, Protocols, and Trust. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Barthe , Amitabh Basu , Tamara Rezk Security Types Preserving Compilation: (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Vincent Vanackère History-Dependent Scheduling for Cryptographic Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Gang Tan , Andrew W. Appel , Kedar N. Swadi , Dinghao Wu Construction of a Semantic Model for a Typed Assembly Language. [Citation Graph (0, 0)][DBLP ] Conf ] Howard Barringer , Allen Goldberg , Klaus Havelund , Koushik Sen Rule-Based Runtime Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Shmuel Sagiv On the Expressive Power of Canonical Abstraction. [Citation Graph (0, 0)][DBLP ] Conf ] Viktor Kuncak , Martin C. Rinard Boolean Algebra of Shape Analysis Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Hérault , Richard Lassaigne , Frédéric Magniette , Sylvain Peyronnet Approximate Probabilistic Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Edmund M. Clarke , Daniel Kroening , Joël Ouaknine , Ofer Strichman Completeness and Complexity of Bounded Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Dorel Lucanu , Gabriel Ciobanu Model Checking for Object Specifications in Hidden Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Gordon J. Pace , Gerardo Schneider Model Checking Polygonal Differential Inclusions Using Invariance Kernels. [Citation Graph (0, 0)][DBLP ] Conf ] Pei Yu , Qiwen Xu Checking Interval Based Properties for Reactive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Bagnara , Patricia M. Hill , Enea Zaffanella Widening Operators for Powerset Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Rahul Agarwal , Scott D. Stoller Type Inference for Parameterized Race-Free Java. [Citation Graph (0, 0)][DBLP ] Conf ] Songtao Xia , James Hook Certifying Temporal Properties for Compiled C Programs. [Citation Graph (0, 0)][DBLP ] Conf ] John Hatcliff , Robby , Matthew B. Dwyer Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Dawson R. Engler , Madanlal Musuvathi Static Analysis versus Software Model Checking for Bug Finding. [Citation Graph (0, 0)][DBLP ] Conf ] Francesco Logozzo Automatic Inference of Class Invariants. [Citation Graph (0, 0)][DBLP ] Conf ] Yi Fang , Nir Piterman , Amir Pnueli , Lenore D. Zuck Liveness with Invisible Ranking. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Podelski , Andrey Rybalchenko A Complete Method for the Synthesis of Linear Ranking Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas W. Reps , Shmuel Sagiv , Greta Yorsh Symbolic Implementation of the Best Transformer. [Citation Graph (0, 0)][DBLP ] Conf ] Shuvendu K. Lahiri , Randal E. Bryant Constructing Quantified Invariants via Predicate Abstraction. [Citation Graph (0, 0)][DBLP ] Conf ] Kousha Etessami Analysis of Recursive Game Graphs Using Data Flow Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Cyrille Artho , Klaus Havelund Applying Jlint to Space Exploration Software. [Citation Graph (0, 0)][DBLP ] Conf ] Reinhard Wilhelm Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP Alone. [Citation Graph (0, 0)][DBLP ] Conf ] David Harel A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal. [Citation Graph (0, 0)][DBLP ] Conf ] 