Andrea Turrini
Orcid: 0000-0003-4343-9323Affiliations:
- Chinese Academy of Sciences, Institute of Software, State Key Laboratory of Computer Science. Beijing, China
- Saarland University, Department of Computer Science, Germany
According to our database1,
Andrea Turrini
authored at least 59 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
2023
J. Comput. Sci. Technol., September, 2023
A symbolic algorithm for the case-split rule in solving word constraints with extensions.
J. Syst. Softw., July, 2023
Dataset, July, 2023
A Symbolic Algorithm for the Case-Split Rule in Solving Word Constraints with Extensions (Technical Report).
CoRR, 2023
CoRR, 2023
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Proceedings of the Automated Technology for Verification and Analysis, 2023
2022
Artifact for the CAV'22 paper "Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition".
Dataset, May, 2022
Artifact for the CAV'22 paper "Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition".
Dataset, May, 2022
IEEE Trans. Software Eng., 2022
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022
Proceedings of the Computer Aided Verification - 34th International Conference, 2022
2021
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Proceedings of the Formal Methods - 24th International Symposium, 2021
2020
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2020
On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020
Proceedings of the Automated Technology for Verification and Analysis, 2020
Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020
2019
Interval Markov Decision Processes with Multiple Objectives: From Robust Strategies to Pareto Curves.
ACM Trans. Model. Comput. Simul., 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the Formal Methods and Software Engineering, 2019
2018
Inf. Comput., 2018
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018
Proceedings of the Engineering Trustworthy Software Systems - 4th International School, 2018
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
2017
Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017
Proceedings of the 28th International Conference on Concurrency Theory, 2017
2016
Formal Aspects Comput., 2016
An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016
Proceedings of the Language and Automata Theory and Applications, 2016
Proceedings of the Computer Aided Verification - 28th International Conference, 2016
2015
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015
Proceedings of the FM 2015: Formal Methods, 2015
Proceedings of the 26th International Conference on Concurrency Theory, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
Log. Methods Comput. Sci., 2014
Proceedings of the FM 2014: Formal Methods, 2014
2013
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013
2012
Proceedings of the Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, 2012
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012
2010
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010
2009
PhD thesis, 2009
A quantitative doxastic logic for probabilistic processes and applications to information-hiding.
J. Appl. Non Class. Logics, 2009
2007
Approximated Computationally Bounded Simulation Relations for Probabilistic Automata.
Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007
2005
Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models.
Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005