by Turrini, Andrea
Published in Applied sciences (01.02.2022)

by Fu, Chen, Turrini, Andrea, Huang, Xiaowei, Song, Lei, Feng, Yuan, Zhang, Li-Jun
Published in Journal of computer science and technology (01.09.2023)

by Turrini, Andrea, Hermanns, Holger
Published in Logical methods in computer science (18.12.2014)

by Turrini, Andrea, Hermanns, Holger
Published in Information and computation (01.10.2015)

by Li, Meilun, Turrini, Andrea, Hahn, Ernst Moritz, She, Zhikun, Zhang, Lijun
Published in IEEE transactions on software engineering (01.05.2022)

by Chen, Yu-Fang, Havlena, Vojtěch, Lengál, Ondřej, Turrini, Andrea
Published in The Journal of systems and software (01.07.2023)

by Li, Yi, Li, Xie, Li, Yong, Sun, Xuechao, Turrini, Andrea, Zhang, Lijun
Published in Theoretical computer science (31.10.2022)

by Feng, Weizhi, Li, Yong, Turrini, Andrea, Vardi, Moshe Y., Zhang, Lijun
Published in Information and computation (01.06.2023)

by Eisentraut, Christian, Hermanns, Holger, Schuster, Johann, Turrini, Andrea, Zhang, Lijun
Published in Information and computation (01.10.2018)

by TURRINI ANDREA, LANZONI DANIELE, WURM CHRISTIAN, RUGGERI ALESSANDRO, DE SIMONE CLAUDIO
Year of Publication 22.08.2023

by TURRINI ANDREA, LANZONI DANIELE, WURM CHRISTIAN, RUGGERI ALESSANDRO, DE SIMONE CLAUDIO
Year of Publication 22.08.2023

by TURRINI ANDREA, LANZONI DANIELE, WURM CHRISTIAN, RUGGERI ALESSANDRO, DE SIMONE CLAUDIO
Year of Publication 22.08.2023

by Budde, Carlos E., Dehnert, Christian, Hahn, Ernst Moritz, Hartmanns, Arnd, Junges, Sebastian, Turrini, Andrea
Published in Tools and Algorithms for the Construction and Analysis of Systems (2017)

by Li, Yong, Turrini, Andrea, Zhang, Lijun, Schewe, Sven
Published in Verification, Model Checking, and Abstract Interpretation (29.12.2017)

by Gebler, Daniel, Hashemi, Vahid, Turrini, Andrea
Published in Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems (2014)

by Budde, Carlos E., Hartmanns, Arnd, Klauck, Michaela, Křetínský, Jan, Parker, David, Quatmann, Tim, Turrini, Andrea, Zhang, Zhen
Published in Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends (2021)

by Ferrer Fioriti, Luis María, Hashemi, Vahid, Hermanns, Holger, Turrini, Andrea
Published in Formal aspects of computing (01.03.2016)

by Fu, Chen, Hahn, Ernst Moritz, Li, Yong, Schewe, Sven, Sun, Meng, Turrini, Andrea, Zhang, Lijun
Published in Verification, Model Checking, and Abstract Interpretation (2022)

by Hahn, Ernst Moritz, Hashemi, Vahid, Hermanns, Holger, Lahijanian, Morteza, Turrini, Andrea
Published in Quantitative Evaluation of Systems (2017)

by Li, Yi, Sun, Xuechao, Li, Yong, Turrini, Andrea, Zhang, Lijun
Published in Formal Methods and Software Engineering (2019)