doc. RNDr. David Šafránek, Ph.D.
docent – Katedra strojového učení a zpracování dat
kancelář: A408
Botanická 554/68a
602 00 Brno
telefon: | 549 49 4476 |
---|---|
e‑mail: |
sociální a akademické sítě: |
---|
Počet publikací: 115
2009
-
BioDiVinE: A Framework for Parallel Analysis of Biological Models
Proceedings of 2nd International Workshop on Computational Models for Cell Processes, rok: 2009
-
BioDiVinE: A Tool for Parallel Analysis of Multi-Affine ODE Models
Computational Mehotds in Systems Biology: Abstract of the Posters, rok: 2009
-
Computational Analysis of Large-Scale Multi-Affine ODE Models
International Workshop on High Performance Computational Systems Biology, rok: 2009
-
On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking
Theoretical Computer Science, rok: 2009, ročník: 2009, vydání: 410
2008
-
From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks
Proceedings of PDMC 2008 - Parallel and Distributed Methods ins VerifiCation, rok: 2008
-
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
Electronic Notes in Theoretical Computer Science, rok: 2008
2007
-
SystemVerilog verification of VHDL design
Rok: 2007, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
-
Verifying VHDL Designs with Multiple Clocks in SMV
Formal Methods Applications and Technology, 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, rok: 2007
2006
-
Architectural Interoperability Checking in Visual Coordination Networks
Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006), rok: 2006
-
FlowMon Cache Simulation and Analysis of Inter-Packet Gaps
Rok: 2006, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)