Link bibtex
T. Poch, O. Šerý, F. Plášil, J. Kofroň:
Threaded behavior protocols, in Formal Aspects of Computing 25(4), pp. 543-572, 2013
DOI: 10.1007/s00165-011-0194-3
Link bibtex
J. Kofroň, P. Parízek, O. Šerý:
On Teaching Formal Methods: Behavior Models and Code Analysis, in Proceedings of TFM 2009, pp. 144-157, 2009
ISBN: 978-3-642-04912-5, DOI: 10.1007/978-3-642-04912-5_10
Link bibtex
J. Kofroň, F. Plášil, O. Šerý:
Modes in component behavior specification via EBP and their application in product lines, in Information and Software Technology 51(1), pp. 31-41, 2009
DOI: 10.1016/j.infsof.2008.09.011
Link bibtex
T. Bureš, M. Děcký, P. Hnětynka, J. Kofroň, P. Parízek, F. Plášil, T. Poch, O. Šerý, P. Tůma:
CoCoME in SOFA, in The Common Component Modeling Example: Comparing Software Component Models, pp. 388-417, 2008
ISBN: 978-3-540-85289-6
Link bibtex
L. Bulej, T. Bureš, T. Coupaye, M. Děcký, P. Ježek, P. Parízek, F. Plášil, T. Poch, N. Rivierre, O. Šerý, P. Tůma:
CoCoME in Fractal, in The Common Component Modeling Example, pp. 357-387, 2008
ISBN: 978-3-540-85288-9 978-3-540-85289-6
Link bibtex
J. Kofroň, T. Poch, O. Šerý:
Making Components Fit: SPINing, in Proceedings of SEW 2008, pp. 65-74, 2008
ISBN: 978-0-7695-3617-0, DOI: 10.1109/SEW.2008.10
Link bibtex
J. Kofroň, T. Poch, O. Šerý:
TBP: Code-Oriented Component Behavior Specification, in Proceedings of SEW 2008, pp. 75-83, 2008
ISBN: 978-0-7695-3617-0, DOI: 10.1109/SEW.2008.14
Link bibtex
O. Sery, F. Plášil:
Slicing of Component Behavior Specification with Respect to Their Composition., in Component-Based Software Engineering, 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings, pp. 189-202, 2007
DOI: 10.1007/978-3-540-73551-9_13