Pavle Subotic

According to our database1, Pavle Subotic
  • authored at least 6 papers between 2013 and 2016.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Guiding Craig interpolation with domain-specific abstractions.
Acta Inf., 2016

On fast large-scale program analysis in Datalog.
Proceedings of the 25th International Conference on Compiler Construction, 2016

Soufflé: On Synthesis of Program Analyzers.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2014
Horn Clauses for Communicating Timed Systems.
Proceedings of the Proceedings First Workshop on Horn Clauses for Verification and Synthesis, 2014

2013
Logico-Numerical Max-Strategy Iteration.
Proceedings of the Verification, 2013

Exploring interpolants.
Proceedings of the Formal Methods in Computer-Aided Design, 2013


  Loading...