Frantisek Plasil

2008
35		Andreas Rausch, Ralf Reussner, Raffaela Mirandola, Frantisek Plasil: The Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, August 1-3, 2007] Springer 2008
34		Steffen Becker, Frantisek Plasil, Ralf Reussner: 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 Springer 2008
33	EE	Pavel Parizek, Frantisek Plasil: Modeling of Component Environment in Presence of Callbacks and Autonomous Activities. TOOLS (46) 2008: 2-21
2007
32		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
31		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
30	EE	Ondrej Sery, Frantisek Plasil: Slicing of Component Behavior Specification with Respect to Their Composition. CBSE 2007: 189-202
29	EE	Andreas Rausch, Ralf Reussner, Raffaela Mirandola, Frantisek Plasil: Introduction. CoCoME 2007: 1-3
28	EE	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
27	EE	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
26	EE	Raffaela Mirandola, Frantisek Plasil: CoCoTA - Common Component Task. CoCoME 2007: 4-15
25	EE	Pavel Parizek, Frantisek Plasil: Partial Verification of Software Components: Heuristics for Environment Construction. EUROMICRO-SEAA 2007: 75-82
24	EE	Viliam Holub, Frantisek Plasil: Reducing Component Systems' Behavior Specification. SCCC 2007: 63-72
23	EE	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
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	Tomás 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	Steffen Becker	[34]
4	Milos Besta	[7]
5	Mária Bieliková	[32]
6	Manfred Broy	[5]
7	Lubomír Bulej	[28]
8	Tomás Bures	[19] [23] [27] [28]
9	Thierry Coupaye	[28]
10	Martin Decký	[27] [28]
11	Anton Deimel	[5]
12	William I. Grosky (Bill Grosky)	[10]
13	Juergen Henn	[5]
14	Petr Hnetynka	[19] [20] [23] [27]
15	Wiebe van der Hoek	[31] [32]
16	Viliam Holub	[13] [24]
17	Giuseppe F. Italiano	[31] [32]
18	Keith G. Jeffery	[4]
19	Pavel Jezek	[17] [28]
20	Jan Kleindienst	[1] [2]
21	Jan Klesnil	[23]
22	Ondrej Kmoch	[23]
23	Jan Kofron	[17] [18] [27]
24	Tomas Kohan	[23]
25	Kai Koskimies	[5]
26	Pavel Kotrc	[23]
27	Jan van Leeuwen	[31] [32]
28	Martin Mach	[11]
29	Christoph Meinel	[31] [32]
30	Vladimir Mencl	[16]
31	Daniel Mikusík	[3]
32	Raffaela Mirandola	[26] [29] [35]
33	Pavel Parizek	[18] [21] [22] [25] [27] [28] [33]
34	Tomás Poch	[27] [28]
35	Gustav Pomberger	[5]
36	Wolfgang Pree	[5]
37	Andreas Rausch	[29] [35]
38	Ralf Reussner (Ralf H. Reussner)	[29] [34] [35]
39	Nicolas Rivierre	[28]
40	Harald Sack	[31] [32]
41	Ondrej Sery	[27] [28] [30]
42	Michael Stal	[5] [6]
43	Clemens A. Szyperski	[5]
44	Petr Tuma	[1] [2] [27] [28]
45	Stanislav Visnovsky	[7] [9]

Colors in the list of coauthors