| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yutao He, Herbert Hecht, Raymond A. Paul |
Measuring and assessing software test processes using test data.  |
HASE  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel E. Cooke |
Issues concerning the future of computer science. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Farokh B. Bastani, Simeon C. Ntafos, I-Ling Yen, Doug E. Harris, Richard R. Morrow, Raymond A. Paul |
A high-assurance measurement repository system. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | William Yurcik, David Tipper |
Providing guaranteed assurance to connection-oriented group communications using disjoint routing. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Brenton Atchison, Peter A. Lindsay |
Safety validation of embedded control software using Z animation. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | John Rushby |
Disappearing formal methods. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | D. Todd Smith, Todd A. DeLong, Barry W. Johnson, Ted C. Giras |
Determining the expected time to unsafe failure. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kinji Mori |
Assurance system architecture for information service by utilizing autonomous mobile agents. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | John H. Stichman |
Engineering ethics: principles and practical maxims. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Gopal Gupta 0001 |
Reliable software construction: a logic programming based methodology. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Taghi M. Khoshgoftaar, Ruqun Shan, Edward B. Allen |
Using product, process, and execution metrics to predict fault-prone software modules with classification trees. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Rogério de Lemos |
Safety analysis of an evolving software architecture. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bondavalli, Ivan Mura, István Majzik |
Automatic Dependability Analysis for Supporting Design Decisions in UML. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Savio N. Chau |
Experience of Using COTS Components for Deep Space Missions. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Isao Kaji, Yongdong Tan, Kinji Mori |
Autonomous Data Synchronization in Heterogeneous Systems to Assure the Transaction. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
autonomous data synchronization heterogeneous decentralized |
| 1 | Steve Goddard, Kevin Jeffay |
Analyzing the Real-Time Properties of a U.S. Navy Signal Processing System. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
real-time systems (analysis, verification and validation) software engineering, processing graphs, embedded systems |
| 1 | Jennifer Ren, Michel Cukier, Paul Rubel, William H. Sanders, David E. Bakken, David A. Karr |
Building Dependable Distributed Applications Using AQUA. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
adaptive fault-tolerant systems, CORBA, replication protocols, Dependable distributed systems |
| 1 | Jeffrey M. Voas |
A World Without Risks: Let Me Out! |
HASE |
1999 |
DBLP DOI BibTeX RDF |
avoidance, software, risk, mitigation |
| 1 | Lui Sha |
Using COTS Software in High Assurance Control Applications. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann T. Tai, Savio N. Chau, Leon Alkalai |
COTS-Based Fault Tolerance in Deep Space: Qualitative and Quantitative Analyses of a Bus Network Architecture. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
COTS-based fault tolerance, deep-space applications, bus network reliability, tree topology, IEEE 1394 |
| 1 | Barbara J. Czerny, Mats Per Erik Heimdahl |
Identifying Domain Axioms Using Binary Decision Diagrams. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
Static Requirements Analysis, Domain Axioms, Spurious Errors, Completeness Analysis, False Positives, Consistency Analysis, Binary Decision Diagrams (BDDs) |
| 1 | Carol L. Hoover, Jeffery P. Hansen, Philip Koopman, Sandeep Tamboli |
The Amaranth Framework: Probabilistic, Utility-Based Quality of Service Management for High-Assurance Computing. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Li Gong, Satya Dodda |
Security Assurance Efforts in Engineering Java 2 SE (JDK 1.2). |
HASE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Ammann, Paul E. Black |
A Specification-Based Coverage Metric to Evaluate Test Sets. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
Model Checking, Formal Specification, Coverage, Test Sets, SCR, Test Metric, SMV |
| 1 | Tom Chen 0001, Anneliese von Mayrhauser, Amjad Hajjar, Charles Anderson 0001, Mehmet Sahinoglu |
How Much Testing is Enough? Applying Stopping Rules to Behavioral Model Testing. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
Behavioral Model Testing, Compound Poisson, Effort-Domain, Empirical Bayesian Analysis, Negative Binomial Distribution (NBD), Poisson LSD, Testing Strategy, Stopping Rule |
| 1 | Jeffrey M. Voas |
COTS and High Assurance: An Oxymoron? |
HASE |
1999 |
DBLP DOI BibTeX RDF |
dependability, COTS, high assurance |
| 1 | Stefania Gnesi, Diego Latella, Mieke Massink |
Model Checking UML Statechart Diagrams Using JACK. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
Branching Time Temporal Logics, Model Checking, UML, Formal Verification |
| 1 | Victor L. Winter |
A Synchronous Paradigm for Modeling Stable Reactive Systems. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Damien Cailliau, Remy Bellenger |
The CorotInstrument's Software: Towards Intrinsically Reconfigurable Real-Time Embedded Processing Software in Space-Born Instruments. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
Space-borne, Reconfiguration, Software, embedded, Dynamic, Proxy |
| 1 | Haihong Zheng, Sourav Bhattacharya |
Look-Ahead Channel Reservation and Borrowing in Cellular Network System. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
Look-ahead channel reservation, Reservation channel pool, Reservation quota, Look-ahead channel borrowing, Cellular Networks, Channel, Hot spot, Cell, Channel allocation, Channel borrowing |
| 1 | Larry J. Dalton |
An "in the limit" View. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | I-Ling Yen, Biao Chen 0002, Ing-Ray Chen |
Real-Time Atomic Transaction Processing Using Multi-Invariant Data Structure. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Tronci |
Formally Modeling a Metal Processing Plant and its Closed Loop Specifications. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
Model Checking, Formal Methods, Hybrid Systems, Reactive Systems, Control Systems, Discrete Event Systems, Supervisory Control, Manufacturing Systems, Finite State Systems |
| 1 | Ann Q. Gates, Patricia J. Teller |
DynaMICs: An Automated and Independent Software-FaultDetection Approach. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
software-fault detection, software-fault monitoring, hardware-assisted monitoring, constraints, tracing, integrity constraints, verification and validation |
| 1 | Monica Brockmeyer |
Using Modechart Modules for Testing Formal Specifications. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
real-time systems, verification, testing, formal methods, specification |
| 1 | William E. McUmber, Betty H. C. Cheng |
UML-Based Analysis of Embedded Systems Using a Mapping to VHDL. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
formal specifications, mappings, VHDL, Object-oriented modeling |
| 1 | Diego Del Gobbo, Bojan Cukic, Marcello R. Napolitano, Steve M. Easterbrook |
Fault Detectability Analysis for Requirements Validation of Fault Tolerant Systems. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Dal Cin, Gábor Huszerl, Konstantinos Kosmidis |
Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
stochasic reward nets, Embedded systems, statecharts, dependability analysis |
| 1 | Herbert Hecht |
What are the Most Critical Challenges to Integrating High Assurance Systems?. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben L. Di Vito |
Software Can Be Entrusted with High Consequence Functionality. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | John M. Covan |
Why Modern Systems Should Minimize the Use of Safety Critical Software. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Taghi M. Khoshgoftaar, Edward B. Allen |
Predicting Fault-Prone Software Modules in Embedded Systems with Classification Trees. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
embedded systems, software metrics, software reliability, classification trees, CART, fault-prone modules, high assurance |
| 1 | Victor L. Winter, Raymond Berg |
Software Systems: Consequence versus Functionality. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Dolores R. Wallace, D. Richard Kuhn |
Lessons from 342 Medical Device Failures. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | James Kirby Jr., Myla Archer, Constance L. Heitmeyer |
Applying Formal Methods to an Information Security Device: An Experience Report. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Isaac Levendel |
HASE in Wireless Systems. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Alec Yasinsac, William A. Wulf |
A Framework for a Cryptographic Protocol Evaluation Workbench. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | |
4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 17-19 November 1999, Washington, D.C, USA, Proceedings |
HASE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Wei-Tek Tsai, Weiguang Shao, Sanjai Rayadurgam, Jinbao Li, Raymond A. Paul |
Assurance-Based Y2K Testing. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
Assurance-based testing, Y2K testing, software testing processes |
| 1 | Raymond A. Paul, Ann T. Tai |
Building High-Assurance Systems Using COTS Components: Whether, Why, When and How? |
HASE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael W. Whalen, Mats Per Erik Heimdahl |
On the Requirements of High-Integrity Code Generation. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
formal methods, code generation, critical systems |
| 1 | David Chenho Kung, Pei Hsia, Yasufumi Toyoshima, Cris Chen, Jerry Gao 0002 |
Object-Oriented Software Testing: Some Research and Development. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Hideo Hanamura, Kinji Mori |
Assurance of Transactions in Allied Heterogeneous Systems by Autonomous Decentralized System Techniques. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary Johnson, John Calvert, Kelly J. Hayhurst, John Janeri, Herbert Hecht |
System Requirements and Analysis Issues for High Assurance Systems. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | |
3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 13-14 November 1998, Washington, D.C, USA, Proceedings |
HASE |
1998 |
DBLP BibTeX RDF |
|
| 1 | Ying C. (Bob) Yeh |
Design Considerations in Boeing 777 Fly-By-Wire Computers. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrizio Grandoni 0002, Andrea Bondavalli, Silvano Chiaradonna |
A New Heuristic to Discriminate between Transient and Intermittent Faults. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | John M. Covan, J. Arlin Cooper |
Predictable Safety in the Control of High Consequence Systems. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Lei 0001, Kuo-Chung Tai |
In-Parameter-Order: A Test Generation Strategy for Pairwise Testing. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Anneliese von Mayrhauser, Andre Bai, Tom Chen 0001, Charles Anderson 0001, Amjad Hajjar |
Fast Antirandom (FAR) Test Generation. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
Antirandom test generation, generation efficiency, test coverage |
| 1 | Swapna S. Gokhale, Kishor S. Trivedi |
Log-Logistic Software Reliability Growth Model. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajiv Khosla |
Human-Centered Virtual Machine of Problem Solving Agents, Software Agents, Intelligent Agents and Objects. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | William E. Howden |
Good Enough versus High Assurance Software Testing and Evaluation Methods. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen J. H. Yang, Sam Lin, Jonathan Lee, William C. Chu |
Specifying and Verifying Temporal Behavior of High Assurance Systems Using Reachability Tree Logic. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
verification, formal methods, Petri nets, specification, temporal logic, High assurance systems |
| 1 | Ronjeet Lal, Gwan S. Choi |
Error and Failure Analysis of a UNIX Server. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Del Gobbo, Marcello R. Napolitano, John Callahan, Bojan Cukic |
Experience in Developing System Requirements Specification for a Sensor Failure Detection and Identification Scheme. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Farn Wang, Pao-Ann Hsiung |
Automatic Verification on the Large. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Shashi Phoha, Eugene Eberbach, Eileen Peluso, Atilla P. Kiraly |
Coordination of Engineering Design Agents for High Assurance in Complex Dynamic System Design. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Dolores R. Wallace |
Enhancing Competitiveness via a Public Fault & Failure Data Repository . |
HASE |
1998 |
DBLP DOI BibTeX RDF |
World Wide Web, reliability, software quality, Data analysis, failure, fault, data collection |
| 1 | Calton Pu, Crispin Cowan |
System Survivability through Security Bug Tolerance. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Carol L. Hoover, Pradeep K. Khosla |
Analytical Partition of Software Components for Evolvable and Reliable MEMS Design Tools. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | David Coppit, Kevin J. Sullivan |
Formal Specification in Collaborative Design of Critical Software Tools. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Aparicio IV, Peter Herman, Wendy Stephens, Anuj K. Jain, Munindar P. Singh |
Agent Information Contracts within Virtual Private Networks. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Xu 0014, Mukesh Singhal |
A Firewalling Scheme for Securing MPOA-Based Enterprise Networks. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Duane E. Olawsky, Charles Payne, Thomas Sundquist, David Apostal, Todd Fine |
Using Composition to Design Secure, Fault-Tolerant Systems. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Donald F. Schenker, Taghi M. Khoshgoftaar |
The Application of Fuzzy Enhanced Case-Based Reasoning for Identifying Fault-Prone Modules. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Dal Cin |
Checking Modification Tolerance. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Susan Stepney |
Incremental Development of a High Integrity Compiler: Experience from an Industrial Development. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Pizza, Lorenzo Strigini, Andrea Bondavalli, Felicita Di Giandomenico |
Optimal Discrimination between Transient and Permanent Faults. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Tei-Wei Kuo, Yuan-Ting Kao, LihChyun Shu |
A Two-Version Approach for Real-Time Concurrency Control and Recovery. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Denise M. Woit, David V. Mason |
Software Component Independence. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Yashwant K. Malaiya, Jason Denton |
Estimating the Number of Residual Defects. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ravishankar K. Iyer, Zbigniew Kalbarczyk, Keith Whisnant, Saurabh Bagchi |
A Flexible Software Architecture for High Availability Computing. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert N. Smith, Sourav Bhattacharya |
Fault and Leak Tolerance in Firewall Engineering. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Seung H. Hwang, Gwan S. Choi |
On-Chip Cache Memory Resilience. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Deng 0001, Jiacun Wang |
Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System Design. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Eltefaat Shokri, Herbert Hecht |
Matching Software Fault Tolerance with Application Needs. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Taghi M. Khoshgoftaar, Edward B. Allen, Archana Naik, Wendell D. Jones, John P. Hudepohl |
Using Classification Trees for Software Quality Models: Lessons Learned. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ragavan Manian, Joanne Bechta Dugan, David Coppit, Kevin J. Sullivan |
Combining Various Solution Techniques for Dynamic Fault Tree Analysis of Computer Systems. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Satish Subramanian, Sanjai Rayadurgam, Wei-Tek Tsai |
Design for Constraint Violation Detection in Safety-Critical Systems. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
design patterns, object-oriented design, Safety-critical systems, implantable medical devices |
| 1 | Kamel Barkaoui, Jean-François Pradat-Peyre |
Verification in Concurrent Programming with Petri Nets Structural Techniques. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | K. H. Kim |
ROAFTS: A Middleware Architecture for Real-Time Object-Oriented Adaptive Fault Tolerance Support. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Maurice, Abdelmalek Benzekri, Yves Raynaud |
Evaluation and Improvement of Software Products and Processes based on Measurement. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Mats Per Erik Heimdahl |
Verifying Communication Constraints in RSML Specifications. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Taghi M. Khoshgoftaar, Edward B. Allen, Robert Halstead 0001, Gary P. Trio, Ronald M. Flass |
Process Measures for Predicting Software Quality. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
spiral life cycle, software reuse, software process, logistic regression, software quality modeling |
| 1 | Husni Fahmi, Raymond A. Paul, Ahmed R. Bashandy, Arif Ghafoor |
Ensuring Quality of Service for Multimedia Applications in a LAN Environment. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Tek Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam |
Experience in Capturing Requirements for Safety-Critical Medical Devices in an Industrial Environment. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
problem specifications, Safety-critical systems, safety analysis, environment modeling, medical devices, requirements acquisition |
| 1 | Monica Brockmeyer, Farnam Jahanian, Elly Winner, Constance L. Heitmeyer, Bruce G. Labaw |
A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehrdad Hassani, David B. Stewart |
A Mechanism for Communicating in Dynamically Reconfigurable Embedded Systems. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey J. P. Tsai, Eric Y. T. Juan |
Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license