E-LIB Suche - Ergebnisse für: del Mar Gallardo, Maria

1

A formal approach to automatically analyse extra‐functional..:

Rosario Espada, Ana ; del Mar Gallardo, Maria ; Salmerón, Alberto..
Software Testing, Verification and Reliability. 29 (2019) 4-5 - p. , 2019

Link: https://doi.org/10.1002/..

2

Integrating river basin DSSs with model checking:

del Mar Gallardo, María ; Merino, Pedro ; Panizo, Laura.
International Journal on Software Tools for Technology Transfer. 20 (2017) 5 - p. 499-514 , 2017

Link: https://doi.org/10.1007/..

3

An extension of Java PathFinder for hybrid systems:

Panizo, Laura ; del Mar Gallardo, María
ACM SIGSOFT Software Engineering Notes. 37 (2012) 6 - p. 1-5 , 2012

Link: https://dl.acm.org/doi/1..

4

Verification of complex dynamic data tree with mu-calculus:

del Mar Gallardo, María ; Sanán, David
Automated Software Engineering. 20 (2012) 4 - p. 569-612 , 2012

Link: https://doi.org/10.1007/..

5

Checking the reliability of socket based communication soft..:

de la Cámara, Pedro ; del Mar Gallardo, María ; Merino, Pedro.
International Journal on Software Tools for Technology Transfer. 11 (2009) 5 - p. 359-374 , 2009

Link: https://doi.org/10.1007/..

6

On-the-Fly Data Flow Analysis Based on Verification Technol..:

del Mar Gallardo, María ; Joubert, Christophe ; Merino, Pedro
Electronic Notes in Theoretical Computer Science. 190 (2007) 4 - p. 33-48 , 2007

Link: https://doi.org/10.1016/..

7

PiXL: Applying xml standards to support the integration of ..:

del Mar Gallardo, María ; Martínez, Jesús ; Merino, Pedro..
Science of Computer Programming. 65 (2007) 1 - p. 57-69 , 2007

Link: https://doi.org/10.1016/..

8

Model checking active networks with SPIN:

del Mar Gallardo, María ; Martínez, Jesús ; Merino, Pedro
Computer Communications. 28 (2005) 6 - p. 609-622 , 2005

Link: https://doi.org/10.1016/..

9

Abstract Model Checking of tccp programs:

Alpuente, María ; del Mar Gallardo, María ; Pimentel, Ernesto.
Electronic Notes in Theoretical Computer Science. 112 (2005) - p. 19-36 , 2005

Link: https://doi.org/10.1016/..

10

A semantic framework for the abstract model checking of tcc..:

Alpuente, María ; del Mar Gallardo, María ; Pimentel, Ernesto.
Theoretical Computer Science. 346 (2005) 1 - p. 58-95 , 2005

Link: https://doi.org/10.1016/..

11

Integration of Reliability and Performance Analyses for Act..:

del Mar Gallardo, María ; Martínez, Jesús ; Merino, Pedro.
Electronic Notes in Theoretical Computer Science. 133 (2005) - p. 217-236 , 2005

Link: https://doi.org/10.1016/..

12

αSPIN: A tool for abstract model checking:

del Mar Gallardo, María ; Martínez, Jesús ; Merino, Pedro.
International Journal on Software Tools for Technology Transfer. 5 (2004) 2-3 - p. 165-184 , 2004

Link: https://doi.org/10.1007/..

13

Abstracting UML Behavior Diagrams for Verification:

, In: Software Evolution with UML and XML,

del Mar Gallardo, María ; Martinez, Jesús ; Merino, Pedro. ,

Link: https://doi.org/10.4018/..

14

Post-Transcriptional Regulation of Molecular Determinants d..:

Lozano-Velasco, Estefania ; Garcia-Padilla, Carlos ; del Mar Muñoz-Gallardo, Maria...
International Journal of Molecular Sciences. 23 (2022) 5 - p. 2839 , 2022

Link: https://doi.org/10.3390/..

15

miR-195b is required for proper cellular homeostasis in the..:

Muñoz-Gallardo, Maria del Mar ; Garcia-Padilla, Carlos ; Vicente-Garcia, Cristina...
Scientific Reports. 14 (2024) 1 - p. , 2024

Link: https://doi.org/10.1038/..