Cordeiro, Lucas

1. SMT-Based Bounded Model Checking for Embedded ANSI-C Software
   2009/07/12 by Cordeiro, Lucas, Fischer, Bernd, Marques-Silva, Joao · 3 citations
   #FOS: Computer and information sciences #Software Engineering (cs.SE)
2. Automated Formal Synthesis of Digital Controllers for State-Space\n Physical Plants
   2017/05/02 by Alessandro Abate, Iury Bessa, Abate, Alessandro +13 · 2 citations
   Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Modeling and Simulation Systems #Systems and Control (eess.SY) #electronic engineering #information engineering
3. Edge Learning for 6G-enabled Internet of Things: A Comprehensive Survey of Vulnerabilities, Datasets, and Defenses
   2023/06/17 by Ferrag, Mohamed Amine, Friha, Othmane, Kantarci, Burak +6 · 4 citations
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences
4. Verifying Embedded C Software with Timing Constraints using an Untimed\n Model Checker
   2011/06/12 by Raimundo Barreto, Barreto, Raimundo, Lucas C. Cordeiro +3 · 1 citation
   Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Real-Time Systems Scheduling
5. Model Checking Embedded C Software using k-Induction and Invariants (extended version)
   2015/09/08 by Herbert Rocha, Hussama Ismail, Rocha, Herbert +5 · 1 citation
   Computer Science · Engineering · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Radiation Effects in Electronics #Real-time simulation and control systems #Software Engineering (cs.SE)
6. Verifying Fixed-Point Digital Filters using SMT-Based Bounded Model Checking
   2013/05/13 by Renato B. Abreu, Abreu, Renato B., Lucas Cordeiro +4 · 1 voice
   Computer Science · Engineering · #cs.SE #cs.LO
7. Verifying Quantized Neural Networks using SMT-Based Model Checking
   2021/06/10 by Sena, Luiz, Song, Xidan, Alves, Erickson +4 · 1 citation
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Symbolic Computation (cs.SC)
8. Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective
   2022/04/26 by Edoardo Manino, Julia Rozanova, Manino, Edoardo +7 · 1 citation
   Computer Science · #Adversarial Robustness in Machine Learning #Computation and Language (cs.CL) #FOS: Computer and information sciences #Software Testing and Debugging Techniques #Topic Modeling
9. The 4/δ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee
   2025/11/30 by Pierre Dantas, PIerre Dantas, Lucas Cordeiro +7 · 8 voices
   Computer Science · #Software Engineering Research #Security and Verification in Computing #Software Testing and Debugging Techniques