BibTeX records: Nestan Tsiskaridze

download as .bib file

@inproceedings{DBLP:conf/atva/TsiskaridzeBMBS18,
  author    = {Nestan Tsiskaridze and
               Lucas Bang and
               Joseph McMahan and
               Tevfik Bultan and
               Timothy Sherwood},
  title     = {Information Leakage in Arbiter Protocols},
  booktitle = {Automated Technology for Verification and Analysis - 16th International
               Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018,
               Proceedings},
  pages     = {404--421},
  year      = {2018},
  crossref  = {DBLP:conf/atva/2018},
  url       = {https://doi.org/10.1007/978-3-030-01090-4\_24},
  doi       = {10.1007/978-3-030-01090-4\_24},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/TsiskaridzeBMBS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BrennanTRAB17,
  author    = {Tegan Brennan and
               Nestan Tsiskaridze and
               Nicol{\'{a}}s Rosner and
               Abdulbaki Aydin and
               Tevfik Bultan},
  title     = {Constraint normalization and parameterized caching for quantitative
               program analysis},
  booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
               Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
  pages     = {535--546},
  year      = {2017},
  crossref  = {DBLP:conf/sigsoft/2017},
  url       = {https://doi.org/10.1145/3106237.3106303},
  doi       = {10.1145/3106237.3106303},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/BrennanTRAB17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/LiangRTTBD16,
  author    = {Tianyi Liang and
               Andrew Reynolds and
               Nestan Tsiskaridze and
               Cesare Tinelli and
               Clark W. Barrett and
               Morgan Deters},
  title     = {An efficient {SMT} solver for string constraints},
  journal   = {Formal Methods in System Design},
  volume    = {48},
  number    = {3},
  pages     = {206--234},
  year      = {2016},
  url       = {https://doi.org/10.1007/s10703-016-0247-6},
  doi       = {10.1007/s10703-016-0247-6},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fmsd/LiangRTTBD16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotsos/BarrettTDLRT16,
  author    = {Clark W. Barrett and
               Cesare Tinelli and
               Morgan Deters and
               Tianyi Liang and
               Andrew Reynolds and
               Nestan Tsiskaridze},
  title     = {Efficient solving of string constraints for security analysis},
  booktitle = {Proceedings of the Symposium and Bootcamp on the Science of Security,
               Pittsburgh, PA, USA, April 19-21, 2016},
  pages     = {4--6},
  year      = {2016},
  crossref  = {DBLP:conf/hotsos/2016},
  url       = {https://doi.org/10.1145/2898375.2898393},
  doi       = {10.1145/2898375.2898393},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/hotsos/BarrettTDLRT16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/LiangTRTB15,
  author    = {Tianyi Liang and
               Nestan Tsiskaridze and
               Andrew Reynolds and
               Cesare Tinelli and
               Clark W. Barrett},
  title     = {A Decision Procedure for Regular Membership and Length Constraints
               over Unbounded Strings},
  booktitle = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
               2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
  pages     = {135--150},
  year      = {2015},
  crossref  = {DBLP:conf/frocos/2015},
  url       = {https://doi.org/10.1007/978-3-319-24246-0\_9},
  doi       = {10.1007/978-3-319-24246-0\_9},
  timestamp = {Wed, 25 Sep 2019 18:06:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/frocos/LiangTRTB15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tetc/SubramanyanTLGTTSSM14,
  author    = {Pramod Subramanyan and
               Nestan Tsiskaridze and
               Wenchao Li and
               Adri{\`{a}} Gasc{\'{o}}n and
               Wei Yang Tan and
               Ashish Tiwari and
               Natarajan Shankar and
               Sanjit A. Seshia and
               Sharad Malik},
  title     = {Reverse Engineering Digital Circuits Using Structural and Functional
               Analyses},
  journal   = {{IEEE} Trans. Emerging Topics Comput.},
  volume    = {2},
  number    = {1},
  pages     = {63--80},
  year      = {2014},
  url       = {https://doi.org/10.1109/TETC.2013.2294918},
  doi       = {10.1109/TETC.2013.2294918},
  timestamp = {Fri, 01 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tetc/SubramanyanTLGTTSSM14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/YuSTM14,
  author    = {Yinlei Yu and
               Pramod Subramanyan and
               Nestan Tsiskaridze and
               Sharad Malik},
  title     = {All-SAT Using Minimal Blocking Clauses},
  booktitle = {2014 27th International Conference on {VLSI} Design and 2014 13th
               International Conference on Embedded Systems, Mumbai, India, January
               5-9, 2014},
  pages     = {86--91},
  year      = {2014},
  crossref  = {DBLP:conf/vlsid/2014},
  url       = {https://doi.org/10.1109/VLSID.2014.22},
  doi       = {10.1109/VLSID.2014.22},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vlsid/YuSTM14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/SubramanyanTPRSM13,
  author    = {Pramod Subramanyan and
               Nestan Tsiskaridze and
               Kanika Pasricha and
               Dillon Reisman and
               Adriana Susnea and
               Sharad Malik},
  title     = {Reverse engineering digital circuits using functional analysis},
  booktitle = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France,
               March 18-22, 2013},
  pages     = {1277--1280},
  year      = {2013},
  crossref  = {DBLP:conf/date/2013},
  url       = {https://doi.org/10.7873/DATE.2013.264},
  doi       = {10.7873/DATE.2013.264},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/SubramanyanTPRSM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Tsiskaridze11,
  author    = {Nestan Tsiskaridze},
  title     = {Conflict resolution},
  school    = {University of Manchester, {UK}},
  year      = {2011},
  url       = {http://www.manchester.ac.uk/escholar/uk-ac-man-scw:122316},
  timestamp = {Wed, 24 Aug 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/ethos/Tsiskaridze11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/KorovinTV11,
  author    = {Konstantin Korovin and
               Nestan Tsiskaridze and
               Andrei Voronkov},
  title     = {Implementing Conflict Resolution},
  booktitle = {Perspectives of Systems Informatics - 8th International Andrei Ershov
               Memorial Conference, {PSI} 2011, Novosibirsk, Russia, June 27-July
               1, 2011, Revised Selected Papers},
  pages     = {362--376},
  year      = {2011},
  crossref  = {DBLP:conf/ershov/2011},
  url       = {https://doi.org/10.1007/978-3-642-29709-0\_31},
  doi       = {10.1007/978-3-642-29709-0\_31},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ershov/KorovinTV11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/KorovinTV09,
  author    = {Konstantin Korovin and
               Nestan Tsiskaridze and
               Andrei Voronkov},
  title     = {Conflict Resolution},
  booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th
               International Conference, {CP} 2009, Lisbon, Portugal, September 20-24,
               2009, Proceedings},
  pages     = {509--523},
  year      = {2009},
  crossref  = {DBLP:conf/cp/2009},
  url       = {https://doi.org/10.1007/978-3-642-04244-7\_41},
  doi       = {10.1007/978-3-642-04244-7\_41},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/KorovinTV09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2018,
  editor    = {Shuvendu K. Lahiri and
               Chao Wang},
  title     = {Automated Technology for Verification and Analysis - 16th International
               Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11138},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-01090-4},
  doi       = {10.1007/978-3-030-01090-4},
  isbn      = {978-3-030-01089-8},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2017,
  editor    = {Eric Bodden and
               Wilhelm Sch{\"{a}}fer and
               Arie van Deursen and
               Andrea Zisman},
  title     = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
               Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3106237},
  isbn      = {978-1-4503-5105-8},
  timestamp = {Wed, 16 Aug 2017 07:56:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hotsos/2016,
  editor    = {William L. Scherlis and
               David Brumley},
  title     = {Proceedings of the Symposium and Bootcamp on the Science of Security,
               Pittsburgh, PA, USA, April 19-21, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://dl.acm.org/citation.cfm?id=2898375},
  isbn      = {978-1-4503-4277-3},
  timestamp = {Fri, 22 Apr 2016 13:50:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hotsos/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/frocos/2015,
  editor    = {Carsten Lutz and
               Silvio Ranise},
  title     = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
               2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9322},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-24246-0},
  doi       = {10.1007/978-3-319-24246-0},
  isbn      = {978-3-319-24245-3},
  timestamp = {Wed, 25 Sep 2019 18:06:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/frocos/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vlsid/2014,
  title     = {2014 27th International Conference on {VLSI} Design and 2014 13th
               International Conference on Embedded Systems, Mumbai, India, January
               5-9, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6732243},
  isbn      = {978-1-4799-2513-1},
  timestamp = {Mon, 20 Apr 2015 18:26:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vlsid/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/date/2013,
  editor    = {Enrico Macii},
  title     = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France,
               March 18-22, 2013},
  publisher = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6507370},
  isbn      = {978-1-4503-2153-2},
  timestamp = {Tue, 10 Nov 2015 12:54:15 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/date/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ershov/2011,
  editor    = {Edmund M. Clarke and
               Irina Virbitskaite and
               Andrei Voronkov},
  title     = {Perspectives of Systems Informatics - 8th International Andrei Ershov
               Memorial Conference, {PSI} 2011, Novosibirsk, Russia, June 27-July
               1, 2011, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7162},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-29709-0},
  doi       = {10.1007/978-3-642-29709-0},
  isbn      = {978-3-642-29708-3},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ershov/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/2009,
  editor    = {Ian P. Gent},
  title     = {Principles and Practice of Constraint Programming - {CP} 2009, 15th
               International Conference, {CP} 2009, Lisbon, Portugal, September 20-24,
               2009, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5732},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04244-7},
  doi       = {10.1007/978-3-642-04244-7},
  isbn      = {978-3-642-04243-0},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics