Tomás Poch

According to our database, Tomás Poch authored at least 12 papers between 2005 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Pattern-Based Verification for Multithreaded Programs.

Javier Esparza, Pierre Ganty, Tomás Poch

ACM Trans. Program. Lang. Syst., 2014

2013

Threaded behavior protocols.

Tomás Poch, Ondrej Sery, Frantisek Plásil, Jan Kofron

Formal Aspects Comput., 2013

2011

Strengthening Component Architectures by Modeling Fine-Grained Entities.

Tomás Bures, Pavel Jezek, Michal Malohlava, Tomás Poch, Ondrej Sery

Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011

2009

JavaCompExt: Extracting Architectural Elements from Java Source Code.

Nicolas Anquetil, Jean-Claude Royer, Pascal André, Gilles Ardourel, Petr Hnetynka, Tomás Poch, Dragos Petrascu, Vladiela Petrascu

Proceedings of the 16th Working Conference on Reverse Engineering, 2009

Extracting Behavior Specification of Components in Legacy Applications.

Tomás Poch, Frantisek Plásil

Proceedings of the Component-Based Software Engineering, 12th International Symposium, 2009

2008

TBP: Code-Oriented Component Behavior Specification.

Jan Kofron, Tomás Poch, Ondrej Sery

Proceedings of the 32nd Annual IEEE Software Engineering Workshop, 2008

Making Components Fit: SPINing.

Jan Kofron, Tomás Poch, Ondrej Sery

Proceedings of the 32nd Annual IEEE Software Engineering Workshop, 2008

2007

Simulation Level of Detail for Virtual Humans.

Cyril Brom, Ondrej Sery, Tomás Poch

Proceedings of the Intelligent Virtual Agents, 7th International Conference, 2007

CoCoME in SOFA.

Tomás Bures, Martin Decký, Petr Hnetynka, Jan Kofron, Pavel Parízek, Frantisek Plásil, Tomás Poch, Ondrej Sery, Petr Tuma

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

CoCoME in Fractal.

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

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

2006

Level-of-Detail in Behaviour of Virtual Humans.

Ondrej Sery, Tomás Poch, Pavel Safrata, Cyril Brom

Proceedings of the SOFSEM 2006: Theory and Practice of Computer Science, 2006

2005

GAL: Towards Large Simulations with Tens of Agents.

Cyril Brom, Ondrej Sery, Tomás Poch, Pavel Safrata

Proceedings of the Intelligent Virtual Agents, 5th International Working Conference, 2005