Conferences in DBLP
TRUSTED ILLIAC: A Configurable Hardware Framework for a Trusted Computing Base. [Citation Graph (, )][DBLP ] Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements. [Citation Graph (, )][DBLP ] Integrating Product-Line Fault Tree Analysis into AADL Models. [Citation Graph (, )][DBLP ] Arguing safety with Problem Oriented Software Engineering. [Citation Graph (, )][DBLP ] CROWN-C: A High-Assurance Service-Oriented Grid Middleware System. [Citation Graph (, )][DBLP ] Systems Architectures for Transactional Network Interface. [Citation Graph (, )][DBLP ] An Efficient Experimental Methodology for Configuring Search-Based Design Algorithms. [Citation Graph (, )][DBLP ] A Typed Compositional Language for Real-Time Systems. [Citation Graph (, )][DBLP ] One in a Baker's Dozen: Debugging Debugging. [Citation Graph (, )][DBLP ] Delegation-Based Security Model for Web Services. [Citation Graph (, )][DBLP ] Model Validation using Automatically Generated Requirements-Based Tests. [Citation Graph (, )][DBLP ] A Coverage Relationship Model for Test Case Selection and Ranking for Multi-version Software. [Citation Graph (, )][DBLP ] Enhanced Traverse of Web Pages. [Citation Graph (, )][DBLP ] How can Previous Component Use Contribute to Assessing the Use of COTS? [Citation Graph (, )][DBLP ] Placement in Dependable and Secure Peer-to-Peer Data Grids. [Citation Graph (, )][DBLP ] Vulnerability Discovery in Multi-Version Software Systems. [Citation Graph (, )][DBLP ] Testing Security Rules with Decomposable Activities. [Citation Graph (, )][DBLP ] Flexible Authorization with Decentralized Access Control Model for Grid Computing. [Citation Graph (, )][DBLP ] Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation. [Citation Graph (, )][DBLP ] Scalable, Adaptive, Time-Bounded Node Failure Detection. [Citation Graph (, )][DBLP ] SyncProbe: Providing Assurance of Message Latency through Predictive Monitoring of Internet Paths. [Citation Graph (, )][DBLP ] Behavioral Fault Modeling for Model-based Safety Analysis. [Citation Graph (, )][DBLP ] Transformation-Based Library Adaptation for Embedded Systems. [Citation Graph (, )][DBLP ] Multi-layered Data Consistency Technology, An Enhanced Autonomous Decentralized Data Consistency Technology for IC Card Ticket System. [Citation Graph (, )][DBLP ] Model Transformation for High-Integrity Software Development in Derivative Vehicle Control System Design. [Citation Graph (, )][DBLP ] Precise Documentation of Critical Software. [Citation Graph (, )][DBLP ] Combining Software Quality Analysis with Dynamic Event/Fault Trees for High Assurance Systems Engineering. [Citation Graph (, )][DBLP ] On the Verifiability of Programs Written in the Feature Language Extensions. [Citation Graph (, )][DBLP ] Improving Reliability and Safety by Trading off Software Failure Criticalities. [Citation Graph (, )][DBLP ] Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML. [Citation Graph (, )][DBLP ] A Stochastic Characterization of a Fault-Tolerant Gossip Algorithm. [Citation Graph (, )][DBLP ] A New Architecture for Single-Event Detection & Reconfiguration of SRAM-based FPGAs. [Citation Graph (, )][DBLP ] On Exceptions, Exception Handling, Requirements and Software Lifecycle. [Citation Graph (, )][DBLP ] Simulation Models and Implementation of a Simulator for the Performability Analysis of Electric Power Systems Considering Interdependencies. [Citation Graph (, )][DBLP ] Empirical Study of Embedded Software Quality and Productivity. [Citation Graph (, )][DBLP ] Availability Monitor for a Software Based System. [Citation Graph (, )][DBLP ] Validation Support for Distributed Real-Time Embedded Systems in VDM++. [Citation Graph (, )][DBLP ] Verification of Automatically Generated Pattern-Based LTL Specifications. [Citation Graph (, )][DBLP ] Utilizing Test Case Generation to Inspect Formal Specifications for Completeness and Feasibility. [Citation Graph (, )][DBLP ] Multiple Pre/Post Specifications for Heap-Manipulating Methods. [Citation Graph (, )][DBLP ] A Fault Taxonomy for Service-Oriented Architecture. [Citation Graph (, )][DBLP ] Advances in Quantum Computing Fault Tolerance and Testing. [Citation Graph (, )][DBLP ] Preliminary Models of the Cost of Fault Tolerance. [Citation Graph (, )][DBLP ] Adding Autonomic Capabilities to Network Fault Management System. [Citation Graph (, )][DBLP ] Information Assurance Architecture with Storyboarding Models. [Citation Graph (, )][DBLP ] Fuzzing Wi-Fi Drivers to Locate Security Vulnerabilities. [Citation Graph (, )][DBLP ] Towards a High Assurance Secure Computing Platform. [Citation Graph (, )][DBLP ] High-Assurance Distributed, Adaptive Software for Dynamic Systems. [Citation Graph (, )][DBLP ] Finance Sector: Requirements for High Assurance within Spatial SOA Based Grid Infrastructures. [Citation Graph (, )][DBLP ] A Mobile Agent-based Multi-Robot Design Method for High-Assurance. [Citation Graph (, )][DBLP ] Building High Assurance Multidisciplinary Design Optimization Framework. [Citation Graph (, )][DBLP ] Analytic Model for Web Anomalies Classification. [Citation Graph (, )][DBLP ] Development of Custom Selling System Using Ad Hoc Networks. [Citation Graph (, )][DBLP ] Research on Noise Problem of Reputation Estimation in Virtual Enterprise. [Citation Graph (, )][DBLP ] Measuring Reliability as a Mean Failure Cost. [Citation Graph (, )][DBLP ] An Early-Reply Based Framework: Reliable Concurrency that Is Verifiable. [Citation Graph (, )][DBLP ] A Safety Analysis Framework for COTS Microprocessors in Safety-Critical Applications. [Citation Graph (, )][DBLP ] Automated Test Data Generation and Reliability Assessment for Software in High Assurance Systems. [Citation Graph (, )][DBLP ] Parsimonious Classifiers for Software Quality Assessment. [Citation Graph (, )][DBLP ] Methodology for Evaluating Aeronautical Regulations using Formal Specifications. [Citation Graph (, )][DBLP ] Model-Checker-Based Testing of LTL Specifications. [Citation Graph (, )][DBLP ] A Formal Approach to Website Maintenance. [Citation Graph (, )][DBLP ] A Secure and Scalable Update Protocol for P2P Data Grids. [Citation Graph (, )][DBLP ] Design of a Fairness Guarantee Mechanism Based on Network Measurement. [Citation Graph (, )][DBLP ] All-Optical Routing for High Assurance Computer Systems. [Citation Graph (, )][DBLP ] Duplication Based Integrated Task and Message Scheduling on a Heterogeneous Network of Workstations (NOWs). [Citation Graph (, )][DBLP ] Modelling and Exploration Environment for Application Specific Multiprocessor Systems. [Citation Graph (, )][DBLP ] A Nonparametric Cusum Algorithm for Timeslot Sequences with Applications to Network Surveillance. [Citation Graph (, )][DBLP ] High Assurance GPS Integrity Monitoring System Using Particle Filtering Approach. [Citation Graph (, )][DBLP ]