|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 14 occurrences of 11 keywords
|
|
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 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 | Pavlína Vareková, I. Vareková, Ivana Cerná |
Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems. |
Electr. Notes Theor. Comput. Sci. |
2010 |
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, 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 | Pavlína Vareková, Barbora Zimmerova, Pavel Moravec 0002, Ivana Cerná |
Formal verification of systems with an unlimited number of components. |
IET Software |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavlína Vareková, Ivana Cerná |
Model Checking of Control-User Component-Based Parametrised Systems. |
CBSE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivana Cerná, Pavlína Vareková, Barbora Zimmerova |
Component Substitutability via Equivalencies of Component-Interaction Automata. |
Electr. Notes Theor. Comput. Sci. |
2007 |
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 |
|
| 1 | Pavlína Vareková, Barbora Zimmerova |
Subject-observer specification with component-interaction automata. |
SAVCBS |
2007 |
DBLP DOI BibTeX RDF |
dynamic number of components, verification, specification, component-based systems, software modelling, finite-state systems |
| 1 | Pavlína Vareková, Pavel Moravec 0002, Ivana Cerná, Barbora Zimmerova |
Effective verification of systems with a dynamic number of components. |
SAVCBS |
2007 |
DBLP DOI BibTeX RDF |
dynamic number of components, formal verification, software verification, component-based systems, finite-state systems |
| 1 | Lubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerova |
Component-interaction automata as a verification-oriented component-based system specification. |
ACM SIGSOFT Software Engineering Notes |
2006 |
DBLP DOI BibTeX RDF |
Component-based specification languages, component-interaction automata, team automata, verification, ADLs, I/O automata, interface automata, component interaction |
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")