Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Lennon C. Chaves
@article{DBLP:journals/jss/ChavesIBCF19, author = {Lennon C. Chaves and Hussama Ibrahim Ismail and Iury Valente de Bessa and Lucas C. Cordeiro and Eddie Batista de Lima Filho}, title = {Verifying fragility in digital systems with uncertainties using DSVerifier \emph{v}2.0}, journal = {J. Syst. Softw.}, volume = {153}, pages = {22--43}, year = {2019}, url = {https://doi.org/10.1016/j.jss.2019.03.015}, doi = {10.1016/J.JSS.2019.03.015}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jss/ChavesIBCF19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tr/ChavesBIFCF18, author = {Lennon C. Chaves and Iury Bessa and Hussama Ismail and Adriano Bruno dos Santos Frutuoso and Lucas C. Cordeiro and Eddie Batista de Lima Filho}, title = {DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles}, journal = {{IEEE} Trans. Reliab.}, volume = {67}, number = {4}, pages = {1420--1441}, year = {2018}, url = {https://doi.org/10.1109/TR.2018.2873260}, doi = {10.1109/TR.2018.2873260}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tr/ChavesBIFCF18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/ChavesBCK18, author = {Lennon C. Chaves and Iury Bessa and Lucas C. Cordeiro and Daniel Kroening}, editor = {Maria Prandini and Jyotirmoy V. Deshmukh}, title = {DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems}, booktitle = {Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of {CPS} Week), {HSCC} 2018, Porto, Portugal, April 11-13, 2018}, pages = {253--258}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3178126.3178151}, doi = {10.1145/3178126.3178151}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/ChavesBCK18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issta/ChavesBCKF17, author = {Lennon C. Chaves and Iury Bessa and Lucas C. Cordeiro and Daniel Kroening and Eddie Batista de Lima Filho}, editor = {Tevfik Bultan and Koushik Sen}, title = {Verifying digital systems with {MATLAB}}, booktitle = {Proceedings of the 26th {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017}, pages = {388--391}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3092703.3098228}, doi = {10.1145/3092703.3098228}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issta/ChavesBCKF17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/AbateBCCCDKKP17, author = {Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lennon C. Chaves and Lucas C. Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening and Elizabeth Polgreen}, editor = {Grigore Rosu and Massimiliano Di Penta and Tien N. Nguyen}, title = {DSSynth: an automated digital controller synthesis tool for physical plants}, booktitle = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November 03, 2017}, pages = {919--924}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/ASE.2017.8115705}, doi = {10.1109/ASE.2017.8115705}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kbse/AbateBCCCDKKP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/ChavesBCKF17, author = {Lennon C. Chaves and Iury Bessa and Lucas C. Cordeiro and Daniel Kroening and Eddie Batista de Lima Filho}, title = {Verifying Digital Systems with {MATLAB}}, journal = {CoRR}, volume = {abs/1702.05591}, year = {2017}, url = {http://arxiv.org/abs/1702.05591}, eprinttype = {arXiv}, eprint = {1702.05591}, timestamp = {Wed, 08 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/ChavesBCKF17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/ChavesBC16, author = {Lennon C. Chaves and Iury Bessa and Lucas C. Cordeiro}, title = {DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems (Tool Demonstration)}, journal = {CoRR}, volume = {abs/1610.07066}, year = {2016}, url = {http://arxiv.org/abs/1610.07066}, eprinttype = {arXiv}, eprint = {1610.07066}, timestamp = {Wed, 08 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/ChavesBC16.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.