Morse Reseach group

Publications

2021

1.

Bárbara Valera; Laura Panizo; Álvaro Ríos; Pedro Merino

An Architecture for Creating Slices to Experiment on Wireless Networks Journal Article

In: Journal of Network and Systems Management, vol. 29, 2021.

BibTeX | Links:

2.

Lambros Sarakis; Panagiotis Trakadas; Josep Martrat; Simon Prior; Óscar Trullols; Estefanía Coronado; Marco Centenaro; G. Kontopoulos; Eneko Atxutegi; Panagiotis Gkonis; Sergio González; Angelos Antonopoulos; Shuaib Siddiqui; Pedro Merino

Cost-Efficient 5G Non-Public Network Roll-Out: The Affordable5G Approach Conference

2021, (cited By 0).

BibTeX | Links:

3.

Delia Rico; María-del-Mar Gallardo; Pedro Merino

Modeling and verification of the Multi-connection Tactile Internet Protocol Conference

2021, (cited By 0).

BibTeX | Links:

2020

4.

Ilkka Harjula; Laura Panizo; Bárbara Valera; Jarno Pinola; Mika Hoppari; Adam Flizikowski; María Safianowska

Dynamic Spectrum Management for European-Wide Research Network Inproceedings

In: pp. 1-6, 2020.

BibTeX | Links:

5.

María-del-Mar Gallardo; Pedro Merino

Introduction to the Special Issue devoted to SPIN 2018 Journal Article

In: International Journal on Software Tools for Technology Transfer, vol. 22, 2020.

BibTeX | Links:

6.

Laura Panizo; Almudena Díaz; Bruno García

Model-based testing of apps in real network scenarios Journal Article

In: International Journal on Software Tools for Technology Transfer, vol. 22, 2020.

BibTeX | Links:

7.

María-del-Mar Gallardo; Laura Panizo

Trace Analysis Using an Event-Driven Interval Temporal Logic Book Chapter

In: pp. 177-192, 2020, ISBN: 978-3-030-45259-9.

BibTeX | Links:

2019

8.

Ana Espada; María-del-Mar Gallardo; Alberto Salmerón; Laura Panizo; Pedro Merino

A formal approach to automatically analyse extra‐functional properties in mobile applications Journal Article

In: Software Testing, Verification and Reliability, vol. 29, pp. e1699, 2019.

BibTeX | Links:

9.

Almudena Díaz; Bruno García; Pedro Merino

An End-to-End Automation Framework for Mobile Network Testbeds Journal Article

In: Mobile Information Systems, vol. 2019, pp. 1-8, 2019.

BibTeX | Links:

10.

Álvaro Ríos; Bárbara Valera; Pedro Merino; Jerry Sobieski

Expanding GÉANT Testbeds Service to Support Pan-European 5G Network Slices for Research in the EuWireless Project Journal Article

In: Mobile Information Systems, vol. 2019, pp. 1-13, 2019.

BibTeX | Links:

11.

María-del-Mar Gallardo; Francisco Luque-Schempp; Pedro Merino; Laura Panizo

How Formal Methods Can Contribute to 5G Networks Book Chapter

In: pp. 548-571, 2019, ISBN: 978-3-030-30984-8.

BibTeX | Links:

12.

Bárbara Valera; Pedro Merino

Is GÉANT Testbeds Service compliant with ETSI MANO? Inproceedings

