image

Jaime Arias

CNRS Research Engineer

About Me

I am a CNRS research engineer in the SAFER group at LIPN, Université Sorbonne Paris Nord. I lead the laboratory's development team and serve as Chargé de mission « Logiciels » for CNRS Sciences informatiques.

Research Interests
  • Formal specification and verification of concurrent systems
  • Interactive multimedia systems
Education
Download CV

Software

I design, develop, and maintain open-source research software. Below are the tools I am actively maintaining, followed by past contributions. The complete list is available on GitLab and GitHub.

Actively maintaining

ADT2AMAS

Tool to translate attack-defence trees (ADTrees) into asynchronous multi-agent systems (AMAS) and compute optimal agent scheduling for securityscenarios.

  • C++
CosyVerif

Extensible web platform for modelling and analysing systems across multiple coexisting formalisms (Petri nets, automata, attack-defence trees).

  • Docker
  • TypeScript
  • Java
Imitator

Parametric timed model checker that synthesizes the timing-parameter valuations for which a real-time system satisfies its correctness specification.

  • OCaml
Morfetik

Morphological lexical resource for French that automatically generates and identifies every inflected form of a word for Natural Language Processing tasks.

  • Docker
  • TypeScript
Best Demo Award at EGC 2026
SOGMBT

Model-based testing tool that derives observable test paths from a Petri net model via its SOG (a compact abstraction of the state space).

  • C++
Solidity2CPN

Web platform that verifies Solidity smart contracts through Coloured Petri Nets and model checking, supporting vulnerability detection.

  • Docker
  • TypeScript
  • C++

Past contributions

Projects

I have been the principal investigator of the following projects:

PISTACHE
2024

Project funded by Université Sorbonne Paris Nord that aims to reduce the state-space generated by Maude using the Symbolic Observation Graph.

CORRECTNESS
2024

Project funded by MSH Paris Nord that aims to give ReactiveIS formal and executable semantics in rewriting logic.

MEASURE
2019

Project funded by Université Sorbonne Paris Nord that aims to use formal models for guiding music improvisation.

vmo-score
2019

Project funded by MSH Paris Nord that aims to extend the inter-media sequencer ossia-score with musical improvisation capabilities using the Variable Markov Oracle.

Publications

A selection of recent work is highlighted below. The complete list is available on DBLP and HAL.

Selected publications

Theses

2013
Universidad Javeriana

Engineering Degree Thesis

Responsibilities

  • Chargé de Mission (Logiciels) Since 2025
    CNRS Sciences Informatiques
  • Member (GT3) Since 2024
    Collège Codes Sources et Logiciels
  • Head of the Software Committee Since 2023
    LIPN
  • Head of the Development Team Since 2021
    LIPN
  • Ambassador Since 2021
    Software Heritage
  • Board Member 2021–2025
    Galilée Doctoral School

Service

Roles in the organisation and reviewing of international conferences, workshops, and journals.

Organization

Steering Committee

Programme Committee

Artifact Evaluation Committee

Reviewer