Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
svarm11:program [2011/04/12 18:01] cesar.sanchez |
svarm11:program [2011/04/12 20:14] (current) 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 25: | Line 25: | ||
^ 09:00 - 10:20 ^ ^ SESSION 3 ^ ^ | ^ 09:00 - 10:20 ^ ^ SESSION 3 ^ ^ | ||
| 09:00 | Philipp Ruemmer | Craig interpolation for integer arithmetic, uninterpreted functions, and the theory of arrays | {{:svarm11:slides-philipp-ruemmer.pdf|slides}}| | | 09:00 | Philipp Ruemmer | Craig interpolation for integer arithmetic, uninterpreted functions, and the theory of arrays | {{:svarm11:slides-philipp-ruemmer.pdf|slides}}| | ||
- | | 09:20 | Alessandro Armando | SMT-based symbolic model checking of administrative access control policies | | | + | | 09:20 | Alessandro Armando | SMT-based symbolic model checking of administrative access control policies | {{:svarm11:armandotalk-svarm11.pdf|slides}}| |
| 09:40 | Eran Yahav |Synthesis of memory fences | {{:svarm11:yahavslides.pptx|slides}} | | | 09:40 | Eran Yahav |Synthesis of memory fences | {{:svarm11:yahavslides.pptx|slides}} | | ||
| 10:00 | | | | | | 10:00 | | | | | ||
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}}| | ||
| | | | | | | | | | | | ||
Line 68: | Line 68: | ||
| | | | | | | | | | | | ||
^ 14:00 - 16:00 ^ ^ SESSION 9 ^ ^ | ^ 14:00 - 16:00 ^ ^ SESSION 9 ^ ^ | ||
- | | 14:00 | Ruslán Garza | Analysis and Verification of Higher Order Functional Programs: An Automata Theoretic Approach | {{:svarm11:garzasvarm11.pdf|slides}} | | + | | 14:00 | Ruslán Ledesma Garza | Analysis and Verification of Higher Order Functional Programs: An Automata Theoretic Approach | {{:svarm11:garzasvarm11.pdf|slides}} | |
| 14:20 | Johannes Kinder | Static Analysis of x86 Executables | | | | 14:20 | Johannes Kinder | Static Analysis of x86 Executables | | | ||
| 14:40 | Ruzica Piskac | Software Synthesis using Automated Reasoning |{{:svarm11:ruzicapiskac.ppt|slides}} | | | 14:40 | Ruzica Piskac | Software Synthesis using Automated Reasoning |{{:svarm11:ruzicapiskac.ppt|slides}} | |