Andrea Turrini

A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving

Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál, 2020, APLAS.

Probabilistic Preference Planning Problem for Markov Decision Processes

Zhikun She, Lijun Zhang, Ernst Moritz Hahn, 2020, IEEE Transactions on Software Engineering.

Proving Non-Inclusion of Büchi Automata based on Monte Carlo Sampling pdf

Lijun Zhang, Yong Li, Andrea Turrini, 2020, ATVA.

SVMRanker: a general termination analysis framework of loop programs via SVM

Lijun Zhang, Yi Li, Xie Li, 2020, ESEC/SIGSOFT FSE.

Hierarchical and compositional verification of cryptographic protocols

Andrea Turrini, 2009 .