5th International Workshop on

Harnessing Theories for Tool Support in Software

13. September 2011, Oslo, Norway

Co-located with FACS 2011


TTSS'11 Accepted Papers


  • Abinoam P. Marques Jr., Anders Ravn, Jiri Srba and Saleem Vighio:
    Tool Supported Analysis of Web Services Protocols
  • Giuseppe Maggiore, Michele Bugliesi and Renzo Orsini:
    Monadic Scripting in F# for Computer Games
  • Alessandro Rossini, Adrian Rutle, Khalid Mughal, Yngve Lamo and Uwe Wolter:
    A Formal Approach to Data Validation Constraints in MDE
  • Luis Barbosa, Pedro Henriques and Alejandro Sanchez:
    Towards rigorous analysis of Open Source Software
  • Young-Joo Moon, Farhad Arbab, Alexandra Silva, Chretien Verhoef and Andries Stam:
    Stochastic Reo: a Case Study
  • Antoine Beugnard and Ali Hassan:
    A Calculus for a New Component Model in Highly Distributed Environments

Session on Overcoming Challenges for Security and Dependability


  • Michaela Huhn and Sara Bessling:
    Towards Certifiable Software for Medical Devices: The Pacemaker Case Study Revisited
  • John Mullins and Alain-Freddy Kiraga:
    Admissible adversaries in PRISM for probabilistic security analysis

Our sponsors:

The Research Council of Norway      The Department of Informatics      The University of Oslo       Visit Oslo