|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 16 occurrences of 13 keywords
|
|
|
|
|
Results
Found 17 publication records. Showing 17 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 | Barbora Buhnova, Jens Happe |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Indika Meedeniya, Barbora Buhnova, Aldeida Aleti, Lars Grunske |
Reliability-driven deployment optimization for embedded systems. |
Journal of Systems and Software |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Brosch, Barbora Buhnova, Heiko Koziolek, Ralf Reussner |
Reliability prediction for fault-tolerant software architectures. |
QoSA/ISARCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Happe, Barbora Buhnova |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Brosch, Heiko Koziolek, Barbora Buhnova, Ralf Reussner |
Parameterized Reliability Prediction for Component-Based Software Architectures. |
QoSA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Indika Meedeniya, Barbora Buhnova, Aldeida Aleti, Lars Grunske |
Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems. |
QoSA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Kapová, Barbora Buhnova, Anne Martens, Jens Happe, Ralf Reussner |
State dependence in performance evaluation of component-based software systems. |
WOSP/SIPEW |
2010 |
DBLP DOI BibTeX RDF |
design-time prediction, performance, state dependency |
| 1 | Jens Happe, Barbora Zimmerova |
Preface. |
Electr. Notes Theor. Comput. Sci. |
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, 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 | 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 - #17 of 17 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")