| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | M. Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán |
A model-extraction approach to verifying concurrent C programs with CADP.  |
Sci. Comput. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andres Alvarez, Almudena Díaz, Pedro Merino, F. Javier Rivas |
Field measurements of mobile services with Android smartphones. |
CCNC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andres Alvarez, Almudena Díaz, Pedro Merino, F. Javier Rivas |
Mobile application profiling with TestelDroid. |
CCNC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Darren D. Cofer, Alessandro Fantechi, Stefan Leue, Pedro Merino |
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008). |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares |
A practical use of model checking for synthesis: generating a dam controller for flood management. |
Softw., Pract. Exper. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Almudena Díaz, Pedro Merino, Alberto Salmeron |
Obtaining Models for Realistic Mobile Network Simulations using Real Traces. |
IEEE Communications Letters |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro de la Cámara, J. Raúl Castro, María-del-Mar Gallardo, Pedro Merino |
Verification support for ARINC-653-based avionics software. |
Softw. Test., Verif. Reliab. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Almudena Díaz, Pedro Merino, F. Javier Rivas |
QoS analysis of video streaming service in live cellular networks. |
Computer Communications |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Almudena Díaz, Pedro Merino, F. Javier Rivas |
Mobile Application Profiling for Connected Mobile Devices. |
IEEE Pervasive Computing |
2010 |
DBLP DOI BibTeX RDF |
performance, networking, mobile devices, applications, mobile/wireless, data traffic |
| 1 | José M. Alvarez, Pedro Merino, Laura Panizo, Francisco C. Perez, Andrés Sanz |
Communication Software: Design and Testing. |
Encyclopedia of Software Engineering |
2010 |
DBLP BibTeX RDF |
|
| 1 | Pedro Merino, Alberto Salmeron |
Combining SPIN with ns-2 for Protocol Optimization. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Martínez, Pedro Merino, Alberto Salmeron, Francisco Malpartida |
UML-Based Model-Driven Development for HSDPA Design. |
IEEE Software |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Pedro Merino, David Sanán |
Model Checking Dynamic Memory Allocation in Operating Systems. |
J. Autom. Reasoning |
2009 |
DBLP DOI BibTeX RDF |
Model checking, Operating systems, Dynamic memory allocation |
| 1 | Almudena Díaz, Pedro Merino |
Testing Mobile Data Applications on Smartphones with SymPA. |
ERCIM News |
2009 |
DBLP BibTeX RDF |
|
| 1 | Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino, David Sanán |
Checking the reliability of socket based communication software. |
STTT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares |
Developing a Decision Support Tool for Dam Management with SPIN. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares |
Using SCADE for Decision Support in Dam Management. |
MSVVEIS |
2009 |
DBLP BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán |
Web Services for Accessing Explicit State Space Verification Tools. |
ERCIM News |
2008 |
DBLP BibTeX RDF |
|
| 1 | Pedro Merino, Erwin Schoitsch |
Introduction to the Special Theme "Safety-Critical Software". |
ERCIM News |
2008 |
DBLP BibTeX RDF |
|
| 1 | Stefan Leue, Pedro Merino (eds.) |
Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers |
FMICS |
2008 |
DBLP BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Pedro Merino, David Sanán |
Model Checking C Programs with Dynamic Memory Allocation. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
software model checking, pointers, dynamic memory, Model extraction |
| 1 | María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Nuñez, Ernesto Pimentel |
PiXL: Applying xml standards to support the integration of analysis tools for protocols. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Christophe Joubert, Pedro Merino |
On-the-Fly Data Flow Analysis Based on Verification Technology. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino |
Model Extraction for ARINC 653 Based Avionics Software. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
apex, Real Time, software model checking, avionics, Model extraction |
| 1 | María-del-Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán |
C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Almudena Diaz-Zayas, Pedro Merino, Laura Panizo, Alvaro M. Recio |
Experimental analysis of peer-to-peer streaming in cellular networks. |
AINA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Mar Gallardo, Pedro Merino, David Sanán |
Extending CADP for Analyzing C Code. |
MSVVEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jesús Martínez, Pedro Merino, Alberto Salmeron |
Applying MDE Methodologies to Design Communication Protocols for Distributed Systems. |
CISIS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Pedro Merino, Christophe Joubert, David Sanán |
On-the-fly model checking for C programs with extended CADP in FMICS-jETI. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Almudena Diaz-Zayas, Pedro Merino, Laura Panizo, Alvaro M. Recio |
Evaluating Video Streaming Over GPRS/UMTS Networks: A Practical Case. |
VTC Spring |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony D. Joseph, Almudena Díaz, Pedro Merino, F. Javier Rivas, Umakanth P. Kulkarni, J. V. Vadavi, G. S. Thyagaraju, S. M. Joshi, Anil R. Yardi |
Mobile and Ubiquitous Objects. |
IEEE Pervasive Computing |
2006 |
DBLP DOI BibTeX RDF |
distributed mobile applications, ubiquitous objects, security, communication, access control, middleware, software development, debugging, wireless communication, software deployment |
| 1 | María-del-Mar Gallardo, Christophe Joubert, Pedro Merino |
Static Analysis using Parameterised Boolean Equation Systems |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino |
Abstract Matching for Software Model Checking. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
Static Analysis, State Explosion, Model Extraction |
| 1 | Almudena Díaz, Pedro Merino, F. Javier Rivas |
Performance Monitoring and Analysis of Wireless Communication Protocols for Mobile Devices. |
ICUC |
2006 |
DBLP BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Pedro Merino, David Sanán |
Towards Model Checking C Code with OPEN/CÆSAR. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Nuñez, Ernesto Pimentel |
PiXL: Applying XML Standards to Support the Integration of Analysis Tools for Protocols. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | José M. Alvarez, Pedro de la Cámara, Jesús Martínez, Pedro Merino, Francisco C. Perez, Victoria Morillo |
An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Christophe Joubert, Pedro Merino |
Implementing Influence Analysis Using Parameterised Boolean Equation Systems. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Jesús Martínez, Pedro Merino |
Model checking active networks with SPIN. |
Computer Communications |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Guillermo Rodriguez |
Integration of Reliability and Performance Analyses for Active Network Services. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel |
A generalized semantics of PROMELA for abstract model checking. |
Formal Asp. Comput. |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Abstraction, spin, Structured operational semantics, promela |
| 1 | María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel |
aSPIN: A tool for abstract model checking. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Verification, Temporal logic, Abstraction, Spin |
| 1 | María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel |
Abstract Model Checking and Refinement of Temporal Logic in aSPIN. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel |
Applying Data Abstraction to XML Formal Designs. |
SNPD |
2003 |
DBLP BibTeX RDF |
|
| 1 | Guillermo Rodriguez, Pedro Merino, María-del-Mar Gallardo |
An extension of the ns simulator for active network research. |
Computer Communications |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel |
Debugging UML Designs with Model Checking. |
Journal of Object Technology |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel |
Comparing Under and Over-Approximations of LTL Properties for Model Checking. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel |
A Tool for Abstraction in Model Checking. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Estefanía Rosales |
Using XML to implement abstraction for Model Checking. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
XML, XML, model checking, abstraction, SPIN |
| 1 | María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel |
alpha SPIN: Extending SPIN with Abstraction. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel |
Refinement of LTL Formulas for Abstract Model Checking. |
SAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillermo Rodriguez, Pedro Merino |
Modelling and Simulation of Active Network Protocols. |
ICDCS Workshop on Internet |
2000 |
DBLP BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Pedro Merino |
Verifying Distributed Systems with Model Checking and Static Analysis. |
ICDCS Workshop on Distributed System Validation and Verification |
2000 |
DBLP BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Pedro Merino |
A Framework for Automatic Construction of Abstract Promela Models. |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Merino, Juan Carlos López, Margarida F. Jacome |
A Hardwar Operating System for Dynamic Reconfiguration of FPGAs. |
FPL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Merino, Margarida F. Jacome, Juan Carlos López |
A Methodology for Task Based Partitioning and Scheduling of Dynamically Reconfigurable Systems. |
FCCM |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Merino, José M. Troya |
EVP: Integration of FDTs for the Analysis and Verification of Communication Protocols. |
CAV |
1996 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")