Iago Abal
Iago Abal
Computer Engineer & Researcher
Vahvistettu sähköpostiosoite verkkotunnuksessa iagoabal.eu - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
42 variability bugs in the linux kernel: a qualitative analysis
I Abal, C Brabrand, A Wasowski
Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014
1122014
Effective Bug Finding in C Programs with Shape and Effect Abstractions
I Abal, C Brabrand, A Wąsowski
International Conference on Verification, Model Checking, and Abstract …, 2017
42017
Using term rewriting to solve bit-vector arithmetic problems
I Abal, A Cunha, J Hurd, JS Pinto
International Conference on Theory and Applications of Satisfiability …, 2012
22012
Towards a mostly-automated prover for bit-vector arithmetic
I Abal, JS Pinto
Proceedings of the International C* Conference on Computer Science and …, 2013
12013
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–4