HASE 2008: Nanjing, China

Keynotes

System Security

Network Security

Distributed Systems

Embedded Systems

Formal verification, specification and implementation I

Formal verification, specification and implementation II

Testing

Formal verification, specification and implementation III

Quality, Reliability, and Safety

High assurance systems and programs

Ad hoc network

Data management systems

Service-oriented Computing

Short papers I

Short papers II

maintained by Schloss Dagstuhl LZI at University of Trier