RDF/XML JSON-LD N3/Turtle RDF/JSON

Isabel Marquez, Miguel miguel.isabel@upm.es

LENGUAJES Y SISTEMAS INFORMÁTICOS E INGENIERÍA DE SOFTWARE / Universidad Politécnica de Madrid

Actividades

Circom: A Circuit Description Language for Building Zero-Knowledge Applications

  • Bellés-Muñoz M
  • Isabel M
  • Muñoz-Tapia JL
  • Rubio A
  • Baylina J

Ieee Transactions On Dependable And Secure Computing (p. 4733-4751) - 1/1/2023

10.1109/tdsc.2022.3232813 Ver en origen

  • ISSN 15455971

Optimal dynamic partial order reduction with context-sensitive independence and observers

  • Albert E
  • de la Banda MG
  • Gómez-Zamalloa M
  • Isabel M
  • Stuckey P

Journal Of Systems And Software - 1/1/2023

10.1016/j.jss.2023.111730 Ver en origen

  • ISSN 01641212

Actor-based model checking for Software-Defined Networks.

  • Albert, Elvira
  • Gomez-Zamalloa, Miguel
  • Isabel, Miguel
  • Rubio, Albert
  • Sammartino, Matteo
  • Silva, Alexandra

Journal Of Logical And Algebraic Methods In Programming, Volume 118 - 1/1/2021

10.1016/j.jlamp.2020.100617 Ver en origen

  • ISSN 15678326

Deadlock-Guided Testing.

  • Gomez-Zamalloa, Miguel
  • Isabel, Miguel

Ieee Access (p. 46033-46048) - 1/1/2021

10.1109/access.2021.3065421 Ver en origen

  • ISSN 21693536

Exploring the Frequency Domain of Continuous Glucose Monitoring Signals to Improve Characterization of Glucose Variability and of Diabetic Profiles

  • Fico G
  • Hernández L
  • Cancela J
  • Isabel M
  • Facchinetti A
  • Fabris C
  • Gabriel R
  • Cobelli C
  • Arredondo Waldmeyer M
... Ver más Contraer

Journal Of Diabetes Science And Technology (p. 773-779) - 1/7/2017

10.1177/1932296816685717 Ver en origen

  • ISSN 19322968

Este/a investigador/a no tiene libros.

Este/a investigador/a no tiene capítulos de libro.

Distilling Constraints in Zero-Knowledge Protocols

  • Albert E
  • Bellés-Muñoz M
  • Isabel M
  • Rodríguez-Núñez C
  • Rubio A

Lecture Notes In Computer Science (p. 430-443) - 1/1/2022

10.1007/978-3-031-13185-1_21 Ver en origen

  • ISSN 03029743

Optimal context-sensitive dynamic partial order reduction with observers

  • Albert E
  • De La Banda MG
  • Gómez-Zamalloa M
  • Isabel M
  • Stuckey PJ

Issta 2019 - Proceedings Of The 28th Acm Sigsoft International Symposium On Software Testing And Analysis (p. 318-328) - 1/1/2019

10.1145/3293882.3330565 Ver en origen

Conditional dynamic partial order reduction and optimality results

  • Isabel M

Issta 2019 - Proceedings Of The 28th Acm Sigsoft International Symposium On Software Testing And Analysis (p. 433-437) - 1/1/2019

10.1145/3293882.3338987 Ver en origen

Generation of initial contexts for effective deadlock detection

  • Albert E
  • Gómez-Zamalloa M
  • Isabel M

Lecture Notes In Computer Science (p. 3-19) - 1/1/2018

10.1007/978-3-319-94460-9_1 Ver en origen

  • ISSN 03029743

Constrained dynamic partial order reduction

  • Albert E
  • Gómez-Zamalloa M
  • Isabel M
  • Rubio A

Lecture Notes In Computer Science (p. 392-410) - 1/1/2018

10.1007/978-3-319-96142-2_24 Ver en origen

  • ISSN 03029743

SYCO: A systematic testing tool for concurrent objects

  • Albert E
  • Gómez-Zamalloa M
  • Isabel M

Proceedings Of Cc 2016: The 25th International Conference On Compiler Construction (p. 269-270) - 1/1/2016

10.1145/2892208.2892236 Ver en origen

Combining static analysis and testing for deadlock detection

  • Albert E
  • Gómez-Zamalloa M
  • Isabel M

Lecture Notes In Computer Science (p. 409-424) - 1/1/2016

10.1007/978-3-319-33693-0_26 Ver en origen

  • ISSN 03029743

Testing of concurrent programs

  • Isabel M

Openaccess Series In Informatics - 1/1/2016

10.4230/oasics.iclp.2016.18 Ver en origen

  • ISSN 21906807

Can Continuous Glucose Monitoring identify risk factors in type 1 and type 2 Diabetes? A literature review.

  • Isabel, MM
  • Cancela, J
  • Fico, G
  • Facchinetti, A
  • Cobelli, C
  • Arredondo, MT

Proceedings Of The Ieee-Embs International Conferences On Biomedical And Health Informatics (Bhi) (p. 248-251) - 1/6/2014

10.1109/bhi.2014.6864350 Ver en origen

Este/a investigador/a no tiene documentos de trabajo.

Este/a investigador/a no tiene informes técnicos.

Métodos formales escalables para aplicaciones reales

  • RAMPEREZ MARTIN, VICTOR (Miembro del equipo de trabajo)
  • Isabel Márquez, Miguel (Miembro del equipo de trabajo)
  • MORA CARRERO, ADRIAN (Miembro del equipo de trabajo)
  • Gutiérrez Gil, Raúl (Miembro del equipo de trabajo)
  • JIMENEZ GAÑAN, MIGUEL (Participante)
  • SORIANO CAMINO, FRANCISCO JAVIER (Participante)
  • ROMAN DIEZ, GUILLERMO (Investigador principal (IP))
  • ZANARDINI, DAMIANO (Participante)
... Ver más Contraer

Ejecución: 01-09-2022 - 31-08-2025

Tipo: Nacional

  • iMarina

Este/a investigador/a no tiene tesis dirigidas.

Este/a investigador/a no tiene patentes o licencias de software.

Última actualización de los datos: 1/12/24 11:24