Výsledky vyhledávání
- 1.0537046 - ÚI 2021 RIV CH eng G - Konferenční sborník (zahraniční konf.)
Martins, M. A. (ed.) - Sedlár, Igor (ed.)
Dynamic Logic. New Trends and Applications.
Cham: Springer, 2020. 295 s. Lecture Notes in Computer Science, 12569. ISBN 978-3-030-65839-7. ISSN 0302-9743.
[DaLí International Workshop /3./. Prague / Online (CZ), 09.10.2020-10.10.2020]
Institucionální podpora: RVO:67985807
Klíčová slova: architecting * architecture verification and validation * artificial intelligence * computer programming * computer science * computer systems * dynamic logic * embedded systems * epistemic logic * formal languages * formal logic * linguistics * mathematics * modal logic * model checking * multiagent system * semantics * software architecture * software design * software engineering
Obor OECD: Pure mathematics
https://link.springer.com/book/10.1007/978-3-030-65840-3
Trvalý link: http://hdl.handle.net/11104/0314799 - 2.0388817 - ÚI 2013 RIV GB eng J - Článek v odborném periodiku
Zhang, J. - She, Z. - Ratschan, Stefan - Hermanns, H. - Hahn, E.M.
Safety Verification for Probabilistic Hybrid Systems.
European Journal of Control. Roč. 18, č. 6 (2012), s. 572-587. ISSN 0947-3580. E-ISSN 1435-5671
Grant CEP: GA MŠMT OC10048; GA ČR GC201/08/J020
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: model checking * hybrid systems * formal verification
Kód oboru RIV: IN - Informatika
Impakt faktor: 1.250, rok: 2012
Trvalý link: http://hdl.handle.net/11104/0217724 - 3.0369573 - ÚI 2014 DE eng C - Konferenční příspěvek (zahraniční konf.)
Šimko, V. - Hauzar, D. - Bureš, Tomáš - Hnětynka, P. - Plášil, František
Verifying Temporal Properties of Use-Cases in Natural Language.
Formal Aspects of Component Software. Berlin: Springer, 2012 - (Arbab, F.; Ölveczky, P.), s. 350-367. Lecture Notes in Computer Science, 7253. ISBN 978-3-642-35742-8. ISSN 0302-9743.
[FACS 2011. International Symposium on Formal Aspects of Component Software /8./. Oslo (FI), 14.09.2011-16.09.2011]
Grant ostatní: GA AV ČR(CZ) GAP103/11/1489
Klíčová slova: use-cases * behavior modeling * verification * natural language * label transition system * model-checking * requirements engineering * temporal logic
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0203603Název souboru Staženo Velikost Komentář Verze Přístup a0369573.pdf 0 524.2 KB Vydavatelský postprint vyžádat - 4.0369562 - ÚI 2014 GB eng J - Článek v odborném periodiku
Poch, T. - Šerý, O. - Plášil, František - Kofroň, J.
Threaded behavior protocols.
Formal Aspects of Computing: applicable formal methods. Roč. 25, č. 4 (2013), s. 543-572. ISSN 0934-5043. E-ISSN 1433-299X
Grant CEP: GA ČR GCP202/10/J042
Klíčová slova: behavior modeling * verification * model checking * refinement * composition
Impakt faktor: 0.609, rok: 2013
Trvalý link: http://hdl.handle.net/11104/0203594 - 5.0334355 - ÚI 2011 RIV GB eng J - Článek v odborném periodiku
Parízek, P. - Plášil, František
Assume-Guarantee Verification of Software Components in SOFA 2 Framework.
[Verifikace softwarových komponent ve frameworku SOFA 2 způsobem assume-guarantee.]
IET Software. Roč. 4, č. 3 (2010), s. 210-221. ISSN 1751-8806. E-ISSN 1751-8814
Grant CEP: GA AV ČR 1ET400300504
Grant ostatní: GA MŠk(CZ) 7E08004
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: components * software verification * model checking
Kód oboru RIV: JC - Počítačový hardware a software
Impakt faktor: 0.671, rok: 2010
Trvalý link: http://hdl.handle.net/11104/0179113 - 6.0334276 - ÚI 2010 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
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 ostatní: GA ČR(CZ) GA201/08/0266; GA MŠk(CZ) 7E08004
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: software components * behavior specification * model-checking
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0179058 - 7.0334272 - ÚI 2010 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR(CZ) GD201/05/H014
Grant ostatní: GA ČR(CZ) GA201/06/0770
Program: GA
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: software components * behavior specification * model-checking
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0179054 - 8.0317133 - ÚI 2009 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Plšek, A. - Adámek, Jiří
Carmen: Software Component Model Checker.
[Carmen: Model checker softwarových komponent.]
Quality of Software Architectures. Models and Architectures. Berlin: Springer, 2008 - (Becker, S.; Plášil, F.; Reussner, R.), s. 71-85. Lecture Notes in Computer Science, 5281. ISBN 978-3-540-87878-0.
[QoSA 2008. International Conference on the Quality of Software Architectures /4./. Karlsruhe (DE), 14.10.2008-17.10.2008]
Grant ostatní: GA ČR(CZ) GA201/08/0266; ANR/RNTL(FR) Flex-eWare; Belgian Science Policy(BE) Interuniversity Attraction Poles Programme
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: software components * behavior specification * model-checking
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0166859 - 9.0317131 - ÚI 2009 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Parízek, P. - Adámek, Jiří
Checking Session-Oriented Interactions between Web Services.
[Ověřování relačně-omezené komunikace mezi webovými službami.]
34th Euromicro Conference Software Engineering and Advanced Applications. Los Alamitos: IEEE Computer Society, 2008, s. 3-10. ISBN 978-0-7695-3276-9.
[SEAA 2008. EUROMICRO Conference on Software Engineering and Advanced Applications /34./. Parma (IT), 03.09.2008-05.09.2008]
Grant CEP: GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: web services * BPEL * session-oriented interactions * behavior protocols * model checking
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0166858 - 10.0312534 - ÚTIA 2009 RIV NL eng J - Článek v odborném periodiku
Hobza, Tomáš - Esteban, M. D. - Morales, D. - Marhuenda, Y.
Divergence-based tests for model diagnostic.
[Divergenční testy pro diagnostiku modelu.]
Statistics & Probability Letters. Roč. 78, č. 13 (2008), s. 1702-1710. ISSN 0167-7152. E-ISSN 1879-2103
Grant CEP: GA MŠMT 1M0572
Grant ostatní: Instituto Nacional de Estadistica(ES) MTM2006-05693
Výzkumný záměr: CEZ:AV0Z10750506
Klíčová slova: goodness of fit * devergence statistics * GLM * model checking * bootstrap
Kód oboru RIV: BB - Aplikovaná statistika, operační výzkum
Impakt faktor: 0.445, rok: 2008
http://library.utia.cas.cz/separaty/2008/SI/hobza-divergence-based%20tests%20for%20model%20diagnostic.pdf
Trvalý link: http://hdl.handle.net/11104/0163576