Rafael Caballero

55 papers A 1B 4C 8Misc 6Journal 16Unranked 20

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	A unified framework for declarative debugging and testing. Inf. Softw. Technol. Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit
2019	J	`jnl`	A core Erlang semantics for declarative debugging. J. Log. Algebraic Methods Program. Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit
2018	J	`jnl`	Declarative debugging of concurrent Erlang programs. J. Log. Algebraic Methods Program. Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit
2017	J	`jnl`	A Survey of Algorithmic Debugging. ACM Comput. Surv. Rafael Caballero, Adrián Riesco, Josep Silva
2017	J	`jnl`	Anticipating anonymity in screening program databases. Int. J. Medical Informatics Rafael Caballero, Sagar Sen, Jan Nygård
2016	—	`conf`	Debugging Meets Testing in Erlang. TAP@STAF Salvador Tamarit, Adrián Riesco, Enrique Martin-Martin, Rafael Caballero
2015	J	`jnl`	A zoom-declarative debugger for sequential Erlang programs. Sci. Comput. Program. Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit
2015	C	`conf`	Checking Java Assertions Using Automated Test-Case Generation. LOPSTR Rafael Caballero, Manuel Montenegro, Herbert Kuchen, Vincent von Hof
2015	C	`conf`	Debugging of wrong and missing answers for datalog programs with constraint handling rules. PPDP Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
2015	J	`jnl`	Two type extensions for the constraint modeling language MiniZinc. Sci. Comput. Program. Rafael Caballero, Peter J. Stuckey, Antonio Tenorio-Fornes
2014	J	`jnl`	A Transformation-based implementation for CLP with qualification and proximity. Theory Pract. Log. Program. Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2014	A	`conf`	EDD: A Declarative Debugger for Sequential Erlang Programs. TACAS Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit
2013	—	`conf`	A Declarative Debugger for Sequential Erlang Programs. TAP@STAF Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit
2013	C	`conf`	Finite type extensions in constraint programming. PPDP Rafael Caballero, Peter J. Stuckey, Antonio Tenorio-Fornes
2012	J	`jnl`	A Transformation-based Implementation for CLP with Qualification and Proximity CoRR Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2012	Misc	`conf`	Declarative Debugging of Wrong and Missing Answers for SQL Views. FLOPS Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
2012	J	`jnl`	Declarative debugging of rewriting logic specifications. J. Log. Algebraic Methods Program. Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero
2012	J	`jnl`	Test-Case Generation for SQL Nested Queries with Existential Conditions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Rafael Caballero, José Luzon-Martin, Antonio Tenorio-Fornes
2011	C	`conf`	A Declarative Embedding of XQuery in a Functional-Logic Language. LOPSTR Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
2011	B	`conf`	A Deductive Database with Datalog and SQL Query Languages. APLAS Fernando Sáenz-Pérez, Rafael Caballero, Yolanda García-Ruiz
2011	J	`jnl`	A Generic Scheme for Qualified Constraint Functional Logic Programming CoRR Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2011	C	`conf`	A program transformation for returning states in functional-logic programs. PEPM Rafael Caballero
2011	—	`conf`	Algorithmic Debugging of SQL Views. Ershov Memorial Conference Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
2011	C	`conf`	Integrating XPath with the Functional-Logic Language Toy. PADL Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
2011	C	`conf`	Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees. LOPSTR Rafael Caballero, Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet
2011	—	`conf`	XPath Query Processing in a Functional-Logic Language. PROLE Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
2011	—	`conf`	XQuery in the Functional-Logic Language Toy. WFLP Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
2010	J	`jnl`	A Transformation-based Implementation for CLP with Qualification and Proximity CoRR Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2010	Misc	`conf`	Applying Constraint Logic Programming to SQL Test Case Generation. FLOPS Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
2010	J	`jnl`	Proceedings of the 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009) CoRR Rafael Caballero, John P. Gallagher
2010	J	`jnl`	Similarity-based Reasoning in Qualified Logic Programming CoRR Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2009	B	`conf`	Qualified Computations in Functional Logic Programming. ICLP Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2008	—	`conf`	A Declarative Debugger for Maude Functional Modules. WRLA Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo
2008	—	`conf`	A Declarative Debugger for Maude. AMAST Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero
2008	—	`conf`	A Theoretical Framework for the Declarative Debugging of Datalog Programs. SDKB Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
2008	—	`conf`	Declarative Debugging of Membership Equational Logic Specifications. Concurrency, Graphs and Models Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo
2008	—	`conf`	Declarative Debugging of Rewriting Logic Specifications. WADT Adrián Riesco, Alberto Verdejo, Rafael Caballero, Narciso Martí-Oliet
2008	Misc	`conf`	Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming. FLOPS Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
2008	C	`conf`	Similarity-based reasoning in qualified logic programming. PPDP Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
2007	—	`conf`	A New Proposal for Debugging Datalog Programs. WFLP@RDP Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
2007	B	`conf`	Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming. ICLP Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
2006	—	`conf`	Algorithmic Debugging of Java Programs. WFLP Rafael Caballero, Christian Hermanns, Herbert Kuchen
2006	B	`conf`	Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming. ICLP Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
2006	—	`conf`	Implementing Dynamic-Cut in TOY. WFLP Rafael Caballero, Yolanda García-Ruiz
2005	—	`conf`	A declarative debugger of incorrect answers for constraint functional-logic programs. WCFLP Rafael Caballero
2004	Misc	`conf`	DDT: a Declarative Debugging Tool for Functional-Logic Languages. FLOPS Rafael Caballero, Mario Rodríguez-Artalejo
2003	J	`jnl`	Improving Deterministic Computations in Lazy Functional Logic Languages. J. Funct. Log. Program. Rafael Caballero, Francisco Javier López-Fraguas
2002	—	`conf`	Declarative Debugging for Encapsulated Search. WFLP Rafael Caballero, Wolfgang Lux
2002	Misc	`conf`	Dynamic-Cut with Definitional Trees. FLOPS Rafael Caballero, Francisco Javier López-Fraguas
2001	—	`conf`	A Declarative Debugging System for Lazy Functional Logic Programs. WFLP Rafael Caballero, Mario Rodríguez-Artalejo
2001	Misc	`conf`	Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs. FLOPS Rafael Caballero, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
2000	—	`conf`	A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic Program. WFLP Rafael Caballero, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
1999	—	`conf`	A Functional-Logic Perspective on Parsing. Fuji International Symposium on Functional and Logic Programming Rafael Caballero, Francisco Javier López-Fraguas
1999	—	`conf`	Extensions: A Technique for Structuring Functional-Logic Programs. Ershov Memorial Conference Rafael Caballero, Francisco Javier López-Fraguas
1998	—	`conf`	Parsing with Non-Deterministic Functions. APPIA-GULP-PRODE Rafael Caballero, Francisco Javier López-Fraguas

