I agree that this site is using cookies. You can find further informations here.
X
Riesco, Adrián
96  results:
Search for persons X
?
1

Verification of the ROS NavFn planner using executable spec..:

Martin-Martin, Enrique ; Montenegro, Manuel ; Riesco, Adrián..
Journal of Logical and Algebraic Methods in Programming.  132 (2023)  - p. 100860 , 2023
Link: https://doi.org/10.1016/..
 
?
2

Optimization Techniques for Model Checking Leads-to Propert..:

Do, Canh Minh ; Phyo, Yati ; Riesco, Adrián.
ACM Transactions on Software Engineering and Methodology.  32 (2023)  6 - p. 1-38 , 2023
Link: https://doi.org/10.1145/..
 
?
3

Integration of state machine graphical animation and Maude ..:

Bui, Dang Duy ; Tran, Duong Dinh ; Ogata, Kazuhiro.
Multimedia Tools and Applications.  83 (2023)  12 - p. 36865-36898 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Parallel Maude-NPA for Cryptographic Protocol Analysis:

, In: Rewriting Logic and Its Applications; Lecture Notes in Computer Science,
Minh Do, Canh ; Riesco, Adrián ; Escobar, Santiago. - p. 253-273 , 2022
Link: https://doi.org/10.1007/..
 
?
5

Formal Methods and Software Engineering: 23rd International.. 

Lecture Notes in Computer Science, 13478
Riesco, Adrian ; Zhang, Min - 1st ed. 2022 . , 2022
Link: https://doi.org/10.1007/..
 
?
6

Theorem Proving for Maude Specifications Using Lean:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,
Rubio, Rubén ; Riesco, Adrián - p. 263-280 , 2022
Link: https://doi.org/10.1007/..
 
?
7

An integrated tool set for verifying CafeOBJ specifications:

Riesco, Adrián ; Ogata, Kazuhiro
Journal of Systems and Software.  189 (2022)  - p. 111302 , 2022
Link: https://doi.org/10.1016/..
 
?
8

Hardware Trojan detection via rewriting logic:

Asăvoae, Irina Măriuca ; Tofighi Shirazi, Ramtine ; Riesco, Adrián.
Journal of Logical and Algebraic Methods in Programming.  127 (2022)  - p. 100762 , 2022
Link: https://doi.org/10.1016/..
 
?
9

A unified framework for declarative debugging and testing:

Caballero, Rafael ; Martin-Martin, Enrique ; Riesco, Adrián.
Information and Software Technology.  129 (2021)  - p. 106427 , 2021
Link: https://doi.org/10.1016/..
 
?
10

Fuzzy Matching for Cellular Signaling Networks in a Choroid..:

, In: Advances in Intelligent Systems and Computing; Practical Applications of Computational Biology & Bioinformatics, 14th International Conference (PACBB 2020),
Riesco, Adrián ; Santos-Buitrago, Beatriz ; Knapp, Merrill... - p. 80-90 , 2020
Link: https://doi.org/10.1007/..
 
?
11

CiMPG+F: A Proof Generator and Fixer-Upper for CafeOBJ Spec..:

, In: Theoretical Aspects of Computing – ICTAC 2020; Lecture Notes in Computer Science,
Riesco, Adrián ; Ogata, Kazuhiro - p. 64-82 , 2020
Link: https://doi.org/10.1007/..
 
?
12

Classifying Pastebin Content Through the Generation of Past..:

, In: Lecture Notes in Computer Science; Hybrid Artificial Intelligent Systems,
Riesco, Adrián ; Fidalgo, Eduardo ; Al-Nabki, Mhd Wesam.. - p. 456-467 , 2019
Link: https://doi.org/10.1007/..
 
?
13

FlinkCheck: Property-Based Testing for Apache Flink:

Espinosa, Cristina Valentina ; Martin-Martin, Enrique ; Riesco, Adrian.
IEEE Access.  7 (2019)  - p. 150369-150382 , 2019
Link: https://doi.org/10.1109/..
 
?
14

Soft Set Theory for Decision Making in Computational Biolog..:

Santos-Buitrago, Beatriz ; Riesco, Adrian ; Knapp, Merrill...
IEEE Access.  7 (2019)  - p. 18183-18193 , 2019
Link: https://doi.org/10.1109/..
 
?
15

An Environment for Specifying and Model Checking Mobile Rin..:

, In: Lecture Notes in Computer Science; Stabilization, Safety, and Security of Distributed Systems,
Doan, Ha Thi Thu ; Riesco, Adrián ; Ogata, Kazuhiro - p. 111-126 , 2019
Link: https://doi.org/10.1007/..
 
1-15