In: 2019 IEEE 2nd 5G World Forum (5GWF) (WF-5G'19) Desdren, Germany, 2019.

Abstract | BibTeX

13.

María-del-Mar Gallardo; Laura Panizo

Modelling and Specifying Software Systems with Alloy (tutorial) Inproceedings

In: Jornadas de la Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software SISTEDES. XIX Jornadas de Programación y Lenguajes (PROLE) SISTEDES, Cáceres, 2019.

BibTeX | Links:

14.

María-del-Mar Gallardo; Laura Panizo

Modelling Software-Defined Networks with Alloy Inproceedings

In: Actas de las XXVI Jornadas de Concurrencia y Sistemas Distribuidos, Zaragoza, junio 2019 2019.

BibTeX | Links:

15.

Francisco Luque-Schempp; Laura Panizo; María-del-Mar Gallardo; Pedro Merino

Optimizing the deployment of Virtual Network Functions in 5G networks with Model Based Testing Inproceedings

In: Actas de las XXVI Jornadas de Concurrencia y Sistemas Distribuidos, Zaragoza, junio 2019 2019.

BibTeX | Links:

16.

María-del-Mar Gallardo; Laura Panizo

Teaching Formal Methods: From Software in the Small to Software in the Large Book Chapter

In: pp. 97-110, 2019, ISBN: 978-3-030-32440-7.

BibTeX | Links:

17.

María-del-Mar Gallardo; Laura Panizo

Trace Analysis Using an Event-Driven Interval Temporal Logic Inproceedings

In: Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers Springer, 2019.

BibTeX | Links:

2018

18.

Pedro Merino; Laura Panizo; Almudena Diaz; Janie Banos; Oscar Casta neda; Atso Hekkala; Kyösti Rautiola; Jarno Pinola; Adam Flizikowski; Slawomir Pietrzyk; Jos Dumortier; Lars Fischer; Jerry Sobieski

A pan-European infrastructure for research in mobile networks Conference

2018, (XXV Jornadas de Concurrencia y Sistemas Distribuidos, JCSD 2018, JCSD 2018 ; Conference date: 13-06-2018 Through 15-06-2018).

BibTeX

19.

María-del-Mar Gallardo; Pedro Merino; Laura Panizo; Alberto Salmeron

Integrating River Basin DSSs with Model Checking Journal Article

In: Int. J. Softw. Tools Technol. Transf., vol. 20, no. 5, pp. 499–514, 2018, ISSN: 1433-2779.

Abstract | BibTeX | Links:

20.

Almudena Díaz; César Augusto; Álvaro Recio; Pedro Merino

3GPP evolution on LTE connectivity for IoT Book Chapter

In: pp. 1-20, 2018, ISBN: 978-3-319-61299-7.

BibTeX | Links:

21.

Laura Panizo; Almudena Díaz; Bruno García

An Extension of TRIANGLE Testbed with Model-Based Testing Conference

Springer Verlag, Málaga, Spain, 2018, ISBN: 978-3-319-94110-3.

BibTeX | Links:

22.

Laura Panizo; Pedro Merino; Almudena Díaz; Kyösti Rautiola; Janie Banos; Oscar Castañeda; Atso Hekkala; Jarno Pinola; Adam Flizikowski; Slawomir Pietrzyk; Jos Dumortier; Lars Fischer; Jerry Sobieski

EuWireless: design of a pan-European mobile network operator for research Inproceedings

In: 2018.

BibTeX

23.

Delia Rico; Pedro Merino

Evaluation of multipath TCP in heterogeneous networks Inproceedings

In: Actas de las XXV Jornadas de Concurrencia y Sistemas Distribuidos, Toledo, junio 2018 2018.

BibTeX | Links:

24.

Laura Panizo; Raquel Gómez; Eva Contreras; Sergio Romero; Oscar Lorente; Antonio Linares

Integrated Water Resources Management in a Complex Reservoir System Through a Multipurpose DSS Tool Inproceedings

In: 2018.

BibTeX

25.

María-del-Mar Gallardo; Pedro Merino; Laura Panizo; Alberto Salmerón

Integrating river basin DSSs with model checking Journal Article

In: International Journal on Software Tools for Technology Transfer, vol. 20, 2018.

BibTeX | Links:

26.

Almudena Díaz; Laura Panizo; Janie Baños; Carlos Cárdenas; Michael Dieudonne

QoE Evaluation: The TRIANGLE Testbed Approach Journal Article

In: Wireless Communications and Mobile Computing, vol. 2018, pp. 1-12, 2018.

BibTeX | Links:

2017

27.

María-del-Mar Gallardo; Leticia Lavado; Laura Panizo

A Simulation tool for TCCP programs (abstract) Conference

XVII Jornadas de Programación y Lenguajes, PROLE 2017, La Laguna, Tenerife, Spain, 2017.

BibTeX | Links:

28.

Leticia Lavado; Laura Panizo; María-del-Mar Gallardo; Pedro Merino

A Characterisation of reliability tools for software defined networks (abstract) Inproceedings

In: Durán, Francisco (Ed.): XVII Jornadas de Programación y Lenguajes, PROLE 2017 La Laguna, Tenerife, Spain, 2017.

BibTeX | Links:

29.

Leticia Lavado; Laura Panizo; María-del-Mar Gallardo; Pedro Merino

A characterisation of verification tools for software defined networks Journal Article

In: Journal of Reliable Intelligent Environments, vol. 3, pp. 1-19, 2017.

BibTeX | Links:

30.

María-del-Mar Gallardo; Leticia Lavado; Laura Panizo and

A constraint-based language for modelling intelligent environments Journal Article

In: Journal of Reliable Intelligent Environments, vol. 3, no. 1, pp. 55–79, 2017.

BibTeX

31.

Francisco Rivas; Almudena Díaz; Pedro Merino

A methodology and test environment for QoS measurements in mobile networks Inproceedings

In: pp. 823-828, 2017.

BibTeX | Links:

32.

Almudena Díaz; Alberto Salmerón; Francisco Rivas; Pedro Merino

Advanced testing of mobile applications and devices Inproceedings

In: pp. 801-804, 2017.

BibTeX | Links:

33.

Laura Panizo; Alberto Salmerón; María-del-Mar Gallardo; Pedro Merino

Guided test case generation for mobile apps in the TRIANGLE project: work in progress Inproceedings

In: pp. 192-195, 2017.

BibTeX | Links:

34.

César Augusto; Almudena Díaz; Álvaro Ríos; Pedro Merino; Katsalis Kostas; Navid Nikaein; Pilar Rodríguez; Donal Morris

Improving the efficiency and reliability of wearable based mobile eHealth applications Journal Article

In: Pervasive and Mobile Computing, vol. 40, 2017.

BibTeX | Links:

35.

María-del-Mar Gallardo; Pedro Merino; Laura Panizo; Alberto Salmerón

Integrating river basin DSSs with model checking Journal Article

In: International Journal on Software Tools for Technology Transfer, vol. 20, pp. 1-16, 2017.

BibTeX | Links:

36.

Almudena Díaz; Pedro Merino

The 3GPP NB-IoT system architecture for the Internet of Things Inproceedings

In: pp. 277-282, 2017.

BibTeX | Links:

2016

37.

Leticia Lavado; Laura Panizo; María-del-Mar Gallardo

Implementing a Hy-tccp interpreter for simulation Conference

XXIV Jornadas de Concurrencia y Sistemas Distribuidos (JCSD’16), 2016.

BibTeX

38.

Almudena Díaz; César Augusto; Álvaro Recio; Pedro Merino

3GPP Standards to Deliver LTE Connectivity for IoT Inproceedings

In: pp. 283-288, 2016.

BibTeX | Links:

39.

María-del-Mar Gallardo; Leticia Lavado; Laura Panizo

A Simulation Tool for tccp Programs Journal Article

In: Electronic Proceedings in Theoretical Computer Science, vol. 234, pp. 120-134, 2016.

BibTeX | Links:

40.

César Augusto; Pedro Merino

Enabling low latency services in standard LTE networks Inproceedings

In: 2016.

BibTeX | Links:

41.

César Augusto; Álvaro Recio; Álvaro Ríos; Almudena Díaz; Pedro Merino

Extensive and repeatable experimentation in mobile communications with programmable instruments Inproceedings

In: 2016.

BibTeX | Links:

42.

Francisco Rivas; Almudena Díaz; Pedro Merino

Innovative Tools and Processes for Mobile Communications Research and Education Journal Article

In: International Journal of Online Engineering (iJOE), vol. 12, pp. 40-46, 2016.

BibTeX | Links:

43.

César Augusto; Álvaro Ríos; Pedro Merino; Katsalis Kostas; Navid Nikaein; Ricardo Figueiredo; Donal Morris; Terry O'Callaghan

Q4HEALTH: Quality of Service and prioritisation for emergency services in the LTE RAN stack Inproceedings

In: 2016.

BibTeX | Links:

44.

Almudena Díaz; Álvaro Recio; César Augusto; Pedro Merino

Remote control and instrumentation of Android devices Inproceedings

In: 2016.

BibTeX | Links:

45.

María-del-Mar Gallardo; Pedro Merino; Laura Panizo; Alberto Salmerón

River Basin Management with Spin Book Chapter

In: pp. 78-96, 2016, ISBN: 978-3-319-32582-8.

BibTeX | Links:

46.

Manuel Díaz; María-del-Mar Gallardo; Pedro Merino; Laura Panizo; Sergio Romero; Enrique Soler

Smart flood management DSS Inproceedings

In: 2016.

BibTeX

2015

47.

María-del-Mar Gallardo; Laura Panizo; Laura Titolo

A discretized operational semantics for the implementation of Hy-tccp Inproceedings

In: 2015.

BibTeX

48.

Damián Adalid; María-del-Mar Gallardo; Laura Titolo

Modeling Hybrid Systems in the Concurrent Constraint Paradigm Journal Article

In: Electronic Proceedings in Theoretical Computer Science, vol. 173, 2015.

BibTeX | Links:

49.

Almudena Díaz; César Augusto; Álvaro Recio; Pedro Merino

PerformLTE: A testbed for LTE testing in the future internet Inproceedings

In: pp. 46-59, 2015, ISBN: 978-3-319-22571-5.

BibTeX | Links:

2014

50.

Antonio Linares; Jesús Regodón; Laura Panizo; María-del-Mar Gallardo; Pedro Merino

A DSS for reservoirs operation based on the execution of formal models Inproceedings

In: 2014.

BibTeX

51.

Ana Espada; María-del-Mar Gallardo

Analyzing the correctness of Smartphones applications using Formal Methods (Doctoral Consortium) Inproceedings

In: 2014.

BibTeX

52.

Francisco Rivas; Almudena Díaz; Pedro Merino

Characterizing Traffic Performance in Cellular Networks Journal Article

In: Internet Computing, IEEE, vol. 18, pp. 12-19, 2014.

BibTeX | Links:

53.

Alberto Salmerón; Pedro Merino

Integrating model checking and simulation for protocol optimization Journal Article

In: SIMULATION, vol. 91, pp. 3-25, 2014.

BibTeX | Links:

54.

Damián Adalid; María-del-Mar Gallardo; Laura Titolo

Modeling Hybrid Systems in Hy-tccp Inproceedings

In: 2014.

BibTeX

55.

Almudena Díaz; César Augusto; Pedro Merino

Third-Generation Partnership Project Standards: For Delivery of Critical Communications for Railways Journal Article

In: IEEE Vehicular Technology Magazine, vol. 9, pp. 1-1, 2014.

BibTeX | Links:

2013

56.

Francisco Rivas; Almudena Díaz; Pedro Merino

Tools and methods for characterization of traffic performance in cellular networks (Characterizing traffic performance in cellular networks) Journal Article

In: IEEE Internet Computing, pp. in press, 2013, ISSN: 1089-7801.

BibTeX

57.

Laura Panizo; María-del-Mar Gallardo

Verifying hybrid systems with explicit model checkers. Conference

Lars-Åke Fredlund; Laura M. Castro (Eds.). XII Jornadas sobre Programación y Lenguajes (PROLE) y V Taller de Programación Funcional (TPF). Madrid, 17 a 20 de septiembre de 2013, 2013, ISBN: 978-84-695-8331-9.

BibTeX

58.

Ana Espada; María-del-Mar Gallardo; Damián Adalid

A Runtime verification framework for ANDROID applications Inproceedings

In: 2013.

BibTeX

59.

Ana Espada; María-del-Mar Gallardo; Damián Adalid

DRAGONFLY: Encapsulating Android for instrumentation Inproceedings

In: pp. 1-14, 2013, ISBN: 9788469583319.

BibTeX

60.

María-del-Mar Gallardo; Laura Panizo

Extending model checkers for hybrid system verification: The case study of SPIN Journal Article

In: Software Testing, Verification and Reliability, vol. 24, 2013.

BibTeX | Links:

61.

Francisco Rivas; Almudena Díaz; Pedro Merino

Obtaining more realistic cross-layer qos measurements: A VoIP over LTE use case Journal Article

In: Journal of Computer Networks and Communications, vol. 2013, 2013.

BibTeX | Links:

62.

Alberto Salmerón; Pedro Merino

On-the-fly VoIP call quality evaluation with improved E-model Inproceedings

In: pp. 145-152, 2013.

BibTeX | Links:

63.

Francisco Rivas; Almudena Díaz; Pedro Merino

Performance study of Internet traffic on high speed railways Inproceedings

In: pp. 1-9, 2013, ISBN: 978-1-4673-5827-9.

BibTeX | Links:

64.

Damián Adalid; Alberto Salmerón; María-del-Mar Gallardo; Pedro Merino

Using SPIN for automated debugging of infinite executions of Java programs Journal Article

In: Journal of Systems and Software, vol. 90, 2013.

BibTeX | Links:

2010

65.

María-del-Mar Gallardo; David Sanán

Verification of Dynamic Data Tree with mu-calculus Extended with Separation Inproceedings

In: pp. 211-221, 2010.

BibTeX | Links:

66.

María-del-Mar Gallardo; David Sanán

Verification of Dynamic Data Tree with mu-calculus Extended with Separation Inproceedings

In: pp. 211-221, 2010.

BibTeX | Links:

67.

María-del-Mar Gallardo; David Sanán

Verification of Dynamic Data Tree with mu-calculus Extended with Separation Inproceedings

In: pp. 211-221, 2010.

BibTeX | Links:

68.

María-del-Mar Gallardo; David Sanán

Verification of Dynamic Data Tree with mu-calculus Extended with Separation Inproceedings

In: pp. 211-221, 2010.

BibTeX | Links:

69.

María-del-Mar Gallardo; David Sanán

Verification of Dynamic Data Tree with mu-calculus Extended with Separation Inproceedings

In: pp. 211-221, 2010.

BibTeX | Links:

70.

María-del-Mar Gallardo; David Sanán

Verification of Dynamic Data Tree with mu-calculus Extended with Separation Inproceedings

In: pp. 211-221, 2010.

BibTeX | Links:

71.

María-del-Mar Gallardo; David Sanán

Verification of Dynamic Data Tree with mu-calculus Extended with Separation Inproceedings

In: pp. 211-221, 2010.

BibTeX | Links:

2009

72.

Almudena Díaz; Pedro Merino

Caracterización del perfil de consumo de energía de servicios IP sobre teléfonos móviles Conference

Actas de las VIII Jornadas de Ingeniería Telemática. JITEL 2009. 15 al 17 de septiembre. Cartagena, España, 2009.

BibTeX

73.

María-del-Mar Gallardo; Pedro Merino; Laura Panizo; Antonio Linares

Dam management using SCADE suite Conference

Actas de las XVII Jornadas de Concurrencia y Sistemas Distribuidos. 10,11 y 12 de Junio de 2009. Sagunto (Valencia), Universidad Politécnica de Valencia, 2009, ISBN: 978-84-8363-423-3.

BibTeX

74.

Almudena Díaz; Cristina Martínez; Pedro Merino

Evaluación del servicio de VOIP sobre redes UMTS basada en pruebas de campo reales Conference

Actas de las XIX Jornadas Telecom I+D 2009. Madrid, 24, 25 y 26 de noviembre de 2009, 2009.

BibTeX

75.

María-del-Mar Gallardo; Pedro Merino; Laura Panizo

Integration of quantitative aspects into SPIN to develop a decision support tool for dams Conference

Workshop on Quantitative Formal Methods: Theory and Applications (QFM’09). November 3, Eindhoven, The Netherlands. Preliminary proceedings, 2009.

BibTeX

76.

María-del-Mar Gallardo; Pedro Merino; Laura Panizo

Integration of quantitative aspects into SPIN to develop a decision support tool for dams Conference

Workshop on Quantitative Formal Methods: Theory and Applications (QFM’09). November 3, Eindhoven, The Netherlands. Preliminary proceedings, 2009.

BibTeX

77.

Almudena Díaz; Pedro Merino; Francisco Rivas

Mobile application profiling for connected Smartphones Journal Article

In: IEEE Pervasive Computing, pp. in press, 2009, ISSN: 1536-1268.

BibTeX

78.

María-del-Mar Gallardo; Pedro Merino; David Sanán

Model checking dynamic data structures in operating systems Conference

Actas de las XVII Jornadas de Concurrencia y Sistemas Distribuidos.10,11 y 12 de Junio de 2009. Sagunto (Valencia), 2009, ISBN: 978-84-8363-423-3.

BibTeX

79.

Almudena Díaz

Performance evaluation of IP multimedia services in live mobile networks Bachelor Thesis

2009.

Abstract | BibTeX

80.

David Sanán

Técnicas para el análisis automático de software descrito en lenguajes de programación Bachelor Thesis

2009.

Abstract | BibTeX

81.

María-del-Mar Gallardo; Pedro Merino; Laura Panizo; Antonio Linares

Developing a Decision Support Tool for Dam Management with SPIN Inproceedings

In: pp. 210-212, 2009, ISBN: 978-3-642-04569-1.

BibTeX | Links:

82.

María-del-Mar Gallardo; Pedro Merino; David Sanán

Model Checking Dynamic Memory Allocation in Operating Systems Journal Article

In: J. Autom. Reasoning, vol. 42, pp. 229-264, 2009.

BibTeX | Links:

83.

Almudena Díaz; Pedro Merino

SymPa: A measurement tool for evaluating the performance of IP services in mobile networks Journal Article

In: 2009.

BibTeX | Links:

84.

Almudena Díaz; Pedro Merino

Testing Mobile Data Applications on Smartphones with SymPA. Journal Article

In: ERCIM News, vol. 2009, 2009.

BibTeX

85.

Jesús Martínez; Pedro Merino; Alberto Salmerón; Francisco Malpartida

UML-based model-driven development for HSDPA design Journal Article

In: Software, IEEE, vol. 26, pp. 26 - 33, 2009.

BibTeX | Links:

86.

María-del-Mar Gallardo; Pedro Merino; Laura Panizo; Antonio Linares

Using SCADE for Decision Support in Dam Management. Inproceedings

In: pp. 125-131, 2009.

BibTeX

2008

87.

María-del-Mar Gallardo; Pedro Merino; David Sanán

Automatic verification of C programs with dynamic memory allocation Conference

Actas de las XVI Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2008. Albacete, 11 a 13 de Junio, 2008, ISBN: 978-84-691-2813-8.

BibTeX

88.

María-del-Mar Gallardo; Pedro Merino; Laura Panizo

Estado del arte de herramientas para la verificación de sistemas híbridos Bachelor Thesis

2008, ISBN: 978-84-691-2813-8.

BibTeX

89.

Pedro Merino; José M. Troya

Modelling and Verification of the ITU-T multipoint communication service with SPIN Conference

Proceedings of The 2nd International Workshop on the SPIN Verification System, New Brunswik, EEUU, 2008.

BibTeX

90.

Pedro Merino; Erwin Schoitsch

Safety-critical software Journal Article

In: Ercim News, pp. 12–13, 2008, ISSN: 0926-4981.

BibTeX

91.

Pedro Merino; Antonio Nebro; Bartolomé Rubio; José M. Troya

Un Kernel para comunicaciones y entrada-salida en redes de Transputers Conference

Actas de Tercera Reunión sobre Paralelismo, 2008.

BibTeX

92.

María Alpuente; María-del-Mar Gallardo; Ernesto Pimentel; Alicia Villanueva

An Abstract Analysis Framework for Synchronous Concurrent Languages based on source–to–source Transformation Journal Article

In: Electr. Notes Theor. Comput. Sci., vol. 206, pp. 3-21, 2008.

BibTeX | Links:

93.

Almudena Díaz; Pedro Merino; Francisco Rivas

Customer-centric measurements on mobile phones Inproceedings

In: pp. 1 - 4, 2008, ISBN: 978-1-4244-2422-1.

BibTeX | Links:

94.

Almudena Díaz; Pedro Merino

Towards a lightweight middleware for mobile multimedia communication awareness Inproceedings

In: 2008, ISBN: 978-963-9799-25-7.

BibTeX | Links:

2007

95.

María-del-Mar Gallardo; Pedro Merino; David Sanán

C.OPEN, a tool for analyzing C code in CADP Bachelor Thesis

2007, ISBN: 978-84-690-6109-1.

BibTeX

96.

María Carmen Ocaña; Pedro Merino

La madurez de la tecnología IP Journal Article

In: pp. 47–48, 2007.

BibTeX

97.

Almudena Díaz; Pedro Merino; Laura Panizo; Álvaro Recio

A Survey on mobile peer-to-peer technology Conference

Actas de las XV Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2007, Torremolinos, Málaga, del 6 al 8 de Junio, 2007, ISBN: 978-84-690-6109-1.

BibTeX

98.

María-del-Mar Gallardo; Pedro Merino (Ed.)

Actas de las XV Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2007, Torremolinos, Málaga, del 6 al 8 de Junio de 2007 Proceeding

Universidad de Málaga, 2007.

BibTeX

99.

Maria Alpuente; María-del-Mar Gallardo; Ernesto Pimentel; Alicia Villanueva

An Abstract analysis framework for synchronous concurrent languages based on source-to-source transformation Conference

VII Jornadas de Programación y Lenguajes PROLE 2007, Zaragoza, 12 al 14 de septiembre, Madrid, Spain, 2007, ISBN: 978-84-9732-599-8.

BibTeX

100.

Pedro Merino; María-del-Mar Gallardo; Christophe Joubert

Implementing Influence Analysis using Parameterized Boolean Equation Systems Conference

Proceedings of IEEE ISOLA 2006: 2nd Int. Symp. on Leveraging Applications of Formal Methods, Verification and Validation, 2007.

BibTeX

101.

Jesús Martínez; Alberto Salmeron

MDA for reliable and high performance communication protocols Conference

Actas de las XV Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2007, Torremolinos, Málaga, del 6 al 8 de Junio, 2007, ISBN: 978-84-690-6109-1.

BibTeX

2006

102.

Almudena Díaz; Pedro Merino; Francisco Rivas

Performance monitoring and analysis of wireless communication protocols for mobile devices Conference

Proceedings of the I International Conference on Ubiquitous Computing, 2006, Universidad de Alcalá de Henares. Serv, de Publicaciones, Alcalá de Henares, Spain, 2006, ISBN: 84-8138-704-5.

BibTeX

103.

María-del-Mar Gallardo; Jesús Martínez; Pedro Merino; Pablo Núñez; Ernesto Pimentel

PIXL: applying XML standards to support the integration of analysis tools for protocols Conference

Modelling, Simulation, Verification and Validation of Enterprise Information Systems: proceedings of the 4th International Workshop on (...) MSVVEIS 2006, Paphos, Cyprus, May, INSTICC Press, Portugal, 2006, ISBN: 972-8865-49-8.

BibTeX

104.

Pedro Cámara; María-del-Mar Gallardo; Pedro Merino

Abstract Matching for Software Model Checking Inproceedings

In: pp. 182-200, 2006, ISBN: 978-3-540-33102-5.

BibTeX | Links:

1996

105.

Pedro Merino; José M. Troya

Modelling and Verification of the ITU-T Multipoint Communication Service with SPIN Journal Article

In: 1996.

BibTeX