BibTeX records: Umang Mathur

download as .bib file

@inproceedings{DBLP:conf/cav/FanMM018,
  author    = {Chuchu Fan and
               Umang Mathur and
               Sayan Mitra and
               Mahesh Viswanathan},
  title     = {Controller Synthesis Made Real: Reach-Avoid Specifications and Linear
               Dynamics},
  booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
               2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
               UK, July 14-17, 2018, Proceedings, Part {I}},
  pages     = {347--366},
  year      = {2018},
  crossref  = {DBLP:conf/cav/2018-1},
  url       = {https://doi.org/10.1007/978-3-319-96145-3\_19},
  doi       = {10.1007/978-3-319-96145-3\_19},
  timestamp = {Sat, 11 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/FanMM018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-08427,
  author    = {Dileep Kini and
               Umang Mathur and
               Mahesh Viswanathan},
  title     = {Data Race Detection on Compressed Traces},
  journal   = {CoRR},
  volume    = {abs/1807.08427},
  year      = {2018},
  url       = {http://arxiv.org/abs/1807.08427},
  archivePrefix = {arXiv},
  eprint    = {1807.08427},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1807-08427},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GasconTCM17,
  author    = {Adri{\`{a}} Gasc{\'{o}}n and
               Ashish Tiwari and
               Brent Carmer and
               Umang Mathur},
  title     = {Look for the Proof to Find the Program: Decorated-Component-Based
               Program Synthesis},
  booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
               2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {II}},
  pages     = {86--103},
  year      = {2017},
  crossref  = {DBLP:conf/cav/2017-2},
  url       = {https://doi.org/10.1007/978-3-319-63390-9\_5},
  doi       = {10.1007/978-3-319-63390-9\_5},
  timestamp = {Fri, 01 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/GasconTCM17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BauerMCS017,
  author    = {Matthew S. Bauer and
               Umang Mathur and
               Rohit Chadha and
               A. Prasad Sistla and
               Mahesh Viswanathan},
  title     = {Exact quantitative probabilistic model checking through rational search},
  booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
               Austria, October 2-6, 2017},
  pages     = {92--99},
  year      = {2017},
  crossref  = {DBLP:conf/fmcad/2017},
  url       = {https://doi.org/10.23919/FMCAD.2017.8102246},
  doi       = {10.23919/FMCAD.2017.8102246},
  timestamp = {Fri, 17 Nov 2017 10:12:51 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/BauerMCS017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KiniM017,
  author    = {Dileep Kini and
               Umang Mathur and
               Mahesh Viswanathan},
  title     = {Dynamic race prediction in linear time},
  booktitle = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2017, Barcelona, Spain,
               June 18-23, 2017},
  pages     = {157--170},
  year      = {2017},
  crossref  = {DBLP:conf/pldi/2017},
  url       = {http://doi.acm.org/10.1145/3062341.3062374},
  doi       = {10.1145/3062341.3062374},
  timestamp = {Mon, 19 Jun 2017 08:31:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/KiniM017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KiniM017,
  author    = {Dileep Kini and
               Umang Mathur and
               Mahesh Viswanathan},
  title     = {Dynamic Race Prediction in Linear Time},
  journal   = {CoRR},
  volume    = {abs/1704.02432},
  year      = {2017},
  url       = {http://arxiv.org/abs/1704.02432},
  archivePrefix = {arXiv},
  eprint    = {1704.02432},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/KiniM017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-05513,
  author    = {P. Madhusudan and
               Umang Mathur and
               Shambwaditya Saha and
               Mahesh Viswanathan},
  title     = {A Decidable Fragment of Second Order Logic With Applications to Synthesis},
  journal   = {CoRR},
  volume    = {abs/1712.05513},
  year      = {2017},
  url       = {http://arxiv.org/abs/1712.05513},
  archivePrefix = {arXiv},
  eprint    = {1712.05513},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1712-05513},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/KrishnaMT14,
  author    = {Shankara Narayanan Krishna and
               Umang Mathur and
               Ashutosh Trivedi},
  title     = {Weak Singular Hybrid Automata},
  booktitle = {Formal Modeling and Analysis of Timed Systems - 12th International
               Conference, {FORMATS} 2014, Florence, Italy, September 8-10, 2014.
               Proceedings},
  pages     = {161--175},
  year      = {2014},
  crossref  = {DBLP:conf/formats/2014},
  url       = {https://doi.org/10.1007/978-3-319-10512-3\_12},
  doi       = {10.1007/978-3-319-10512-3\_12},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/formats/KrishnaMT14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ChadhaMS14,
  author    = {Rohit Chadha and
               Umang Mathur and
               Stefan Schwoon},
  title     = {Computing Information Flow Using Symbolic Model-Checking},
  booktitle = {34th International Conference on Foundation of Software Technology
               and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
               New Delhi, India},
  pages     = {505--516},
  year      = {2014},
  crossref  = {DBLP:conf/fsttcs/2014},
  url       = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.505},
  doi       = {10.4230/LIPIcs.FSTTCS.2014.505},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/ChadhaMS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KrishnaMT13,
  author    = {Shankara Narayanan Krishna and
               Umang Mathur and
               Ashutosh Trivedi},
  title     = {Weak Singular Hybrid Automata},
  journal   = {CoRR},
  volume    = {abs/1311.3826},
  year      = {2013},
  url       = {http://arxiv.org/abs/1311.3826},
  archivePrefix = {arXiv},
  eprint    = {1311.3826},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/KrishnaMT13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2018-1,
  editor    = {Hana Chockler and
               Georg Weissenbacher},
  title     = {Computer Aided Verification - 30th International Conference, {CAV}
               2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
               UK, July 14-17, 2018, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10981},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-96145-3},
  doi       = {10.1007/978-3-319-96145-3},
  isbn      = {978-3-319-96144-6},
  timestamp = {Mon, 23 Jul 2018 17:17:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2018-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2017-2,
  editor    = {Rupak Majumdar and
               Viktor Kuncak},
  title     = {Computer Aided Verification - 29th International Conference, {CAV}
               2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10427},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-63390-9},
  doi       = {10.1007/978-3-319-63390-9},
  isbn      = {978-3-319-63389-3},
  timestamp = {Fri, 14 Jul 2017 13:04:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2017-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2017,
  editor    = {Daryl Stewart and
               Georg Weissenbacher},
  title     = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
               Austria, October 2-6, 2017},
  publisher = {{IEEE}},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8093672},
  isbn      = {978-0-9835678-7-5},
  timestamp = {Fri, 17 Nov 2017 10:12:51 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2017,
  editor    = {Albert Cohen and
               Martin T. Vechev},
  title     = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2017, Barcelona, Spain,
               June 18-23, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://doi.acm.org/10.1145/3062341},
  doi       = {10.1145/3062341},
  isbn      = {978-1-4503-4988-8},
  timestamp = {Mon, 19 Jun 2017 08:31:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/formats/2014,
  editor    = {Axel Legay and
               Marius Bozga},
  title     = {Formal Modeling and Analysis of Timed Systems - 12th International
               Conference, {FORMATS} 2014, Florence, Italy, September 8-10, 2014.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8711},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-10512-3},
  doi       = {10.1007/978-3-319-10512-3},
  isbn      = {978-3-319-10511-6},
  timestamp = {Fri, 26 May 2017 00:50:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/formats/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/2014,
  editor    = {Venkatesh Raman and
               S. P. Suresh},
  title     = {34th International Conference on Foundation of Software Technology
               and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
               New Delhi, India},
  series    = {LIPIcs},
  volume    = {29},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2014},
  url       = {http://www.dagstuhl.de/dagpub/978-3-939897-77-4},
  isbn      = {978-3-939897-77-4},
  timestamp = {Wed, 29 Mar 2017 16:45:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier