Tomás Poch

Publication Activity (10 Years)

Years Active: 2005-2014
Publications (10 Years): 0

Top Topics

Hardware Designs

Verification Method

Top Venues

Formal Aspects Comput.

ACM Trans. Program. Lang. Syst.

Publications

Javier Esparza, Pierre Ganty, Tomás Poch
Pattern-Based Verification for Multithreaded Programs. ACM Trans. Program. Lang. Syst. 36 (3) (2014)
Tomás Poch, Ondrej Sery, Frantisek Plasil, Jan Kofron
Threaded behavior protocols. Formal Aspects Comput. 25 (4) (2013)
Tomás Bures, Pavel Jezek, Michal Malohlava, Tomás Poch, Ondrej Sery
Strengthening Component Architectures by Modeling Fine-Grained Entities. EUROMICRO-SEAA (2011)
Nicolas Anquetil, Jean-Claude Royer, Pascal André, Gilles Ardourel, Petr Hnetynka, Tomás Poch, Dragos Petrascu, Vladiela Petrascu
JavaCompExt: Extracting Architectural Elements from Java Source Code. WCRE (2009)
Tomás Poch, Frantisek Plasil
Extracting Behavior Specification of Components in Legacy Applications. CBSE (2009)
Jan Kofron, Tomás Poch, Ondrej Sery
Making Components Fit: SPINing. SEW (2008)
Jan Kofron, Tomás Poch, Ondrej Sery
TBP: Code-Oriented Component Behavior Specification. SEW (2008)
Lubomír Bulej, Tomás Bures, Thierry Coupaye, Martin Decký, Pavel Jezek, Pavel Parízek, Frantisek Plasil, Tomás Poch, Nicolas Rivierre, Ondrej Sery, Petr Tuma
CoCoME in Fractal. CoCoME (2007)
Cyril Brom, Ondrej Sery, Tomás Poch
Simulation Level of Detail for Virtual Humans. IVA (2007)
Tomás Bures, Martin Decký, Petr Hnetynka, Jan Kofron, Pavel Parízek, Frantisek Plasil, Tomás Poch, Ondrej Sery, Petr Tuma
CoCoME in SOFA. CoCoME (2007)
Ondrej Sery, Tomás Poch, Pavel Safrata, Cyril Brom
Level-of-Detail in Behaviour of Virtual Humans. SOFSEM (2006)
Cyril Brom, Ondrej Sery, Tomás Poch, Pavel Safrata
GAL: Towards Large Simulations with Tens of Agents. IVA (2005)