BibTeX records: Vasu Singh

download as .bib file

@article{DBLP:journals/corr/abs-2310-03841,
  author       = {Haoxuan Liu and
                  Vasu Singh and
                  Michal Filipiuk and
                  Siva Kumar Sastry Hari},
  title        = {{ALBERTA:} ALgorithm-Based Error Resilience in Transformer Architectures},
  journal      = {CoRR},
  volume       = {abs/2310.03841},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2310.03841},
  doi          = {10.48550/ARXIV.2310.03841},
  eprinttype    = {arXiv},
  eprint       = {2310.03841},
  timestamp    = {Thu, 19 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2310-03841.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/FilipiukS22,
  author       = {Michal Filipiuk and
                  Vasu Singh},
  title        = {Comparing Vision Transformers and Convolutional Nets for Safety Critical
                  Systems},
  booktitle    = {Proceedings of the Workshop on Artificial Intelligence Safety 2022
                  (SafeAI 2022) co-located with the Thirty-Sixth {AAAI} Conference on
                  Artificial Intelligence (AAAI2022), Virtual, February, 2022},
  year         = {2022},
  crossref     = {DBLP:conf/aaai/2022safeai},
  url          = {https://ceur-ws.org/Vol-3087/paper\_31.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:15 +0100},
  biburl       = {https://dblp.org/rec/conf/aaai/FilipiukS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dac/HsiaoHF00RSK22,
  author       = {Yu{-}Shun Hsiao and
                  Siva Kumar Sastry Hari and
                  Michal Filipiuk and
                  Timothy Tsai and
                  Michael B. Sullivan and
                  Vijay Janapa Reddi and
                  Vasu Singh and
                  Stephen W. Keckler},
  title        = {Zhuyi: perception processing rate estimation for safety in autonomous
                  vehicles},
  booktitle    = {{DAC} '22: 59th {ACM/IEEE} Design Automation Conference, San Francisco,
                  California, USA, July 10 - 14, 2022},
  pages        = {289--294},
  year         = {2022},
  crossref     = {DBLP:conf/dac/2022},
  url          = {https://doi.org/10.1145/3489517.3530445},
  doi          = {10.1145/3489517.3530445},
  timestamp    = {Thu, 25 Aug 2022 14:23:32 +0200},
  biburl       = {https://dblp.org/rec/conf/dac/HsiaoHF00RSK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ijcai/FilipiukS22,
  author       = {Michal Filipiuk and
                  Vasu Singh},
  title        = {Exploring Diversity in Neural Architectures for Safety},
  booktitle    = {Proceedings of the Workshop on Artificial Intelligence Safety 2022
                  (AISafety 2022) co-located with the Thirty-First International Joint
                  Conference on Artificial Intelligence and the Twenty-Fifth European
                  Conference on Artificial Intelligence (IJCAI-ECAI-2022), Vienna, Austria,
                  July 24-25, 2022},
  year         = {2022},
  crossref     = {DBLP:conf/ijcai/2022aisafety},
  url          = {https://ceur-ws.org/Vol-3215/16.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:32 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/FilipiukS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2205-03347,
  author       = {Yu{-}Shun Hsiao and
                  Siva Kumar Sastry Hari and
                  Michal Filipiuk and
                  Timothy Tsai and
                  Michael B. Sullivan and
                  Vijay Janapa Reddi and
                  Vasu Singh and
                  Stephen W. Keckler},
  title        = {Zhuyi: Perception Processing Rate Estimation for Safety in Autonomous
                  Vehicles},
  journal      = {CoRR},
  volume       = {abs/2205.03347},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2205.03347},
  doi          = {10.48550/ARXIV.2205.03347},
  eprinttype    = {arXiv},
  eprint       = {2205.03347},
  timestamp    = {Wed, 11 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2205-03347.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cvpr/SinghH0P21,
  author       = {Vasu Singh and
                  Siva Kumar Sastry Hari and
                  Timothy Tsai and
                  Mandar Pitale},
  title        = {Simulation Driven Design and Test for Safety of {AI} Based Autonomous
                  Vehicles},
  booktitle    = {{IEEE} Conference on Computer Vision and Pattern Recognition Workshops,
                  {CVPR} Workshops 2021, virtual, June 19-25, 2021},
  pages        = {122--128},
  year         = {2021},
  crossref     = {DBLP:conf/cvpr/2021w},
  url          = {https://openaccess.thecvf.com/content/CVPR2021W/SAIAD/html/Singh\_Simulation\_Driven\_Design\_and\_Test\_for\_Safety\_of\_AI\_Based\_CVPRW\_2021\_paper.html},
  doi          = {10.1109/CVPRW53098.2021.00022},
  timestamp    = {Mon, 18 Jul 2022 16:47:41 +0200},
  biburl       = {https://dblp.org/rec/conf/cvpr/SinghH0P21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icphys/SinghP21,
  author       = {Vasu Singh and
                  Mandar Pitale},
  title        = {Impact of Automotive System Safety Design on Machine Learning Based
                  Perception Systems},
  booktitle    = {4th {IEEE} International Conference on Industrial Cyber-Physical Systems,
                  {ICPS} 2021, Victoria, BC, Canada, May 10-12, 2021},
  pages        = {591--596},
  year         = {2021},
  crossref     = {DBLP:conf/icphys/2021},
  url          = {https://doi.org/10.1109/ICPS49255.2021.9468225},
  doi          = {10.1109/ICPS49255.2021.9468225},
  timestamp    = {Tue, 20 Jul 2021 15:32:47 +0200},
  biburl       = {https://dblp.org/rec/conf/icphys/SinghP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/MohseniPSW20,
  author       = {Sina Mohseni and
                  Mandar Pitale and
                  Vasu Singh and
                  Zhangyang Wang},
  title        = {Practical Solutions for Machine Learning Safety in Autonomous Vehicles},
  booktitle    = {Proceedings of the Workshop on Artificial Intelligence Safety, co-located
                  with 34th {AAAI} Conference on Artificial Intelligence, SafeAI@AAAI
                  2020, New York City, NY, USA, February 7, 2020},
  pages        = {162--169},
  year         = {2020},
  crossref     = {DBLP:conf/aaai/2020safeai},
  url          = {https://ceur-ws.org/Vol-2560/paper40.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:15 +0100},
  biburl       = {https://dblp.org/rec/conf/aaai/MohseniPSW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1912-09630,
  author       = {Sina Mohseni and
                  Mandar Pitale and
                  Vasu Singh and
                  Zhangyang Wang},
  title        = {Practical Solutions for Machine Learning Safety in Autonomous Vehicles},
  journal      = {CoRR},
  volume       = {abs/1912.09630},
  year         = {2019},
  url          = {http://arxiv.org/abs/1912.09630},
  eprinttype    = {arXiv},
  eprint       = {1912.09630},
  timestamp    = {Fri, 03 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1912-09630.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/GuerraouiHS11,
  author       = {Rachid Guerraoui and
                  Thomas A. Henzinger and
                  Vasu Singh},
  title        = {Verification of {STM} on relaxed memory models},
  journal      = {Formal Methods Syst. Des.},
  volume       = {39},
  number       = {3},
  pages        = {297--331},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10703-011-0131-3},
  doi          = {10.1007/S10703-011-0131-3},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/GuerraouiHS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eurosys/HenzingerSWZ11,
  author       = {Thomas A. Henzinger and
                  Vasu Singh and
                  Thomas Wies and
                  Damien Zufferey},
  title        = {Scheduling large jobs by abstraction refinement},
  booktitle    = {European Conference on Computer Systems, Proceedings of the Sixth
                  European conference on Computer systems, EuroSys 2011, Salzburg, Austria,
                  April 10-13, 2011},
  pages        = {329--342},
  year         = {2011},
  crossref     = {DBLP:conf/eurosys/2011},
  url          = {https://doi.org/10.1145/1966445.1966476},
  doi          = {10.1145/1966445.1966476},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eurosys/HenzingerSWZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hotcloud/HenzingerSSWZ11,
  author       = {Thomas A. Henzinger and
                  Anmol V. Singh and
                  Vasu Singh and
                  Thomas Wies and
                  Damien Zufferey},
  title        = {Static Scheduling in Clouds},
  booktitle    = {3rd {USENIX} Workshop on Hot Topics in Cloud Computing, HotCloud'11,
                  Portland, OR, USA, June 14-15, 2011},
  year         = {2011},
  crossref     = {DBLP:conf/hotcloud/2011},
  url          = {https://www.usenix.org/conference/hotcloud11/static-scheduling-clouds},
  timestamp    = {Tue, 09 Feb 2021 08:31:35 +0100},
  biburl       = {https://dblp.org/rec/conf/hotcloud/HenzingerSSWZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/HalalaiHS11,
  author       = {Raluca Halalai and
                  Thomas A. Henzinger and
                  Vasu Singh},
  title        = {Quantitative Evaluation of {BFT} Protocols},
  booktitle    = {Eighth International Conference on Quantitative Evaluation of Systems,
                  {QEST} 2011, Aachen, Germany, 5-8 September, 2011},
  pages        = {255--264},
  year         = {2011},
  crossref     = {DBLP:conf/qest/2011},
  url          = {https://doi.org/10.1109/QEST.2011.40},
  doi          = {10.1109/QEST.2011.40},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/HalalaiHS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/ch/Singh10,
  author       = {Vasu Singh},
  title        = {Formalizing and verifying transactional memories},
  school       = {EPFL, Switzerland},
  year         = {2010},
  url          = {https://doi.org/10.5075/epfl-thesis-4541},
  doi          = {10.5075/EPFL-THESIS-4541},
  timestamp    = {Tue, 02 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ch/Singh10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dc/GuerraouiHS10,
  author       = {Rachid Guerraoui and
                  Thomas A. Henzinger and
                  Vasu Singh},
  title        = {Model checking transactional memories},
  journal      = {Distributed Comput.},
  volume       = {22},
  number       = {3},
  pages        = {129--145},
  year         = {2010},
  url          = {https://doi.org/10.1007/s00446-009-0092-6},
  doi          = {10.1007/S00446-009-0092-6},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dc/GuerraouiHS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/IEEEcloud/HenzingerSSWZ10,
  author       = {Thomas A. Henzinger and
                  Anmol V. Singh and
                  Vasu Singh and
                  Thomas Wies and
                  Damien Zufferey},
  title        = {FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment},
  booktitle    = {{IEEE} International Conference on Cloud Computing, {CLOUD} 2010,
                  Miami, FL, USA, 5-10 July, 2010},
  pages        = {83--90},
  year         = {2010},
  crossref     = {DBLP:conf/IEEEcloud/2010},
  url          = {https://doi.org/10.1109/CLOUD.2010.71},
  doi          = {10.1109/CLOUD.2010.71},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEcloud/HenzingerSSWZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cc/BurckhardtMS10,
  author       = {Sebastian Burckhardt and
                  Madanlal Musuvathi and
                  Vasu Singh},
  title        = {Verifying Local Transformations on Relaxed Memory Models},
  booktitle    = {Compiler Construction, 19th International Conference, {CC} 2010, Held
                  as Part of the Joint European Conferences on Theory and Practice of
                  Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings},
  pages        = {104--123},
  year         = {2010},
  crossref     = {DBLP:conf/cc/2010},
  url          = {https://doi.org/10.1007/978-3-642-11970-5\_7},
  doi          = {10.1007/978-3-642-11970-5\_7},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/cc/BurckhardtMS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/HenzingerSSWZ10,
  author       = {Thomas A. Henzinger and
                  Anmol V. Singh and
                  Vasu Singh and
                  Thomas Wies and
                  Damien Zufferey},
  title        = {A marketplace for cloud resources},
  booktitle    = {Proceedings of the 10th International conference on Embedded software,
                  {EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
  pages        = {1--8},
  year         = {2010},
  crossref     = {DBLP:conf/emsoft/2010},
  url          = {https://doi.org/10.1145/1879021.1879022},
  doi          = {10.1145/1879021.1879022},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/HenzingerSSWZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/Singh10,
  author       = {Vasu Singh},
  title        = {Runtime Verification for Software Transactional Memories},
  booktitle    = {Runtime Verification - First International Conference, {RV} 2010,
                  St. Julians, Malta, November 1-4, 2010. Proceedings},
  pages        = {421--435},
  year         = {2010},
  crossref     = {DBLP:conf/rv/2010},
  url          = {https://doi.org/10.1007/978-3-642-16612-9\_32},
  doi          = {10.1007/978-3-642-16612-9\_32},
  timestamp    = {Thu, 26 Jan 2023 14:05:55 +0100},
  biburl       = {https://dblp.org/rec/conf/rv/Singh10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spaa/GuerraouiHKS10,
  author       = {Rachid Guerraoui and
                  Thomas A. Henzinger and
                  Michal Kapalka and
                  Vasu Singh},
  title        = {Transactions in the jungle},
  booktitle    = {{SPAA} 2010: Proceedings of the 22nd Annual {ACM} Symposium on Parallelism
                  in Algorithms and Architectures, Thira, Santorini, Greece, June 13-15,
                  2010},
  pages        = {263--272},
  year         = {2010},
  crossref     = {DBLP:conf/spaa/2010},
  url          = {https://doi.org/10.1145/1810479.1810529},
  doi          = {10.1145/1810479.1810529},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/spaa/GuerraouiHKS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/GuerraouiHS09,
  author       = {Rachid Guerraoui and
                  Thomas A. Henzinger and
                  Vasu Singh},
  title        = {Software Transactional Memory on Relaxed Memory Models},
  booktitle    = {Computer Aided Verification, 21st International Conference, {CAV}
                  2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
  pages        = {321--336},
  year         = {2009},
  crossref     = {DBLP:conf/cav/2009},
  url          = {https://doi.org/10.1007/978-3-642-02658-4\_26},
  doi          = {10.1007/978-3-642-02658-4\_26},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/GuerraouiHS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/podc/DragojevicGSS09,
  author       = {Aleksandar Dragojevic and
                  Rachid Guerraoui and
                  Anmol V. Singh and
                  Vasu Singh},
  title        = {Preventing versus curing: avoiding conflicts in transactional memories},
  booktitle    = {Proceedings of the 28th Annual {ACM} Symposium on Principles of Distributed
                  Computing, {PODC} 2009, Calgary, Alberta, Canada, August 10-12, 2009},
  pages        = {7--16},
  year         = {2009},
  crossref     = {DBLP:conf/podc/2009},
  url          = {https://doi.org/10.1145/1582716.1582725},
  doi          = {10.1145/1582716.1582725},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/DragojevicGSS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/GuerraouiHS08,
  author       = {Rachid Guerraoui and
                  Thomas A. Henzinger and
                  Vasu Singh},
  title        = {Completeness and Nondeterminism in Model Checking Transactional Memories},
  booktitle    = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
                  {CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
  pages        = {21--35},
  year         = {2008},
  crossref     = {DBLP:conf/concur/2008},
  url          = {https://doi.org/10.1007/978-3-540-85361-9\_6},
  doi          = {10.1007/978-3-540-85361-9\_6},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/GuerraouiHS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/GuerraouiHJS08,
  author       = {Rachid Guerraoui and
                  Thomas A. Henzinger and
                  Barbara Jobstmann and
                  Vasu Singh},
  title        = {Model checking transactional memories},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2008 Conference on Programming
                  Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008},
  pages        = {372--382},
  year         = {2008},
  crossref     = {DBLP:conf/pldi/2008},
  url          = {https://doi.org/10.1145/1375581.1375626},
  doi          = {10.1145/1375581.1375626},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/GuerraouiHJS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wdag/GuerraouiHS08,
  author       = {Rachid Guerraoui and
                  Thomas A. Henzinger and
                  Vasu Singh},
  title        = {Permissiveness in Transactional Memories},
  booktitle    = {Distributed Computing, 22nd International Symposium, {DISC} 2008,
                  Arcachon, France, September 22-24, 2008. Proceedings},
  pages        = {305--319},
  year         = {2008},
  crossref     = {DBLP:conf/wdag/2008},
  url          = {https://doi.org/10.1007/978-3-540-87779-0\_21},
  doi          = {10.1007/978-3-540-87779-0\_21},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/GuerraouiHS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BeyerHS07,
  author       = {Dirk Beyer and
                  Thomas A. Henzinger and
                  Vasu Singh},
  title        = {Algorithms for Interface Synthesis},
  booktitle    = {Computer Aided Verification, 19th International Conference, {CAV}
                  2007, Berlin, Germany, July 3-7, 2007, Proceedings},
  pages        = {4--19},
  year         = {2007},
  crossref     = {DBLP:conf/cav/2007},
  url          = {https://doi.org/10.1007/978-3-540-73368-3\_4},
  doi          = {10.1007/978-3-540-73368-3\_4},
  timestamp    = {Sat, 30 Sep 2023 09:35:55 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BeyerHS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/aaai/2022safeai,
  editor       = {Gabriel Pedroza and
                  Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
                  Xin Cynthia Chen and
                  Xiaowei Huang and
                  Hu{\'{a}}scar Espinoza and
                  Mauricio Castillo{-}Effen and
                  John A. McDermid and
                  Richard Mallah and
                  Se{\'{a}}n {\'{O}} h{\'{E}}igeartaigh},
  title        = {Proceedings of the Workshop on Artificial Intelligence Safety 2022
                  (SafeAI 2022) co-located with the Thirty-Sixth {AAAI} Conference on
                  Artificial Intelligence (AAAI2022), Virtual, February, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3087},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3087},
  urn          = {urn:nbn:de:0074-3087-8},
  timestamp    = {Sat, 20 Apr 2024 04:45:07 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/2022safeai.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/dac/2022,
  editor       = {Rob Oshana},
  title        = {{DAC} '22: 59th {ACM/IEEE} Design Automation Conference, San Francisco,
                  California, USA, July 10 - 14, 2022},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3489517},
  doi          = {10.1145/3489517},
  isbn         = {978-1-4503-9142-9},
  timestamp    = {Sat, 20 Apr 2024 04:45:07 +0200},
  biburl       = {https://dblp.org/rec/conf/dac/2022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ijcai/2022aisafety,
  editor       = {Gabriel Pedroza and
                  Xin Cynthia Chen and
                  Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
                  Xiaowei Huang and
                  Hu{\'{a}}scar Espinoza and
                  Richard Mallah and
                  John A. McDermid and
                  Mauricio Castillo{-}Effen},
  title        = {Proceedings of the Workshop on Artificial Intelligence Safety 2022
                  (AISafety 2022) co-located with the Thirty-First International Joint
                  Conference on Artificial Intelligence and the Twenty-Fifth European
                  Conference on Artificial Intelligence (IJCAI-ECAI-2022), Vienna, Austria,
                  July 24-25, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3215},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3215},
  urn          = {urn:nbn:de:0074-3215-4},
  timestamp    = {Sat, 20 Apr 2024 04:45:07 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/2022aisafety.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cvpr/2021w,
  title        = {{IEEE} Conference on Computer Vision and Pattern Recognition Workshops,
                  {CVPR} Workshops 2021, virtual, June 19-25, 2021},
  publisher    = {Computer Vision Foundation / {IEEE}},
  year         = {2021},
  url          = {https://openaccess.thecvf.com/CVPR2021\_workshops},
  doi          = {10.1109/CVPRW53098.2021},
  isbn         = {978-1-6654-4899-4},
  timestamp    = {Sat, 20 Apr 2024 04:45:07 +0200},
  biburl       = {https://dblp.org/rec/conf/cvpr/2021w.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/icphys/2021,
  title        = {4th {IEEE} International Conference on Industrial Cyber-Physical Systems,
                  {ICPS} 2021, Victoria, BC, Canada, May 10-12, 2021},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ICPS49255.2021},
  doi          = {10.1109/ICPS49255.2021},
  isbn         = {978-1-7281-6207-2},
  timestamp    = {Sat, 20 Apr 2024 04:45:07 +0200},
  biburl       = {https://dblp.org/rec/conf/icphys/2021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/aaai/2020safeai,
  editor       = {Hu{\'{a}}scar Espinoza and
                  Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
                  Xin Cynthia Chen and
                  Se{\'{a}}n S. {\'{O}}h{\'{E}}igeartaigh and
                  Xiaowei Huang and
                  Mauricio Castillo{-}Effen and
                  Richard Mallah and
                  John A. McDermid},
  title        = {Proceedings of the Workshop on Artificial Intelligence Safety, co-located
                  with 34th {AAAI} Conference on Artificial Intelligence, SafeAI@AAAI
                  2020, New York City, NY, USA, February 7, 2020},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2560},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2560},
  urn          = {urn:nbn:de:0074-2560-0},
  timestamp    = {Sat, 20 Apr 2024 04:45:07 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/2020safeai.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/eurosys/2011,
  editor       = {Christoph M. Kirsch and
                  Gernot Heiser},
  title        = {European Conference on Computer Systems, Proceedings of the Sixth
                  European conference on Computer systems, EuroSys 2011, Salzburg, Austria,
                  April 10-13, 2011},
  publisher    = {{ACM}},
  year         = {2011},
  isbn         = {978-1-4503-0634-8},
  timestamp    = {Sat, 20 Apr 2024 04:45:07 +0200},
  biburl       = {https://dblp.org/rec/conf/eurosys/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/hotcloud/2011,
  editor       = {Ion Stoica and
                  John Wilkes},
  title        = {3rd {USENIX} Workshop on Hot Topics in Cloud Computing, HotCloud'11,
                  Portland, OR, USA, June 14-15, 2011},
  publisher    = {{USENIX} Association},
  year         = {2011},
  url          = {https://www.usenix.org/conference/hotcloud11},
  timestamp    = {Sat, 20 Apr 2024 04:45:07 +0200},
  biburl       = {https://dblp.org/rec/conf/hotcloud/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/qest/2011,
  title        = {Eighth International Conference on Quantitative Evaluation of Systems,
                  {QEST} 2011, Aachen, Germany, 5-8 September, 2011},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/6041098/proceeding},
  isbn         = {978-1-4577-0973-9},
  timestamp    = {Sat, 20 Apr 2024 04:45:07 +0200},
  biburl       = {https://dblp.org/rec/conf/qest/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/IEEEcloud/2010,
  title        = {{IEEE} International Conference on Cloud Computing, {CLOUD} 2010,
                  Miami, FL, USA, 5-10 July, 2010},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/5557896/proceeding},
  isbn         = {978-1-4244-8207-8},
  timestamp    = {Sat, 20 Apr 2024 04:45:07 +0200},
  biburl       = {https://dblp.org/rec/conf/IEEEcloud/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cc/2010,
  editor       = {Rajiv Gupta},
  title        = {Compiler Construction, 19th International Conference, {CC} 2010, Held
                  as Part of the Joint European Conferences on Theory and Practice of
                  Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6011},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11970-5},
  doi          = {10.1007/978-3-642-11970-5},
  isbn         = {978-3-642-11969-9},
  timestamp    = {Sat, 20 Apr 2024 04:45:07 +0200},
  biburl       = {https://dblp.org/rec/conf/cc/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/emsoft/2010,
  editor       = {Luca P. Carloni and
                  Stavros Tripakis},
  title        = {Proceedings of the 10th International conference on Embedded software,
                  {EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
  publisher    = {{ACM}},
  year         = {2010},
  isbn         = {978-1-60558-904-6},
  timestamp    = {Sat, 20 Apr 2024 04:45:07 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/rv/2010,
  editor       = {Howard Barringer and
                  Yli{\`{e}}s Falcone and
                  Bernd Finkbeiner and
                  Klaus Havelund and
                  Insup Lee and
                  Gordon J. Pace and
                  Grigore Rosu and
                  Oleg Sokolsky and
                  Nikolai Tillmann},
  title        = {Runtime Verification - First International Conference, {RV} 2010,
                  St. Julians, Malta, November 1-4, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6418},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16612-9},
  doi          = {10.1007/978-3-642-16612-9},
  isbn         = {978-3-642-16611-2},
  timestamp    = {Sat, 20 Apr 2024 04:45:07 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/spaa/2010,
  editor       = {Friedhelm Meyer auf der Heide and
                  Cynthia A. Phillips},
  title        = {{SPAA} 2010: Proceedings of the 22nd Annual {ACM} Symposium on Parallelism
                  in Algorithms and Architectures, Thira, Santorini, Greece, June 13-15,
                  2010},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1810479},
  doi          = {10.1145/1810479},
  isbn         = {978-1-4503-0079-7},
  timestamp    = {Sat, 20 Apr 2024 04:45:07 +0200},
  biburl       = {https://dblp.org/rec/conf/spaa/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cav/2009,
  editor       = {Ahmed Bouajjani and
                  Oded Maler},
  title        = {Computer Aided Verification, 21st International Conference, {CAV}
                  2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5643},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02658-4},
  doi          = {10.1007/978-3-642-02658-4},
  isbn         = {978-3-642-02657-7},
  timestamp    = {Sat, 20 Apr 2024 04:45:07 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/podc/2009,
  editor       = {Srikanta Tirthapura and
                  Lorenzo Alvisi},
  title        = {Proceedings of the 28th Annual {ACM} Symposium on Principles of Distributed
                  Computing, {PODC} 2009, Calgary, Alberta, Canada, August 10-12, 2009},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {http://dl.acm.org/citation.cfm?id=1582716},
  isbn         = {978-1-60558-396-9},
  timestamp    = {Sat, 20 Apr 2024 04:45:07 +0200},
  biburl       = {https://dblp.org/rec/conf/podc/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/concur/2008,
  editor       = {Franck van Breugel and
                  Marsha Chechik},
  title        = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
                  {CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5201},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-85361-9},
  doi          = {10.1007/978-3-540-85361-9},
  isbn         = {978-3-540-85360-2},
  timestamp    = {Sat, 20 Apr 2024 04:45:07 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/pldi/2008,
  editor       = {Rajiv Gupta and
                  Saman P. Amarasinghe},
  title        = {Proceedings of the {ACM} {SIGPLAN} 2008 Conference on Programming
                  Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1375581},
  doi          = {10.1145/1375581},
  isbn         = {978-1-59593-860-2},
  timestamp    = {Sat, 20 Apr 2024 04:45:07 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/wdag/2008,
  editor       = {Gadi Taubenfeld},
  title        = {Distributed Computing, 22nd International Symposium, {DISC} 2008,
                  Arcachon, France, September 22-24, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5218},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87779-0},
  doi          = {10.1007/978-3-540-87779-0},
  isbn         = {978-3-540-87778-3},
  timestamp    = {Sat, 20 Apr 2024 04:45:07 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cav/2007,
  editor       = {Werner Damm and
                  Holger Hermanns},
  title        = {Computer Aided Verification, 19th International Conference, {CAV}
                  2007, Berlin, Germany, July 3-7, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4590},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73368-3},
  doi          = {10.1007/978-3-540-73368-3},
  isbn         = {978-3-540-73367-6},
  timestamp    = {Sat, 20 Apr 2024 04:45:07 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.