Pavel Jancík

According to our database, Pavel Jancík authored at least 6 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Exploiting partial variable assignment in interpolation-based model checking.

Pavel Jancík, Jan Kofron, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina

Formal Methods Syst. Des., 2019

2017

On partial state matching.

Pavel Jancík, Jan Kofron

Formal Aspects Comput., 2017

2016

Dead variable analysis for multi-threaded heap manipulating programs.

Pavel Jancík, Jan Kofron

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

PVAIR: Partial Variable Assignment InterpolatoR.

Pavel Jancík, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina

Proceedings of the Fundamental Approaches to Software Engineering, 2016

2014

Approximating happens-before order: interplay between static analysis and state space traversal.

Pavel Parízek, Pavel Jancík

Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

On interpolants and variable assignments.

Pavel Jancík, Jan Kofron, Simone Fulvio Rollini, Natasha Sharygina

Proceedings of the Formal Methods in Computer-Aided Design, 2014