Nicolò Altamura is a security engineer and computer science researcher specializing in software protection, reverse engineering, program analysis, and binary deobfuscation. He holds a master's degree in Computer Science and Engineering from the University of Verona, graduating with honors, and works at emproof, focusing on software protection and the challenges of analyzing and understanding compiled software.

His research explores the relationship between program analysis and code obfuscation, with particular emphasis on how software transformations affect the ability of automated tools to recover program behavior. His interests span static analysis, binary analysis, decompilation, reverse engineering, and techniques for analyzing and simplifying obfuscated code.

Beyond academic research, Nicolò develops and contributes to tools for reverse engineering and software analysis. His projects include obfuscation_analysis, a Binary Ninja plugin for analyzing and simplifying obfuscated code; Pocket, an obfuscator for mixed Boolean-arithmetic expressions; and ptxNinja, a tool for reverse engineering NVIDIA GPU code represented in the PTX virtual instruction set.

His research also extends to binary datasets and software evolution. In 2026, he co-authored ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage, a research work addressing the availability of binary data across multiple software builds and points in time, supporting research into binary analysis and changes between program versions.

Across his research, engineering work, and open-source contributions, Nicolò focuses on advancing the understanding, analysis, and protection of software against increasingly sophisticated obfuscation and reverse-engineering challenges.

Nicolò Altamura is not a football player. Please avoid reporting this kind of infromation.