Tutorials
Keynote Speakers
Accepted papers
- MONDAY 10 NOVEMBER - Tutorial
-
- 11:00 - 14:30
-
REGISTRATION
-
- 12:30 - 14:00
-
Lunch
-
- 14:30 - 16:00
- Abstract Interpretation in Code Security (Tutorial - Part 1)
- by Roberto Giacobazzi
-
- 16:00 - 16:30
-
Coffee Break
-
- 16:30 - 18:00
- Abstract Interpretation in Code Security (Tutorial - Part 2)
- by Roberto Giacobazzi
-
- TUESDAY 11 NOVEMBER
-
- 08:00 - 09:00
-
REGISTRATION
-
- 09:00 - 09:30
-
OPENING
-
- 09:30 - 10:30
-
KEYNOTE SPEAKER 1
(Chair: Madhavan Mukund)
-
- Hiding Information in Completeness Holes:
New Perspective in Code Obfuscation and Watermarking
- by Roberto Giacobazzi
-
- 10:30 - 11:00
-
Coffee Break
-
- 11:00 - 12:30
-
SESSION 1: Abstract Interpretation
(Chair: Roberto Giacobazzi)
-
- Nullness Analysis in Boolean Form
- by Fausto Spoto
-
- Widening Operators for Abstract Interpretation
- by Agostino Cortesi
-
- Static Analysis of the Determinism of Multithreaded Programs
- by Pietro Ferrara
-
- 12:30 - 14:30
-
Lunch Break
-
- 14:30 - 16:00
-
SESSION 2: Model Checking
(Chair: Padmanabhan Krishnan)
-
- Cheap and Small Counterexamples
- by Henri Hansen and Jaco Geldenhuys
-
- Efficient Model Checking for Duration Calculus based on Branching-Time
Approximations
- by Martin Fränzle and Michael R. Hansen
-
- Flash-Efficient LTL Model Checking with Minimal Counterexamples
- by Stefan Edelkamp and Damian Sulewski
-
- 16:00 - 16:30
-
Coffee Break
-
- 16:30 - 17:30
-
SESSION 3: Verification of Embedded Systems
(Chair: Michael Reichhardt Hansen)
-
- Algebraic View Reconciliation
- by Peter Höfner, Ridha Khedri and Bernhard Moeller
-
- Compositional Reasoning in Model-Based Verification of Adaptive
Embedded Systems
- by Ina Schaefer and Arnd Poetzsch-Heffter
-
- 18:00
-
Shuttle for reception venue departs from UCT Upper Campus
-
- 19:00
-
RECEPTION
-
- WEDNESDAY 12 NOVEMBER
-
- 08:40 - 09:00
-
REGISTRATION
-
- 09:00 - 10:30
-
SESSION 4: Security
(Chair: Agostino Cortesi)
-
- Extracting Conditional Confidentiality Policies
- by Michael Carl Tschantz and Jeannette M. Wing
-
- Testing Privacy Policies using Models
- by Percy Pari Salas and Padmanabhan Krishnan
-
- Preservation of Proof Obligations for Hybrid Verification Methods
- by Gilles Barthe, César Kunz, David Pichardie and Julián Samborski-Forlese
-
- 10:30 - 11:00
-
Coffee Break
-
- 11:00 - 12:30
-
SESSION 5: Testing I
(Chair: Manuel Nuñéz)
-
- A Generalized Model-based Test Generation Method
- by Adilson Luiz Bonifácio, Arnaldo Vieira Moura and Adenilso da Silva Simão
-
- Specification-based Testing for Product lines
- by Temesghen Kahsai, Markus Roggenbach and Holger Schlingloff
-
- Verification-based Testing for Full Feasible Branch Coverage
- by Christoph Gladisch
-
- 12:30 - 14:00
-
Lunch Break
-
- 14:00 - 16:00
-
SESSION 6: Testing II
(Chair: Malay Ganai )
-
- Tagging Make Local Testing of Message-passing Systems Feasible
- by Puneet Bhateja and Madhavan Mukund
-
- Using Formal Verification to Reduce Test Space of Fault-tolerant
Programs
- by Kleber S. Xavier, Simone Hanazumi and Ana C. V. de Melo
-
- Extending Stream X-Machines to Specify and Test Systems with Timeouts
- by Mercedes G. Merayo, Robert M. Hierons and Manuel Núñez
-
- 15:30 - 16:30
-
Coffee Break
-
- 16:30 - 17:30
-
KEYNOTE SPEAKER 2
(Chair: Holger Schlingloff)
-
- Tools for CSP
- by Markus Roggenbach
-
- 18:00
-
Shuttle for banquet venue departs from UCT Upper Campus
-
- 19:00
-
BANQUET
-
at the restaurant
Moyo at Spier
in
Stellenbosch
-
- THURSDAY 13 NOVEMBER
-
- 08:40 - 09:00
-
REGISTRATION
-
- 09:00 - 10:30
-
SESSION 7: Aspect-Oriented Development
(Chair: Gerardo Schneider)
-
- Laws of Object-Orientation with Reference Semantics
- by Leila Silva, Augusto Sampaio and Zhiming Liu
-
- Specialized Aspect Languages Preserving Classes of Properties
- by Simplice Djoko Djoko, Rémi Douence and Pascal Fradet
-
- Tableau-based Decision Procedure for the Multi-agent Epistemic Logic
with Operators of Common and Distributed Knowledge
- by Valentin Goranko and Dimitry Shkatov
-
- 10:30 - 11:00
-
Coffee Break
-
- 11:00 - 12:30
-
SESSION 8: Requirement and Program Analysis
(Chair: Dang Van Hung)
-
- Object Models with Temporal Constraints
- by Alessandro Cimatti, Marco Roveri, Angelo Susi and Stefano Tonetta
-
- A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets
- by Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truong and Wei-Ngan Chin
-
- Proof-guided Error Diagnosis by Triangulation of Program Error
Causes
- by Gogul Balakrishnan and Malay Ganai
-
- 12:30 - 14:00
-
Lunch Break
-
- 14:00 - 15:00
-
SESSION 9: Tool Papers
(Chair: Gwen Salaün)
-
- Support for the Circus Refinement Calculus
- by Marcel Vinicius Medeiros Oliveira, Alessandro Cavalcante
Gurgel and Cristiano G. Castro
-
- An Environment for Measuring and Scheduling Time-Critical Embedded
Systems with Energy Constraints
- by Eduardo Tavares, Bruno Silva and Paulo Maciel
-
- 15:00 - 15:30
-
Presentation of SEFM 2009
-
- 15:30 - 16:30
-
Coffee Break
-
- FRIDAY 14 NOVEMBER
-
- 08:40 - 09:00
-
REGISTRATION
-
- 09:00 - 10:30
-
SESSION 10: Coordination Languages
(Chair: Markus Roggenbach)
-
- Modeling Component Connectors Synchronization and Context-dependency
- by Mohammad Izadi, Marcello Bonsangue and Dave Clarke
-
- Generation of Service Wrapper Protocols from Choreography
Specifications
- by Gwen Salaün
-
- Bridging the gap between Interaction- and Process-oriented
Choreographies
- by Ivan Lanese, Claudio Guidi, Fabrizio Montesi and Gianluigi
Zavattaro
-
- 10:30 - 11:00
-
Coffee Break
-
- 11:00 - 12:30
-
SESSION 11: Communication, Mobile and Interactive Systems
(Chair: Fausto Spoto)
-
- Formal Change Impact Analyses of Extended Finite State Machines
using a Theorem Prover
- by Bo Guo and Mahadevan Subramaniam
-
- Restricted Broadcast Process Theory
- by Fatemeh Ghassemi, Wan Fokkink and Ali Movaghar
-
- Modelling Rational User Behaviour as Games between an Angel and
a Demon
- by Rimvydas Ruksenas, Paul Curzon and Ann Blandford
-
- 12:30 - 14:00
-
Lunch Break
-
- 14:00 - 15:15
-
SESSION 12: Short Papers
(Chair: Anet Potgieter)
-
- Formal Methods in Innovation Economy: Facing New Challenges
- by Alexander K. Petrenko and Olga L. Petrenko
-
- Behavioral Compatibility of Active Components
- by Youcef Hammal
-
- Contract-based Verification of Hierarchical Systems of Components
- by Sophie Quinton and Susanne Graf
-
- Specifying and checking interface protocols using aspect-oriented
programming (tool paper)
- by Anh-Hoang Truong, Thanh-Binh Trinh, Dang Van Huing, Viet-Ha Nguyen, Nguyen Thi Thu Trang
and Pham Dinh Hung
-
- 15:00 - 15:30
-
CLOSING
-
- 15:30 - 16:30
-
Coffee Break
-
|
