Search results for: Igor Melatti
Fundamenta Informaticae > 2020 > Vol. 174, nr 3/4 > 229--258
IEEE Transactions on Automatic Control > 2017 > 62 > 10 > 5357 - 5364
Information Processing Letters > 2017 > 122 > C > 8-16
IEEE Transactions on Smart Grid > 2017 > 8 > 3 > 1284 - 1294
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Model Integrations and Extensions > 356-371
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Short Papers 2 > 277-282
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Model Checking and Application > 394-409
Lecture Notes in Computer Science > Theoretical Computer Science > Program Design, Models and Analysis > 58-71
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Model Checking > 54-68
Lecture Notes in Computer Science > Stabilization, Safety, and Security of Distributed Systems > Regular Papers > 531-546
Lecture Notes in Computer Science > Computer Aided Verification > Session 4. Counter and Hybrid Systems Verification > 180-195
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Contributions > 141-155
Microprocessors and Microsystems > 2016 > 41 > C > 12-28