Iury Bessa

Identifiers

• name variant Iury Bessa 0.60 · backfill

Papers (6)

1. Dynamic Event-Triggered Control of Discrete-Time Nonlinear Systems based on Difference-Algebraic Representations eess.SY · 2026 · author #4
2. Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants cs.SY · 2017 · author #2
3. Verifying Digital Systems with MATLAB cs.SY · 2017 · author #2
4. DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems (Tool Demonstration) cs.SY · 2016 · author #2
5. Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants cs.SY · 2016 · author #2
6. SMT-Based Bounded Model Checking of Fixed-Point Digital Controllers cs.SY · 2014 · author #1

Mentions

• 1705.00981 #2 · arxiv_oai · confidence 0.70 Iury Bessa
• 1702.05591 #2 · arxiv_oai · confidence 0.70 Iury Bessa
• 1610.07066 #2 · arxiv_oai · confidence 0.70 Iury Bessa
• 1610.04761 #2 · arxiv_oai · confidence 0.70 Iury Bessa
• 1403.5172 #1 · arxiv_oai · confidence 0.70 Iury Bessa
• 1403.5172 #1 · backfill · confidence 0.70 Iury Bessa

Frequent Coauthors

• Lucas Cordeiro 5 shared papers
• Daniel Kroening 4 shared papers
• Alessandro Abate 2 shared papers
• Cristina David 2 shared papers
• Dario Cattaruzza 2 shared papers
• Lennon Chaves 2 shared papers
• Pascal Kesseli 2 shared papers
• Eddie Filho 1 shared papers
• Elizabeth Polgreen 1 shared papers
• Gabriela Reis 1 shared papers
• Jo\~ao Edgar Filho 1 shared papers
• Pedro Henrique Coutinho 1 shared papers
• Renato Abreu 1 shared papers
• Rodrigo Ara\'ujo 1 shared papers
• Vitoriano Casas 1 shared papers