|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
|
|
Results
Found 12 publication records. Showing 12 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Tomás Bures, Pavel Jezek, Michal Malohlava, Tomás Poch, Ondrej Sery |
Strengthening Component Architectures by Modeling Fine-Grained Entities.  |
EUROMICRO-SEAA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Kofron, Frantisek Plasil, Ondrej Sery |
Modes in component behavior specification via EBP and their application in product lines. |
Information & Software Technology |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuel Kolb, Ondrej Sery, Roland Weiss |
Applicability of the BLAST Model Checker: An Industrial Case Study. |
Ershov Memorial Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Kofron, Pavel Parizek, Ondrej Sery |
On Teaching Formal Methods: Behavior Models and Code Analysis. |
TFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Kebrt, Ondrej Sery |
UnitCheck: Unit Testing and Model Checking Combined. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ondrej Sery |
Enhanced Property Specification and Verification in BLAST. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Bures, Martin Decký, Petr Hnetynka, Jan Kofron, Pavel Parizek, Frantisek Plasil, Tomás Poch, Ondrej Sery, Petr Tuma |
CoCoME in SOFA. |
CoCoME |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubomír Bulej, Tomás Bures, Thierry Coupaye, Martin Decký, Pavel Jezek, Pavel Parizek, Frantisek Plasil, Tomás Poch, Nicolas Rivierre, Ondrej Sery, Petr Tuma |
CoCoME in Fractal. |
CoCoME |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ondrej Sery, Frantisek Plasil |
Slicing of Component Behavior Specification with Respect to Their Composition. |
CBSE |
2007 |
DBLP DOI BibTeX RDF |
Software architecture reuse, Components-based software engineering, Behavior specification |
| 1 | Cyril Brom, Ondrej Sery, Tomás Poch |
Simulation Level of Detail for Virtual Humans. |
IVA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ondrej Sery, Tomás Poch, Pavel Safrata, Cyril Brom |
Level-of-Detail in Behaviour of Virtual Humans. |
SOFSEM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyril Brom, Ondrej Sery, Tomás Poch, Pavel Safrata |
GAL: Towards Large Simulations with Tens of Agents. |
IVA |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #12 of 12 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")