by De Giacomo, Giuseppe, Ternovska, Eugenia, Reiter, Ray
Published in Annals of mathematics and artificial intelligence (01.06.2020)

by Dax, Alexander, Kunnemann, Robert, Tangermann, Sven, Backes, Michael
Published in Proceedings (IEEE Computer Security Foundations Symposium) (01.06.2019)

by Nocco, Sergio, Quer, Stefano
Published in Journal on satisfiability, Boolean modeling and computation (01.02.2009)

by Ihsan, A., Saghar, K., Fatima, T.
Published in 2015 12th International Bhurban Conference on Applied Sciences and Technology (IBCAST) (01.01.2015)

by Madkour, Mohcine, Butler, Keith, Mercer, Eric, Bahrami, Ali, Tao, Cui
Year of Publication 04.08.2020

by Zhao, Hanrui, Zeng, Xia, Qi, Niuniu, Yang, Zhengfeng, Zeng, Zhenbing
Published in 2023 60th ACM/IEEE Design Automation Conference (DAC) (09.07.2023)

by Garanina, N. O., Anureev, I. S., Borovikova, O. I., Zyubin, V. E.
Published in Automatic control and computer sciences (01.12.2020)

by Wisniewski, Remigiusz, Grobelna, Iwona
Published in Journal of circuits, systems, and computers (15.06.2018)

by Haesaert, S., Van den Hof, P. M. J., Abate, A.
Published in 2016 European Control Conference (ECC) (01.06.2016)

by Yuqing Sun, Qihua Wang, Ninghui Li, Bertino, E., Atallah, M. J.
Published in IEEE transactions on dependable and secure computing (01.11.2011)

by Chang, Chip-Hong, Cao, Yuan
Year of Publication 2021

by Kornai, András
Published in Journal of experimental & theoretical artificial intelligence (03.07.2014)

by Corradini, Flavio, Polini, Andrea, Polzonetti, Alberto, Re, Barbara
Published in Information systems management (01.01.2010)

by Akella, Prithvi, Rosolia, Ugo, Singletary, Andrew, Ames, Aaron D
Published in arXiv.org (27.09.2020)

by Grimm, Tomas, Lettnin, Djones, Hubner, Michael
Published in Proceedings / IEEE Computer Society Annual Symposium on VLSI (01.07.2017)

by PIXLEY CARL P, JAIN HIMANSHU, BJESSE PER M
Year of Publication 30.07.2015

Published in Computer Aided Verification (2021)

by Ghezzi, Carlo, Menghi, Claudio, Molzam Sharifloo, Amir, Spoletini, Paola
Published in Requirements engineering (01.09.2014)

by Ireland, Murray L, Hoffmann, Ruth, Miller, Alice, Norman, Gethin, Veres, Sandor M
Year of Publication 01.09.2016

by Madkour, Mohcine, Butler, Keith, Mercer, Eric, Bahrami, Ali, Cui Tao
Published in arXiv.org (04.08.2020)