Program: Mark-Oliver Stehr, UIUC (send e-mail to stehr@uiuc.edu for questions)
Local Arrangements: Nalini Venkatasubramanian, UCI (send e-mail to nalini@ics.uci.edu for questions)
The meeting will take place at the ITR – RESCUE / Cal-(IT)² Office,
University of California Research Park.
For details on meeting location and accomodation see here.
For more information about the CONTESSA project visit the project website .
08:45 Intoduction: Jose Meseguer (UIUC)
09:00 Narrowing Techniques for Cryptoprotocol Analysis: Jose Meseguer and Prassannaa Thati (UIUC) (Slides: ps pdf)
09:15 Formal Analysis of Java Programs in JavaFAN: Azadeh Farzan (UIUC) (Slides: pdf)
09:30 Coffee Break
09:45 An LTL Model Checker for Discrete Time Markov Chains: YoungMin Kwong (UIUC) (Slides: ppt pdf)
10:00 Light-weight formals methods for verification: Koushik Sen (UIUC) (Slides: ppt pdf)
10:15 Statistical Model-checking of 'black-box' systems: Koushik Sen (UIUC) (Slides: ppt pdf)
10:30 Probabilistic Rewrite Theories: Koushik Sen (UIUC) (Slides: ppt pdf)
10:45 Coffee Break
11:00 Customizable Communication in Reflective Middleware Frameworks: Sebastian Gutierrez-Nolasco (UCI) (Slides: ppt pdf)
11:30 Design and Formal Prototyping of a Network-Layer Accounting Protocol: Alwyn Goodloe, Carl Gunter (UPenn), and Mark-Oliver Stehr (UIUC) (Slides: ppt pdf)
12:00 Discussion Session on Network Security and Denial of Service Attacks: Carl Gunter (UPenn)
12:30 Lunch
02:00 Brainstorming Session on Topic 1:
Network Security, Denial of Service Attacks,
Compositionality, Probabilistic Models
03:00 Brainstorming Session on Topic 2:
Adaptive Group Communication, Mobility, Service Provision,
Information Collection, Context Awareness
04:00 Access Control in the Presence of Mobile Objects and Hosts: Jehan Wickramasuriya (UCI) (Slides: ppt pdf)
04:15 MapGRID: Grid Support for Mobile Applications: Yun Huang (UCI) (Slides: ppt pdf)
04:30 Mobile Agent Applications in Sensor Networks: Chien-Liang Fok (WUSTL) (Slides: ppt pdf)
04:45 Simplifying Development of Context-Aware Applications: Jamie Payton (WUSTL) (Slides: ppt pdf)
05:00 Context-Based Service Migration in Ad Hoc Networks: Rohan Sen (WUSTL)
05:15 Opportunistic Service Exploitation in Ad Hoc Networks: Radu Handorean (WUSTL) (Slides: ppt pdf)
05:30 Coffee Break
05:45 In parallel: students' meeting / PI meeting
08:45 In parallel: students' meeting / PI meeting
10:00 Students' presentation on Topic 1
10:30 Students' presentations on Topic 2
11:00 End of workshop