José-Ignacio Requeno Jarabo

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 7

Top Topics

Scripting Language

Input Parameters

Petri Net Model

Top Venues

Innov. Syst. Softw. Eng.

Publications

Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz
Coverage visualization and analysis of net inscriptions in coloured Petri net models. Innov. Syst. Softw. Eng. 20 (1) (2024)
Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Violet Ka I Pun, Volker Stolz
Hardware-Assisted Online Data Race Detection. Formal Methods in Outer Space (2021)
Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz
MC/DC Test Cases Generation Based on BDDs. SETTA (2021)
Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz
Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. VECoS (2020)
Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz
Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. CoRR (2020)
Nicolas Basset, Thao Dang, Akshay Mambakam, José-Ignacio Requeno Jarabo
Learning Specifications for Labelled Patterns. FORMATS (2020)
Alexey Bakhirkin, Nicolas Basset, Oded Maler, José-Ignacio Requeno Jarabo
ParetoLib: A Python Library for Parameter Synthesis. FORMATS (2019)