Author of the publication

Verification of ArchiMate process specifications based on deductive temporal reasoning.

, and . FedCSIS, page 1103-1110. (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Contribution of the INSIGMA Project to the Field of Intelligent Transportation Systems., , , , , , , , , and . MCSS, volume 429 of Communications in Computer and Information Science, page 58-72. Springer, (2014)Combining Fuzzy Cognitive Maps and Discrete Random Variables.. ICAISC (1), volume 9692 of Lecture Notes in Computer Science, page 344-355. Springer, (2016)SOAROAD: An Ontology of Architectural Decisions Supporting Assessment of Service Oriented Architectures., , , and . Informatica (Slovenia), (2014)Efficiency of formal verification of ArchiMate business processes with NuSMV model checker.. FedCSIS, volume 5 of Annals of Computer Science and Information Systems, page 1427-1436. IEEE, (2015)Belief Propagation during Data Integration in a P2P Network.. ICAISC (1), volume 8467 of Lecture Notes in Computer Science, page 805-816. Springer, (2014)A new lightweight method for security risk assessment based on fuzzy cognitive maps., and . Int. J. Appl. Math. Comput. Sci., 24 (1): 213-225 (2014)Risk assessment for a video surveillance system based on Fuzzy Cognitive Maps., , and . Multimedia Tools Appl., 75 (17): 10667-10690 (2016)Learning Fuzzy Cognitive Map for Traffic Prediction Using an Evolutionary Algorithm., and . MCSS, volume 566 of Communications in Computer and Information Science, page 195-209. Springer, (2015)Enhancing Concept Extraction from Polish Texts with Rule Management.. BDAS, volume 613 of Communications in Computer and Information Science, page 341-356. Springer, (2016)Video Event Recognition with Fuzzy Semantic Petri Nets.. ICMMI, volume 242 of Advances in Intelligent Systems and Computing, page 431-439. Springer, (2013)