22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2019)
- Formal Verification of Non-fragile Settling-Time and Overshoot Requirements for Digital State-Feedback Control Systems.
Journal of Systems and Software (JSS 2018)
- DSVerifier 2.0: A Bounded Model Checking Tool to Verify Fragility in Digital Systems with Uncertainties.
21st ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2018).
IEEE Transactions on Reliability 2018
32nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2017)
International Symposium on Software Testing and Analysis (ISSTA 2017)
IEEE Transactions on Computers
Design Automation for Embedded Systems – Springer
IV Brazilian Symposium on Computing System Engineering (SBESC, 2014)
- Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking
40th Annual Conference of the IEEE Industrial Electronics Society (IECON, 2014)
31st Brazilian Symposium on Telecommunications (SBrT, 2013)