E-LIB Suche - Ergebnisse für: Cordeiro, Lucas

1

FuSeBMC v4: Improving Code Coverage with Smart Seeds via BM..:

Alshmrany, Kaled ; Aldughaim, Mohannad ; Bhayat, Ahmed.
Formal Aspects of Computing. 36 (2024) 2 - p. 1-25 , 2024

2

Edge Learning for 6G-Enabled Internet of Things: A Comprehe..:

Ferrag, Mohamed Amine ; Friha, Othmane ; Kantarci, Burak...
IEEE Communications Surveys & Tutorials. 25 (2023) 4 - p. 2654-2713 , 2023

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

3

Privacy-Friendly Peer-to-Peer Energy Trading: A Game Theore..:

, In: 2022 IEEE Power & Energy Society General Meeting (PESGM),

Erdayandi, Kamil ; Paudel, Amrit ; Cordeiro, Lucas. - p. 1-5 , 2022

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

4

Position Paper: Towards a Hybrid Approach to Protect Agains..:

, In: 2022 IEEE Secure Development Conference (SecDev),

Alshmrany, Kaled ; Bhayat, Ahmed ; Braube, Franz... - p. 52-58 , 2022

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

5

Formal Non-fragile Verification of Step Response Requiremen..:

Cavalcante, Thiago ; Bessa, Iury ; Filho, Eddie.
Journal of Control, Automation and Electrical Systems. 31 (2020) 3 - p. 557-573 , 2020

Link: https://doi.org/10.1007/..

6

JBMC: Bounded Model Checking for Java Bytecode: (Competitio..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Cordeiro, Lucas ; Kroening, Daniel ; Schrammel, Peter - p. 219-223 , 2019

Link: https://doi.org/10.1007/..

7

Automated formal verification of stand-alone solar photovol..:

Trindade, Alessandro ; Cordeiro, Lucas
Solar Energy. 193 (2019) - p. 684-691 , 2019

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

8

Automated formal synthesis of provably safe digital control..:

Abate, Alessandro ; Bessa, Iury ; Cordeiro, Lucas...
Acta Informatica. 57 (2019) 1-2 - p. 223-244 , 2019

Link: https://doi.org/10.1007/..

9

ESBMC v6.0: Verifying C Programs Using k-Induction and Inva..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Gadelha, Mikhail R. ; Monteiro, Felipe ; Cordeiro, Lucas. - p. 209-213 , 2019

Link: https://doi.org/10.1007/..

10

Map2Check Using LLVM and KLEE: (Competition Contribution):

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Menezes, Rafael ; Rocha, Herbert ; Cordeiro, Lucas. - p. 437-441 , 2018

Link: https://doi.org/10.1007/..

11

JBMC: A Bounded Model Checking Tool for Verifying Java Byte..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Cordeiro, Lucas ; Kesseli, Pascal ; Kroening, Daniel.. - p. 183-190 , 2018

Link: https://doi.org/10.1007/..

12

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..

13

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..

14

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..

15

Sound and Automated Synthesis of Digital Stabilizing Contro..:

, In: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control,

Abate, Alessandro ; Bessa, Iury ; Cattaruzza, Dario... - p. 197-206 , 2017

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