Name: Raul Lopez Rueda
Type: User
Company: Universitat Politècnica de València
Bio: Software Engineer with a
Master's Degree in Software Systems Engineering and Technology. Researcher in VRAIN.
Location: Valencia, España
Blog: https://rloprue.webs.upv.es/
Raul Lopez Rueda's Projects
Basic linux shell using C
An Efficient Canonical Narrowing Implementation for Protocol Analysis
Android application for tracking moles on the skin over time, by taking pictures and using segmentation algorithms and image analysis
Canonical Narrowing with Irreducibility and SMT Constraints as a Symbolic Protocol Analysis Method
Rewriting systems and experiments with canonical narrowing and SMT constraints (For WRLA 2022 - JLAMP Edition))