Site map

An overview of the available content on this site. Keep the pointer still over an item for a few seconds to get its description.

• Events
  • Andrzej Wasowski is a visiting Professor at Rennes 1
  • PhD defense: Benoît Delahaye
  • Axel Legay is visiting Aalborg University
  • Mikkel Larsen Pedersen is visiting Rennes
  • Meeting in Amsterdam during FORTE (June 9)
  • CREATE Project from Region Bretagne
  • FIT workshop
  • Axel Legay and Andrzej Wasowski will visit Aalborg University from November 21 to November 27th
  • QEST conference
  • Benoît Delahaye will visit Aalborg University from 1 to 6 of November
  • Benoit Delahaye will visit Aachen University from 15 to 21 of November
  • The tool APAC has been released
  • Best Paper Award at FACS
  • Axel Legay is visiting ITU (Copenhagen) three weeks in May
  • Axel Legay is visiting Aalborg University 23-28 August and 22-26 September
  • Andrzej Wasowski is visiting INRIA/IRISA (Rennes) 15 July - 15 August
  • Uli Fahrenberg is visiting ITU (Copenhagen) last week in May
  • Uli Fahrenberg is visiting Aalborg University 22-26 September
• What is ARC(TP)I?
• Jobs
• List of publications
• Participants
• Results
• Tools
  • Uppaal Toolset
  • InterSMV Toolset
  • ECDAR Toolset
  • APAC