Conferences in DBLP
Nathan Whitehead , Jordan Johnson , Martín Abadi Policies and Proofs for Code Auditing. [Citation Graph (0, 0)][DBLP ] Conf ] Atsushi Hasegawa Recent Trend in Industry and Expectation to DA Research. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth L. McMillan Toward Property-Driven Abstraction for Heap Manipulating Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Sumit Nain , Moshe Y. Vardi Branching vs. Linear Time: Semantical Perspective. [Citation Graph (0, 0)][DBLP ] Conf ] Jörg Bauer , Tobe Toben , Bernd Westphal Mind the Shapes: Abstraction Refinement Via Topology Invariants. [Citation Graph (0, 0)][DBLP ] Conf ] Geng-Dian Huang , Bow-Yaw Wang Complete SAT-Based Model Checking for Context-Free Processes. [Citation Graph (0, 0)][DBLP ] Conf ] David Walter , Scott Little , Chris Myers Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver. [Citation Graph (0, 0)][DBLP ] Conf ] Gordon J. Pace , Cristian Prisacariu , Gerardo Schneider Model Checking Contracts - A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Geeraerts , Jean-François Raskin , Laurent Van Begin On the Efficient Computation of the Minimal Coverability Set for Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Scott Little , David Walter , Kevin Jones , Chris Myers Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces. [Citation Graph (0, 0)][DBLP ] Conf ] Bijan Alizadeh , Masahiro Fujita Automatic Merge-Point Detection for Sequential Equivalence Checking of System-Level and RTL Descriptions. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Habermehl , Radu Iosif , Adam Rogalewicz , Tomás Vojnar Proving Termination of Tree Manipulating Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Bozzano , Alessandro Cimatti , Francesco Tapparo Symbolic Fault Tree Analysis for Reactive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Gawlitza , Helmut Seidl Computing Game Values for Crash Games. [Citation Graph (0, 0)][DBLP ] Conf ] Franck Cassez , Alexandre David , Kim Guldstrand Larsen , Didier Lime , Jean-François Raskin Timed Control with Observation Based and Stuttering Invariant Strategies. [Citation Graph (0, 0)][DBLP ] Conf ] Lijun Zhang , Holger Hermanns Deciding Simulations on Probabilistic Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Dax , Jochen Eisinger , Felix Klaedtke Mechanizing the Powerset Construction for Restricted Classes of omega -Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Zvonimir Rakamaric , Roberto Bruttomesso , Alan J. Hu , Alessandro Cimatti Verifying Heap-Manipulating Programs in an SMT Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Sophie Pinchinat A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies. [Citation Graph (0, 0)][DBLP ] Conf ] Sven Schewe , Bernd Finkbeiner Distributed Synthesis for Alternating-Time Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Indranil Saha , Janardan Misra , Suman Roy Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Dragan Bosnacki , Alastair F. Donaldson , Michael Leuschel , Thierry Massart Efficient Approximate Verification of Promela Models Via Symmetry Markers. [Citation Graph (0, 0)][DBLP ] Conf ] Orna Kupferman , Yoad Lustig Latticed Simulation Relations and Games. [Citation Graph (0, 0)][DBLP ] Conf ] Tingting Han , Joost-Pieter Katoen Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Judi Romijn , Wieger Wesselink , Arjan J. Mooij Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS. [Citation Graph (0, 0)][DBLP ] Conf ] Laura Recalde , Serge Haddad , Manuel Silva Continuous Petri Nets: Expressive Power and Decidability Issues. [Citation Graph (0, 0)][DBLP ] Conf ] Edith Elkind , Blaise Genest , Doron Peled , Paola Spoletini Quantifying the Discord: Order Discrepancies in Message Sequence Charts. [Citation Graph (0, 0)][DBLP ] Conf ] Ismael Rodríguez , Manuel Núñez A Formal Methodology to Test Complex Heterogeneous Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Rotem Oshman , Orna Grumberg A New Approach to Bounded Model Checking for Branching Time Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Werner Damm , Stefan Disch , Hardi Hungar , Swen Jacobs , Jun Pang , Florian Pigorsch , Christoph Scholl , Uwe Waldmann , Boris Wirtz Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space. [Citation Graph (0, 0)][DBLP ] Conf ] Hichem Boudali , Pepijn Crouzen , Mariëlle Stoelinga A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains. [Citation Graph (0, 0)][DBLP ] Conf ] Orna Grumberg , Assaf Schuster , Avi Yadgar 3-Valued Circuit SAT for STE with Automatic Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Sven Schewe , Bernd Finkbeiner Bounded Synthesis. [Citation Graph (0, 0)][DBLP ] Conf ] Moonzoo Kim Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances. [Citation Graph (0, 0)][DBLP ] Conf ] Mercedes G. Merayo , Manuel Núñez , Ismael Rodríguez A Brief Introduction to THOTL . [Citation Graph (0, 0)][DBLP ] Conf ] Guoqiang Li , Mizuhito Ogawa On-the-Fly Model Checking of Fair Non-repudiation Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Bernard Berthomieu , Florent Peres , François Vernadat Model Checking Bounded Prioritized Time Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Salamah Salamah , Ann Q. Gates , Vladik Kreinovich , Steve Roach Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Muhammad Torabi Dashti , Anton Wijs Pruning State Spaces with Extended Beam Search. [Citation Graph (0, 0)][DBLP ] Conf ] Thanyapat Sakunkonchak , Satoshi Komatsu , Masahiro Fujita Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction. [Citation Graph (0, 0)][DBLP ] Conf ] 