by Mitra, Eshan D., Suderman, Ryan, Colvin, Joshua, Ionkov, Alexander, Hu, Andrew, Sauro, Herbert M., Posner, Richard G., Hlavacek, William S.
Published in iScience (27.09.2019)

by Hnatkowska, Bogumila, Zabawa, Piotr
Published in 2023 18th Conference on Computer Science and Intelligence Systems (FedCSIS) (2023)

by Viriyasitavat, Wattana, Xu, Li Da, Bi, Zhuming, Sapsomboon, Assadaporn
Published in Enterprise information systems (28.05.2018)

by Novikov, F. A., Novoseltsev, V. B.
Published in Programming and computer software (01.01.2010)

by Evered, Mark
Published in International journal of cyber-security and digital forensics (01.04.2012)

by Zhora, Victor, Synetskyi, Oleksandr
Published in Technology audit and production reserves (Online) (30.04.2021)

by Bijon, Khalid Zaman, Krishnan, Ram, Sandhu, Ravi
Published in 2013 International Conference on Social Computing (01.09.2013)

by Klimov, Denis, Shahar, Yuval, Taieb-Maimon, Meirav
Published in Journal of intelligent information systems (01.10.2010)

by Lin, Hsien-I, Chiang, Y. P.
Published in International journal of advanced robotic systems (06.05.2015)

by Hoshino, Kenji P
Published in AACE International transactions (01.01.2006)

by Sinha, Avik, Smidts, Carol
Published in Empirical software engineering : an international journal (01.06.2006)

by Baquero, Pablo Marcello, Amariles, David Restrepo, Amyot, Daniel, Anda, Amal Ahmed, Bayirli, Mustafa, Logrippo, Luigi, Lopes, Alberto, Mylopoulos, John, Parvizimosaed, Alireza, Rasti, Aidin, Roveri, Marco
Published in Artificial intelligence and law (10.07.2025)

by Zimmerman, M.K., Lundqvist, K., Leveson, N.
Published in Software Engineering, 24th International Conference on ICSE 2002: IEEE Computer Society (2002)

by Hammoud, Dalal, Zaraket, Fadi A., Masri, Wes
Published in Software testing, verification & reliability (01.12.2017)

by Zimmerman, Marc K., Lundqvist, Kristina, Leveson, Nancy
Published in Proceedings - International Conference on Software Engineering (01.01.2002)

by Wang, Bing-Yun, Yen, Yi-Chun, Cheng, Yu Chin
Published in Applied sciences (01.01.2023)

by Hou, Yunfeng, Li, Qingdu, Ji, Yunfeng, Wang, Gang, Weng, Ching-Yen
Published in IEEE transactions on control of network systems (01.09.2023)

by Blanchette, Jasmin Christian, Popescu, Andrei, Traytel, Dmitriy
Published in Journal of automated reasoning (01.01.2017)

by WESTPHAL, OLIVER, VOIGTLÄNDER, JANIS
Published in Journal of functional programming (08.09.2025)

by Chen, Xiaohong, Zhang, Juan, Jin, Zhi, Zhang, Min, Li, Tong, Chen, Xiang, Zhou, Tingliang
Published in IEEE transactions on intelligent transportation systems (01.12.2023)