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. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jia Zhou, Kendra M. L. Cooper, I-Ling Yen |
A Rule-Based Component Customization Technique for QoS Properties. |
HASE |
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. |
HASE |
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. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mark Sh. Levin, Mark Last |
Multi-Function System Testing: Composition of Test Sets. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Toshiaki Miyazaki, Katsushi Iwashita |
Towards Adaptive Networking. |
HASE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Kazuhito Ohmaki |
Open Source Software Research Activities in AIST towards Secure Open Systems. |
HASE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Taghi M. Khoshgoftaar, Erik Geleyn, Laurent A. Nguyen, Lofton A. Bullard |
Cost-Sensitive Boosting In Software Quality Modeling. |
HASE |
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. |
HASE |
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. |
HASE |
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. |
HASE |
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. |
HASE |
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. |
HASE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Tomoyuki Ohta, Munehiko Fujimoto, Shinji Inoue, Yoshiaki Kakuda |
Hi-TORA: A Hierarchical Routing Protocol in Ad Hoc Networks. |
HASE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Gang Xu, Zhiming Wu |
A Kind of Deadlock-free Scheduling Method Based on Petri Net. |
HASE |
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. |
HASE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Kai-Yuan Cai, Tsong Yueh Chen, T. H. Tse |
Towards Research on Software Cybernetics. |
HASE |
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. |
HASE |
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. |
HASE |
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. |
HASE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Yasutomo Shirakawa |
JR East Contactless IC Card Automatic Fare Collection System "Suica". |
HASE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Gossens |
Enhancing System Validation with Behavioural Types. |
HASE |
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. |
HASE |
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. |
HASE |
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. |
HASE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Juichi Takahashi, Yoshiaki Kakuda |
Extended-Model Based Testing by Directed Chinese Postman Algorithm. |
HASE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Hafiz Farooq Ahmad |
Multi-Agent Systems: Overview of a New Paradigm for Distributed Systems. |
HASE |
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. |
HASE |
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. |
HASE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | |
7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan |
HASE |
2002 |
DBLP BibTeX RDF |
|
1 | Werner Haas 0003, Stefan Gossens, Ulrich Heinkel |
Integration of Formal Specification into the Standard ASIC Design Flow. |
HASE |
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. |
HASE |
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. |
HASE |
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. |
HASE |
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 . |
HASE |
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. |
HASE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Tamir Hegazy, Binoy Ravindran |
On Decentralized Proactive Resource Allocation in Asynchronous Real-Time Distributed Systems. |
HASE |
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. |
HASE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Pérez Leguízamo, Aqeel A. Syed, Kinji Mori |
Assurance System Architecture for Distributed Database Systems. |
HASE |
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. |
HASE |
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. |
HASE |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Hiroyuki Yashiro, Yoshirou Takahashi, Teruo Fujiwara |
Verification of Assurance of Space On-Board Distributed Computer System. |
HASE |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Alec Yasinsac, Justin Childs |
Analyzing Internet Security Protocols. |
HASE |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Arnold W. Pittler |
Keynote Speaker. |
HASE |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Diego Latella, Mieke Massink |
A Formal Testing Framework for UML Statechart Diagrams Behaviours: From Theory to Automatic Verification. |
HASE |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Edgar Nett, Martin Gergeleit, Michael Mock |
Mechanisms for a Reliable Cooperation of Vehicles. |
HASE |
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. |
HASE |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Martin S. Feather, Stephen Fickas, N.-A. Razermera-Mamy |
Model-Checking for Validation of a Fault Protection System. |
HASE |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Kerstin Buchacker, Volkmar Sieh |
Framework for Testing the Fault-Tolerance of Systems Including OS and Network Aspects. |
HASE |
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 |
HASE |
2001 |
DBLP BibTeX RDF |
|
1 | M. S. Fisher, Bojan Cukic |
Automating Techniques for Inspecting High Assurance Systems. |
HASE |
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. |
HASE |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Masayuki Matsumoto, Satoru Kitamura, M. Sato |
High Assurance Technologies for Autonomous Decentralized Train Control System. |
HASE |
2001 |
DBLP DOI BibTeX RDF |
|
1 | David J. Thuente, John K. Whiteman |
Systems Engineering of Communication Protocols for Command and Control Systems. |
HASE |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Steve Goddard, Roger M. Kieckhafer, Y. Zhang |
An Unavailability Analysis of Firewall Sandwich Configurations. |
HASE |
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. |
HASE |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Michiel van Osch, Scott A. Smolka |
Finite-State Analysis of the CAN Bus Protocol. |
HASE |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Steve Goddard, Trevor Schroeder |
The SASHA Architecture for Network-Clustered Web Servers. |
HASE |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Sanjai Rayadurgam, Mats Per Erik Heimdahl |
Test-Sequence Generation from Formal Requirement Models. |
HASE |
2001 |
DBLP DOI BibTeX RDF |
|
1 | John C. Knight |
Erroneous Requirements: A Linguistic Basis for Their Occurrence and an Approach to Their Reduction. |
HASE |
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. |
HASE |
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. |
HASE |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey M. Voas |
Why Testing under Expected Operational Scenarios is Not Sufficient. |
HASE |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Purnendu Sinha, Neeraj Suri |
On Simplifying Modular Specification and Verification of Distributed Protocols. |
HASE |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Farokh B. Bastani, I-Ling Yen, Sung Kim |
Highly Reliable Relational Control Programs for Robust Rapid Transit Systems. |
HASE |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Yi Liu 0023, Taghi M. Khoshgoftaar |
Genetic Programming Model for Software Quality Classification. |
HASE |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Hong Zhu 0002, Xudong He |
Constructions of behaviour observation schemes in software testing. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Zhiwei Xu 0001, Taghi M. Khoshgoftaar, Edward B. Allen |
Prediction of software faults using fuzzy nonlinear regression modeling. |
HASE |
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. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Kam S. Tso, Ann T. Tai, Leon Alkalai, Savio N. Chau, William H. Sanders |
GSU middleware architecture design. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Lawrence A. King |
Do formal methods really belong in the toolbox of the practicing engineer? |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Mario Dal Cin |
Structured language for specifications of quantitative requirements. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Robyn R. Lutz |
Four areas of overlapping interest. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Gregory L. Wickstrom |
A flexible real-time architecture. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Larry J. Dalton |
First principles applied to software safety - the novel use of silicon machinery. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Weiguo He, Steve Goddard |
Capturing an application's temporal properties with UML for Real-Time. |
HASE |
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. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Ann Q. Gates |
How can symposia be structured to benefit both industry and academia? |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
1 | John H. Stichman |
On how symposia can be structured to benefit academia and industry. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Tadashi Dohi, Katerina Goseva-Popstojanova, Kishor S. Trivedi |
Analysis of software cost models with rejuvenation. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Coskun Bayrak, Mehmet Sahinoglu, Timothy Cummings |
High assurance software testing in business and DoD. |
HASE |
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. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Gábor Huszerl, István Majzik |
Quantitative analysis of dependability critical systems based on UML statechart models. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Sang-Yeong Choi, Duminda Wijesekera |
The DADSim air defense simulation environment. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
1 | D. Kapur |
The use of formal methods in hardware and software cannot be abandoned. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard K. Aichernig, Andreas Gerstinger, Robert Aster |
Formal specification techniques as a catalyst in validation. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Tapan Kumar Ghoshal, S. Bhattacharya, K. Datta |
The experience of auditing software for safety critical railway signalling equipment. |
HASE |
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. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Michele Cecconi, Enrico Tronci |
Requirements formalization and validation for a telecommunication equipment protection switcher. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Stefania Gnesi, Diego Latella, Mieke Massink |
A stochastic extension of a behavioural subset of UML statechart diagrams. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Patton, Bryan Smith, David Doss, William Yurcik |
A layered framework strategy for deploying high assurance VPNs. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
1 | James A. McCoy |
An embedded system for safe, secure and reliable execution of high consequence software. |
HASE |
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. |
HASE |
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. |
HASE |
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 |
HASE |
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. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Bojan Cukic, Diwakar Chakravarthy |
Bayesian framework for reliability assurance of a deployed safety critical system. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Kerstin Buchacker |
Modeling with extended fault trees. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Steve Goddard, Kevin Jeffay |
The synthesis of real-time systems from processing graphs. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Monica Brockmeyer |
Automatic abstractions of real-time specifications. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|