Conferences in DBLP
John C. Knight Erroneous Requirements: A Linguistic Basis for Their Occurrence and an Approach to Their Reduction. [Citation Graph (0, 0)][DBLP ] Conf ] Arnold W. Pittler Keynote Speaker. [Citation Graph (0, 0)][DBLP ] Conf ] Jeffrey M. Voas Why Testing under Expected Operational Scenarios is Not Sufficient. [Citation Graph (0, 0)][DBLP ] Conf ] Allen P. Nikora , Raphael R. Some , Jeffrey M. Voas , Victor L. Winter , Jie Xu Software Dependability in Distributed and Mobile Computing Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Diego Latella , Mieke Massink A Formal Testing Framework for UML Statechart Diagrams Behaviours: From Theory to Automatic Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Sanjai Rayadurgam , Mats Per Erik Heimdahl Test-Sequence Generation from Formal Requirement Models. [Citation Graph (0, 0)][DBLP ] Conf ] Martin S. Feather , Stephen Fickas , N.-A. Razermera-Mamy Model-Checking for Validation of a Fault Protection System. [Citation Graph (0, 0)][DBLP ] Conf ] M. J. P. van Osch , Scott A. Smolka Finite-State Analysis of the CAN Bus Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Adriaan de Groot , Jozef Hooman , Fabrice Kordon , Emmanuel Paviot-Adet , Isabelle Vernier-Mounier , Michel Lemoine , Gervais Gaudiere , Victor L. Winter , Deepak Kapur A Survey: Applying Formal Methods to a Software Intensive System. [Citation Graph (0, 0)][DBLP ] Conf ] Farokh B. Bastani , I-Ling Yen , Sung Kim Highly Reliable Relational Control Programs for Robust Rapid Transit Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Edgar Nett , Martin Gergeleit , Michael Mock Mechanisms for a Reliable Cooperation of Vehicles. [Citation Graph (0, 0)][DBLP ] Conf ] Hiroyuki Yashiro , Yoshirou Takahashi , Teruo Fujiwara Verification of Assurance of Space On-Board Distributed Computer System. [Citation Graph (0, 0)][DBLP ] Conf ] Kerstin Buchacker , Volkmar Sieh Framework for Testing the Fault-Tolerance of Systems Including OS and Network Aspects. [Citation Graph (0, 0)][DBLP ] Conf ] Sudipto Ghosh , Nishant Bawa , Gerald Craig , Ketaki Kalgaonkar A Test Management and Software Visualization Framework for Heterogeneous Distributed Applications. [Citation Graph (0, 0)][DBLP ] Conf ] M. S. Fisher , Bojan Cukic Automating Techniques for Inspecting High Assurance Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Yi Liu , Taghi M. Khoshgoftaar Genetic Programming Model for Software Quality Classification. [Citation Graph (0, 0)][DBLP ] Conf ] Steve Goddard , Roger M. Kieckhafer , Y. Zhang An Unavailability Analysis of Firewall Sandwich Configurations. [Citation Graph (0, 0)][DBLP ] Conf ] Alec Yasinsac , Justin Childs Analyzing Internet Security Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Steve Goddard , Trevor Schroeder The SASHA Architecture for Network-Clustered Web Servers. [Citation Graph (0, 0)][DBLP ] Conf ] Purnendu Sinha , Neeraj Suri On Simplifying Modular Specification and Verification of Distributed Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Gisele Rodrigues Mesquita Ferreira , Cecília M. F. Rubira , Rogério de Lemos Explicit Representation of Exception Handling in the Development of Dependable Component-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] David J. Thuente , John K. Whiteman Systems Engineering of Communication Protocols for Command and Control Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Giovanni Dipoppa , G. D'Alessandro , R. Semprini , Enrico Tronci Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design. [Citation Graph (0, 0)][DBLP ] Conf ] Masayuki Matsumoto , Satoru Kitamura , M. Sato High Assurance Technologies for Autonomous Decentralized Train Control System. [Citation Graph (0, 0)][DBLP ] Conf ] Kazuo Kera , Keisuke Bekki , Keiji Kamijyo , Kinji Mori Adaptive Step-by-Step Construction Technique Achieving High Assurance for Tokyo Metropolitan Railway Network. [Citation Graph (0, 0)][DBLP ] Conf ] 