Publications

• Verification of Smart Contract Business Logic: Exploiting a Java Source Code Verifier
  Wolfgang Ahrendt, Richard Bubel, Joshua Ellul, Gordon J. Pace, Raúl Pardo, Vincent Rebiscoul and Gerardo Schneider. In 8th IPM International Conference on Fundamentals of Software Engineering (FSEN) (Tehran, Iran. 2019). To appear.
  [ .pdf | Abstract]
• Timed Epistemic Knowledge Bases for Social Networks
  Raúl Pardo, César Sánchez and Gerardo Schneider. In 22nd International Symposium on Formal Methods (FM) (Oxford, UK. 2018).
  [ bib | .pdf | Abstract | Slides ]
• MoVEMo: A Structured Approach for Engineering Reward Functions
  Piergiuseppe Mallozzi, Raúl Pardo, Vincent Duplessis, Patrizio Pelliccione and Gerardo Schneider. In 2nd IEEE International Conference on Robotic Computing (IRC) (Laguna Hills, CA, USA. 2018).
  [ bib | .pdf | Abstract ]
• Model Checking Social Network Models
  Raúl Pardo and Gerardo Schneider. In 8th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF) (Rome, Italy. 2017).
  [ bib | .pdf | Abstract ]
• Secure Photo Sharing in Social Networks
  Pablo Picazo-Sanchez, Raúl Pardo and Gerardo Schneider. In 32nd International Conference on ICT Systems Security and Privacy Protection (IFIP SEC) (Rome, Italy. 2017).
  [ bib | .pdf | Abstract ]
• Formalising Privacy Policies in Social Networks
  Raúl Pardo, Musard Balliu and Gerardo Schneider. In Journal of Logical and Algebraic Methods in Programming (JLAMP), 2017.
  [ bib | .pdf | Abstract ]
• Specification of Evolving Privacy Policies for Online Social Networks
  Raúl Pardo, Ivana Kellyérová, César Sánchez and Gerardo Schneider. In 23rd International Symposium on Temporal Representation and Reasoning (TIME) (Copenhagen, Denmark. 2016).
  [ bib | .pdf | Abstract ]
• An Automata-based Approach to Evolving Privacy Policies for Social Networks
  Raúl Pardo, Christian Colombo, Gordon J. Pace and Gerardo Schneider. In 16th International Conference on Runtime Verification (RV) (Madrid, Spain. 2016).
  [ bib | .pdf | Abstract ]
• On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks
  Gordon J. Pace, Raúl Pardo and Gerardo Schneider. In 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA) (Corfu, Greece. 2016).
  [ bib | .pdf | Abstract ]
• A Formal Privacy Policy Framework for Social Networks
  Raúl Pardo and Gerardo Schneider. In 12th International Conference on Software Engineering and Formal Methods (SEFM) (Grenoble, France. 2014).
  [ bib | .pdf | Abstract ]
• GPU Powered ROSA Analyzer
  Raúl Pardo, Fernando L. Pelayo and Pedro Valero-Lara. In 2nd Workshop on Heterogeneous and Unconventional Cluster Architectures and Applications (HUCAA) (Lyon, France. 2013).
  [ bib | .pdf | Abstract ]
• Computational Analysis of Canny & Binary Fuzzy Rough Set Model Based on Triangle Modulus Edge Detector
  Raúl Pardo and Fernando L. Pelayo. In 11th IEEE International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC) (Kyoto, Japan. 2012).
  [ bib | .pdf | Abstract ]
• ROSA Analyser: An automatized approach to analyse processes of ROSA
  Raúl Pardo and Fernando L. Pelayo. In 2nd Workshop on Formal Methods in the Development of Software (WS-FMDS) (Paris, France. 2012).
  [ bib | .pdf | Abstract ]