Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Katerina Goseva-Popstojanova, Sunil Kamavaram |
Software Reliability Estimation under Uncertainty: Generalization of the Method of Moments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 25-26 March 2004, Tampa, FL, USA, pp. 209-218, 2004, IEEE Computer Society, 0-7695-2094-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jia Zhou, Kendra M. L. Cooper, I-Ling Yen |
A Rule-Based Component Customization Technique for QoS Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 25-26 March 2004, Tampa, FL, USA, pp. 302-303, 2004, IEEE Computer Society, 0-7695-2094-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Richard C. Linger, Mark G. Pleszkoch |
Function Extraction (FX) Technology: Automated Calculation of Program Behavior for High-Assurance Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 25-26 March 2004, Tampa, FL, USA, pp. 267-268, 2004, IEEE Computer Society, 0-7695-2094-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mansour H. Assaf, Sunil R. Das, Emil M. Petriu, Mehmet Sahinoglu |
Enhancing Testability in Architectural Design for the New Generation of Core-Based Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 25-26 March 2004, Tampa, FL, USA, pp. 312-313, 2004, IEEE Computer Society, 0-7695-2094-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mark Sh. Levin, Mark Last |
Multi-Function System Testing: Composition of Test Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 25-26 March 2004, Tampa, FL, USA, pp. 99-108, 2004, IEEE Computer Society, 0-7695-2094-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Toshiaki Miyazaki, Katsushi Iwashita |
Towards Adaptive Networking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 151-158, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Kazuhito Ohmaki |
Open Source Software Research Activities in AIST towards Secure Open Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 37-42, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Taghi M. Khoshgoftaar, Erik Geleyn, Laurent A. Nguyen, Lofton A. Bullard |
Cost-Sensitive Boosting In Software Quality Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 51-62, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Decision Stumps, Cost-Boosting, Boosting, software quality modeling, C4.5, cost-sensitivity |
1 | Wei-Tek Tsai, Raymond A. Paul, Weiwei Song, Zhibin Cao |
Coyote: An XML-Based Framework for Web Services Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 173-176, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
web services, WSDL, integration testing, scenario analysis, object-oriented application frameworks |
1 | Shuichiro Yamanouchi |
High Assurance, My Personal Experience and View Point. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 93-100, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Wei-Tek Tsai, Raymond A. Paul, Yamin Wang, Chun Fan, Dong Wang |
Extending WSDL to Facilitate Web Services Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 171-172, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
testing Web services WSDL |
1 | Tadashi Dohi, Kazuki Iwamoto, Hiroyuki Okamura, Naoto Kaio |
Discrete Availability Models to Rejuvenate a Telecommunication Billing Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 159-166, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
availability, fault management, software rejuvenation, discrete-time model, non-parametric estimation |
1 | Peng Li 0020, Binoy Ravindran |
Efficiently Tolerating Failures in Asynchronous Real-Time Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 19-26, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Tomoyuki Ohta, Munehiko Fujimoto, Shinji Inoue, Yoshiaki Kakuda |
Hi-TORA: A Hierarchical Routing Protocol in Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 143-150, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Gang Xu, Zhiming Wu |
A Kind of Deadlock-free Scheduling Method Based on Petri Net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 195-200, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Hiroyuki Yashiro, Yoshirou Takahashi, Teruo Fujiwara |
A High Assurance Timing Synchronization Technology for Space On-Board Distributed Computer Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 87-88, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Kai-Yuan Cai, Tsong Yueh Chen, T. H. Tse |
Towards Research on Software Cybernetics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 240-242, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
software engineering, Control engineering, software cybernetics |
1 | Katsuyuki Yasuda, Shigeru Yamada |
The Concept and Practice of Software Quality Assurance in Japan in the Global Era. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 13-18, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Hiroki Suguri, Eiichiro Kodama, Masatoshi Miyazaki, Isao Kaji |
Assuring Interoperability between Heterogeneous Multi-Agent Systems with a Gateway Agent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 167-170, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Yongdong Tan, Lijun Yin 0001, Qingquan Qian, Kinji Mori |
A Biologically Inspired Assurance Definition and Specification in Heterogeneous Autonomous Decentralized Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 63-70, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Yasutomo Shirakawa |
JR East Contactless IC Card Automatic Fare Collection System "Suica". ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 3-12, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Gossens |
Enhancing System Validation with Behavioural Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 201-210, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | David Owen 0002, Bojan Cukic, Tim Menzies |
An Alternative to Model Checking: Verification by Random Search of AND-OR Graphs Representing Finite-State Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 119-128, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Tsong Yueh Chen, Pak-Lok Poon, Sau-Fun Tang, T. H. Tse, Yuen-Tak Yu |
Towards a Problem-Driven Approach to Perspective-Based Reading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 221-229, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Defect-Based Reading, Requirements Inspection, Software Inspection, Perspective-Based Reading, Classification-Tree Method |
1 | Nejmeddine Tagoug |
Object-Oriented System Decomposition Quality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 230-236, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Juichi Takahashi, Yoshiaki Kakuda |
Extended-Model Based Testing by Directed Chinese Postman Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 237-239, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Hafiz Farooq Ahmad |
Multi-Agent Systems: Overview of a New Paradigm for Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 101-108, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
quality of service, multi-agent systems, e-commerce, agent communication language |
1 | Masayuki Arai, Hitoshi Kurosu, Mamoru Ohara, Ryo Suzuki, Satoshi Fukumoto, Kazuhiko Iwasaki |
Experiment for High-Assurance Video Conference System over the Internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 137-142, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
video conference system, Xcast, packet loss, convolutional codes, H.323 |
1 | Seigo Numajiri, Akira Miura, Keiko Yoshihara, Ryutaro Matsumura |
Evaluation of the Performance of the Large Scale Network: Performance Evaluation of the PDC-P Network Providing the i-mode Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 129-136, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | |
7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![IEEE Computer Society, 0-7695-1769-2 The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Werner Haas 0003, Stefan Gossens, Ulrich Heinkel |
Integration of Formal Specification into the Standard ASIC Design Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 189-194, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Kazuo Kera, Keisuke Bekki, Kinji Mori, Issei Masumoto |
High Assurance Step-by-Step Autonomous Construction Technique for Large Real Time System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 79-86, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
System construction way, Autonomous decentralized system, High assurance system |
1 | K. H. Kim |
Toward QoS Certification of Real-Time Distributed Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 177-188, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
design-time, execution safety, Risk Incursion Function, security, fault tolerance, real-time, service, quality, certification, risk, TMO, timeliness, guarantee, RIF |
1 | Sahra Sedigh-Ali, Arif Ghafoor, Raymond A. Paul |
Metrics-Based Framework for Decision Making in COTS-Based Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 243-244, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Masayuki Matsumoto, Tadao Tsurumaki, Satoru Kitamura, Dai Watanabe, Kinji Mori |
Assurance Evaluation Technology of Train Control System for Achieving Expansion during Operation . ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 71-78, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Train Control, D-ATC, Assurance, Autonomous Decentralized System |
1 | Yunja Choi, Mats Per Erik Heimdahl |
Model Checking RSML-e Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 109-118, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Tamir Hegazy, Binoy Ravindran |
On Decentralized Proactive Resource Allocation in Asynchronous Real-Time Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 27-36, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Binoy Ravindran, Gérard Le Lann, Peng Li 0020 |
Constructing High Assurance Asynchronous Real-Time Distributed Systems: A Proof-Based System Engineering Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 89-92, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Pérez Leguízamo, Aqeel A. Syed, Kinji Mori |
Assurance System Architecture for Distributed Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 43-50, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
loose consistency, mobile agent, distributed database, autonomy, assurance |
1 | Arshad Jhumka, Martin Hiller, Neeraj Suri |
An Approach to Specify and Test Component-Based Dependable Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 211-220, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Dipoppa, Giovanni D'Alessandro, Roberto Semprini, Enrico Tronci |
Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings, pp. 209-219, 2001, IEEE Computer Society, 0-7695-1275-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Hiroyuki Yashiro, Yoshirou Takahashi, Teruo Fujiwara |
Verification of Assurance of Space On-Board Distributed Computer System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings, pp. 82-94, 2001, IEEE Computer Society, 0-7695-1275-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Alec Yasinsac, Justin Childs |
Analyzing Internet Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings, pp. 149-162, 2001, IEEE Computer Society, 0-7695-1275-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Arnold W. Pittler |
Keynote Speaker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings, pp. 4, 2001, IEEE Computer Society, 0-7695-1275-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Diego Latella, Mieke Massink |
A Formal Testing Framework for UML Statechart Diagrams Behaviours: From Theory to Automatic Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings, pp. 11-22, 2001, IEEE Computer Society, 0-7695-1275-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Edgar Nett, Martin Gergeleit, Michael Mock |
Mechanisms for a Reliable Cooperation of Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings, pp. 75-81, 2001, IEEE Computer Society, 0-7695-1275-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings, pp. 182-193, 2001, IEEE Computer Society, 0-7695-1275-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Martin S. Feather, Stephen Fickas, N.-A. Razermera-Mamy |
Model-Checking for Validation of a Fault Protection System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings, pp. 32-41, 2001, IEEE Computer Society, 0-7695-1275-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Kerstin Buchacker, Volkmar Sieh |
Framework for Testing the Fault-Tolerance of Systems Including OS and Network Aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings, pp. 95-105, 2001, IEEE Computer Society, 0-7695-1275-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | |
6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![IEEE Computer Society, 0-7695-1275-5 The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | M. S. Fisher, Bojan Cukic |
Automating Techniques for Inspecting High Assurance Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings, pp. 117-126, 2001, IEEE Computer Society, 0-7695-1275-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Kazuo Kera, Keisuke Bekki, Keiji Kamijyo, Kinji Mori |
Adaptive Step-by-Step Construction Technique Achieving High Assurance for Tokyo Metropolitan Railway Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings, pp. 228-, 2001, IEEE Computer Society, 0-7695-1275-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Masayuki Matsumoto, Satoru Kitamura, M. Sato |
High Assurance Technologies for Autonomous Decentralized Train Control System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings, pp. 220-227, 2001, IEEE Computer Society, 0-7695-1275-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | David J. Thuente, John K. Whiteman |
Systems Engineering of Communication Protocols for Command and Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings, pp. 194-208, 2001, IEEE Computer Society, 0-7695-1275-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Steve Goddard, Roger M. Kieckhafer, Y. Zhang |
An Unavailability Analysis of Firewall Sandwich Configurations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings, pp. 139-148, 2001, IEEE Computer Society, 0-7695-1275-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Sudipto Ghosh, Nishant Bawa, Gerald Craig, Ketaki Kalgaonkar |
A Test Management and Software Visualization Framework for Heterogeneous Distributed Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings, pp. 106-116, 2001, IEEE Computer Society, 0-7695-1275-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Michiel van Osch, Scott A. Smolka |
Finite-State Analysis of the CAN Bus Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings, pp. 42-54, 2001, IEEE Computer Society, 0-7695-1275-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Steve Goddard, Trevor Schroeder |
The SASHA Architecture for Network-Clustered Web Servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings, pp. 163-172, 2001, IEEE Computer Society, 0-7695-1275-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Sanjai Rayadurgam, Mats Per Erik Heimdahl |
Test-Sequence Generation from Formal Requirement Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings, pp. 23-31, 2001, IEEE Computer Society, 0-7695-1275-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | John C. Knight |
Erroneous Requirements: A Linguistic Basis for Their Occurrence and an Approach to Their Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings, pp. 3, 2001, IEEE Computer Society, 0-7695-1275-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Allen P. Nikora, Raphael R. Some, Jeffrey M. Voas, Victor L. Winter, Jie Xu 0007 |
Software Dependability in Distributed and Mobile Computing Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings, pp. 7-10, 2001, IEEE Computer Society, 0-7695-1275-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Adriaan de Groot, Jozef Hooman, Fabrice Kordon, Emmanuel Paviot-Adet, Isabelle Vernier-Mounier, Michel Lemoine, Gervais Gaudiére, Victor L. Winter, Deepak Kapur |
A Survey: Applying Formal Methods to a Software Intensive System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings, pp. 55-64, 2001, IEEE Computer Society, 0-7695-1275-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey M. Voas |
Why Testing under Expected Operational Scenarios is Not Sufficient. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings, pp. 5-10, 2001, IEEE Computer Society, 0-7695-1275-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Purnendu Sinha, Neeraj Suri |
On Simplifying Modular Specification and Verification of Distributed Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings, pp. 173-181, 2001, IEEE Computer Society, 0-7695-1275-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Farokh B. Bastani, I-Ling Yen, Sung Kim |
Highly Reliable Relational Control Programs for Robust Rapid Transit Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings, pp. 65-74, 2001, IEEE Computer Society, 0-7695-1275-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Yi Liu 0023, Taghi M. Khoshgoftaar |
Genetic Programming Model for Software Quality Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings, pp. 127-138, 2001, IEEE Computer Society, 0-7695-1275-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Hong Zhu 0002, Xudong He |
Constructions of behaviour observation schemes in software testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings, pp. 7-16, 2000, IEEE Computer Society, 0-7695-0927-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Zhiwei Xu 0001, Taghi M. Khoshgoftaar, Edward B. Allen |
Prediction of software faults using fuzzy nonlinear regression modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings, pp. 281-290, 2000, IEEE Computer Society, 0-7695-0927-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Barbara J. Czerny, Joseph G. D'Ambrosio, Brian T. Murray |
Providing convincing evidence of safety in X-by-wire automotive systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings, pp. 189-192, 2000, IEEE Computer Society, 0-7695-0927-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Kam S. Tso, Ann T. Tai, Leon Alkalai, Savio N. Chau, William H. Sanders |
GSU middleware architecture design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings, pp. 212-215, 2000, IEEE Computer Society, 0-7695-0927-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Lawrence A. King |
Do formal methods really belong in the toolbox of the practicing engineer? ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings, pp. 137-139, 2000, IEEE Computer Society, 0-7695-0927-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Mario Dal Cin |
Structured language for specifications of quantitative requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings, pp. 221-227, 2000, IEEE Computer Society, 0-7695-0927-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Robyn R. Lutz |
Four areas of overlapping interest. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings, pp. 49-50, 2000, IEEE Computer Society, 0-7695-0927-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Gregory L. Wickstrom |
A flexible real-time architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings, pp. 99-106, 2000, IEEE Computer Society, 0-7695-0927-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Larry J. Dalton |
First principles applied to software safety - the novel use of silicon machinery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings, pp. 216-218, 2000, IEEE Computer Society, 0-7695-0927-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Weiguo He, Steve Goddard |
Capturing an application's temporal properties with UML for Real-Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings, pp. 65-74, 2000, IEEE Computer Society, 0-7695-0927-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Coccoli, Stefan Schemmer, Felicita Di Giandomenico, Michael Mock, Andrea Bondavalli |
Analysis of group communication protocols to assess quality of service properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings, pp. 247-256, 2000, IEEE Computer Society, 0-7695-0927-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Ann Q. Gates |
How can symposia be structured to benefit both industry and academia? ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings, pp. 45-46, 2000, IEEE Computer Society, 0-7695-0927-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | John H. Stichman |
On how symposia can be structured to benefit academia and industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings, pp. 51-52, 2000, IEEE Computer Society, 0-7695-0927-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Tadashi Dohi, Katerina Goseva-Popstojanova, Kishor S. Trivedi |
Analysis of software cost models with rejuvenation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings, pp. 25-34, 2000, IEEE Computer Society, 0-7695-0927-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Coskun Bayrak, Mehmet Sahinoglu, Timothy Cummings |
High assurance software testing in business and DoD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings, pp. 207-211, 2000, IEEE Computer Society, 0-7695-0927-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro F. Garcia 0001, Delano M. Beder, Cecília M. F. Rubira |
An exception handling software architecture for developing fault-tolerant software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings, pp. 311-320, 2000, IEEE Computer Society, 0-7695-0927-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Gábor Huszerl, István Majzik |
Quantitative analysis of dependability critical systems based on UML statechart models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings, pp. 83-92, 2000, IEEE Computer Society, 0-7695-0927-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Sang-Yeong Choi, Duminda Wijesekera |
The DADSim air defense simulation environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings, pp. 75-82, 2000, IEEE Computer Society, 0-7695-0927-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | D. Kapur |
The use of formal methods in hardware and software cannot be abandoned. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings, pp. 142-143, 2000, IEEE Computer Society, 0-7695-0927-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard K. Aichernig, Andreas Gerstinger, Robert Aster |
Formal specification techniques as a catalyst in validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings, pp. 203-206, 2000, IEEE Computer Society, 0-7695-0927-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Tapan Kumar Ghoshal, S. Bhattacharya, K. Datta |
The experience of auditing software for safety critical railway signalling equipment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings, pp. 193-196, 2000, IEEE Computer Society, 0-7695-0927-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Myron Hecht, Yutao He, Herbert Hecht, Xuegao An |
Integration of system dependability and software reliability growth models for e-commerce systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings, pp. 35-42, 2000, IEEE Computer Society, 0-7695-0927-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Michele Cecconi, Enrico Tronci |
Requirements formalization and validation for a telecommunication equipment protection switcher. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings, pp. 169-176, 2000, IEEE Computer Society, 0-7695-0927-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Stefania Gnesi, Diego Latella, Mieke Massink |
A stochastic extension of a behavioural subset of UML statechart diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings, pp. 55-64, 2000, IEEE Computer Society, 0-7695-0927-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Patton, Bryan Smith, David Doss, William Yurcik |
A layered framework strategy for deploying high assurance VPNs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings, pp. 199-202, 2000, IEEE Computer Society, 0-7695-0927-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | James A. McCoy |
An embedded system for safe, secure and reliable execution of high consequence software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings, pp. 107-114, 2000, IEEE Computer Society, 0-7695-0927-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Requet, Ludovic Casset, Gilles Grimaud |
Application of the B formal method to the proof of a type verification algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings, pp. 115-124, 2000, IEEE Computer Society, 0-7695-0927-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Roger M. Kieckhafer, Mohammad H. Azadmanesh, Yongqin Hui |
On the sensitivity of NMR unreliability to non-exponential repair distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings, pp. 293-300, 2000, IEEE Computer Society, 0-7695-0927-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | |
5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![IEEE Computer Society, 0-7695-0927-4 The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Iain Bate, Philippa Conmy, John A. McDermid |
Generating evidence for certification of modern processors for use in safety-critical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings, pp. 125-134, 2000, IEEE Computer Society, 0-7695-0927-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Bojan Cukic, Diwakar Chakravarthy |
Bayesian framework for reliability assurance of a deployed safety critical system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings, pp. 321-329, 2000, IEEE Computer Society, 0-7695-0927-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Kerstin Buchacker |
Modeling with extended fault trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings, pp. 238-246, 2000, IEEE Computer Society, 0-7695-0927-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Steve Goddard, Kevin Jeffay |
The synthesis of real-time systems from processing graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings, pp. 177-186, 2000, IEEE Computer Society, 0-7695-0927-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Monica Brockmeyer |
Automatic abstractions of real-time specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings, pp. 147-158, 2000, IEEE Computer Society, 0-7695-0927-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|