| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Stephen W. Cook, Bjarne Stroustrup, Scott M. Pike |
An Early-Reply Based Framework: Reliable Concurrency that Is Verifiable.  |
HASE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Qi Zhang, Carlos Rendón, Veronica Montes De Oca, Daniel R. Jeske, Mazda Marvasti |
A Nonparametric Cusum Algorithm for Timeslot Sequences with Applications to Network Surveillance. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Haberkorn, Kishor S. Trivedi |
Availability Monitor for a Software Based System. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander B. Romanovsky |
On Exceptions, Exception Handling, Requirements and Software Lifecycle. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Shige Wang |
Model Transformation for High-Integrity Software Development in Derivative Vehicle Control System Design. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason D. Lee, Praveen Bhojwani, Rabi N. Mahapatra |
A Safety Analysis Framework for COTS Microprocessors in Safety-Critical Applications. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Eze Kamanu, Pratapa Reddy, Kenneth Hsu, Marcin Lukowiak |
A New Architecture for Single-Event Detection & Reconfiguration of SRAM-based FPGAs. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ekpe Okorafor |
All-Optical Routing for High Assurance Computer Systems. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Branson W. Murrill |
Automated Test Data Generation and Reliability Assessment for Software in High Assurance Systems. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Mendonça, Nuno Ferreira Neves |
Fuzzing Wi-Fi Drivers to Locate Security Vulnerabilities. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongyu Sun 0001, Miriam Hauptman, Robyn R. Lutz |
Integrating Product-Line Fault Tree Analysis into AADL Models. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jawwad Shamsi, Monica Brockmeyer |
SyncProbe: Providing Assurance of Message Latency through Predictive Monitoring of Internet Paths. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis García 0008, Steve Roach |
Model-Checker-Based Testing of LTL Specifications. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei She, Bhavani Thuraisingham, I-Ling Yen |
Delegation-Based Security Model for Web Services. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Masato Asada, Tomoyuki Ohta, Kenji Ishida, Yoshiaki Kakuda |
Development of Custom Selling System Using Ad Hoc Networks. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald J. Leach |
Preliminary Models of the Cost of Fault Tolerance. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinyoo Kim, Yashwant K. Malaiya, Indrakshi Ray |
Vulnerability Discovery in Multi-Version Software Systems. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lihua Duan, Jessica Chen |
A Formal Approach to Website Maintenance. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
reverse engineering, formal verification, labelled transition systems, tree automata |
| 1 | Xiaohu Li, T. Paul Parker, Shouhuai Xu |
A Stochastic Characterization of a Fault-Tolerant Gossip Algorithm. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen, Marcel Verhoef |
Validation Support for Distributed Real-Time Embedded Systems in VDM++. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manish Marwah, Shivakant Mishra, Christof Fetzer |
Systems Architectures for Transactional Network Interface. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach |
Verification of Automatically Generated Pattern-Based LTL Specifications. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor L. Winter, Azamatbek Mametjanov, Steven E. Morrison, James A. McCoy, Gregory L. Wickstrom |
Transformation-Based Library Adaptation for Embedded Systems. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sung-Ook Shin, Jung-Oog Lee, Doo-Kwon Baik |
A Mobile Agent-based Multi-Robot Design Method for High-Assurance. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Joanne Bechta Dugan, Ganesh J. Pai, Hong Xu |
Combining Software Quality Analysis with Dynamic Event/Fault Trees for High Assurance Systems Engineering. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Mili 0001, Frederick T. Sheldon |
Measuring Reliability as a Mean Failure Cost. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wu-Hon F. Leung |
On the Verifiability of Programs Written in the Feature Language Extensions. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manghui Tu, Nasser Tadayon, Zhonghang Xia, Enyue Lu |
A Secure and Scalable Update Protocol for P2P Data Grids. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeong-Oog Lee, Dae Hee Won, Sangkyung Sung, Taesam Kang, Young Jae Lee |
High Assurance GPS Integrity Monitoring System Using Particle Filtering Approach. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Liu 0003, Michael Jiang, David Raymer |
Adding Autonomic Capabilities to Network Fault Management System. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kurt Rohloff, Joseph P. Loyall, Partha P. Pal, Richard E. Schantz |
High-Assurance Distributed, Adaptive Software for Dynamic Systems. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Heather Goldsby, Sascha Konrad, Betty H. C. Cheng |
Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Paul Etienne, Samia Bouzefrane 0001 |
A Typed Compositional Language for Real-Time Systems. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Sagaspe, Gérard Bel, Pierre Bieber, Frédéric Boniol, Charles Castel |
Safe Allocation of Avionics Shared Resources. |
HASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Flammini, Nicola Mazzocca, Mauro Iacono, Stefano Marrone 0001 |
Using Repairable Fault Trees for the Evaluation of Design Choices for Critical Repairable Systems. |
HASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Muller, Julia L. Lawall, Hervé Duchesne |
A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. |
HASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 12-14 October 2005, Heidelberg, Germany |
HASE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Iain Bate, Philippa Conmy |
Safe Composition of Real Time Software. |
HASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Servida |
The Future EU R&D on Security and Dependability: Moving Towards Resilience and Plasticity. |
HASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Message from the Program Chair. |
HASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Péter Domokos, István Majzik |
Design and Analysis of Fault Tolerant Architectures by Model Weaving. |
HASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Lei, W. Eric Wong |
A Novel Framework for Non-Deterministic Testing of Message-Passing Programs. |
HASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond A. Paul |
Tomorrow's Needs - Yesterday's Technology: DOD's Architectural Dilemma and Plan for Resolution. |
HASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gergely Pintér, István Majzik |
Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements. |
HASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Walter, Peter Ellis, Brian LaValley |
The Reliable Platform Service: A Property-Based Fault Tolerant Service Architecture. |
HASE |
2005 |
DBLP DOI BibTeX RDF |
On-Line Diagnosis, Customizable Fault Effects Model, Distributed Systems, Middleware, Fault Tolerant Architecture |
| 1 | Stefan Gossens, Fevzi Belli, Sami Beydeda, Mario Dal Cin |
View Graphs for Analysis and Testing of Programs at Different Abstraction Levels. |
HASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi 0005, Tadashi Dohi |
Bayesian Perspective of Optimal Checkpoint Placement. |
HASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Naeem Seliya, Taghi M. Khoshgoftaar, Shi Zhong |
Analyzing Software Quality with Limited Fault-Proneness Defect Data. |
HASE |
2005 |
DBLP DOI BibTeX RDF |
software quality, k-means, software measurements, software faults, semi-supervised clustering |
| 1 | |
Organization. |
HASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Message from the General Chair. |
HASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | |
List of Reviewers. |
HASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dejan Desovski, Yan Liu 0003, Bojan Cukic |
Linear Randomized Voting Algorithm for Fault Tolerant Sensor Fusion and the Corresponding Reliability Model. |
HASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Constance L. Heitmeyer |
A Panacea or Academic Poppycock: Formal Methods Revisited. |
HASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | T. Scott Ankrum, Alfred H. Kromholz |
Structured Assurance Cases: Three Common Standards. |
HASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Jung 0006, Francesca Saglietti |
Supporting Component and Architectural Re-usage by Detection and Tolerance of Integration Faults. |
HASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Pasquale di Tommaso, Francesco Flammini, Armando Lazzaro, Raffaele Pellecchia, Angela Sanseviero |
The Simulation of Anomalies in the Functional Testing of the ERTMS/ETCS Trackside System. |
HASE |
2005 |
DBLP DOI BibTeX RDF |
ERTMS/ETCS, Verification & Validation, Safety-Critical Systems, Functional Testing, Simulation Environments |
| 1 | |
8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 25-26 March 2004, Tampa, FL, USA |
HASE |
2004 |
DBLP BibTeX RDF |
|
| 1 | Stefan Gossens, Mario Dal Cin |
Structural Analysis of Explicit Fault-Tolerant Programs. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Arshad Jhumka, Martin Hiller, Neeraj Suri |
An Approach for Designing and Assessing Detectors for Dependable Component-Based Systems. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
formal methods, metrics, fault injection, detectors, fail-safe, cost/benefit analysis |
| 1 | Ewen Denney, Bernd Fischer 0002, Johann Schumann |
Adding Assurance to Automatically Generated Code. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Suraj C. Kothari, Luke Bishop, Jeremias Sauceda, Gary Daugherty |
Knowledge-Centric and Language Independent Framework for Safety Analysis Tools. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Praveen Ikkurthy, John Shahbazian, Miguel A. Labrador, Kenneth J. Christensen |
Testing Large Scale Streaming Internet Applications over Wireless LANs. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman F. Schneidewind |
Assessing Reliability Risk Using Fault Correction Profiles. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Barr |
Architectural Overview of the Computational Intelligence Testing Tool: CI-Tool. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Dongfeng Wang, Hui Ma 0006, Farokh B. Bastani, I-Ling Yen |
Decomposition of Fairness and Performance Aspects for High-Assurance Continuous Process-Control Systems. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Zonghua Gu 0001, Shige Wang, Sharath Kodase, Kang G. Shin |
Multi-View Modeling and Analysis of Embedded Real-Time Software with Meta-Modeling and Model Transformation. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Iain Bate, Neil C. Audsley |
Flexible Design of Complex High-Integrity Systems Using Trade Offs. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew J. Kornecki, Kimberley Hall, Darryl Hearn, Herman Lau, Janusz Zalewski |
Evaluation of Software Development Tools for High Assurance Safety Critical Systems. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Frederick T. Sheldon, Thomas E. Potok, Andy Loebl, Axel W. Krings, Paul W. Oman |
Managing Secure Survivable Critical Infrastructures to Avoid Vulnerabilities. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Seo Ryong Koo, Poong-Hyun Seong, Sung Deok Cha |
Software Design Specification and Analysis Technique for the Safety Critical Software Based on Programmable Logic Controller (PLC). |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mats Per Erik Heimdahl, George Devaraj, Robert Weber |
Specification Test Coverage Adequacy Criteria = Specification Test Generation Inadequacy Criteria? |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory L. Wickstrom, Jared Davis, Steven E. Morrison, Steve Roach, Victor L. Winter |
The SSP: An Example of High-Assurance Systems Engineering. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yiannis Papadopoulos, David Parker 0002, Christian Grante |
Automating the Failure Modes and Effects Analysis of Safety Critical Systems. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Last, Menahem Friedman |
Automated Detection of Injected Faults in a Differential Equation Solver. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Luque, Xiaodong Lu, Misato Tasaka, Kinji Mori, Yasushi Kuba |
Decentralized Workload Management for Assurance According to Heterogeneous Service Levels. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tetsuya Masuishi, Kinji Mori |
A Method for Solving Trade-Off among Cost for Owned/Borrowed Resource and Loss of Business Chances. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Keeley |
KEEL Technology Applied to Highly Distributed Loosely Coupled Systems. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Dong 0005, Sheng Yang 0002 |
Towards Trusted Composition in Software Design. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Menzies, Justin S. Di Stefano |
How Good Is Your Blind Spot Sampling Policy? |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens |
Developing High-Assurance Secure Systems with UML: A Smartcard-Based Purchase Protocol. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
security software engineering, formal methods in security, electronic purses, cryptographic protocols, security models, security engineering, security evaluation, high assurance systems, security verification |
| 1 | Pramod Gupta, Johann Schumann |
A Tool for Verification and Validation of Neural Network Based Adaptive Controllers for High Assurance Systems. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Pullum, Marjorie Darrah, Spiro T. Skias, Kam S. Tso, Ann T. Tai |
Developing a Data Driven Prognostic System with Limited System Information. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Qingkai Ma, Wei Hao 0001, I-Ling Yen, Farokh B. Bastani |
Multiparty Computation with Full Computation Power and Reduced Overhead. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hideki Nomoto |
State Oriented Programming. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Anneliese Amschler Andrews, Andrew O'Fallon, Tom Chen 0001 |
RUBASTEM: A Method for Testing VHDL Behavioral Models. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Donald J. Berndt, Alison Watkins |
Investigating the Performance of Genetic Algorithm-Based Software Test Case Generation. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Josh Dehlinger, Robyn R. Lutz |
Software Fault Tree Analysis for Product Lines. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Shi Zhong, Taghi M. Khoshgoftaar, Naeem Seliya |
Unsupervised Learning for Expert-Based Software Quality Estimation. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaodong Lu, Yi Zhou, Misato Tasaka, Ivan Luque, Kinji Mori, Ryuji Takanuki |
Autonomous Rating Oriented Agent Allocation to Achieve High Response in Demand-Oriented Information Service System. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Yu 0002 |
Analyze the Worm-Based Attack in Large Scale P2P. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Liu 0023, Taghi M. Khoshgoftaar |
Reducing Overfitting in Genetic Programming Models for Software Quality Classification. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Taghi M. Khoshgoftaar, Mohamed E. Abushadi |
Resource-Sensitive Intrusion Detection Models for Network Traffic. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
cost-sensitive resource-based intrusion detection, modified expected cost of misclassification, network security, decision trees |
| 1 | Dejan Desovski |
Combining Testing and Model Checking for Verification of High Assurance Systems. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lazar Crawford, Jared Erwin, Steafano Grimaldi, Soma Mitra, Andrew J. Kornecki, David P. Gluch |
A Study of Automatic Code Generation for Safety-Critical Software: Preliminary Report. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard C. Linger, Alan R. Hevner, Gwendolyn H. Walton, Mark G. Pleszkoch |
Automated Detection of Injected Faults in a Differential Equation Solver Network Systems Development. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Myung Jun Song, Seo Ryong Koo, Poong-Hyun Seong |
Development of a Verification Method for Timed Function Blocks Using ESDT and SMV. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Chia-Chu Chiang |
A Formal Specification-Based Approach to Distributed Parallel Programming. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Okamura, Atsushi Murayama, Tadashi Dohi |
EM Algorithm for Discrete Software Reliability Models: A Unified Parameter Estimation Method. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Huiqun Yu, Xudong He, Yi Deng 0001, Lian Mo |
A Formal Approach to Designing Secure Software Architectures. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rosina Weber, Duanqing Wu |
Knowledge Management for Computational Intelligence Systems. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license