Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Matthias Güdemann, Frank Ortmeier |
A Framework for Qualitative and Quantitative Formal Model-Based Safety Analysis. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
fault tolerance, model checking, reliability, formal methods |
1 | Bo Zhou, Hiroyuki Okamura, Tadashi Dohi |
Enhancing Performance of Random Testing through Markov Chain Monte Carlo Methods. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pejman Salehi, Abdelwahab Hamou-Lhadj, Pietro Colombo, Ferhat Khendek, Maria Toeroe |
A UML-Based Domain Specific Modeling Language for the Availability Management Framework. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
Availability Management Framework, Configurations, High availability, UML profiles, Domain-specific modeling languages |
1 | |
12th IEEE High Assurance Systems Engineering Symposium, HASE 2010, San Jose, CA, USA, November 3-4, 2010 |
HASE |
2010 |
DBLP BibTeX RDF |
|
1 | Jonas Elmqvist, Simin Nadjm-Tehrani |
Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sumit Kumar Jha 0001, Susmit Jha |
Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions in Model Checking. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sheikh Iqbal Ahamed, Md. Endadul Hoque, Farzana Rahman, Mohammad Zulkernine |
Towards Secure Trust Bootstrapping in Pervasive Computing Environment. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Raul Barbosa, Johan Karlsson |
On the Integrity of Lightweight Checkpoints. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Albin Zuccato, Samuel Dubus, Evren Bulut |
Methodology for Service-Oriented Management of Security Assurance in Communication Infrastructures. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Lars Grunske, Jun Han |
A Comparative Study into Architecture-Based Safety Evaluation Methodologies Using AADL's Error Annex and Failure Propagation Models. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Fei Pu, Yan Zhang |
Localizing Program Errors via Slicing and Reasoning. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Kanthakumar Pongaliur, Zubin Abraham, Alex X. Liu, Li Xiao 0001, Leo C. Kempel |
Securing Sensor Nodes Against Side Channel Attacks. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Fan Zhang 0099, Xingshe Zhou 0001, Junwen Chen, Yunwei Dong |
A Novel Model for Component-Based Software Reliability Analysis. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Hua Wang, Yao Guo 0001, Xiangqun Chen |
DPAC: A Reuse-Oriented Password Authentication Framework for Improving Password Security. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Eryk Kylikowski, Riccardo Scandariato, Wouter Joosen |
Using Multi-Level Security Annotations to Improve Software Assurance. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Atef Mohamed, Mohammad Zulkernine |
At What Level of Granularity Should We be Componentizing for Software Reliability? |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Hun Jung, Miao Ju, Hao Che, Zhijun Wang 0001 |
A Fast Performance Analysis Tool for Multicore, Multithreaded Communication Processors. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Éric Jaeger, Thérèse Hardin |
A Few Remarks about Formal Development of Secure Systems. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Danielle Chrun, Michel Cukier, Gerry Sneeringer |
On the Use of Security Metrics Based on Intrusion Prevention System Event Data: An Empirical Analysis. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Wenhua Wang, Sreedevi Sampath, Yu Lei 0001, Raghu Kacker |
An Interaction-Based Test Sequence Generation Approach for Testing Web Applications. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Reinaldo de Barros Correia, Luci Pirmez, Luiz F. Rust da Costa Carmo |
Evaluating Security Risks following a Compliance Perspective. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Kohei Sakurai, Péter Bokor, Neeraj Suri |
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Hui Shen, Aliya Virani, Jianwei Niu 0001 |
Formalize UML 2 Sequence Diagrams. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Zizhong Chen, Jack J. Dongarra |
A Scalable Checkpoint Encoding Algorithm for Diskless Checkpointing. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Robinson, Gerald Kotonya |
A Self-Managing Brokerage Model for Quality Assurance in Service-Oriented Systems. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Lingfu Xie, Du Xu, Qing Yao, Lei Song |
A New Fault-Tolerant Wormhole Routing Scheme in Tori with Convex Faults. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alfredo Pironti 0001, Riccardo Sisto |
Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jicheng Fu, Farokh B. Bastani, I-Ling Yen |
Automated Discovery of Loop Invariants for High-Assurance Programs Synthesized Using AI Planning Techniques. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jifeng He 0001 |
Transaction Calculus. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Miao Jiang 0002, Mohammad Ahmad Munawar, Thomas Reidemeister, Paul A. S. Ward |
Detection and Diagnosis of Recurrent Faults in Software Systems by Invariant Analysis. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Kai Du, Huaimin Wang, Shuqiang Yang, Yingwen Chen, Yan Wen |
Reliability Design for Large Scale Storage Systems. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Henrique da S. Brito, Rogério de Lemos, Cecília M. F. Rubira |
Verification of Exception Control Flows and Handlers Based on Architectural Scenarios. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Quan Zu, Miaomiao Zhang, Jing Liu 0012, Qingfeng Du |
Designing, Modelling and Verifying a Container Terminal System Using UPPAAL. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jin Wei, Guiping Su, Meng Xu |
An Integrated Model to Analyze Cryptographic Protocols with Colored Petri Nets. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Hironao Takahashi, Hafiz Farooq Ahmad, Kinji Mori |
Layered Memory Architecture for High IO Intensive Information Services to Achieve Timeliness. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Zhou Zhou, Linzhang Wang, Zhanqi Cui, Xin Chen 0027, Jianhua Zhao |
Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili 0001 |
Synopsis of Evaluating Security Controls Based on Key Performance Indicators and Stakeholder Mission Value. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | |
11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008 |
HASE |
2008 |
DBLP BibTeX RDF |
|
1 | Oliviero Riganelli, Radu Grosu, Samir R. Das, C. R. Ramakrishnan 0001, Scott A. Smolka |
Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Pengcheng Zhang, Bixin Li, Mingjie Sun |
A Timed Extension of Property Sequence Chart. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Wang Chu, Depei Qian |
Architecture Centric System Design for Supporting Reconfiguration of Service Oriented Systems. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Qin Li 0014, Jinpeng Huai, Jianxin Li 0002, Tianyu Wo, Minxiong Wen |
HyperMIP: Hypervisor Controlled Mobile IP for Virtual Machine Live Migration across Networks. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mary Lou Soffa |
Path Sensitive Analysis for Security Flaws. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Debmalya Biswas, Thomas Gazagnaire, Blaise Genest |
Small Logs for Transactional Services: Distinction is Much More Accurate than (Positive) Discrimination. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Holger Peine, Marek Jawurek, Stefan Mandel |
Security Goal Indicator Trees: A Model of Software Features that Supports Efficient Security Inspection. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Khalid Mahmood 0003, Satoshi Niki, Xiaodong Lu, Kinji Mori |
A Novel Ripple-Based Context-Cognizant Service Discovery Method in Autonomous Decentralized Community System. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Masayuki Matsumoto |
Assurance Technology of System Test Based on Operators' Aspects. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Kun Bai, Peng Liu 0005 |
A Fine-Grained Damage Management Scheme in a Self-Healing PostgreSQL System. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Chunying Zhao, Kang Zhang 0001 |
A Grammar-Based Reverse Engineering Framework for Behavior Verification. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Susmit Jha, Sumit Kumar Jha 0001 |
Randomization Based Probabilistic Approach to Detect Trojan Circuits. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti |
A Multi-Periodic Synchronous Data-Flow Language. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Liangliang Xiao, I-Ling Yen, Farokh B. Bastani |
Low Cost Secure Computation for the General Client-Server Computation Model. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Fredrik Törner, Peter Öhman |
Automotive Safety Case A Qualitative Case Study of Drivers, Usages, and Issues. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Yunqi Ye, I-Ling Yen, Liangliang Xiao, Bhavani Thuraisingham |
Secure, Highly Available, and High Performance Peer-to-Peer Storage Systems. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Hossain Shahriar, Mohammad Zulkernine |
Mutation-Based Testing of Format String Bugs. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jian Zhang 0001 |
Checking Inconsistency of Rule Sets in Active Real-Time Databases. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mahdi Fazeli, Seyed Nematollah Ahmadian, Seyed Ghassem Miremadi |
A Low Energy Soft Error-Tolerant Register File Architecture for Embedded Processors. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Qin Li 0002, Huibiao Zhu, Jifeng He 0001 |
Towards the Service Composition Through Buses. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Robin Berthier, Dave Kormann, Michel Cukier, Matti A. Hiltunen, Gregg Vesonder, Daniel Sheleheda |
On the Comparison of Network Attack Datasets: An Empirical Analysis. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Hakim Belhaouari, Frédéric Peschanski |
Automated Generation of Test Cases from Contract-Oriented Specifications: A CSP-Based Approach. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Bobji Mungamuru, Hector Garcia-Molina |
Privacy, Preservation and Performance: The 3 P's of Distributed Data Management. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Dae-Kyoo Kim |
Software Quality Improvement via Pattern-Based Model Refactoring. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Robin Berthier, Michel Cukier |
The Deployment of a Darknet on an Organization-Wide Network: An Empirical Analysis. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Gillen, Kurt Rohloff, Prakash Manghwani, Richard E. Schantz |
Scalable, Adaptive, Time-Bounded Node Failure Detection. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Michael D. DiRossi |
Towards a High Assurance Secure Computing Platform. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Nasser Alaeddine, Jeff Tian |
Analytic Model for Web Anomalies Classification. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Nitin Auluck |
Duplication Based Integrated Task and Message Scheduling on a Heterogeneous Network of Workstations (NOWs). |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Asesh Das |
Information Assurance Architecture with Storyboarding Models. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Wei-Tek Tsai, Xinyu Zhou, Raymond A. Paul, Yinong Chen, Xiaoying Bai |
A Coverage Relationship Model for Test Case Selection and Ranking for Multi-version Software. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
test case selection and ranking, web services, regression testing, statistical testing, group testing, Adaptive testing |
1 | Eduardo Rafael López Ruiz |
Methodology for Evaluating Aeronautical Regulations using Formal Specifications. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | David Y. Feinstein, V. S. S. Nair, Mitchell A. Thornton |
Advances in Quantum Computing Fault Tolerance and Testing. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Brüning, Stephan Weißleder, Miroslaw Malek |
A Fault Taxonomy for Service-Oriented Architecture. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Silke Kuball |
How can Previous Component Use Contribute to Assessing the Use of COTS? |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Wissam Mallouli, Ana R. Cavalli |
Testing Security Rules with Decomposable Activities. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
Verification and Testing, Test Generation, Security Policy, SDL, Extended Finite State Machine |
1 | Lihua Duan, Yan Wang 0014, Jessica Chen |
Enhanced Traverse of Web Pages. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
web applications, conformance testing, test sequence |
1 | Xin Wang 0002, Xiaochen Zhang, Shuang Yang, Xiangyang Xue |
Design of a Fairness Guarantee Mechanism Based on Network Measurement. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
Round Trip Time (RTT), real-time business, fairness |
1 | Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin |
Multiple Pre/Post Specifications for Heap-Manipulating Methods. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Manghui Tu, Liangliang Xiao, Hui Ma 0006, I-Ling Yen, Farokh B. Bastani |
Placement in Dependable and Secure Peer-to-Peer Data Grids. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Xinwen Zhang, Qi Li 0002, Jean-Pierre Seifert, Mingwei Xu |
Flexible Authorization with Decentralized Access Control Model for Grid Computing. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Atef Mohamed, Mohammad Zulkernine |
Improving Reliability and Safety by Trading off Software Failure Criticalities. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Michael F. Siok, Jeff Tian |
Empirical Study of Embedded Software Quality and Productivity. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | David Lorge Parnas, Sergiy A. Vilkomir |
Precise Documentation of Critical Software. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
testing, specifications, documentation, critical software |
1 | Paul Townend, Nik Looker, Dacheng Zhang, Jie Xu 0007, Jianxin Li 0002, Liang Zhong, Jinpeng Huai |
CROWN-C: A High-Assurance Service-Oriented Grid Middleware System. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jon G. Hall, Derek Mannering, Lucia Rapanotti |
Arguing safety with Problem Oriented Software Engineering. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ismail Assayad, Sergio Yovine |
Modelling and Exploration Environment for Application Specific Multiprocessor Systems. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
Software/Hardware Analysis, Architecture Exploration, Multiprocessor Embedded Systems |
1 | Ravishankar K. Iyer |
TRUSTED ILLIAC: A Configurable Hardware Framework for a Trusted Computing Base. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Péter Bokor, Marco Serafini, Áron Sisak, András Pataricza, Neeraj Suri |
Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Akio Shiibashi, Tsuyoshi Nakaniwa, Motoharu Yamana, Kinji Mori |
Multi-layered Data Consistency Technology, An Enhanced Autonomous Decentralized Data Consistency Technology for IC Card Ticket System. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Miyoung Shin, Sunida Ratanothayanon, Amrit L. Goel, Raymond A. Paul |
Parsimonious Classifiers for Software Quality Assessment. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
Software quality, Parsimonious classifiers, Classification, Software metrics |
1 | Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl |
Model Validation using Automatically Generated Requirements-Based Tests. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ali Ebnenasir, Betty H. C. Cheng |
Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
FormalMethods, Fault-Tolerance, UML, Requirements Analysis, Detector |
1 | |
Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA |
HASE |
2007 |
DBLP BibTeX RDF |
|
1 | Jeffrey M. Voas, Keith W. Miller 0001 |
One in a Baker's Dozen: Debugging Debugging. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Shaofei Wu, Shixian Wang |
Research on Noise Problem of Reputation Estimation in Virtual Enterprise. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
reputation estimation, noise filtration, probability filtration, virtual enterprise |
1 | Simon M. Poulding, Paul Emberson, Iain Bate, John A. Clark |
An Efficient Experimental Methodology for Configuring Search-Based Design Algorithms. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Anjali Joshi, Mats Per Erik Heimdahl |
Behavioral Fault Modeling for Model-based Safety Analysis. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | P. C. Donachy, Ronald H. Perrott, Terence J. Harmer, F. Sharkey |
Finance Sector: Requirements for High Assurance within Spatial SOA Based Grid Infrastructures. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Romani, Silvano Chiaradonna, Felicita Di Giandomenico, Luca Simoncini |
Simulation Models and Implementation of a Simulator for the Performability Analysis of Electric Power Systems Considering Interdependencies. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Shaoying Liu |
Utilizing Test Case Generation to Inspect Formal Specifications for Completeness and Feasibility. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jeong-Oog Lee, Ho-Jun Lee |
Building High Assurance Multidisciplinary Design Optimization Framework. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|