Conferences in DBLP
Bernhard Schätz Model-Based Development: Combining Engineering Approaches and Formal Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Chris George Tutorial on the RAISE Language, Method and Tools. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan Jacky Model-Based Testing with Spec#. [Citation Graph (0, 0)][DBLP ] Conf ] Shaoying Liu Formal Engineering for Industrial Software Development - An Introduction to the SOFL Specification Language and Method. [Citation Graph (0, 0)][DBLP ] Conf ] Edmund M. Clarke , Daniel Kroening Tutorial: Software Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Amitabh Srivastava Engineering Quality Software. [Citation Graph (0, 0)][DBLP ] Conf ] Peter G. Neumann When Can Formal Methods Make a Real Difference? [Citation Graph (0, 0)][DBLP ] Conf ] J. Strother Moore On the Adoption of Formal Methods by Industry: The ACL2 Experience. [Citation Graph (0, 0)][DBLP ] Conf ] Joxan Jaffar A CLP Approach to Modelling Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Christophe Filliâtre , Claude Marché Multi-prover Verification of C Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Yue Yang , Ganesh Gopalakrishnan , Gary Lindstrom Memory-Model-Sensitive Data Race Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Jessica Chen , Xiaoshan Zhao Formal Models for Web Navigations with Session Control and Browser Cache. [Citation Graph (0, 0)][DBLP ] Conf ] Bill Aldrich , Ansgar Fehnker , Peter H. Feiler , Zhi Han , Bruce H. Krogh , Eric Lim , Shiva Sivashankar Managing Verification Activities Using SVM. [Citation Graph (0, 0)][DBLP ] Conf ] Richard H. Carver , Yu Lei A General Model for Reachability Testing of Concurrent Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Kai Baukus , Ron van der Meyden A Knowledge Based Analysis of Cache Coherence. [Citation Graph (0, 0)][DBLP ] Conf ] Wei Zhang , Haiyan Zhao , Hong Mei A Propositional Logic-Based Method for Verification of Feature Models. [Citation Graph (0, 0)][DBLP ] Conf ] Jifeng He , Carroll Morgan , Annabelle McIver Deriving Probabilistic Semantics Via the 'Weakest Completion'. [Citation Graph (0, 0)][DBLP ] Conf ] Aleksandar Dimovski , Ranko Lazic CSP Representation of Game Semantics for Second-Order Idealized Algol. [Citation Graph (0, 0)][DBLP ] Conf ] Marcelo F. Frias , Carlos López Pombo , Nazareno Aguirre An Equational Calculus for Alloy. [Citation Graph (0, 0)][DBLP ] Conf ] Nicolae Goga , Judi Romijn Guiding Spin Simulation. [Citation Graph (0, 0)][DBLP ] Conf ] YoungMin Kwon , Gul Agha Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandro Armando , Claudio Castellini , Jacopo Mantovani Software Model Checking Using Linear Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Kroening , Alex Groce , Edmund M. Clarke Counterexample Guided Abstraction Refinement Via Program Execution. [Citation Graph (0, 0)][DBLP ] Conf ] Fabrice Bouquet , Bruno Legeard , Mark Utting , Nicolas Vacelet Faster Analysis of Formal Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Yanjun Wen , Ji Wang , Zhi-Chang Qi Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Abhay Vardhan , Koushik Sen , Mahesh Viswanathan , Gul Agha Learning to Verify Safety Properties. [Citation Graph (0, 0)][DBLP ] Conf ] Tao Xie , David Notkin Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions. [Citation Graph (0, 0)][DBLP ] Conf ] Ling Liu , Huaikou Miao A Specification-Based Approach to Testing Polymorphic Attributes. [Citation Graph (0, 0)][DBLP ] Conf ] Marcel Oliveira , Ana Cavalcanti From Circus to JCSP. [Citation Graph (0, 0)][DBLP ] Conf ] Mahadevan Subramaniam , Parvathi Chundi An Approach to Preserve Protocol Consistency and Executability Across Updates. [Citation Graph (0, 0)][DBLP ] Conf ] Feng Chen , Marcelo d'Amorim , Grigore Rosu A Formal Monitoring-Based Framework for Software Development and Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Konstantine Arkoudas , Karen Zee , Viktor Kuncak , Martin C. Rinard Verifying a File System Implementation. [Citation Graph (0, 0)][DBLP ] Conf ] Carsten Sinz , Wolfgang Küchlin Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs. [Citation Graph (0, 0)][DBLP ] Conf ] Nazareno Aguirre , Juan Bicarregui , Lucio Guzmán , T. S. E. Maibaum Implementing Dynamic Aggregations of Abstract Machines in the B Method. [Citation Graph (0, 0)][DBLP ] Conf ] Nuno Amálio , Susan Stepney , Fiona Polack Formal Proof from UML Models. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Balser , Simon Bäumler , Alexander Knapp , Wolfgang Reif , Andreas Thums Interactive Verification of UML State Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Mila E. Majster-Cederbaum , Jinzhao Wu , Houguang Yue , Naijun Zhan Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity. [Citation Graph (0, 0)][DBLP ] Conf ] Yifeng Chen , Zhiming Liu From Durational Specifications to TLA Designs of Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Jin Song Dong , Ping Hao , Shengchao Qin , Jun Sun , Wang Yi Timed Patterns: TCOZ to Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] 