Daniel Larraz - RankMe

20 papers A* 1A 3B 6C 1Journal 6Unranked 2

Year	Rank	Type	Title / Venue / Authors
2024	A	`conf`	A Comprehensive, Automated Security Analysis of the Uptane Automotive Over-the-Air Update Framework. RAID Robert Lorch, Daniel Larraz, Cesare Tinelli, Omar Chowdhury
2023	B	`conf`	CRV: Automated Cyber-Resiliency Reasoning for System Design Models. FMCAD Daniel Larraz, Robert Lorch, Moosa Yahyazadeh, M. Fareed Arif, Omar Chowdhury, Cesare Tinelli
2022	J	`jnl`	Realizability Checking of Contracts with Kind 2. CoRR Daniel Larraz, Cesare Tinelli
2021	C	`conf`	Merit and Blame Assignment with Kind 2. FMICS Daniel Larraz, Mickaël Laurent, Cesare Tinelli
2021	J	`jnl`	Merit and Blame Assignment with Kind 2. CoRR Daniel Larraz, Mickaël Laurent, Cesare Tinelli
2021	J	`jnl`	VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System. Syst. Baoluo Meng, Daniel Larraz, Kit Siu, Abha Moitra, John Interrante, William Smith, Saswata Paul, Daniel Prince, Heber Herencia-Zapana, M. Fareed Arif, Moosa Yahyazadeh, Vidhya Tekken Valapil, Michael Durling, Cesare Tinelli, Omar Chowdhury
2020	J	`jnl`	Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers. CoRR Cristina Borralleras, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
2020	B	`conf`	SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces. FMCAD M. Fareed Arif, Daniel Larraz, Mitziu Echeverria, Andrew Reynolds, Omar Chowdhury, Cesare Tinelli
2020	—	`conf`	Scalable Algorithms for Abduction via Enumerative Syntax-Guided Synthesis. IJCAR (1) Andrew Reynolds, Haniel Barbosa, Daniel Larraz, Cesare Tinelli
2019	B	`conf`	Extending enumerative function synthesis via SMT-driven classification. FMCAD Haniel Barbosa, Andrew Reynolds, Daniel Larraz, Cesare Tinelli
2019	J	`jnl`	Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers. ACM Trans. Comput. Log. Cristina Borralleras, Daniel Larraz, Enric Rodríguez-Carbonell, Albert Oliveras, Albert Rubio
2017	—	`conf`	Proving Termination Through Conditional Termination. TACAS (1) Cristina Borralleras, Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
2016	A	`conf`	Speeding up the Constraint-Based Method in Difference Logic. SAT Lorenzo Candeago, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
2015	—	`—`	Automatic program analysis using Max-SMT. Daniel Larraz
2015	B	`conf`	Compositional Safety Verification with Max-SMT. FMCAD Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
2015	J	`jnl`	Compositional Safety Verification with Max-SMT. CoRR Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
2014	A	`conf`	Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions. SAT Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
2014	A*	`conf`	Proving Non-termination Using Max-SMT. CAV Daniel Larraz, Kaustubh Nimkar, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
2013	B	`conf`	Proving termination of imperative programs using Max-SMT. FMCAD Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
2013	B	`conf`	SMT-Based Array Invariant Generation. VMCAI Daniel Larraz, Enric Rodríguez-Carbonell, Albert Rubio