Tomás Poch

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