Login / Signup
Jakub Daniel
ORCID
Publication Activity (10 Years)
Years Active: 2012-2016
Publications (10 Years): 1
Top Topics
Java Applets
Linked Data
Execution Environment
Logic Rules
Top Venues
WISE
ICCSW
CAV (1)
ACM SIGSOFT Softw. Eng. Notes
</>
Publications
</>
Jakub Daniel
,
Alessandro Cimatti
,
Alberto Griggio
,
Stefano Tonetta
,
Sergio Mover
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations.
CAV (1)
(2016)
Jakub Daniel
,
Pavel Parízek
PANDA: Simultaneous Predicate Abstraction and Concrete Execution.
Haifa Verification Conference
(2015)
Jakub Daniel
,
Pavel Parízek
,
Corina S. Pasareanu
Predicate abstraction in Java Pathfinder.
ACM SIGSOFT Softw. Eng. Notes
39 (1) (2014)
Jakub Daniel
,
Pavel Parízek
Predicate Abstraction in Program Verification: Survey and Current Trends.
ICCSW
(2014)
Tomás Knap
,
Jan Michelfeit
,
Jakub Daniel
,
Petr Jerman
,
Dusan Rychnovský
,
Tomás Soukup
,
Martin Necaský
ODCleanStore: A Framework for Managing and Providing Integrated Linked Data on the Web.
WISE
(2012)