Iago Abal

2013201420152016201720182019202020212022202320242 2 14 25 31 24 22 14 29 20 21 31

Public access

2 articles

0 articles

available

not available

Based on funding mandates

Andrzej WąsowskiProfessor, IT University of Copenhagen, DenmarkVerified email at itu.dk
Claus BrabrandFull Professor, Head of Center for Computing Education Research, IT University of CopenhagenVerified email at itu.dk
Jorge Sousa PintoHASLab / INESC TEC & Universidade do MinhoVerified email at di.uminho.pt
Joe Leslie-HurdIntel Corp.Verified email at gilith.com
Alcino CunhaHASLab, INESC TEC and Universidade do MinhoVerified email at di.uminho.pt

Iago Abal

Computer Engineer & Researcher

Verified email at iagoabal.eu - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	151	2014
Variability bugs in highly configurable systems: A qualitative analysis I Abal, J Melo, Ş Stănciulescu, C Brabrand, M Ribeiro, A Wąsowski ACM Transactions on Software Engineering and Methodology (TOSEM) 26 (3), 1-34, 2018	78	2018
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	7	2017
Using term rewriting to solve bit-vector arithmetic problems I Abal, A Cunha, J Hurd, J Sousa Pinto Theory and Applications of Satisfiability Testing–SAT 2012: 15th …, 2012	4	2012
Towards a mostly-automated prover for bit-vector arithmetic I Abal, JS Pinto Proceedings of the International C* Conference on Computer Science and …, 2013	1	2013
Analysis, Modeling and Testing of Darcs Patch Theory Kernel I Abal		2011

The system can't perform the operation now. Try again later.

Articles 1–6

Citations per year