| 2008 |
|---|
| 7 | EE | Jiri Barnat,
Lubos Brim,
Ivana Cerná,
S. Drazan,
David Safránek:
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE.
Electr. Notes Theor. Comput. Sci. 194(3): 35-50 (2008) |
| 2007 |
|---|
| 6 | EE | David Safránek:
Visual Specification of Systems with Heterogeneous Coordination Models.
Electr. Notes Theor. Comput. Sci. 180(2): 107-121 (2007) |
| 5 | EE | David Safránek:
Architectural Interoperability Checking in Visual Coordination Networks.
Electr. Notes Theor. Comput. Sci. 181: 81-96 (2007) |
| 2006 |
|---|
| 4 | EE | Ales Smrcka,
Vojtech Rehák,
Tomás Vojnar,
David Safránek,
Petr Matousek,
Z. Rehák:
Verifying VHDL Designs with Multiple Clocks in SMV.
FMICS/PDMC 2006: 148-164 |
| 2005 |
|---|
| 3 | EE | David Safránek,
Jirí Simsa:
VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures.
SOFSEM 2005: 320-329 |
| 2003 |
|---|
| 2 | EE | David Safránek:
Visual Specification of Concurrent Systems.
ASE 2003: 369-372 |
| 1 | EE | David Safránek:
SGCCS: A Graphical Language for Real-time Coordination.
Electr. Notes Theor. Comput. Sci. 68(3): (2003) |
