The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Frantisek Plasil: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jirí Adámek, Frantisek Plasil
    Partial Bindings of Components - Any Harm?. [Citation Graph (0, 0)][DBLP]
    APSEC, 2004, pp:632-639 [Conf]
  2. Petr Hnetynka, Frantisek Plasil
    Dynamic Reconfiguration and Access to Services in Hierarchical Component Models. [Citation Graph (0, 0)][DBLP]
    CBSE, 2006, pp:352-359 [Conf]
  3. Frantisek Plasil, Viliam Holub
    Exceptions in Component Interaction Protocols - Necessity. [Citation Graph (0, 0)][DBLP]
    Architecting Systems with Trustworthy Components, 2004, pp:227-244 [Conf]
  4. Dusan Bálek, Frantisek Plasil
    Software Connectors and their Role in Component Deployment. [Citation Graph (0, 0)][DBLP]
    DAIS, 2001, pp:69-84 [Conf]
  5. Vladimir Mencl, Frantisek Plasil, Jirí Adámek
    Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective. [Citation Graph (0, 0)][DBLP]
    IASTED Conf. on Software Engineering, 2005, pp:193-201 [Conf]
  6. Frantisek Plasil, Daniel Mikusík
    Inheriting Synchronization Protocols via Sound Enrichment Rules. [Citation Graph (0, 0)][DBLP]
    JMLC, 1997, pp:267-281 [Conf]
  7. Jan Kleindienst, Frantisek Plasil, Petr Tuma
    Lessons Learned from Implementing the CORBA Persistent Object Service. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1996, pp:150-167 [Conf]
  8. Tomas Bures, Petr Hnetynka, Frantisek Plasil
    SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model. [Citation Graph (0, 0)][DBLP]
    SERA, 2006, pp:40-48 [Conf]
  9. Martin Mach, Frantisek Plasil
    Addressing State Explosion in Behavior Protocol Verification. [Citation Graph (0, 0)][DBLP]
    SNPD, 2004, pp:327-333 [Conf]
  10. Jan Kleindienst, Frantisek Plasil, Petr Tuma
    CORBA and Object Services. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1996, pp:74-93 [Conf]
  11. Pavel Parizek, Frantisek Plasil, Jan Kofron
    Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker. [Citation Graph (0, 0)][DBLP]
    SEW, 2006, pp:133-141 [Conf]
  12. Frantisek Plasil, Miloslav Besta, Stanislav Visnovsky
    Bounding Component Behavior via Protocols. [Citation Graph (0, 0)][DBLP]
    TOOLS (30), 1999, pp:387-398 [Conf]
  13. Pavel Jezek, Jan Kofron, Frantisek Plasil
    Model Checking of Component Behavior Specification: A Real Life Experience. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:197-210 [Journal]
  14. Pavel Parizek, Frantisek Plasil
    Specification and Generation of Environment for Model Checking of Software Components. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:2, pp:143-154 [Journal]
  15. Jirí Adámek, Frantisek Plasil
    Component composition errors and update atomicity: static analysis. [Citation Graph (0, 0)][DBLP]
    Journal of Software Maintenance, 2005, v:17, n:5, pp:363-377 [Journal]
  16. Manfred Broy, Anton Deimel, Juergen Henn, Kai Koskimies, Frantisek Plasil, Gustav Pomberger, Wolfgang Pree, Michael Stal, Clemens A. Szyperski
    What characterizes a (software) component? [Citation Graph (0, 0)][DBLP]
    Software - Concepts and Tools, 1998, v:19, n:1, pp:49-56 [Journal]
  17. Frantisek Plasil, Michael Stal
    An architectural view of distributed objects and components in CORBA, Java RMI and COM/DCOM. [Citation Graph (0, 0)][DBLP]
    Software - Concepts and Tools, 1998, v:19, n:1, pp:14-28 [Journal]
  18. Frantisek Plasil, Stanislav Visnovsky
    Behavior Protocols for Software Components. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2002, v:28, n:11, pp:1056-1076 [Journal]
  19. Ondrej Serý, Frantisek Plasil
    Slicing of Component Behavior Specification with Respect to Their Composition. [Citation Graph (0, 0)][DBLP]
    CBSE, 2007, pp:189-202 [Conf]
  20. Pavel Parizek, Frantisek Plasil
    Partial Verification of Software Components: Heuristics for Environment Construction. [Citation Graph (0, 0)][DBLP]
    EUROMICRO-SEAA, 2007, pp:75-82 [Conf]
  21. Jirí Adámek, Frantisek Plasil
    Erroneous architecture is a relative concept. [Citation Graph (0, 0)][DBLP]
    IASTED Conf. on Software Engineering and Applications, 2004, pp:715-720 [Conf]
  22. Pavel Parizek, Frantisek Plasil
    Modeling Environment for Component Model Checking from Hierarchical Architecture. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:182, n:, pp:139-153 [Journal]

  23. Extracting Behavior Specification of Components in Legacy Applications. [Citation Graph (, )][DBLP]


  24. Introduction. [Citation Graph (, )][DBLP]


  25. CoCoTA - Common Component Task. [Citation Graph (, )][DBLP]


  26. CoCoME in Fractal. [Citation Graph (, )][DBLP]


  27. CoCoME in SOFA. [Citation Graph (, )][DBLP]


  28. Reducing Component Systems' Behavior Specification. [Citation Graph (, )][DBLP]


  29. Runtime Support for Advanced Component Concepts. [Citation Graph (, )][DBLP]


  30. Modeling of Component Environment in Presence of Callbacks and Autonomous Activities. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002