March 31, 2011
9:00-10:00 in E2.2   Invited Talk: Ross Anderson
10:00-10:30 Coffee break
Thursday 10:30-12:30
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
 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
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

Who's online

We have 63 guests and no members online

Site Hosted by