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

  Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)

  Rok: 2004, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)

• Visual Coordination Diagrams

  ŠAFRÁNEK David

  Článek ve sborníku

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

• Visual Specification of Systems with Heterogeneous Coordination Models

  ŠAFRÁNEK David

  Článek ve sborníku

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

2003

• Visual Specification of Concurrent Systems

  ŠAFRÁNEK David

  Článek ve sborníku

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

2002

• SGCCS: A Graphical Language for Real-Time Coordination

  ŠAFRÁNEK David

  Článek ve sborníku

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

• SGCCS: A Graphical Language for Real-Time Systems

  ŠAFRÁNEK David

  Článek ve sborníku

  Proceedings SOFSEM 2002 Student Research Forum, rok: 2002

• YAHODA: verification tools database

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

  Článek ve sborníku

  Proceedings of Tools Day, rok: 2002

2001

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

  ŠAFRÁNEK David

  Odborná kniha

  Rok: 2001, počet stran: 68 s.