Conferences in DBLP
Zhou Chaochen Program Verification Through Computer Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Gary T. Leavens JML's Rich, Inherited Specifications for Behavioral Subtypes. [Citation Graph (0, 0)][DBLP ] Conf ] John A. McDermid , Andy Galloway Three Perspectives in Formal Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Beckert , Gerd Beuster A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces. [Citation Graph (0, 0)][DBLP ] Conf ] Chunqing Chen , Jin Song Dong Applying Timed Interval Calculus to Simulink Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] E. Allen Emerson , Richard J. Trefler , Thomas Wahl Reducing Model Checking of the Few to the One. [Citation Graph (0, 0)][DBLP ] Conf ] Kazuhiro Ogata , Masahiro Nakano , Weiqiang Kong , Kokichi Futatsugi Induction-Guided Falsification. [Citation Graph (0, 0)][DBLP ] Conf ] Nikola Trcka Verifying chi Models of Industrial Systems with Spin. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaodong Yi , Ji Wang , Xuejun Yang Stateful Dynamic Partial-Order Reduction. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaoning Ding , Jun Wei , Tao Huang User-Defined Atomicity Constraint: A More Flexible Transaction Model for Reliable Service Composition. [Citation Graph (0, 0)][DBLP ] Conf ] Puwei Wang , Zhi Jin , Lin Liu Environment Ontology-Based Capability Specification for Web Service Discovery. [Citation Graph (0, 0)][DBLP ] Conf ] Yan Zhang , Jun Hu , Xiaofeng Yu , Tian Zhang , Xuandong Li , Guoliang Zheng Scenario-Based Component Behavior Derivation. [Citation Graph (0, 0)][DBLP ] Conf ] Jin Song Dong , Yang Liu , Jun Sun , Xian Zhang Verification of Computation Orchestration Via Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Jing Li , Jifeng He , Geguang Pu , Huibiao Zhu Towards the Semantics for Web Service Choreography Description Language. [Citation Graph (0, 0)][DBLP ] Conf ] Hongli Yang , Xiangpeng Zhao , Zongyan Qiu , Chao Cai , Geguang Pu Type Checking Choreography Description Language. [Citation Graph (0, 0)][DBLP ] Conf ] Brijesh Dongol Formalising Progress Properties of Non-blocking Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas A. Creager , Andrew C. Simpson Towards a Fully Generic Theory of Data. [Citation Graph (0, 0)][DBLP ] Conf ] A. W. Roscoe , Zhenzhong Wu Verifying Statemate Statecharts Using CSP and FDR. [Citation Graph (0, 0)][DBLP ] Conf ] Jin Song Dong , Ping Hao , Jun Sun , Xian Zhang A Reasoning Method for Timed CSP Based on Constraint Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Tarek Sadani , Marc Boyer , Pierre de Saqui-Sannes , Jean-Pierre Courtiat Mapping RT-LOTOS Specifications into Time Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Larissa Meinicke , Ian J. Hayes Reasoning Algebraically About Probabilistic Loops. [Citation Graph (0, 0)][DBLP ] Conf ] Nicolas Marti , Reynald Affeldt , Akinori Yonezawa Formal Verification of the Heap Manager of an Operating System Using Separation Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Bart Jacobs 0002 , Jan Smans , Frank Piessens , Wolfram Schulte A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Xiangpeng Zhao , Quan Long , Zongyan Qiu Model Checking Dynamic UML Consistency. [Citation Graph (0, 0)][DBLP ] Conf ] Jessica Chen , Lihua Duan Conditions for Avoiding Controllability Problems in Distributed Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Samira Tasharofi , Sepand Ansari , Marjan Sirjani Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Isabel Nunes , Antónia Lopes , Vasco Thudichum Vasconcelos , João Abreu , Luís S. Reis Checking the Conformance of Java Classes Against Algebraic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Heike Wehrheim Incremental Slicing. [Citation Graph (0, 0)][DBLP ] Conf ] Aleksandar Dimovski , Ranko Lazic Assume-Guarantee Software Verification Based on Game Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Marcelo d'Amorim , Ahmed Sobeih , Darko Marinov Optimized Execution of Deterministic Blocks in Java PathFinder. [Citation Graph (0, 0)][DBLP ] Conf ] Soon-Kyeong Kim , David A. Carrington A Tool for a Formal Pattern Modeling Language. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Raymond Abrial , Michael Butler , Stefan Hallerstede , Laurent Voisin An Open Extensible Tool Environment for Event-B. [Citation Graph (0, 0)][DBLP ] Conf ] B. Meenakshi , Abhishek Bhatnagar , Sudeepa Roy Tool for Translating Simulink Models into Input Language of a Model Checker. [Citation Graph (0, 0)][DBLP ] Conf ] Tim McComb , Luke Wildman Verifying Abstract Information Flow Properties in Fault Tolerant Security Devices. [Citation Graph (0, 0)][DBLP ] Conf ] Luigia Petre , Kaisa Sere , Marina A. Waldén A Language for Modeling Network Availability. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Attiogbé Multi-process Systems Analysis Using Event B: Application to Group Communication Systems. [Citation Graph (0, 0)][DBLP ] Conf ] John Derrick , Siobhán North , Tony Simons Issues in Implementing a Model Checker for Z. [Citation Graph (0, 0)][DBLP ] Conf ] Leo Freitas , Ana Cavalcanti , Jim Woodcock Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Nikolai Tillmann , Feng Chen , Wolfram Schulte Discovering Likely Method Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Tomi Westerlund , Juha Plosila Time Aware Modelling and Analysis of Multiclocked VLSI Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Bauer 0002 , Martin Leucker , Jonathan Streit SALT - Structured Assertion Language for Temporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] 