|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Mikael H. Møller, Jirí Srba |
Dual-Priced Modal Transition Systems with Time Durations.  |
LPAR  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikola Benes, Ivana Cerná, Filip Stefanak |
Factorization for Component-Interaction Automata. |
SOFSEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikola Benes, Lubos Brim, Barbora Buhnova, Ivana Cerná, Jiri Sochor, Pavlína Vareková |
Partial order reduction for state/event LTL with application to component-interaction automata. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikola Benes, Ivana Cerná, Milan Krivánek |
CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems |
PDMC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Jirí Srba |
Parametric Modal Transition Systems. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikola Benes, Ivana Cerná, Jan Kretínský |
Modal Transition Systems: Composition and LTL Model Checking. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikola Benes, Jan Kretínský |
Process Algebra for Modal Transition Systemses. |
MEMICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba |
On determinism in modal transition systems. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba |
Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerova |
Partial Order Reduction for State/Event LTL. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikola Benes, Milan Krivánek, Filip Stefanak |
Space Effective Model Checking for Component-Interaction Automata. |
MEMICS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Nikola Benes, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerova |
A Case Study in Parallel Verification of Component-Based Systems. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbora Zimmerova, Pavlína Vareková, Nikola Benes, Ivana Cerná, Lubos Brim, Jiri Sochor |
Component-Interaction Automata Approach (CoIn). |
CoCoME |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")