Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Daniel Larraz
43  Ergebnisse:
Personensuche X
?
1

CRV: Automated Cyber-Resiliency Reasoning for System Design..:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),
Larraz, Daniel ; Lorch, Robert ; Yahyazadeh, Moosa... - p. 209-220 , 2023
Link: https://doi.org/10.34727..
 
?
2

Finding Locally Smallest Cut Sets using Max-SMT:

Larraz, Daniel
ACM SIGAda Ada Letters.  42 (2023)  2 - p. 32-39 , 2023
Link: https://doi.org/10.1145/..
 
?
3

Beyond model checking of idealized Lustre in Kind 2:

Larraz, Daniel ; Viswanathan, Arjun ; Tinelli, Cesare.
ACM SIGAda Ada Letters.  42 (2023)  2 - p. 40-44 , 2023
Link: https://doi.org/10.1145/..
 
?
4

VERDICT: A Language and Framework for Engineering Cyber Res..:

Meng, Baoluo ; Larraz, Daniel ; Siu, Kit...
Systems.  9 (2021)  1 - p. 18 , 2021
Link: https://doi.org/10.3390/..
 
?
5

Merit and Blame Assignment with Kind 2:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,
Larraz, Daniel ; Laurent, Mickaël ; Tinelli, Cesare - p. 212-220 , 2021
Link: https://doi.org/10.1007/..
 
?
6

SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Fini..:

, In: 2020 Formal Methods in Computer Aided Design (FMCAD),
Arif, M. Fareed ; Larraz, Daniel ; Echeverria, Mitziu... - p. 93-103 , 2020
Link: https://doi.org/10.34727..
 
?
7

Scalable Algorithms for Abduction via Enumerative Syntax-Gu..:

, In: Automated Reasoning; Lecture Notes in Computer Science,
Reynolds, Andrew ; Barbosa, Haniel ; Larraz, Daniel. - p. 141-160 , 2020
Link: https://doi.org/10.1007/..
 
?
8

Incomplete SMT Techniques for Solving Non-Linear Formulas o..:

Borralleras, Cristina ; Larraz, Daniel ; Rodríguez-Carbonell, Enric..
ACM Transactions on Computational Logic (TOCL).  20 (2019)  4 - p. 1-36 , 2019
Link: https://dl.acm.org/doi/1..
 
?
9

Architectural and Behavioral Analysis for Cyber Security:

, In: 2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC),
Siu, Kit ; Moitra, Abha ; Li, Meng... - p. 1-10 , 2019
Link: https://doi.org/10.1109/..
 
?
10

Incomplete SMT Techniques for Solving Non-Linear Formulas o..:

Borralleras, Cristina ; Larraz, Daniel ; Rodríguez-Carbonell, Enric..
ACM Transactions on Computational Logic.  20 (2019)  4 - p. 1-36 , 2019
Link: https://doi.org/10.1145/..
 
?
11

VERDICT: A Language and Framework for Engineering Cyber Res..:

Baoluo Meng ; Daniel Larraz ; Kit Siu...
https://www.mdpi.com/2079-8954/9/1/18.  , 2021
Link: https://doi.org/10.3390/..
 
?
12

VERDICT: A Language and Framework for Engineering Cyber Res..:

Baoluo Meng ; Daniel Larraz ; Kit Siu...
https://dx.doi.org/10.3390/systems9010018.  , 2021
Link: https://doi.org/10.3390/..
 
?
13

Merit and Blame Assignment with Kind 2 (Demo video):

Daniel Larraz ; Mickaël Laurent ; Cesare Tinelli
doi:10.5281/zenodo.5070546.  , 2021
Link: https://zenodo.org/recor..
 
?
14

Merit and Blame Assignment with Kind 2 (TACAS 2021 - Artifa..:

Daniel Larraz ; Mickaël Laurent ; Cesare Tinelli
doi:10.5281/zenodo.4312273.  , 2020
Link: https://zenodo.org/recor..
 
?
15

Realizability Checking of Contracts with Kind 2:

Larraz, Daniel ; Tinelli, Cesare
http://arxiv.org/abs/2205.09082.  , 2022
Link: http://arxiv.org/abs/220..
 
1-15