BibTeX records: Aleksandar Chakarov

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Aleksandar Chakarov

download as .bib file

@inproceedings{DBLP:conf/tacas/ChakarovFRR22,
  author       = {Aleksandar Chakarov and
                  Aleksandr Fedchin and
                  Zvonimir Rakamaric and
                  Neha Rungta},
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {Better Counterexamples for Dafny},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13243},
  pages        = {404--411},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99524-9\_23},
  doi          = {10.1007/978-3-030-99524-9\_23},
  timestamp    = {Fri, 29 Apr 2022 14:50:36 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/ChakarovFRR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icsm/CiborowskaCP21,
  author       = {Agnieszka Ciborowska and
                  Aleksandar Chakarov and
                  Rahul Pandita},
  title        = {Contemporary {COBOL:} Developers' Perspectives on Defects and Defect
                  Location},
  booktitle    = {{IEEE} International Conference on Software Maintenance and Evolution,
                  {ICSME} 2021, Luxembourg, September 27 - October 1, 2021},
  pages        = {227--238},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ICSME52107.2021.00027},
  doi          = {10.1109/ICSME52107.2021.00027},
  timestamp    = {Mon, 29 Nov 2021 16:15:48 +0100},
  biburl       = {https://dblp.org/rec/conf/icsm/CiborowskaCP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2105-01830,
  author       = {Agnieszka Ciborowska and
                  Aleksandar Chakarov and
                  Rahul Pandita},
  title        = {Contemporary {COBOL:} Developers' Perspectives on Defects and Defect
                  Location},
  journal      = {CoRR},
  volume       = {abs/2105.01830},
  year         = {2021},
  url          = {https://arxiv.org/abs/2105.01830},
  eprinttype    = {arXiv},
  eprint       = {2105.01830},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2105-01830.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/PanditaBBCR18,
  author       = {Rahul Pandita and
                  Steven Bucuvalas and
                  Hugolin Bergier and
                  Aleksandar Chakarov and
                  Elizabeth Richards},
  title        = {Towards {J.A.R.V.I.S.} for Software Engineering: Lessons Learned in
                  Implementing a Natural Language Chat Interface},
  booktitle    = {The Workshops of the The Thirty-Second {AAAI} Conference on Artificial
                  Intelligence, New Orleans, Louisiana, USA, February 2-7, 2018},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-18}},
  pages        = {779--782},
  publisher    = {{AAAI} Press},
  year         = {2018},
  url          = {https://aaai.org/ocs/index.php/WS/AAAIW18/paper/view/16653},
  timestamp    = {Mon, 04 Sep 2023 16:46:41 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/PanditaBBCR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/MeierCRMC17,
  author       = {Shawn Meier and
                  Aleksandar Chakarov and
                  Maxwell Russek and
                  Sergio Mover and
                  Bor{-}Yuh Evan Chang},
  title        = {Abstracting Event-Driven Systems with Lifestate Rules},
  journal      = {CoRR},
  volume       = {abs/1701.00161},
  year         = {2017},
  url          = {http://arxiv.org/abs/1701.00161},
  eprinttype    = {arXiv},
  eprint       = {1701.00161},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MeierCRMC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jalc/Blanchet-SadriC16,
  author       = {Francine Blanchet{-}Sadri and
                  Aleksandar Chakarov and
                  Bob Chen and
                  Lucas Manuelli and
                  Sinziana Munteanu and
                  Jarett Schwartz and
                  Slater Stich},
  title        = {Recurrent Partial Words and Representable Sets},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {21},
  number       = {3},
  pages        = {149--181},
  year         = {2016},
  url          = {https://doi.org/10.25596/jalc-2016-149},
  doi          = {10.25596/JALC-2016-149},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jalc/Blanchet-SadriC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/BouissouGPCS16,
  author       = {Olivier Bouissou and
                  Eric Goubault and
                  Sylvie Putot and
                  Aleksandar Chakarov and
                  Sriram Sankaranarayanan},
  editor       = {Marsha Chechik and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {Uncertainty Propagation Using Probabilistic Affine Forms and Concentration
                  of Measure Inequalities},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 22nd International Conference, {TACAS} 2016, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9636},
  pages        = {225--243},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-662-49674-9\_13},
  doi          = {10.1007/978-3-662-49674-9\_13},
  timestamp    = {Fri, 06 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/BouissouGPCS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/ChakarovVS16,
  author       = {Aleksandar Chakarov and
                  Yuen{-}Lam Voronin and
                  Sriram Sankaranarayanan},
  editor       = {Marsha Chechik and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {Deductive Proofs of Almost Sure Persistence and Recurrence Properties},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 22nd International Conference, {TACAS} 2016, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9636},
  pages        = {260--279},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-662-49674-9\_15},
  doi          = {10.1007/978-3-662-49674-9\_15},
  timestamp    = {Fri, 06 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/ChakarovVS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/ChakarovNRSV16,
  author       = {Aleksandar Chakarov and
                  Aditya V. Nori and
                  Sriram K. Rajamani and
                  Shayak Sen and
                  Deepak Vijaykeerthy},
  title        = {Debugging Machine Learning Tasks},
  journal      = {CoRR},
  volume       = {abs/1603.07292},
  year         = {2016},
  url          = {http://arxiv.org/abs/1603.07292},
  eprinttype    = {arXiv},
  eprint       = {1603.07292},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/ChakarovNRSV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/ChakarovS14,
  author       = {Aleksandar Chakarov and
                  Sriram Sankaranarayanan},
  editor       = {Markus M{\"{u}}ller{-}Olm and
                  Helmut Seidl},
  title        = {Expectation Invariants for Probabilistic Program Loops as Fixed Points},
  booktitle    = {Static Analysis - 21st International Symposium, {SAS} 2014, Munich,
                  Germany, September 11-13, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8723},
  pages        = {85--100},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10936-7\_6},
  doi          = {10.1007/978-3-319-10936-7\_6},
  timestamp    = {Fri, 06 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/ChakarovS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ChakarovS13,
  author       = {Aleksandar Chakarov and
                  Sriram Sankaranarayanan},
  editor       = {Natasha Sharygina and
                  Helmut Veith},
  title        = {Probabilistic Program Analysis with Martingales},
  booktitle    = {Computer Aided Verification - 25th International Conference, {CAV}
                  2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8044},
  pages        = {511--526},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39799-8\_34},
  doi          = {10.1007/978-3-642-39799-8\_34},
  timestamp    = {Wed, 07 Dec 2022 23:12:58 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/ChakarovS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/GivensCSY04,
  author       = {Paul Givens and
                  Aleksandar Chakarov and
                  Sriram Sankaranarayanan and
                  Tom Yeh},
  editor       = {David Notkin and
                  Betty H. C. Cheng and
                  Klaus Pohl},
  title        = {Exploring the internal state of user interfaces by combining computer
                  vision techniques with grammatical inference},
  booktitle    = {35th International Conference on Software Engineering, {ICSE} '13,
                  San Francisco, CA, USA, May 18-26, 2013},
  pages        = {1165--1168},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICSE.2013.6606669},
  doi          = {10.1109/ICSE.2013.6606669},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/GivensCSY04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/SankaranarayananCG13,
  author       = {Sriram Sankaranarayanan and
                  Aleksandar Chakarov and
                  Sumit Gulwani},
  editor       = {Hans{-}Juergen Boehm and
                  Cormac Flanagan},
  title        = {Static analysis for probabilistic programs: inferring whole program
                  properties from finitely many paths},
  booktitle    = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
                  {PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
  pages        = {447--458},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2491956.2462179},
  doi          = {10.1145/2491956.2462179},
  timestamp    = {Fri, 06 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/SankaranarayananCG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jda/Blanchet-SadriCC12,
  author       = {Francine Blanchet{-}Sadri and
                  Bob Chen and
                  Aleksandar Chakarov},
  title        = {Number of holes in unavoidable sets of partial words {I}},
  journal      = {J. Discrete Algorithms},
  volume       = {14},
  pages        = {55--64},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.jda.2011.12.001},
  doi          = {10.1016/J.JDA.2011.12.001},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jda/Blanchet-SadriCC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Blanchet-SadriCMSS12,
  author       = {Francine Blanchet{-}Sadri and
                  Aleksandar Chakarov and
                  Lucas Manuelli and
                  Jarett Schwartz and
                  Slater Stich},
  title        = {Constructing partial words with subword complexities not achievable
                  by full words},
  journal      = {Theor. Comput. Sci.},
  volume       = {432},
  pages        = {21--27},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2012.01.039},
  doi          = {10.1016/J.TCS.2012.01.039},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Blanchet-SadriCMSS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/ChakarovSF11,
  author       = {Aleksandar Chakarov and
                  Sriram Sankaranarayanan and
                  Georgios Fainekos},
  editor       = {Sarfraz Khurshid and
                  Koushik Sen},
  title        = {Combining Time and Frequency Domain Specifications for Periodic Signals},
  booktitle    = {Runtime Verification - Second International Conference, {RV} 2011,
                  San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7186},
  pages        = {294--309},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-29860-8\_22},
  doi          = {10.1007/978-3-642-29860-8\_22},
  timestamp    = {Fri, 13 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/ChakarovSF11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1108-3623,
  author       = {Francine Blanchet{-}Sadri and
                  Aleksandar Chakarov and
                  Lucas Manuelli and
                  Jarett Schwartz and
                  Slater Stich},
  editor       = {Petr Ambroz and
                  Stepan Holub and
                  Zuzana Mas{\'{a}}kov{\'{a}}},
  title        = {Recurrent Partial Words},
  booktitle    = {Proceedings 8th International Conference Words 2011, Prague, Czech
                  Republic, 12-16th September 2011},
  series       = {{EPTCS}},
  volume       = {63},
  pages        = {71--82},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.63.11},
  doi          = {10.4204/EPTCS.63.11},
  timestamp    = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-3623.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwoca/Blanchet-SadriCC10,
  author       = {Francine Blanchet{-}Sadri and
                  Bob Chen and
                  Aleksandar Chakarov},
  editor       = {Costas S. Iliopoulos and
                  William F. Smyth},
  title        = {Minimum Number of Holes in Unavoidable Sets of Partial Words of Size
                  Three},
  booktitle    = {Combinatorial Algorithms - 21st International Workshop, {IWOCA} 2010,
                  London, UK, July 26-28, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6460},
  pages        = {43--55},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-19222-7\_6},
  doi          = {10.1007/978-3-642-19222-7\_6},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/iwoca/Blanchet-SadriCC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ACMse/GolbusMPSC09,
  author       = {Peter B. Golbus and
                  Robert W. McGrail and
                  Tomasz Przytycki and
                  Mary Sharac and
                  Aleksandar Chakarov},
  editor       = {John D. McGregor},
  title        = {Tricolorable torus knots are NP-complete},
  booktitle    = {Proceedings of the 47th Annual Southeast Regional Conference, 2009,
                  Clemson, South Carolina, USA, March 19-21, 2009},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1566445.1566503},
  doi          = {10.1145/1566445.1566503},
  timestamp    = {Fri, 12 Mar 2021 15:27:48 +0100},
  biburl       = {https://dblp.org/rec/conf/ACMse/GolbusMPSC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.