Search results
- 1.0537046 - ÚI 2021 RIV CH eng G - Proceedings (international conference)
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]
Institutional support: RVO:67985807
Keywords : 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
OECD category: Pure mathematics
https://link.springer.com/book/10.1007/978-3-030-65840-3
Permanent Link: http://hdl.handle.net/11104/0314799 - 2.0388817 - ÚI 2013 RIV GB eng J - Journal Article
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
R&D Projects: GA MŠMT OC10048; GA ČR GC201/08/J020
Institutional research plan: CEZ:AV0Z10300504
Keywords : model checking * hybrid systems * formal verification
Subject RIV: IN - Informatics, Computer Science
Impact factor: 1.250, year: 2012
Permanent Link: http://hdl.handle.net/11104/0217724 - 3.0369573 - ÚI 2014 DE eng C - Conference Paper (international conference)
Š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 - others:GA AV ČR(CZ) GAP103/11/1489
Keywords : use-cases * behavior modeling * verification * natural language * label transition system * model-checking * requirements engineering * temporal logic
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0203603File Download Size Commentary Version Access a0369573.pdf 0 524.2 KB Publisher’s postprint require - 4.0369562 - ÚI 2014 GB eng J - Journal Article
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
R&D Projects: GA ČR GCP202/10/J042
Keywords : behavior modeling * verification * model checking * refinement * composition
Impact factor: 0.609, year: 2013
Permanent Link: http://hdl.handle.net/11104/0203594 - 5.0334355 - ÚI 2011 RIV GB eng J - Journal Article
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
R&D Projects: GA AV ČR 1ET400300504
Grant - others:GA MŠk(CZ) 7E08004
Institutional research plan: CEZ:AV0Z10300504
Keywords : components * software verification * model checking
Subject RIV: JC - Computer Hardware ; Software
Impact factor: 0.671, year: 2010
Permanent Link: http://hdl.handle.net/11104/0179113 - 6.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 - 7.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 - 8.0317133 - ÚI 2009 RIV DE eng C - Conference Paper (international conference)
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 - others:GA ČR(CZ) GA201/08/0266; ANR/RNTL(FR) Flex-eWare; Belgian Science Policy(BE) Interuniversity Attraction Poles Programme
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/0166859 - 9.0317131 - ÚI 2009 RIV US eng C - Conference Paper (international conference)
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]
R&D Projects: GA AV ČR 1ET400300504
Institutional research plan: CEZ:AV0Z10300504
Keywords : web services * BPEL * session-oriented interactions * behavior protocols * model checking
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0166858 - 10.0312534 - ÚTIA 2009 RIV NL eng J - Journal Article
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
R&D Projects: GA MŠMT 1M0572
Grant - others:Instituto Nacional de Estadistica(ES) MTM2006-05693
Institutional research plan: CEZ:AV0Z10750506
Keywords : goodness of fit * devergence statistics * GLM * model checking * bootstrap
Subject RIV: BB - Applied Statistics, Operational Research
Impact factor: 0.445, year: 2008
http://library.utia.cas.cz/separaty/2008/SI/hobza-divergence-based%20tests%20for%20model%20diagnostic.pdf
Permanent Link: http://hdl.handle.net/11104/0163576