BibTeX records: Jakub Daniel

download as .bib file

@inproceedings{DBLP:conf/cav/DanielCGTM16,
  author    = {Jakub Daniel and
               Alessandro Cimatti and
               Alberto Griggio and
               Stefano Tonetta and
               Sergio Mover},
  title     = {Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded
               Relations},
  booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
               2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  pages     = {271--291},
  year      = {2016},
  crossref  = {DBLP:conf/cav/2016-1},
  url       = {https://doi.org/10.1007/978-3-319-41528-4\_15},
  doi       = {10.1007/978-3-319-41528-4\_15},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/DanielCGTM16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/DanielP15,
  author    = {Jakub Daniel and
               Pavel Parizek},
  title     = {{PANDA:} Simultaneous Predicate Abstraction and Concrete Execution},
  booktitle = {Hardware and Software: Verification and Testing - 11th International
               Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
               17-19, 2015, Proceedings},
  pages     = {87--103},
  year      = {2015},
  crossref  = {DBLP:conf/hvc/2015},
  url       = {https://doi.org/10.1007/978-3-319-26287-1\_6},
  doi       = {10.1007/978-3-319-26287-1\_6},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hvc/DanielP15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/BallD15,
  author    = {Thomas Ball and
               Jakub Daniel},
  title     = {Deconstructing Dynamic Symbolic Execution},
  booktitle = {Dependable Software Systems Engineering},
  pages     = {26--41},
  year      = {2015},
  crossref  = {DBLP:series/natosec/40},
  url       = {https://doi.org/10.3233/978-1-61499-495-4-26},
  doi       = {10.3233/978-1-61499-495-4-26},
  timestamp = {Tue, 16 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/series/natosec/BallD15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/DanielPP14,
  author    = {Jakub Daniel and
               Pavel Parizek and
               Corina S. Pasareanu},
  title     = {Predicate abstraction in Java Pathfinder},
  journal   = {{ACM} {SIGSOFT} Software Engineering Notes},
  volume    = {39},
  number    = {1},
  pages     = {1--5},
  year      = {2014},
  url       = {https://doi.org/10.1145/2557833.2560573},
  doi       = {10.1145/2557833.2560573},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sigsoft/DanielPP14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsw/DanielP14,
  author    = {Jakub Daniel and
               Pavel Parizek},
  title     = {Predicate Abstraction in Program Verification: Survey and Current
               Trends},
  booktitle = {2014 Imperial College Computing Student Workshop, {ICCSW} 2014, September
               25-26, 2014, London, United Kingdom},
  pages     = {27--35},
  year      = {2014},
  crossref  = {DBLP:conf/iccsw/2014},
  url       = {https://doi.org/10.4230/OASIcs.ICCSW.2014.27},
  doi       = {10.4230/OASIcs.ICCSW.2014.27},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccsw/DanielP14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wise/KnapMDJRSN12,
  author    = {Tom{\'{a}}s Knap and
               Jan Michelfeit and
               Jakub Daniel and
               Petr Jerman and
               Dusan Rychnovsk{\'{y}} and
               Tom{\'{a}}s Soukup and
               Martin Necask{\'{y}}},
  title     = {ODCleanStore: {A} Framework for Managing and Providing Integrated
               Linked Data on the Web},
  booktitle = {Web Information Systems Engineering - {WISE} 2012 - 13th International
               Conference, Paphos, Cyprus, November 28-30, 2012. Proceedings},
  pages     = {815--816},
  year      = {2012},
  crossref  = {DBLP:conf/wise/2012},
  url       = {https://doi.org/10.1007/978-3-642-35063-4\_74},
  doi       = {10.1007/978-3-642-35063-4\_74},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wise/KnapMDJRSN12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2016-1,
  editor    = {Swarat Chaudhuri and
               Azadeh Farzan},
  title     = {Computer Aided Verification - 28th International Conference, {CAV}
               2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9779},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-41528-4},
  doi       = {10.1007/978-3-319-41528-4},
  isbn      = {978-3-319-41527-7},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2016-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hvc/2015,
  editor    = {Nir Piterman},
  title     = {Hardware and Software: Verification and Testing - 11th International
               Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
               17-19, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9434},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-26287-1},
  doi       = {10.1007/978-3-319-26287-1},
  isbn      = {978-3-319-26286-4},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hvc/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/natosec/40,
  editor    = {Maximilian Irlbeck and
               Doron A. Peled and
               Alexander Pretschner},
  title     = {Dependable Software Systems Engineering},
  series    = {{NATO} Science for Peace and Security Series, {D:} Information and
               Communication Security},
  volume    = {40},
  publisher = {{IOS} Press},
  year      = {2015},
  isbn      = {978-1-61499-494-7},
  timestamp = {Fri, 12 Feb 2016 07:36:54 +0100},
  biburl    = {https://dblp.org/rec/bib/series/natosec/40},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccsw/2014,
  editor    = {Rumyana Neykova and
               Nicholas Ng},
  title     = {2014 Imperial College Computing Student Workshop, {ICCSW} 2014, September
               25-26, 2014, London, United Kingdom},
  series    = {{OASICS}},
  volume    = {43},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2014},
  isbn      = {978-3-939897-76-7},
  timestamp = {Fri, 14 Nov 2014 14:57:46 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccsw/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wise/2012,
  editor    = {Xiaoyang Sean Wang and
               Isabel F. Cruz and
               Alex Delis and
               Guangyan Huang},
  title     = {Web Information Systems Engineering - {WISE} 2012 - 13th International
               Conference, Paphos, Cyprus, November 28-30, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7651},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-35063-4},
  doi       = {10.1007/978-3-642-35063-4},
  isbn      = {978-3-642-35062-7},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wise/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics