Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
svarm11:program [2011/04/12 18:01] cesar.sanchez |
svarm11:program [2011/04/12 19:11] cesar.sanchez |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Synthesis, Verification, and Analysis of Rich Models (SVARM 2011) ====== | ====== Synthesis, Verification, and Analysis of Rich Models (SVARM 2011) ====== | ||
| - | You can find the {{:svarm2011.pdf|Meeting Program}}in pdf format. | + | You can find the {{:svarm2011.pdf|Meeting Program}} in pdf format. |
| Line 62: | Line 62: | ||
| | 11:00| Denis Trček | On Rich Models Issues for Trust Management & Qualitative Algebra | | | | 11:00| Denis Trček | On Rich Models Issues for Trust Management & Qualitative Algebra | | | ||
| | 11:20| Christian von Essen | Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives |{{:svarm11:vonessentalk.pdf|slides}} | | | 11:20| Christian von Essen | Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives |{{:svarm11:vonessentalk.pdf|slides}} | | ||
| - | | 11:40| Alexis Marechal | Verifying Design Patterns using Symbolic Model Checking | | | + | | 11:40| Alexis Marechal | Verifying Design Patterns using Symbolic Model Checking | {{:svarm11:marechalmain.pdf|slides}}| |
| | 12:00| Stefan Ratschan | Numerical constraint solving based on linear relaxations | {{:svarm11:ratschan.pdf|slides}}| | | 12:00| Stefan Ratschan | Numerical constraint solving based on linear relaxations | {{:svarm11:ratschan.pdf|slides}}| | ||
| | | | | | | | | | | | | ||