BibTeX records: Razvan Voicu

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 > Razvan Voicu

download as .bib file

@inproceedings{DBLP:conf/IEEEscc/AkterSIHKCV23,
  author       = {Mst. Shapna Akter and
                  Hossain Shahriar and
                  Iysa Iqbal and
                  Md Faruque Hossain and
                  M. A. Karim and
                  Victor Clincy and
                  Razvan Voicu},
  editor       = {Claudio A. Ardagna and
                  Nimanthi L. Atukorala and
                  Carl K. Chang and
                  Jing Fan and
                  Geoffrey C. Fox and
                  Sumi Helal and
                  Zhi Jin and
                  Qinghua Lu and
                  Tiberiu Seceleanu and
                  Stephen S. Yau},
  title        = {Exploring the Vulnerabilities of Machine Learning and Quantum Machine
                  Learning to Adversarial Attacks Using a Malware Dataset: {A} Comparative
                  Analysis},
  booktitle    = {{IEEE} International Conference on Software Services Engineering,
                  {SSE} 2023, Chicago, IL, USA, July 2-8, 2023},
  pages        = {222--231},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/SSE60056.2023.00037},
  doi          = {10.1109/SSE60056.2023.00037},
  timestamp    = {Thu, 14 Sep 2023 07:51:20 +0200},
  biburl       = {https://dblp.org/rec/conf/IEEEscc/AkterSIHKCV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2305-19593,
  author       = {Mst. Shapna Akter and
                  Hossain Shahriar and
                  Iysa Iqbal and
                  Md Faruque Hossain and
                  M. A. Karim and
                  Victor Clincy and
                  Razvan Voicu},
  title        = {Exploring the Vulnerabilities of Machine Learning and Quantum Machine
                  Learning to Adversarial Attacks using a Malware Dataset: {A} Comparative
                  Analysis},
  journal      = {CoRR},
  volume       = {abs/2305.19593},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2305.19593},
  doi          = {10.48550/ARXIV.2305.19593},
  eprinttype    = {arXiv},
  eprint       = {2305.19593},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2305-19593.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/LeGVC13,
  author       = {Ton Chanh Le and
                  Cristian Gherghina and
                  Razvan Voicu and
                  Wei{-}Ngan Chin},
  editor       = {Lindsay Groves and
                  Jing Sun},
  title        = {A Proof Slicing Framework for Program Verification},
  booktitle    = {Formal Methods and Software Engineering - 15th International Conference
                  on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
                  October 29 - November 1, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8144},
  pages        = {53--69},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41202-8\_5},
  doi          = {10.1007/978-3-642-41202-8\_5},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/LeGVC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ChinGVLCQ11,
  author       = {Wei{-}Ngan Chin and
                  Cristian Gherghina and
                  Razvan Voicu and
                  Quang Loc Le and
                  Florin Craciun and
                  Shengchao Qin},
  editor       = {Ganesh Gopalakrishnan and
                  Shaz Qadeer},
  title        = {A Specialization Calculus for Pruning Disjunctive Predicates to Support
                  Verification},
  booktitle    = {Computer Aided Verification - 23rd International Conference, {CAV}
                  2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6806},
  pages        = {293--309},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22110-1\_23},
  doi          = {10.1007/978-3-642-22110-1\_23},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/ChinGVLCQ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1103-4694,
  author       = {Razvan Voicu and
                  Mengran Li},
  title        = {Cyclic and Inductive Calculi are equivalent},
  journal      = {CoRR},
  volume       = {abs/1103.4694},
  year         = {2011},
  url          = {http://arxiv.org/abs/1103.4694},
  eprinttype    = {arXiv},
  eprint       = {1103.4694},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1103-4694.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/JaffarSV09,
  author       = {Joxan Jaffar and
                  Andrew E. Santosa and
                  Razvan Voicu},
  editor       = {Ian P. Gent},
  title        = {An Interpolation Method for {CLP} Traversal},
  booktitle    = {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},
  pages        = {454--469},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04244-7\_37},
  doi          = {10.1007/978-3-642-04244-7\_37},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/JaffarSV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/JaffarSV08,
  author       = {Joxan Jaffar and
                  Andrew E. Santosa and
                  Razvan Voicu},
  editor       = {Dieter Fox and
                  Carla P. Gomes},
  title        = {Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints},
  booktitle    = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
                  {AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
  pages        = {297--303},
  publisher    = {{AAAI} Press},
  year         = {2008},
  url          = {http://www.aaai.org/Library/AAAI/2008/aaai08-047.php},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/JaffarSV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/JaffarSV08,
  author       = {Joxan Jaffar and
                  Andrew E. Santosa and
                  Razvan Voicu},
  editor       = {Peter J. Stuckey},
  title        = {A Coinduction Rule for Entailment of Recursively Defined Properties},
  booktitle    = {Principles and Practice of Constraint Programming, 14th International
                  Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5202},
  pages        = {493--508},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-85958-1\_33},
  doi          = {10.1007/978-3-540-85958-1\_33},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/JaffarSV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/JaffarSV06,
  author       = {Joxan Jaffar and
                  Andrew E. Santosa and
                  Razvan Voicu},
  editor       = {E. Allen Emerson and
                  Kedar S. Namjoshi},
  title        = {A {CLP} Method for Compositional and Intermittent Predicate Abstraction},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 7th International
                  Conference, {VMCAI} 2006, Charleston, SC, USA, January 8-10, 2006,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3855},
  pages        = {17--32},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11609773\_2},
  doi          = {10.1007/11609773\_2},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/JaffarSV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/JaffarSV06a,
  author       = {Joxan Jaffar and
                  Andrew E. Santosa and
                  Razvan Voicu},
  editor       = {E. Allen Emerson and
                  Kedar S. Namjoshi},
  title        = {Relative Safety},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 7th International
                  Conference, {VMCAI} 2006, Charleston, SC, USA, January 8-10, 2006,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3855},
  pages        = {282--297},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11609773\_19},
  doi          = {10.1007/11609773\_19},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/JaffarSV06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SulzmannV07,
  author       = {Martin Sulzmann and
                  Razvan Voicu},
  editor       = {Aaron Stump and
                  Hongwei Xi},
  title        = {Language-Based Program Verification via Expressive Types},
  booktitle    = {Proceedings of the Programming Languages meets Program Verification,
                  PLPV@IJCAR 2006, Part of FLoC 2006, Seattle, WA, USA, August 21, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {174},
  number       = {7},
  pages        = {129--147},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.10.041},
  doi          = {10.1016/J.ENTCS.2006.10.041},
  timestamp    = {Fri, 27 Jan 2023 13:53:49 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SulzmannV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/JaffarSV05,
  author       = {Joxan Jaffar and
                  Andrew E. Santosa and
                  Razvan Voicu},
  editor       = {Maurizio Gabbrielli and
                  Gopal Gupta},
  title        = {Modeling Systems in {CLP}},
  booktitle    = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
                  Spain, October 2-5, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3668},
  pages        = {412--413},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562931\_34},
  doi          = {10.1007/11562931\_34},
  timestamp    = {Wed, 26 Oct 2022 11:14:38 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/JaffarSV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtss/JaffarSV04,
  author       = {Joxan Jaffar and
                  Andrew E. Santosa and
                  Razvan Voicu},
  title        = {A {CLP} Proof Method for Timed Automata},
  booktitle    = {Proceedings of the 25th {IEEE} Real-Time Systems Symposium {(RTSS}
                  2004), 5-8 December 2004, Lisbon, Portugal},
  pages        = {175--186},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/REAL.2004.5},
  doi          = {10.1109/REAL.2004.5},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/JaffarSV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/HeintzeJV00,
  author       = {Nevin Heintze and
                  Joxan Jaffar and
                  Razvan Voicu},
  title        = {Conditional Analysis and Verification},
  booktitle    = {The First Asian Workshop on Programming Languages and Systems, {APLAS}
                  2000, National University of Singapore, Singapore, December 18-20,
                  2000, Proceedings},
  pages        = {33--49},
  year         = {2000},
  timestamp    = {Tue, 01 Jun 2004 14:41:27 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/HeintzeJV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/HeintzeJV00,
  author       = {Nevin Heintze and
                  Joxan Jaffar and
                  Razvan Voicu},
  editor       = {Mark N. Wegman and
                  Thomas W. Reps},
  title        = {A Framework for Combining Analysis and Verification},
  booktitle    = {{POPL} 2000, Proceedings of the 27th {ACM} {SIGPLAN-SIGACT} Symposium
                  on Principles of Programming Languages, Boston, Massachusetts, USA,
                  January 19-21, 2000},
  pages        = {26--39},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/325694.325700},
  doi          = {10.1145/325694.325700},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/HeintzeJV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/asian/Voicu96,
  author       = {Razvan Voicu},
  editor       = {Joxan Jaffar and
                  Roland H. C. Yap},
  title        = {Synthesizing Parallel Divide-and-Coquer Algorithms Using the List
                  Interleave Operator},
  booktitle    = {Concurrency and Parallelism, Programming, Networking, and Security:
                  Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
                  December 2-5, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1179},
  pages        = {359--360},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/BFb0027818},
  doi          = {10.1007/BFB0027818},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/asian/Voicu96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.