Frantisek Plasil

2008
28	EE	Pavel Parizek, Frantisek Plasil: Modeling of Component Environment in Presence of Callbacks and Autonomous Activities. TOOLS (46) 2008: 2-21
2007
27		Jan van Leeuwen, Giuseppe F. Italiano, Wiebe van der Hoek, Christoph Meinel, Harald Sack, Frantisek Plasil, Mária Bieliková: 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
26		Jan van Leeuwen, Giuseppe F. Italiano, Wiebe van der Hoek, Christoph Meinel, Harald Sack, Frantisek Plasil: 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 Springer 2007
25	EE	Ondrej Sery, Frantisek Plasil: Slicing of Component Behavior Specification with Respect to Their Composition. CBSE 2007: 189-202
24	EE	Pavel Parizek, Frantisek Plasil: Partial Verification of Software Components: Heuristics for Environment Construction. EUROMICRO-SEAA 2007: 75-82
23	EE	Viliam Holub, Frantisek Plasil: Reducing Component Systems' Behavior Specification. SCCC 2007: 63-72
22	EE	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)
21	EE	Pavel Parizek, Frantisek Plasil: Modeling Environment for Component Model Checking from Hierarchical Architecture. Electr. Notes Theor. Comput. Sci. 182: 139-153 (2007)
2006
20	EE	Petr Hnetynka, Frantisek Plasil: Dynamic Reconfiguration and Access to Services in Hierarchical Component Models. CBSE 2006: 352-359
19	EE	Tomas Bures, Petr Hnetynka, Frantisek Plasil: SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model. SERA 2006: 40-48
18	EE	Pavel Parizek, Frantisek Plasil, Jan Kofron: Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker. SEW 2006: 133-141
17	EE	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)
2005
16		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
15	EE	Jirí Adámek, Frantisek Plasil: Component composition errors and update atomicity: static analysis. Journal of Software Maintenance 17(5): 363-377 (2005)
2004
14	EE	Jirí Adámek, Frantisek Plasil: Partial Bindings of Components - Any Harm?. APSEC 2004: 632-639
13	EE	Frantisek Plasil, Viliam Holub: Exceptions in Component Interaction Protocols - Necessity. Architecting Systems with Trustworthy Components 2004: 227-244
12		Jirí Adámek, Frantisek Plasil: Erroneous architecture is a relative concept. IASTED Conf. on Software Engineering and Applications 2004: 715-720
11		Martin Mach, Frantisek Plasil: Addressing State Explosion in Behavior Protocol Verification. SNPD 2004: 327-333
2002
10		William I. Grosky, Frantisek Plasil: 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 Springer 2002
9	EE	Frantisek Plasil, Stanislav Visnovsky: Behavior Protocols for Software Components. IEEE Trans. Software Eng. 28(11): 1056-1076 (2002)
2001
8		Dusan Bálek, Frantisek Plasil: Software Connectors and their Role in Component Deployment. DAIS 2001: 69-84
1999
7	EE	Frantisek Plasil, Milos Besta, Stanislav Visnovsky: Bounding Component Behavior via Protocols. TOOLS (30) 1999: 387-398
1998
6	EE	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)
5	EE	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)
1997
4		Frantisek Plasil, Keith G. Jeffery: 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 Springer 1997
3		Frantisek Plasil, Daniel Mikusík: Inheriting Synchronization Protocols via Sound Enrichment Rules. JMLC 1997: 267-281
1996
2		Jan Kleindienst, Frantisek Plasil, Petr Tuma: Lessons Learned from Implementing the CORBA Persistent Object Service. OOPSLA 1996: 150-167
1		Jan Kleindienst, Frantisek Plasil, Petr Tuma: CORBA and Object Services. SOFSEM 1996: 74-93

Coauthor Index

1	Jirí Adámek	[12] [14] [15] [16]
2	Dusan Bálek	[8]
3	Milos Besta	[7]
4	Mária Bieliková	[27]
5	Manfred Broy	[5]
6	Tomas Bures	[19]
7	Anton Deimel	[5]
8	William I. Grosky (Bill Grosky)	[10]
9	Juergen Henn	[5]
10	Petr Hnetynka	[19] [20]
11	Wiebe van der Hoek	[26] [27]
12	Viliam Holub	[13] [23]
13	Giuseppe F. Italiano	[26] [27]
14	Keith G. Jeffery	[4]
15	Pavel Jezek	[17]
16	Jan Kleindienst	[1] [2]
17	Jan Kofron	[17] [18]
18	Kai Koskimies	[5]
19	Jan van Leeuwen	[26] [27]
20	Martin Mach	[11]
21	Christoph Meinel	[26] [27]
22	Vladimir Mencl	[16]
23	Daniel Mikusík	[3]
24	Pavel Parizek	[18] [21] [22] [24] [28]
25	Gustav Pomberger	[5]
26	Wolfgang Pree	[5]
27	Harald Sack	[26] [27]
28	Ondrej Sery	[25]
29	Michael Stal	[5] [6]
30	Clemens A. Szyperski	[5]
31	Petr Tuma	[1] [2]
32	Stanislav Visnovsky	[7] [9]

Colors in the list of coauthors