 | 2009 |
|---|
| 9 |       | Jiri Barnat,
Lubos Brim,
Ivana Cerná,
Sven Drazan,
Jana Fabriková,
Jan Láník,
David Safránek,
Hongwu Ma:
BioDiVinE: A Framework for Parallel Analysis of Biological Models
CoRR abs/0910.0928: (2009) |
| 8 | | Jiri Barnat,
Lubos Brim,
Ivana Cerná,
Sven Drazan,
Jana Fabriková,
David Safránek:
On algorithmic analysis of transcriptional regulation by LTL model checking.
Theor. Comput. Sci. 410(33-34): 3128-3148 (2009) |
| 2008 |
|---|
| 7 | | Jiri Barnat,
Lubos Brim,
Ivana Cerná,
Sven 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 | | David Safránek:
Visual Specification of Systems with Heterogeneous Coordination Models.
Electr. Notes Theor. Comput. Sci. 180(2): 107-121 (2007) |
| 5 | | David Safránek:
Architectural Interoperability Checking in Visual Coordination Networks.
Electr. Notes Theor. Comput. Sci. 181: 81-96 (2007) |
| 2006 |
|---|
| 4 | | 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 | | David Safránek,
Jirí Simsa:
VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures.
SOFSEM 2005: 320-329 |
| 2003 |
|---|
| 2 | | David Safránek:
Visual Specification of Concurrent Systems.
ASE 2003: 369-372 |
| 1 | | David Safránek:
SGCCS: A Graphical Language for Real-time Coordination.
Electr. Notes Theor. Comput. Sci. 68(3): (2003) |
