CUFinder

Daniel Larraz

Daniel Larraz

University of Iowa

H-index: 10

North America-United States

Contact Daniel Larraz

About Daniel Larraz

Daniel Larraz, With an exceptional h-index of 10 and a recent h-index of 9 (since 2020), a distinguished researcher at University of Iowa, specializes in the field of Software Verification, Program Analysis, Termination Analysis, Constraint Solving.

His recent articles reflect a diverse array of research interests and contributions to the field:

CRV: Automated Cyber-Resiliency Reasoning for System Design Models

Finding locally smallest cut sets using max-smt

Beyond model checking of idealized Lustre in Kind 2

Realizability Checking of Contracts with Kind 2

Verdict: a language and framework for engineering cyber resilient and safe system

Merit and blame assignment with Kind 2

SYSLITE: syntax-guided synthesis of PLTL formulas from finite traces

Scalable algorithms for abduction via enumerative syntax-guided synthesis

Daniel Larraz Information

University

Position

___

Citations(all)

342

Citations(since 2020)

191

Cited By

214

hIndex(all)

10

hIndex(since 2020)

9

i10Index(all)

11

i10Index(since 2020)

9

Email

University Profile Page

Google Scholar

Daniel Larraz Skills & Research Interests

Software Verification

Program Analysis

Termination Analysis

Constraint Solving

Top articles of Daniel Larraz

CRV: Automated Cyber-Resiliency Reasoning for System Design Models

CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD 2023

2023/10/24

Daniel Larraz
Daniel Larraz

H-Index: 7

Moosa Yahyazadeh
Moosa Yahyazadeh

H-Index: 4

Cesare Tinelli
Cesare Tinelli

H-Index: 27

Finding locally smallest cut sets using max-smt

ACM SIGAda Ada Letters

2023/4/5

Daniel Larraz
Daniel Larraz

H-Index: 7

Cesare Tinelli
Cesare Tinelli

H-Index: 27

Beyond model checking of idealized Lustre in Kind 2

ACM SIGAda Ada Letters

2023/4/5

Daniel Larraz
Daniel Larraz

H-Index: 7

Cesare Tinelli
Cesare Tinelli

H-Index: 27

Realizability Checking of Contracts with Kind 2

arXiv preprint arXiv:2205.09082

2022/5/18

Daniel Larraz
Daniel Larraz

H-Index: 7

Cesare Tinelli
Cesare Tinelli

H-Index: 27

Verdict: a language and framework for engineering cyber resilient and safe system

Systems

2021/3/3

Daniel Larraz
Daniel Larraz

H-Index: 7

William Smith
William Smith

H-Index: 6

Saswata Paul
Saswata Paul

H-Index: 3

Daniel Prince
Daniel Prince

H-Index: 7

Moosa Yahyazadeh
Moosa Yahyazadeh

H-Index: 4

Vidhya Tekken Valapil
Vidhya Tekken Valapil

H-Index: 4

Cesare Tinelli
Cesare Tinelli

H-Index: 27

Merit and blame assignment with Kind 2

2021

Daniel Larraz
Daniel Larraz

H-Index: 7

Cesare Tinelli
Cesare Tinelli

H-Index: 27

SYSLITE: syntax-guided synthesis of PLTL formulas from finite traces

2020

Daniel Larraz
Daniel Larraz

H-Index: 7

Andrew Reynolds
Andrew Reynolds

H-Index: 22

Cesare Tinelli
Cesare Tinelli

H-Index: 27

Scalable algorithms for abduction via enumerative syntax-guided synthesis

2020/6

Andrew Reynolds
Andrew Reynolds

H-Index: 22

Haniel Barbosa
Haniel Barbosa

H-Index: 8

Daniel Larraz
Daniel Larraz

H-Index: 7

Cesare Tinelli
Cesare Tinelli

H-Index: 27

See List of Professors in Daniel Larraz University(University of Iowa)