Jakub Daniel

According to our database, Jakub Daniel authored at least 6 papers between 2012 and 2016.

Collaborative distances:

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

2016

Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations.

Jakub Daniel, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Sergio Mover

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Deconstructing Dynamic Symbolic Execution.

Thomas Ball, Jakub Daniel

Proceedings of the Dependable Software Systems Engineering, 2015

PANDA: Simultaneous Predicate Abstraction and Concrete Execution.

Jakub Daniel, Pavel Parízek

Proceedings of the Hardware and Software: Verification and Testing, 2015

2014

Predicate abstraction in Java Pathfinder.

Jakub Daniel, Pavel Parízek, Corina S. Pasareanu

ACM SIGSOFT Softw. Eng. Notes, 2014

Predicate Abstraction in Program Verification: Survey and Current Trends.

Jakub Daniel, Pavel Parízek

Proceedings of the 2014 Imperial College Computing Student Workshop, 2014

2012

ODCleanStore: A Framework for Managing and Providing Integrated Linked Data on the Web.

Tomás Knap, Jan Michelfeit, Jakub Daniel, Petr Jerman, Dusan Rychnovský, Tomás Soukup, Martin Necaský

Proceedings of the Web Information Systems Engineering - WISE 2012, 2012