(Software Architecture = Components + Coordination)

Members

Publications

Resources

• A list of tools available for real-time verification:
  • UPPAAL: A powerful tool for timed-systems model checking. It has also a discussion group.
  • RT-Spin, DT-Spin, extensions of Spin model checking tool for real-time systems.
  • Kronos: Use Timed Automata and TCTL (one of the many real-time temporal logics) to verify real-time systems.
    
• Real-time related research groups:
  • Real Time Systems Group, TU Wien, Austria
  • Real Time Systems Group, University of York, UK
  • Real Time Systems Group, UPenn, USA
    

• Some home pages of the poeple active in the real-time field (off course, not all of them!):
  • Rajeev Alur, University of Pennsilvania
  • Giorgio C. Buttazzo, University of Pavia (Italy)
  • Colin Fidge, University of Queensland
  • Hermann Kopetz, TU Wien
  • Thomas A. Henzinger, UC Berkeley
  • Jozef Hooman, University of Nijmegen
  • Kim G. Larsen, Aalborg University
    
• Some home pages of the poeple active in the coordination field (again, not all of them!):
  • Farhad Arbab, CWI, Amsterdam
  • Marcello M. Bonsangue, LIACS, Leiden
  • Antonio Brogi, University of Pisa
  • Jean-Marie Jacquet, University of Namur
  • Gianluiggi Zavattaro, University of Bologna
    

• We have good friends and colleagues at UC, Irvine:
  • Sandeep Shukla
  • Rajesh Gupta
  • Douglas Schmidt
  • Angelo Corsaro
    
• Bibtex entries of references on formal methods in software engineering(updated every while) .bib file
  

Created: 29/10/01
Last modified: 31/08/04
Send comments to: m.r.mousavi@tue.nl