Conferences in DBLP
Radu Mateescu A Generic Framework for Model Checking Software Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] W. L. Yeung A Dual-Formalism Approach to Checking Consistency of Class and State Diagrams in UML. [Citation Graph (0, 0)][DBLP ] Conf ] John A. van der Poll , Paula Kotzé Reasoning about the Properties of an Enterprise Information System. [Citation Graph (0, 0)][DBLP ] Conf ] Bill Mitchell , Robert Thomson , Paul Bristow Model Synthesis from Imprecise Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Miguel J. Hornos Towards a More Intuitive Specification and Automatic Verification of System Properties with FBT: A Tool for Translating Interval Formulas into Büchi Automata. [Citation Graph (0, 0)][DBLP ] Conf ] R. A. Khan , K. Mustafa High Level Design Quality Assessment of Object Oriented Codes. [Citation Graph (0, 0)][DBLP ] Conf ] Agustín Yagüe , Pedro Pablo Alarcón , Juan Garbajosa , Alexei Lisounkin , Gerhard Schreck Construction of Verified Models for Systems Construction of Verified Models for Systems Represented as Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Y. Tang , J. B. Zhang , C. H. Tan , M. M. Wong , T. J. Ng A Multi-Stage Approach to Asymmetric Legacy Information Integration. [Citation Graph (0, 0)][DBLP ] Conf ] Lizhang Qin , Xiaoping Jia , Hongming Liu A Hypothesis-Based Approach to Detecting Runtime Violations. [Citation Graph (0, 0)][DBLP ] Conf ] Marisa A. Sanchez , Juan Carlos Augusto , Miguel Felder Fault-based Testing of E-Commerce Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Gian Luigi Ferrari , Stefania Gnesi , Ugo Montanari , Roberto Raggi , Gianluca Trentanni , Emilio Tuosto Verication On The Web Of Mobile Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Il-Gon Kim , Jin-Young Choi New S/Key System against Dictionary Attack: A Case Study in Casper and CSP/FDR. [Citation Graph (0, 0)][DBLP ] Conf ] Kenro Yatake , Toshiaki Aoki , Takuya Katayama Collaboration-based verification of Object-Oriented models in HOL. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel I. Capel , José R. Balsas , Juan Antonio Holgado Terriza Systematic Design of Real-Time Systems Based on CSP+T Process Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Jaime Ramírez , Angélica de Antonio Checking Integrity Constraints in Deductive Systems based on Production Rules and a Description Logic Terminology. [Citation Graph (0, 0)][DBLP ] Conf ] José Creissac Campos , Michael D. Harrison , Karsten Loer Verifying user interface behaviour with model checking. [Citation Graph (0, 0)][DBLP ] Conf ] 