Jakub Daniel

PhD Student
E-mail: daniel@d3s.mff.cuni.cz
Office: room 309, 3rd floor
Jakub Daniel photo

Research

Publications

  1. J. Daniel, A. Cimatti, A. Griggio, S. Tonetta, and S. Mover. Infinite-state liveness-to-safety via implicit abstraction and well-founded relations. In Proceedings of CAV 2016, Springer, Jul 2016
  2. J. Daniel and P. Parízek. PANDA: Simultaneous Predicate Abstraction and Concrete Execution. In Proceedings of HVC 2015, Springer, Nov 2015
  3. J. Daniel and P. Parízek. Predicate Abstraction in Program Verification: Survey and Current Trends. In Proceedings of ICCSW 2014, OASIcs, Sept 2014
  4. J. Daniel, P. Parízek, and C. Păsăreanu. Predicate Abstraction in Java Pathfinder. In Proceedings of JPFW 2013, ACM SIGSOFT Software Engineering Notes, Nov 2013

Software

Teaching

Labs

Logo of Faculty of Mathematics and Physics
  • Phone: +420 951 554 267, +420 951 554 236
  • Email: info<at-sign>d3s.mff.cuni.cz
  •  
  • How to find us?
Modified on 2016-11-09