E-LIB Suche - Ergebnisse für: Abal, Iago

1

Variability Bugs in Highly Configurable Systems : A Qual..:

Abal, Iago ; Melo, Jean ; Stănciulescu, Ştefan...
ACM Transactions on Software Engineering and Methodology (TOSEM). 26 (2018) 3 - p. 1-34 , 2018

Link: https://dl.acm.org/doi/1..

2

Variability Bugs in Highly Configurable Systems: A Qualitat..:

Abal, Iago ; Melo, Jean ; Stănciulescu, Ştefan...
ACM Transactions on Software Engineering and Methodology. 26 (2017) 3 - p. 1-34 , 2017

Link: https://doi.org/10.1145/..

3

42 variability bugs in the linux kernel : a qualitative ..:

, In: Proceedings of the 29th ACM/IEEE international conference on Automated software engineering,

Abal, Iago ; Brabrand, Claus ; Wasowski, Andrzej - p. 421-432 , 2014

Link: https://dl.acm.org/doi/1..

4

Towards a mostly-automated prover for bit-vector arithmetic:

, In: Proceedings of the International C* Conference on Computer Science and Software Engineering,

Abal, Iago ; Pinto, Jorge Sousa - p. 132-133 , 2013

Link: https://dl.acm.org/doi/1..

5

Variability Bugs in Highly Configurable Systems: A Qualitat..:

Abal, Iago ; Melo, Jean ; Stanciulescu, Stefan...
Abal , I , Melo , J , Stanciulescu , S , Brabrand , C , Ribeiro , M & Wasowski , A 2018 , ' Variability Bugs in Highly Configurable Systems: A Qualitative Analysis ' , ACM Transactions on Software Engineering and Methodology , vol. 26 , no. 3 , 10 . https://doi.org/10.1145/3149119. , 2018

Link: https://pure.itu.dk/port..

6

Effective Bug Finding in C Programs with Shape and Effect A..:

Abal, Iago ; Brabrand, Claus ; Wasowski, Andrzej
Abal , I , Brabrand , C & Wasowski , A 2017 , Effective Bug Finding in C Programs with Shape and Effect Abstractions . in Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings . Springer , Lecture Notes in Computer Science , vol. 10145 , pp. 34-54 , 18th International Conference on Verification, Model Checking, and Abstract Interpretation , Paris , France , 15/01/2017 . https://doi.org/10.1007/978-3-319-52234-0_3. , 2017

Link: https://pure.itu.dk/port..

7

Using term rewriting to solve Bit-vector arithmetic problem..:

Abal, Iago ; Cunha, Alcino ; Hurd, Joe.
info:eu-repo/grantAgreement/FCT/3599-PPCDT/105034/PT. , 2012

Link: http://hdl.handle.net/18..

8

Using term rewriting to solve Bit-Vector arithmetic problem..:

Abal, Iago ; Cunha, Alcino ; Hurd, Joe.
Iago Abal, Alcino Cunha, Joe Hurd, Jorge Sousa Pinto: Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation). SAT 2012: 493-495. , 2012

Link: http://hdl.handle.net/18..

9

Effective Bug Finding:

Rivas, Iago Abal
Rivas , I A 2017 , Effective Bug Finding . ITU-DS , no. 134 , IT-Universitetet i København .. , 2017

Link: https://pure.itu.dk/port..

10

Aberrant integration of Hepatitis B virus DNA promotes majo..:

Álvarez, Eva G. ; Demeulemeester, Jonas ; Otero, Paula...
Nature Communications. 12 (2021) 1 - p. , 2021

Link: https://doi.org/10.1038/..

11

Aberrant integration of Hepatitis B virus DNA promotes majo..:

Álvarez, Eva G ; Demeulemeester, Jonas ; Otero, Paula...
https://www.repository.cam.ac.uk/handle/1810/332468. , 2022

Link: https://www.repository.c..

12

Aberrant integration of Hepatitis B virus DNA promotes majo..:

Eva G. Álvarez ; Jonas Demeulemeester ; Paula Otero...
https://doi.org/10.1038/s41467-021-26805-8. , 2021

Link: https://doi.org/10.1038/..

13

Aberrant integration of Hepatitis B virus DNA promotes majo..:

Eva G Álvarez (11760464) ; Jonas Demeulemeester (180282) ; Paula Otero (11760467)...
https://figshare.com/articles/journal_contribution/Aberrant_integration_of_Hepatitis_B_virus_DNA_promotes_major_restructuring_of_human_hepatocellular_carcinoma_genome_architecture/17086349. , 2021

Link: https://doi.org/10.25418..