| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Petr Hnetynka, Frantisek Plasil |
Using meta-modeling in design and implementation of component-based systems: the SOFA case study.  |
Softw., Pract. Exper.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Parizek, Frantisek Plasil |
Assume-guarantee verification of software components in SOFA 2 framework. |
IET Software |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Kofron, Frantisek Plasil |
Evolving SOA in the Q-ImPrESS Project. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | George T. Heineman, Jan Kofron, Frantisek Plasil (eds.) |
Research into Practice - Reality and Gaps, 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings |
QoSA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Grunske, Ralf Reussner, Frantisek Plasil (eds.) |
Component-Based Software Engineering, 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings |
CBSE |
2010 |
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 | Tomás Poch, Frantisek Plasil |
Extracting Behavior Specification of Components in Legacy Applications. |
CBSE |
2009 |
DBLP DOI BibTeX RDF |
Component behavior specification, Reverse engineering |
| 1 | Pavel Parizek, Frantisek Plasil |
Modeling of Component Environment in Presence of Callbacks and Autonomous Activities. |
TOOLS |
2008 |
DBLP DOI BibTeX RDF |
modeling of environment behavior, autonomous activities, Assume-guarantee reasoning, behavior protocols, callbacks |
| 1 | Andreas Rausch, Ralf Reussner, Raffaela Mirandola, Frantisek Plasil (eds.) |
The Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, August 1-3, 2007] |
CoCoME |
2008 |
DBLP BibTeX RDF |
|
| 1 | Steffen Becker, Frantisek Plasil, Ralf Reussner (eds.) |
Quality of Software Architectures. Models and Architectures, 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings |
QoSA |
2008 |
DBLP BibTeX RDF |
|
| 1 | Pavel Parizek, Frantisek Plasil |
Specification and Generation of Environment for Model Checking of Software Components. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Parizek, Frantisek Plasil |
Modeling Environment for Component Model Checking from Hierarchical Architecture. |
Electr. Notes Theor. Comput. Sci. |
2007 |
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 | Andreas Rausch, Ralf Reussner, Raffaela Mirandola, Frantisek Plasil |
Introduction. |
CoCoME |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Raffaela Mirandola, Frantisek Plasil |
CoCoTA - Common Component Task. |
CoCoME |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Viliam Holub, Frantisek Plasil |
Reducing Component Systems' Behavior Specification. |
SCCC |
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 | Jan van Leeuwen, Giuseppe F. Italiano, Wiebe van der Hoek, Christoph Meinel, Harald Sack, Frantisek Plasil (eds.) |
SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings |
SOFSEM |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jan van Leeuwen, Giuseppe F. Italiano, Wiebe van der Hoek, Christoph Meinel, Harald Sack, Frantisek Plasil, Mária Bieliková (eds.) |
SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings Volume II |
SOFSEM |
2007 |
DBLP BibTeX RDF |
|
| 1 | Tomás Bures, Petr Hnetynka, Frantisek Plasil, Jan Klesnil, Ondrej Kmoch, Tomas Kohan, Pavel Kotrc |
Runtime Support for Advanced Component Concepts. |
SERA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Parizek, Frantisek Plasil |
Partial Verification of Software Components: Heuristics for Environment Construction. |
EUROMICRO-SEAA |
2007 |
DBLP DOI BibTeX RDF |
concurrency errors, model checking, static analysis, software components, Java PathFinder |
| 1 | Pavel Jezek, Jan Kofron, Frantisek Plasil |
Model Checking of Component Behavior Specification: A Real Life Experience. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Parizek, Frantisek Plasil, Jan Kofron |
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
cooperation of model checkers, model checking, software components, behavior protocols |
| 1 | Petr Hnetynka, Frantisek Plasil |
Dynamic Reconfiguration and Access to Services in Hierarchical Component Models. |
CBSE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Bures, Petr Hnetynka, Frantisek Plasil |
SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model. |
SERA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Adámek, Frantisek Plasil |
Component composition errors and update atomicity: static analysis. |
Journal of Software Maintenance |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Mencl, Frantisek Plasil, Jirí Adámek |
Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective. |
IASTED Conf. on Software Engineering |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jirí Adámek, Frantisek Plasil |
Partial Bindings of Components - Any Harm?. |
APSEC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Adámek, Frantisek Plasil |
Erroneous architecture is a relative concept. |
IASTED Conf. on Software Engineering and Applications |
2004 |
DBLP BibTeX RDF |
|
| 1 | Martin Mach, Frantisek Plasil |
Addressing State Explosion in Behavior Protocol Verification. |
SNPD |
2004 |
DBLP BibTeX RDF |
|
| 1 | Frantisek Plasil, Viliam Holub |
Exceptions in Component Interaction Protocols - Necessity. |
Architecting Systems with Trustworthy Components |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Frantisek Plasil, Stanislav Visnovsky |
Behavior Protocols for Software Components. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
component-based programming, software architecture, Behavior protocols |
| 1 | William I. Grosky, Frantisek Plasil (eds.) |
SOFSEM 2002: Theory and Practice of Informatics, 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, Proceedings |
SOFSEM |
2002 |
DBLP BibTeX RDF |
|
| 1 | Dusan Bálek, Frantisek Plasil |
Software Connectors and their Role in Component Deployment. |
DAIS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Frantisek Plasil, Milos Besta, Stanislav Visnovsky |
Bounding Component Behavior via Protocols. |
TOOLS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Frantisek Plasil, Michael Stal |
An architectural view of distributed objects and components in CORBA, Java RMI and COM/DCOM. |
Software - Concepts and Tools |
1998 |
DBLP DOI BibTeX RDF |
COM/DCOM, Software architecture, Distributed computing, Design patterns, CORBA, Distributed objects, Java RMI |
| 1 | Manfred Broy, Anton Deimel, Juergen Henn, Kai Koskimies, Frantisek Plasil, Gustav Pomberger, Wolfgang Pree, Michael Stal, Clemens A. Szyperski |
What characterizes a (software) component? |
Software - Concepts and Tools |
1998 |
DBLP DOI BibTeX RDF |
Component versus object/class, Component versus module, Software component |
| 1 | Frantisek Plasil, Dusan Bálek, Radovan Janecek |
SOFA/DCUP: architecture for component trading and dynamic updating. |
CDS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Frantisek Plasil, Keith G. Jeffery (eds.) |
SOFSEM '97: Theory and Practice of Informatics, 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997, Proceedings |
SOFSEM |
1997 |
DBLP BibTeX RDF |
|
| 1 | Frantisek Plasil, Daniel Mikusík |
Inheriting Synchronization Protocols via Sound Enrichment Rules. |
JMLC |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Kleindienst, Frantisek Plasil, Petr Tuma |
Lessons Learned from Implementing the CORBA Persistent Object Service. |
OOPSLA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Kleindienst, Frantisek Plasil, Petr Tuma |
CORBA and Object Services. |
SOFSEM |
1996 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")