default search action

combined dblp search
author search
venue search
publication search

ask others

José Ignacio Requeno

José Ignacio Requeno Jarabo

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/MambakamJBBD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/MambakamJBBD24
Akshay Mambakam, José Ignacio Requeno Jarabo, Alexey Bakhirkin, Nicolas Basset, Thao Dang:
Mining of extended signal temporal logic specifications with ParetoLib 2.0. Formal Methods Syst. Des. 62(1): 260-284 (2024)
[j10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/isse/AhishakiyeJKS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/AhishakiyeJKS24
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): 17-30 (2024)
2022
[j9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ase/BernardiGMPR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/BernardiGMPR22
Simona Bernardi, Abel Gómez, José Merseguer, Diego Perez-Palacin, José Ignacio Requeno:
DICE simulation: a tool for software performance assessment at the design stage. Autom. Softw. Eng. 29(1): 36 (2022)
2019
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/isf/RequenoMBPGP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isf/RequenoMBPGP19
José Ignacio Requeno, José Merseguer, Simona Bernardi, Diego Perez-Palacin, Giorgos Giotis, Vasilis K. Papanikolaou:
Quantitative Analysis of Apache Storm Applications: The NewsAsset Case Study. Inf. Syst. Frontiers 21(1): 67-85 (2019)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/Perez-PalacinMR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/Perez-PalacinMR19
Diego Perez-Palacin, José Merseguer, José Ignacio Requeno, Michele Guerriero, Elisabetta Di Nitto, Damian A. Tamburri:
A UML Profile for the Design, Quality Assessment and Deployment of Data-intensive Applications. Softw. Syst. Model. 18(6): 3577-3614 (2019)
2018
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/ese/BernardiDGJMPRR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/BernardiDGJMPRR18
Simona Bernardi, Juan L. Domínguez, Abel Gómez, Christophe Joubert, José Merseguer, Diego Perez-Palacin, José Ignacio Requeno, Alberto Romeu:
A systematic approach for performance assessment using process mining - An industrial experience report. Empir. Softw. Eng. 23(6): 3394-3441 (2018)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/MateescuR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/MateescuR18
Radu Mateescu, José Ignacio Requeno:
On-the-fly model checking for extended action-based probabilistic operators. Int. J. Softw. Tools Technol. Transf. 20(5): 563-587 (2018)
2016
[j4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/bmcbi/RequenoC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bmcbi/RequenoC16
José Ignacio Requeno, José Manuel Colom:
Evaluation of properties over phylogenetic trees using stochastic logics. BMC Bioinform. 17: 235 (2016)
2014
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jib/RequenoC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jib/RequenoC14
José Ignacio Requeno, José Manuel Colom:
Analyzing Phylogenetic Trees with Timed and Probabilistic Model Checking: The Lactose Persistence Case Study. J. Integr. Bioinform. 11(3) (2014)
2013
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jib/RequenoC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jib/RequenoC13
José Ignacio Requeno, José Manuel Colom:
Model checking software for phylogenetic trees using distribution and database methods. J. Integr. Bioinform. 10(3) (2013)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tcbb/RequenoCBC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcbb/RequenoCBC13
José Ignacio Requeno, Gregorio de Miguel Casado, Roberto Blanco, José Manuel Colom:
Temporal Logics for Phylogenetic Analysis via Model Checking. IEEE ACM Trans. Comput. Biol. Bioinform. 10(4): 1058-1070 (2013)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c19]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/RequenoGKHLSS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/RequenoGKHLSS24
José Ignacio Requeno, Elena Gómez-Martínez, Hannes Kallwies, Melanie Haustein, Martin Leucker, Volker Stolz, Patrick Stünkel:
Runtime Verification of Timed Petri Nets. PNSE@Petri Nets 2024: 122-131
2022
[c18]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/Gomez-MartinezR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Gomez-MartinezR22
Elena Gómez-Martínez, José Ignacio Requeno:
Adaptative Systems Based on Continuous Observation of Petri Net Product Lines. PNSE@Petri Nets 2022: 211-212
2021
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/AhishakiyeJPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/AhishakiyeJPS21
Faustin Ahishakiye, José Ignacio Requeno Jarabo, Violet Ka I Pun, Volker Stolz:
Hardware-Assisted Online Data Race Detection. Formal Methods in Outer Space 2021: 108-126
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/edcc/BernardiJMR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edcc/BernardiJMR21
Simona Bernardi, Raúl Javierre, José Merseguer, José Ignacio Requeno:
Detectors of Smart Grid Integrity Attacks: an Experimental Assessment. EDCC 2021: 75-82
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/AhishakiyeJKS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/AhishakiyeJKS21
Faustin Ahishakiye, José Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz:
MC/DC Test Cases Generation Based on BDDs. SETTA 2021: 178-197
2020
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/BassetDMJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/BassetDMJ20
Nicolas Basset, Thao Dang, Akshay Mambakam, José Ignacio Requeno Jarabo:
Learning Specifications for Labelled Patterns. FORMATS 2020: 76-93
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/AhishakiyeJKS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/AhishakiyeJKS20
Faustin Ahishakiye, José Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz:
Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. VECoS 2020: 68-83
2019
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/BakhirkinBMJ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/BakhirkinBMJ19
Alexey Bakhirkin, Nicolas Basset, Oded Maler, José Ignacio Requeno Jarabo:
ParetoLib: A Python Library for Parameter Synthesis. FORMATS 2019: 114-120
2018
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/wosp/RequenoGM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wosp/RequenoGM18
José Ignacio Requeno, Iñigo Gascón, José Merseguer:
Towards the Performance Analysis of Apache Tez Applications. ICPE Companion 2018: 147-152
2017
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/iri/RequenoMB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iri/RequenoMB17
José Ignacio Requeno, José Merseguer, Simona Bernardi:
Performance Analysis of Apache Storm Applications Using Stochastic Petri Nets. IRI 2017: 411-418
2016
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/ica3pp/ArdagnaBGAPR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ica3pp/ArdagnaBGAPR16
Danilo Ardagna, Simona Bernardi, Eugenio Gianniti, Soroush Karimian Aliabadi, Diego Perez-Palacin, José Ignacio Requeno:
Modeling Performance of Hadoop Applications: A Journey from Queueing Networks to Stochastic Well Formed Nets. ICA3PP 2016: 599-613
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/BernardiRJR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/BernardiRJR16
Simona Bernardi, José Ignacio Requeno, Christophe Joubert, Alberto Romeu:
A systematic approach for performance evaluation using process mining: the POSIDONIA operations case study. QUDOS@ISSTA 2016: 24-29
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/MateescuR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/MateescuR16
Radu Mateescu, José Ignacio Requeno:
On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators. SPIN 2016: 189-207
2014
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/pacbb/RequenoC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pacbb/RequenoC14
José Ignacio Requeno, José Manuel Colom:
Timed and Probabilistic Model Checking over Phylogenetic Trees. PACBB 2014: 105-112
2013
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/pacbb/RequenoC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pacbb/RequenoC13
José Ignacio Requeno, José Manuel Colom:
Speeding Up Phylogenetic Model Checking. PACBB 2013: 119-126
2012
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/pacbb/RequenoBCC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pacbb/RequenoBCC12
José Ignacio Requeno, Roberto Blanco, Gregorio de Miguel Casado, José Manuel Colom:
Sliced Model Checking for Phylogenetic Analysis. PACBB 2012: 95-103
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/pacbb/RequenoC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pacbb/RequenoC12
José Ignacio Requeno, José Manuel Colom:
Compact Representation of Biological Sequences Using Set Decision Diagrams. PACBB 2012: 231-239
2011
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/pacbb/RequenoBCC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pacbb/RequenoBCC11
José Ignacio Requeno, Roberto Blanco, Gregorio de Miguel Casado, José Manuel Colom:
Phylogenetic Analysis Using an SMV Tool. PACBB 2011: 167-174
2010
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/bibm/BlancoCRC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bibm/BlancoCRC10
Roberto Blanco, Gregorio de Miguel Casado, José Ignacio Requeno, José Manuel Colom:
Temporal logics for phylogenetic analysis via model checking. BIBM Workshops 2010: 152-157

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-01415
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-01415
Sinhué García Gil, Luis Llana Díaz, José Ignacio Requeno Jarabo:
QCRMut: Quantum Circuit Random Mutant generator tool. CoRR abs/2410.01415 (2024)
2022
[i2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-06722
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-06722
José Ignacio Requeno:
Detection of Smart Grid Integrity Attacks Using Signal Temporal Logic. CoRR abs/2209.06722 (2022)
2020
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2005-09806
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-09806
Faustin Ahishakiye, José Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz:
Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. CoRR abs/2005.09806 (2020)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.