The International Conference on
Dependable Systems and Networks

DSN-2003
The International Conference on Dependable Systems and Networks
San Francisco, CA, June 22nd - 25th, 2003

Local/Hotel Information

Detailed Session Information

Keynote Speaker

Conference at a Glance

Sunday, June 22


800 to 1200	Tutorial Quality, Specification, Evaluation, Assessment, and Certification of Dependable Systems	Tutorial Time-Triggered Architecture
1200 to 1330	Lunch
1330 to 1730	Tutorial UML-Based Dependability Modelling and Evaluation	Tutorial Practical Design of Safety Critical Systems
1800 to 2000	Welcome Reception

Monday, June 23

800 to 830	Continental Breakfast
830 to 1000	Opening Remarks and Keynote Address
1000 to 1030	Break
1030 to 1200	DCC Session 1A Safety and Security	DCC Session 1B Broadcast and Publish/Subscribe	IPDS Session 1C Measurement-Based System Dependability Evaluation	Workshop Design of Self-Managing Systems	Workshop Model Checking for Dependable Software Intensive Systems
1200 to 1330	Lunch
1330 to 1530	DCC Session 2A Practical Experience and Demonstrations 1	DCC Session 2B Dependability Evaluation	IPDS Session 2C Techniques to Improve System and Network Dependability	Workshop Design of Self-Managing Systems	Workshop Model Checking for Dependable Software Intensive Systems
1530 to 1600	Break
1600 to 1730	DCC Session 3A Panel: Technology Impact on Dependability	DCC Session 3B Student Forum 1	IPDS Session 3C Analysis of Fault-Tolerant Protocols	Workshop Design of Self-Managing Systems	Workshop Model Checking for Dependable Software Intensive Systems

Tuesday, June 24

800 to 830	Continental Breakfast
830 to 1000	DCC Session 4A Dependability Algorithms	DCC Session 4B Fast Abstracts 1	IPDS Session 4C Analytical Methods	Workshop Self-Stabilizing Systems	Workshop Principles of Dependable Systems
1000 to 1030	Break
1030 to 1200	DCC Session 5A Network Fault Tolerance	DCC Session 5B Fast Abstracts 2	IPDS Session 5C Validation of System Security and Timing	Workshop Self-Stabilizing Systems	Workshop Principles of Dependable Systems
1200 to 1330	Lunch
1330 to 1500	DCC Session 6A Services for Distributed Computing	DCC Session 6B Fast Abstracts 3	IPDS Session 6C Analysis of Fault-Tolerant Mechanisms	Workshop Self-Stabilizing Systems	Workshop Principles of Dependable Systems
1500 to 1530	Break
1530 to 1700	DCC Session 7A Modelling and Formal Methods	DCC Session 7B Panel on Technology Readiness for Safety Critical Automotive Applications	IPDS Session 7C Tool Demonstrations	Workshop Self-Stabilizing Systems	Workshop Principles of Dependable Systems
1745 to 1830	Transfer to Excursion/Banquet
1900 to 2200	Excursion/Banquet

Wednesday, June 25

800 to 830	Continental Breakfast
830 to 1000	DCC Session 8A Computer Design	DCC Session 8B Student Forum 2	IPDS Session 8C Panel: Security Assessment and Benchmarking	Workshop Self-Stabilizing Systems
1000 to 1030	Break
1030 to 1230	DCC Session 9A Practical Experience and Demonstrations 2	DCC Session 9B Distributed Systems and Services	IPDS Session 9C Dependability and Performance Analysis	Workshop Self-Stabilizing Systems
1230 to 1400	Lunch
1400 to 1600	DCC Session 10A TCP Connection Management	DCC Session 10B Robust Software	IPDS Session 10C Techniques for Improving Dependability
1600 to 1615
1615 to 1730	Business Meeting: IEEE Technical Committee on Fault-Tolerant Computing