E-LIB Suche - Ergebnisse für: Chaves, Lennon

1

Enhancing Issue Management through the Employment of Inspec..:

, In: Proceedings of the XXII Brazilian Symposium on Software Quality,

Castro, Renata ; Oliveira, Flavia ; Rodrigues, Janderson... - p. 208-217 , 2023

Link: https://dl.acm.org/doi/1..

2

BSA Tool: An Experience Report of Software Automation to Pe..:

, In: 2023 3rd International Conference on Information Communication and Software Engineering (ICICSE),

Chagas, Ana Carolina ; Gonzaga, Davi ; Albuquerque, Leonardo... - p. 15-20 , 2023

Link: https://doi.org/10.1109/..

3

Assertive Wiki: An Experience Report In The Industry on the..:

, In: Proceedings of the 2023 12th International Conference on Software and Information Engineering,

Viana, Rhuan ; Souza, Rebecca ; Silva, Wilson... - p. 22-30 , 2023

Link: https://dl.acm.org/doi/1..

4

Improvements of the Software Quality Assurance Process Towa..:

, In: Proceedings of the 2023 9th International Conference on Computer Technology Applications,

Chaves, Lennon ; Castro, Renata ; Oliveira, Flávia. - p. 192-200 , 2023

Link: https://dl.acm.org/doi/1..

5

LinkDoc: An Automated Process in the Delivery of Documentat..:

, In: Proceedings of the 2023 5th World Symposium on Software Engineering,

Franca, André José De ; Mota, Gaspar Henrique Alver ; Sahdo, Klirssia Isaac... - p. 9-16 , 2023

Link: https://dl.acm.org/doi/1..

6

TSS Script: Automation Tool Applied in the Preparation of T..:

, In: 2022 IEEE 2nd International Conference on Information Communication and Software Engineering (ICICSE),

da Costa, Antonio B. ; Meireles, Maria ; de Barros, Francisco Caio... - p. 231-231 , 2022

Link: https://doi.org/10.1109/..

7

The Employment of Testing DOJO as a Collaborative Learning ..:

, In: 2022 4th International Conference on Computer Science and Technologies in Education (CSTE),

Meireles, Maria ; de Souza, Camilo ; de Barros, Francisco Caio... - p. 47-54 , 2022

Link: https://doi.org/10.1109/..

8

DSValidator : An Automated Counterexample Reproducibilit..:

, In: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week),

Chaves, Lennon ; Bessa, Iury ; Cordeiro, Lucas. - p. 253-258 , 2018

Link: https://dl.acm.org/doi/1..

9

DSSynth: an automated digital controller synthesis tool for..:

, In: Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering,

Abate, Alessandro ; Bessa, Iury ; Cattaruzza, Dario... - p. 919-924 , 2017

Link: http://dl.acm.org/citati..

10

Verifying digital systems with MATLAB:

, In: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis,

Chaves, Lennon ; Bessa, Iury ; Cordeiro, Lucas.. - p. 388-391 , 2017

Link: https://dl.acm.org/doi/1..

11

WE-QT tool : uma ferramenta de apoio a inspeção de usabi..:

, In: Proceedings of the Companion Proceedings of the 10th Brazilian Symposium on Human Factors in Computing Systems and the 5th Latin American Conference on Human-Computer Interaction,

Fernandes, Priscila ; Chaves, Lennon ; Bonifácio, Bruno. - p. 6-7 , 2011

Link: https://dl.acm.org/doi/1..

12

Verifying fragility in digital systems with uncertainties u..:

Chaves, Lennon C. ; Ismail, Hussama I. ; Bessa, Iury V...
Journal of Systems and Software. 153 (2019) - p. 22-43 , 2019

Link: https://doi.org/10.1016/..

13

DSVerifier-Aided Verification Applied to Attitude Control S..:

Chaves, Lennon ; Bessa, Iury ; Ismail, Hussama...
Chaves , L , Bessa , I , Ismail , H , Frutuoso , A , Cordeiro , L & de Lima Filho , E B 2018 , ' DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles ' , IEEE Transactions on Reliability , vol. 67 , no. 4 , pp. 1420-1441 . https://doi.org/10.1109/TR.2018.2873260. , 2018

Link: https://research.manches..

14

DSSynth: An automated digital controller synthesis tool for..:

Abate, Alessandro ; Bessa, Iury ; Cattaruzza, Dario...
Abate , A , Bessa , I , Cattaruzza , D , Chaves , L , Cordeiro , L , David , C , Kesseli , P , Kroening , D & Polgreen , E 2017 , DSSynth: An automated digital controller synthesis tool for physical plants . in 32nd IEEE/ACM International Conference on Automated Software Engineering . pp. 919-924 , 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) , 30/10/17 . https://doi.org/10.1109/ASE.2017.8115705. , 2017

Link: https://research.manches..

15

DSSynth:An automated digital controller synthesis tool for ..:

Abate, Alessandro ; Bessa, Lury ; Cattaruzza, Dario...
Abate , A , Bessa , L , Cattaruzza , D , Chaves , L , Cordeiro , L , David , C , Kesseli , P , Kroening , D & Polgreen , E 2017 , DSSynth : An automated digital controller synthesis tool for physical plants . in ASE 2017 : Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering . Association for Computing Machinery (ACM) , pp. 919–924 . https://doi.org/10.1109/ASE.2017.8115705. , 2017

Link: https://hdl.handle.net/1..