HASE 2007:
Dallas,
Texas,
USA
Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA.
IEEE Computer Society 2007 BibTeX
Keynote
High Assurance Requirements
System Design and Architectures
- Paul Townend, Nik Looker, Dacheng Zhang, Jie Xu, Jianxin Li, Liang Zhong, Jinpeng Huai:
CROWN-C: A High-Assurance Service-Oriented Grid Middleware System.
35-44
Electronic Edition (link) BibTeX
- Manish Marwah, Shivakant Mishra, Christof Fetzer:
Systems Architectures for Transactional Network Interface.
45-52
Electronic Edition (link) BibTeX
- Simon M. Poulding, Paul Emberson, Iain Bate, John Clark:
An Efficient Experimental Methodology for Configuring Search-Based Design Algorithms.
53-62
Electronic Edition (link) BibTeX
- Jean-Paul Etienne, Samia Bouzefrane:
A Typed Compositional Language for Real-Time Systems.
63-72
Electronic Edition (link) BibTeX
State-of-the-Art Presentation. Security Systems Engineering
Testing
Security Assurance and Policies
- Manghui Tu, Liangliang Xiao, Hui Ma, I-Ling Yen, Farokh B. Bastani:
Placement in Dependable and Secure Peer-to-Peer Data Grids.
133-140
Electronic Edition (link) BibTeX
- Jinyoo Kim, Yashwant K. Malaiya, Indrakshi Ray:
Vulnerability Discovery in Multi-Version Software Systems.
141-148
Electronic Edition (link) BibTeX
- Wissam Mallouli, Ana R. Cavalli:
Testing Security Rules with Decomposable Activities.
149-155
Electronic Edition (link) BibTeX
- Xinwen Zhang, Qi Li, Jean-Pierre Seifert, Mingwei Xu:
Flexible Authorization with Decentralized Access Control Model for Grid Computing.
156-165
Electronic Edition (link) BibTeX
Distributed Systems
- Péter Bokor, Marco Serafini, Áron Sisak, András Pataricza, Neeraj Suri:
Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation.
169-178
Electronic Edition (link) BibTeX
- Matthew Gillen, Kurt Rohloff, Prakash Manghwani, Richard E. Schantz:
Scalable, Adaptive, Time-Bounded Node Failure Detection.
179-186
Electronic Edition (link) BibTeX
- Jawwad Shamsi, Monica Brockmeyer:
SyncProbe: Providing Assurance of Message Latency through Predictive Monitoring of Internet Paths.
187-196
Electronic Edition (link) BibTeX
High Assurance Embedded Systems
State-of-the-Art Presentation. Software Engineering for High Assurance Systems
Fault Tolerance and Availability
Panel
Empirical Analysis
Formal Verification and Validation
Fault Tolerance
Security
Requirements and Design
- Kurt Rohloff, Joseph P. Loyall, Partha Pratim Pal, Richard E. Schantz:
High-Assurance Distributed, Adaptive Software for Dynamic Systems.
385-386
Electronic Edition (link) BibTeX
- P. C. Donachy, Ronald H. Perrott, Terence J. Harmer, F. Sharkey:
Finance Sector: Requirements for High Assurance within Spatial SOA Based Grid Infrastructures.
387-388
Electronic Edition (link) BibTeX
- Sung-Ook Shin, Jung-Oog Lee, Doo-Kwon Baik:
A Mobile Agent-based Multi-Robot Design Method for High-Assurance.
389-390
Electronic Edition (link) BibTeX
- Jeong-Oog Lee, Ho-Jun Lee:
Building High Assurance Multidisciplinary Design Optimization Framework.
391-392
Electronic Edition (link) BibTeX
Web,
E-Commerce,
and Enterprise
Quality,
Reliability,
and Safety
Formal Methods and Its Applications
Systems and Networks
Systems and Applications
Copyright © Sat May 16 23:14:16 2009
by Michael Ley (ley@uni-trier.de)
