Conferences in DBLP
Zhou Chaochen Program Verification Through Computer Algebra. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:1- [Conf ] Gary T. Leavens JML's Rich, Inherited Specifications for Behavioral Subtypes. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:2-34 [Conf ] John A. McDermid , Andy Galloway Three Perspectives in Formal Engineering. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:35-54 [Conf ] Bernhard Beckert , Gerd Beuster A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:55-73 [Conf ] Chunqing Chen , Jin Song Dong Applying Timed Interval Calculus to Simulink Diagrams. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:74-93 [Conf ] E. Allen Emerson , Richard J. Trefler , Thomas Wahl Reducing Model Checking of the Few to the One. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:94-113 [Conf ] Kazuhiro Ogata , Masahiro Nakano , Weiqiang Kong , Kokichi Futatsugi Induction-Guided Falsification. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:114-131 [Conf ] Nikola Trcka Verifying chi Models of Industrial Systems with Spin. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:132-148 [Conf ] Xiaodong Yi , Ji Wang , Xuejun Yang Stateful Dynamic Partial-Order Reduction. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:149-167 [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 ] ICFEM, 2006, pp:168-184 [Conf ] Puwei Wang , Zhi Jin , Lin Liu Environment Ontology-Based Capability Specification for Web Service Discovery. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:185-205 [Conf ] Yan Zhang , Jun Hu , Xiaofeng Yu , Tian Zhang , Xuandong Li , Guoliang Zheng Scenario-Based Component Behavior Derivation. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:206-225 [Conf ] Jin Song Dong , Yang Liu , Jun Sun , Xian Zhang Verification of Computation Orchestration Via Timed Automata. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:226-245 [Conf ] Jing Li , Jifeng He , Geguang Pu , Huibiao Zhu Towards the Semantics for Web Service Choreography Description Language. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:246-263 [Conf ] Hongli Yang , Xiangpeng Zhao , Zongyan Qiu , Chao Cai , Geguang Pu Type Checking Choreography Description Language. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:264-283 [Conf ] Brijesh Dongol Formalising Progress Properties of Non-blocking Programs. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:284-303 [Conf ] Douglas A. Creager , Andrew C. Simpson Towards a Fully Generic Theory of Data. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:304-323 [Conf ] A. W. Roscoe , Zhenzhong Wu Verifying Statemate Statecharts Using CSP and FDR. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:324-341 [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 ] ICFEM, 2006, pp:342-359 [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 ] ICFEM, 2006, pp:360-379 [Conf ] Larissa Meinicke , Ian J. Hayes Reasoning Algebraically About Probabilistic Loops. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:380-399 [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 ] ICFEM, 2006, pp:400-419 [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 ] ICFEM, 2006, pp:420-439 [Conf ] Xiangpeng Zhao , Quan Long , Zongyan Qiu Model Checking Dynamic UML Consistency. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:440-459 [Conf ] Jessica Chen , Lihua Duan Conditions for Avoiding Controllability Problems in Distributed Testing. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:460-477 [Conf ] Samira Tasharofi , Sepand Ansari , Marjan Sirjani Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:478-493 [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 ] ICFEM, 2006, pp:494-513 [Conf ] Heike Wehrheim Incremental Slicing. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:514-528 [Conf ] Aleksandar Dimovski , Ranko Lazic Assume-Guarantee Software Verification Based on Game Semantics. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:529-548 [Conf ] Marcelo d'Amorim , Ahmed Sobeih , Darko Marinov Optimized Execution of Deterministic Blocks in Java PathFinder. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:549-567 [Conf ] Soon-Kyeong Kim , David A. Carrington A Tool for a Formal Pattern Modeling Language. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:568-587 [Conf ] Jean-Raymond Abrial , Michael Butler , Stefan Hallerstede , Laurent Voisin An Open Extensible Tool Environment for Event-B. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:588-605 [Conf ] B. Meenakshi , Abhishek Bhatnagar , Sudeepa Roy Tool for Translating Simulink Models into Input Language of a Model Checker. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:606-620 [Conf ] Tim McComb , Luke Wildman Verifying Abstract Information Flow Properties in Fault Tolerant Security Devices. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:621-638 [Conf ] Luigia Petre , Kaisa Sere , Marina A. Waldén A Language for Modeling Network Availability. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:639-659 [Conf ] Christian Attiogbé Multi-process Systems Analysis Using Event B: Application to Group Communication Systems. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:660-677 [Conf ] John Derrick , Siobhán North , Tony Simons Issues in Implementing a Model Checker for Z. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:678-696 [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 ] ICFEM, 2006, pp:697-716 [Conf ] Nikolai Tillmann , Feng Chen , Wolfram Schulte Discovering Likely Method Specifications. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:717-736 [Conf ] Tomi Westerlund , Juha Plosila Time Aware Modelling and Analysis of Multiclocked VLSI Systems. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:737-756 [Conf ] Andreas Bauer 0002 , Martin Leucker , Jonathan Streit SALT - Structured Assertion Language for Temporal Logic. [Citation Graph (0, 0)][DBLP ] ICFEM, 2006, pp:757-775 [Conf ]