Conferences in DBLP
Ian J. Hayes Programs as Paths: An Approach to Timing Constraint Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Colin O'Halloran Model Based Code Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Mathai Joseph Adding Formalism to Methods or Where and When Will Industry Use Formal Reasoning? . [Citation Graph (0, 0)][DBLP ] Conf ] Jessica Chen Using Formal Methods to Serialize Synchronization Events. [Citation Graph (0, 0)][DBLP ] Conf ] Kong Woei Susanto , Thomas F. Melham An AMBA-ARM7 Formal Verification Platform. [Citation Graph (0, 0)][DBLP ] Conf ] Wuwei Shen , Shaoying Liu Formalization, Testing and Execution of a Use Case Diagram. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Schätz , Chris Salzmann Service-Based Systems Engineering: Consistent Combination of Services. [Citation Graph (0, 0)][DBLP ] Conf ] Jim Davies , Charles Crichton Using State Diagrams to Describe Concurrent Behaviour. [Citation Graph (0, 0)][DBLP ] Conf ] Quan Long , Zongyan Qiu , Shengchao Qin The Equivalence of Statecharts. [Citation Graph (0, 0)][DBLP ] Conf ] David von Oheimb , Volkmar Lotz Generic Interacting State Machines and Their Instantiation with Dynamic Features. [Citation Graph (0, 0)][DBLP ] Conf ] Sanjai Rayadurgam , Anjali Joshi , Mats Per Erik Heimdahl Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language. [Citation Graph (0, 0)][DBLP ] Conf ] Gwen Salaün , Christian Attiogbé Formalising an Integrated Language in PVS. [Citation Graph (0, 0)][DBLP ] Conf ] Behzad Akbarpour , Sofiène Tahar Modeling System C Fixed-Point Arithmetic in HOL. [Citation Graph (0, 0)][DBLP ] Conf ] Mila E. Majster-Cederbaum , Jinzhao Wu Adding Action Refinement to Stochastic True Concurrency Models. [Citation Graph (0, 0)][DBLP ] Conf ] Neil J. Robinson Incremental Derivation of Abstraction Relations for Data Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Steve Reeves , David Streader Comparison of Data and Process Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Geoffrey Watson Compilation by Refinement for a Practical Assembly Language. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Tatibouët , Antoine Requet , Jean-Christophe Voisinet , Ahmed Hammad Java Card Code Generation from B Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Lars Michael Kristensen , Thomas Mailund Efficient Path Finding with the Sweep-Line Method Using External Storage. [Citation Graph (0, 0)][DBLP ] Conf ] Yuechen Qian Formal Development of a Distributed Logging Mechanism Supporting Disconnected Updates. [Citation Graph (0, 0)][DBLP ] Conf ] Mickaël Kerboeuf , David Nowak , Jean-Pierre Talpin Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Benjamin W. Long , Colin J. Fidge , Antonio Cerone A Z Based Approach to Verifying Security Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Angela Freitas , Carla Nascimento , Ana Cavalcanti A Refinement Tool for Z. [Citation Graph (0, 0)][DBLP ] Conf ] Hong Li Yang , Jun Gang Han , Ke Gang Hao The Common Semantic Constructs of XML Family. [Citation Graph (0, 0)][DBLP ] Conf ] Berndt Farwer , Saraswati Kalvala , Kundan Misra Controller Synthesis for Object Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Yuyue Du , Changjun Jiang Towards a Workflow Model of Real-Time Cooperative Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jörn Freiheit , Jonathan Billington New Developments in Closed-Form Computation for GSPN Aggregation. [Citation Graph (0, 0)][DBLP ] Conf ] Johan Bengtsson , Wang Yi On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Jun Pang , Bart Karstens , Wan Fokkink Analyzing the Redesign of a Distributed Lift System in UPPAAL. [Citation Graph (0, 0)][DBLP ] Conf ] Behzad Bordbar , Kozo Okano Verification of Timeliness QoS Properties in Multimedia Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Georg Struth A Calculus for Set-Based Program Development. [Citation Graph (0, 0)][DBLP ] Conf ] Hong Peng , Sofiène Tahar , Yassine Mokhtari Compositional Verification of a Switch Fabric from Nortel Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Beata Sarna-Starosta , C. R. Ramakrishnan Constraint-Based Model Checking of Data-Independent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Peter T. Breuer A Formal Model for the Block Device Subsystem of the Linux Kernel. [Citation Graph (0, 0)][DBLP ] Conf ] Hamdan Dammag , Nimal Nissanke A Mathematical Framework for Safecharts. [Citation Graph (0, 0)][DBLP ] Conf ] Zhiming Liu , Jifeng He , Xiaoshan Li , Yifeng Chen A Relational Model for Formal Object-Oriented Requirement Analysis in UML. [Citation Graph (0, 0)][DBLP ] Conf ] Vincenza Carchiolo , Michele Malgeri , Giuseppe Mangioni From Specification to Hardware Device: A Synthesis Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] 