| March 31, 2011 | ||||||
| Thursday | ||||||
| 9:00-10:00 in E2.2 Invited Talk: Ross Anderson | ||||||
| 10:00-10:30 Coffee break | ||||||
| Thursday 10:30-12:30 | ||||||
| ESOP | FASE | TACAS | ||||
| Verification of Higher-order Languages | Model Driven Engineering | Verification II | ||||
| in E1.3/002 | in E2.1/001 | in E1.3/001 | ||||
| Polymorphic Manifest Contracts | Modeling with plausibility checking: inspecting favorable and critical signs for consistency between control flow and functional behavior |
Boosting Lazy Abstraction for SystemC with Partial Order Reduction | ||||
| João Belo, Michael Greenberg, Atsushi Igarashi, Benjamin Pierce | Claudia Ermel, Jürgen Gall, Leen Lambers, Gabriele Taentzer | Alessandro Cimatti, Iman Narasamdya, Marco Roveri | ||||
| Proving Isolation Properties for Software Transactional Memory | Models within models: taming model complexity using the sub-model lattice | Modelling and Verification of Web Services Business Activity Protocol | ||||
| Annette Bieniusa, Peter Thiemann | Pierre Kelsen, Qin Ma, Christian Glodt | Saleem Vighio, Jiri Srba, Anders P. Ravn | ||||
| Algorithmic nominal game semantics | Type-safe evolution of spreadsheets | CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes | ||||
| Andrzej Murawski, Nikos Tzevelekos | Jácome Cunha, Joost Visser, Tiago Alves, João Saraiva | Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe | ||||
| General Bindings and Alpha-Equivalence in Nominal Isabelle | A formal resolution strategy for operation-based conflicts in model versioning using graph modifications | GameTime: A Toolkit for Timing Analysis of Software (Tool) | ||||
| Christian Urban, Cezary Kaliszyk | Hartmut Ehrig, Claudia Ermel, Gabriele Taentzer | Sanjit A. Seshia, Jonathan Kotker | ||||
| 12:30-14:00 Lunch | ||||||
| 14:00-15:00 in E2.2 Invited Talk: Michael Backes | ||||||
| Thursday 15:15-16:15 | ||||||
| ESOP | FASE | TOSCA | ||||
| Separation Logic | Software Development for QoS | in E1.4/24 | ||||
| in E1.3/002 | in E2.1/001 | |||||
| The relationship between Separation Logic and Implicit Dynamic Frames | A Step-wise approach for Integrating QoS throughout software development | |||||
| Matthew Parkinson, Alexander Summers | Stéphanie Gatti, Emilie Balland, Charles Consel | |||||
| Barriers in Concurrent Separation Logic | Systematic development of UMLsec design models based on security requirements | |||||
| Aquinas Hobor, Cristian Gherghina | Denis Hatebu, Maritta Heisel, Jan Jürjens, Holger Schmidt | |||||
| 16:15-16:45 Coffee break | ||||||
| Thursday 16:45-18:15 | ||||||
| ESOP | FASE | TOSCA | ||||
| Language Concepts and Methods | Testing: Theory and New Trends | in E1.4/24 | ||||
| in E1.3/002 | in E2.1/001 | |||||
| Measure transformer semantics for Bayesian machine learning | Theoretical aspects of compositional symbolic execution | |||||
| Johannes Borgstrom, Andrew D Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael | Dries Vanoverberghe, Frank Piessens | |||||
| Semantics of Concurrent Revisions | Testing container classes: random or systematic? | |||||
| Sebastian Burckhardt, Daan Leijen | Rohan Sharma, Milos Gligoric, Andrea Arcuri, Gordon Fraser, Darko Marinov | |||||
| A new method for dependent parsing | Seamless testing for models and code | |||||
| Yitzhak Mandelbaum, Trevor Jim | Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig, Helmut Veith |
|||||