Frantisek Plasil

Michal Malohlava, Frantisek Plasil, Tomás Bures, Petr Hnetynka: Interoperable domain-specific languages families for code generation. Softw., Pract. Exper. 43(5): 479-499 (2013)

Frantisek Plasil, Tomás Bures: Software Components in Computer Assisted Living? SOFSEM 2013: 28

Tomás Pop, Frantisek Plasil, Matej Outly, Michal Malohlava, Tomás Bures: Property networks allowing oracle-based mode-change propagation in hierarchical components. CBSE 2012: 93-102

Viliam Simko, Petr Hnetynka, Tomás Bures, Frantisek Plasil: FOAM: A Lightweight Method for Verification of Use-Cases. EUROMICRO-SEAA 2012: 228-232

Jaroslav Keznikl, Tomás Bures, Frantisek Plasil, Michal Kit: Towards Dependable Emergent Ensembles of Components: The DEECo Component Model. WICSA/ECSA 2012: 249-252

Petr Hnetynka, Frantisek Plasil: Using meta-modeling in design and implementation of component-based systems: the SOFA case study. Softw., Pract. Exper. 41(11): 1185-1201 (2011)

Viliam Simko, David Hauzar, Tomás Bures, Petr Hnetynka, Frantisek Plasil: Verifying Temporal Properties of Use-Cases in Natural Language. FACS 2011: 350-367

Pavel Parizek, Frantisek Plasil: Assume-guarantee verification of software components in SOFA 2 framework. IET Software 4(3): 210-211 (2010)

Jan Kofron, Frantisek Plasil: Evolving SOA in the Q-ImPrESS Project. WADT 2010: 25-26

Lars Grunske, Ralf Reussner, Frantisek Plasil (Eds.): Component-Based Software Engineering, 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings. Lecture Notes in Computer Science 6092, Springer 2010, isbn 978-3-642-13237-7

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. Lecture Notes in Computer Science 6093, Springer 2010, isbn 978-3-642-13820-1

Jan Kofron, Frantisek Plasil, Ondrej Sery: Modes in component behavior specification via EBP and their application in product lines. Information & Software Technology 51(1): 31-41 (2009)

Tomás Poch, Frantisek Plasil: Extracting Behavior Specification of Components in Legacy Applications. CBSE 2009: 87-103

Pavel Parizek, Frantisek Plasil: Modeling of Component Environment in Presence of Callbacks and Autonomous Activities. TOOLS (46) 2008: 2-21

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]. Lecture Notes in Computer Science 5153, Springer 2008, isbn 978-3-540-85288-9

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. Lecture Notes in Computer Science 5281, Springer 2008, isbn 978-3-540-87878-0

Pavel Parizek, Frantisek Plasil: Specification and Generation of Environment for Model Checking of Software Components. Electr. Notes Theor. Comput. Sci. 176(2): 143-154 (2007)

Pavel Parizek, Frantisek Plasil: Modeling Environment for Component Model Checking from Hierarchical Architecture. Electr. Notes Theor. Comput. Sci. 182: 139-153 (2007)

Ondrej Sery, Frantisek Plasil: Slicing of Component Behavior Specification with Respect to Their Composition. CBSE 2007: 189-202

Andreas Rausch, Ralf Reussner, Raffaela Mirandola, Frantisek Plasil: Introduction. CoCoME 2007: 1-3

Raffaela Mirandola, Frantisek Plasil: CoCoTA - Common Component Task. CoCoME 2007: 4-15

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: 357-387

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: 388-417

Pavel Parizek, Frantisek Plasil: Partial Verification of Software Components: Heuristics for Environment Construction. EUROMICRO-SEAA 2007: 75-82

Viliam Holub, Frantisek Plasil: Reducing Component Systems' Behavior Specification. SCCC 2007: 63-72

Tomás Bures, Petr Hnetynka, Frantisek Plasil, Jan Klesnil, Ondrej Kmoch, Tomas Kohan, Pavel Kotrc: Runtime Support for Advanced Component Concepts. SERA 2007: 337-345

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. Lecture Notes in Computer Science 4362, Springer 2007, isbn 978-3-540-69506-6

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. Institute of Computer Science AS CR, Prague 2007, isbn 80-903298-9-6

Pavel Jezek, Jan Kofron, Frantisek Plasil: Model Checking of Component Behavior Specification: A Real Life Experience. Electr. Notes Theor. Comput. Sci. 160: 197-210 (2006)

Petr Hnetynka, Frantisek Plasil: Dynamic Reconfiguration and Access to Services in Hierarchical Component Models. CBSE 2006: 352-359

Tomás Bures, Petr Hnetynka, Frantisek Plasil: SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model. SERA 2006: 40-48

Pavel Parizek, Frantisek Plasil, Jan Kofron: Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker. SEW 2006: 133-141

Jirí Adámek, Frantisek Plasil: Component composition errors and update atomicity: static analysis. Journal of Software Maintenance 17(5): 363-377 (2005)

Vladimir Mencl, Frantisek Plasil, Jirí Adámek: Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective. IASTED Conf. on Software Engineering 2005: 193-201

Jirí Adámek, Frantisek Plasil: Partial Bindings of Components - Any Harm?. APSEC 2004: 632-639

Frantisek Plasil, Viliam Holub: Exceptions in Component Interaction Protocols - Necessity. Architecting Systems with Trustworthy Components 2004: 227-244

Jirí Adámek, Frantisek Plasil: Erroneous architecture is a relative concept. IASTED Conf. on Software Engineering and Applications 2004: 715-720

Martin Mach, Frantisek Plasil: Addressing State Explosion in Behavior Protocol Verification. SNPD 2004: 327-333

Frantisek Plasil, Stanislav Visnovsky: Behavior Protocols for Software Components. IEEE Trans. Software Eng. 28(11): 1056-1076 (2002)

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. Lecture Notes in Computer Science 2540, Springer 2002, isbn 3-540-00145-X

Dusan Bálek, Frantisek Plasil: Software Connectors and their Role in Component Deployment. DAIS 2001: 69-84

Frantisek Plasil, Milos Besta, Stanislav Visnovsky: Bounding Component Behavior via Protocols. TOOLS (30) 1999: 387-398

Frantisek Plasil, Michael Stal: An architectural view of distributed objects and components in CORBA, Java RMI and COM/DCOM. Software - Concepts and Tools 19(1): 14-28 (1998)

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 19(1): 49-56 (1998)

Frantisek Plasil, Dusan Bálek, Radovan Janecek: SOFA/DCUP: architecture for component trading and dynamic updating. CDS 1998: 43-51

Frantisek Plasil, Daniel Mikusík: Inheriting Synchronization Protocols via Sound Enrichment Rules. JMLC 1997: 267-281

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. Lecture Notes in Computer Science 1338, Springer 1997, isbn 3-540-63774-5

Jan Kleindienst, Frantisek Plasil, Petr Tuma: Lessons Learned from Implementing the CORBA Persistent Object Service. OOPSLA 1996: 150-167

Jan Kleindienst, Frantisek Plasil, Petr Tuma: CORBA and Object Services. SOFSEM 1996: 74-93