Search results
- 1.0341252 - ÚI 2010 RIV DE eng C - Conference Paper (international conference)
Bureš, Tomáš - Děcký, M. - Hnětynka, P. - Kofroň, Jan - Parízek, P. - Plášil, František - Poch, T. - Šerý, O. - Tůma, P.
CoCoME in SOFA.
The Common Component Modeling Example. Berlin: Springer, 2008 - (Rausch, A.; Reussner, R.; Mirandola, R.; Plášil, F.), s. 388-417. Lecture Notes in Computer Science, 5153. ISBN 978-3-540-85288-9.
[Dagstuhl Research Seminar for Component Modelling Example. Dagstuhl (DE), 01.08.2007-03.08.2007]
Grant - others:GA ČR(CZ) GA201/06/0770
Program: GA
Institutional research plan: CEZ:AV0Z10300504
Keywords : software components * formal verification
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0184293 - 2.0334299 - ÚI 2010 RIV DE eng C - Conference Paper (international conference)
Kofroň, Jan - Parízek, P. - Šerý, O.
On Teaching Formal Methods: Behavior Models and Code Analysis.
[Výuka formálních metod: Modely chování a analýza kódu.]
Teaching Formal Methods. Berlin: Springer, 2009 - (Gibbons, J.; Oliveira, J.), s. 144-157. Lecture Notes in Computer Science, 5846. ISBN 978-3-642-04911-8.
[TFM 2009. International Conference Teaching Formal Methods /2./. Eindhoven (NL), 02.11.2009-06.11.2009]
R&D Projects: GA AV ČR 1ET400300504
Institutional research plan: CEZ:AV0Z10300504
Keywords : formal methods * code analysis * teaching
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0179074 - 3.0334276 - ÚI 2010 RIV US eng C - Conference Paper (international conference)
Kofroň, Jan - Poch, T. - Šerý, O.
TBP: Code-Oriented Component Behavior Specification.
[TBP: Na kód orientovaný formalismus pro specifikaci chování komponent.]
Proceedings of 32th IEEE/NASA Software Engineering Workshop. Los Alamitos: IEEE Computer Society, 2009, s. 75-83. ISBN 978-0-7695-3617-0.
[SEW 2008. Annual IEEE/NASA Software Engineering Workshop /32./. Kassandra (GR), 15.10.2008-16.10.2008]
Grant - others:GA ČR(CZ) GA201/08/0266; GA MŠk(CZ) 7E08004
Institutional research plan: CEZ:AV0Z10300504
Keywords : software components * behavior specification * model-checking
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0179058 - 4.0334272 - ÚI 2010 RIV US eng C - Conference Paper (international conference)
Kofroň, Jan - Poch, T. - Šerý, O.
Making Components Fit: SPINing.
[Komponenty ve formě: SPINing.]
Proceedings of 32th IEEE/NASA Software Engineering Workshop. Los Alamitos: IEEE Computer Society, 2009, s. 65-74. ISBN 978-0-7695-3617-0.
[SEW 2008. Annual IEEE/NASA Software Engineering Workshop /32./. Kassandra (GR), 15.10.2008-16.10.2008]
R&D Projects: GA ČR(CZ) GD201/05/H014
Grant - others:GA ČR(CZ) GA201/06/0770
Program: GA
Institutional research plan: CEZ:AV0Z10300504
Keywords : software components * behavior specification * model-checking
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0179054 - 5.0091020 - ÚI 2008 RIV US eng C - Conference Paper (international conference)
Kofroň, Jan
Checking Software Component Behavior using Behavior Protocols and Spin.
[Ověřování chování softwarových komponent pomocí Behavior Protocols a Spinu.]
Proceedings of the 2007 ACM Symposium on Applied Computing. New York: ACM, 2007, s. 1513-1517. ISBN 1-59593-480-4.
[SAC 2007. Annual ACM Symposium on Applied Computing /22./. Seoul (KR), 11.03.2007-15.03.2007]
R&D Projects: GA AV ČR 1ET400300504
Institutional research plan: CEZ:AV0Z10300504
Keywords : behavior protocols * Promela * behavior specification * verification
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0151721 - 6.0090230 - ÚI 2008 RIV US eng C - Conference Paper (international conference)
Pařízek, P. - Plášil, František - Kofroň, Jan
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker.
[Model checking softwarových komponent: kombinace Java PathFinder a Behavior Protocol model checker.]
Proceedings of 30th IEEE/NASA Software Engineering Workshop. Los Alamitos: IEEE Computer Society, 2006, s. 133-141. ISBN 0-7695-2624-1.
[SEW 2006. Annual IEEE/NASA Software Engineering Workshop /30./. Loyola College Graduate Center, Columbia (US), 24.04.2006-28.04.2006]
R&D Projects: GA ČR GA201/06/0770
Institutional research plan: CEZ:AV0Z10300504
Keywords : software components * behavior protocols * model checking * cooperation of model checkers
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0151194 - 7.0031765 - UIVT-O 336096 RIV MO eng C - Conference Paper (international conference)
Ježek, P. - Kofroň, Jan - Plášil, František
Model Checking of Component Behavior Specification: A Real Life Experience.
[Automatické ověřování specifikace chování komponenty: praktické poznatky.]
Formal Aspects of Component Software. Macao: UNU-IIST, 2005 - (Barbosa, L.; Liu, Z.), s. 263-278
[FACS05. International Workshop on Formal Aspects of Component Software /2./. Macao (MO), 24.10.2005-25.10.2005]
R&D Projects: GA AV ČR(CZ) 1ET400300504; GA ČR(CZ) GA102/03/0672
Institutional research plan: CEZ:AV0Z10300504
Keywords : software components * behavior protocols * error traces
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0132418