doc. RNDr. David Šafránek, Ph.D.

2004

• Verification Results in Liberouter Project

  HOLEČEK Jan KRATOCHVÍLA Tomáš ŘEHÁK Vojtěch ŠAFRÁNEK David ŠIMEČEK Pavel

  R&D Presentation

  Year: 2004, type: R&D Presentation

• Visual Coordination Diagrams

  ŠAFRÁNEK David

  Article in Proceedings

  Proceedings of the Doctoral Symposium of 7th International Conference on the Unified Modeling Language, year: 2004

• Visual Specification of Systems with Heterogeneous Coordination Models

  ŠAFRÁNEK David

  Article in Proceedings

  Proceeding of 3rd International Workshop on Foundations of Coordination Languages and Software Architectures, year: 2004

2003

• Visual Specification of Concurrent Systems

  ŠAFRÁNEK David

  Article in Proceedings

  18th IEEE International Conference on Automated Software Engineering, year: 2003

2002

• SGCCS: A Graphical Language for Real-Time Coordination

  ŠAFRÁNEK David

  Article in Proceedings

  Proceedings of 1th International Workshop on Foundations of Coordination Languages and Software Architectures, year: 2002

• SGCCS: A Graphical Language for Real-Time Systems

  ŠAFRÁNEK David

  Article in Proceedings

  Proceedings SOFSEM 2002 Student Research Forum, year: 2002

• YAHODA: verification tools database

  CRHOVÁ Jitka KRČÁL Pavel STREJČEK Jan ŠAFRÁNEK David ŠIMEČEK Pavel

  Article in Proceedings

  Proceedings of Tools Day, year: 2002

2001

• Grafická specifikace souběžných systémů

  ŠAFRÁNEK David

  Monograph

  Year: 2001, number of pages: 68 s.