Morse Reseach group

@inproceedings{inproceedings,

title = {Dynamic Spectrum Management for European-Wide Research Network},

author = {Ilkka Harjula and Laura Panizo and Bárbara Valera and Jarno Pinola and Mika Hoppari and Adam Flizikowski and María Safianowska},

doi = {10.1109/VTC2020-Spring48590.2020.9129017},

year  = {2020},

date = {2020-01-01},

urldate = {2020-01-01},

pages = {1-6},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{barpe,

title = {Is GÉANT Testbeds Service compliant with ETSI MANO?},

author = {Bárbara Valera and Pedro Merino},

year  = {2019},

date = {2019-01-01},

urldate = {2019-01-01},

address = {Desdren, Germany},

organization = {2019 IEEE 2nd 5G World Forum (5GWF) (WF-5G'19)},

abstract = {The new 5G mobile communication networks rely on secure and efficient scheduling of the resources to keep a number of parallel slices alive. Each slice is like a virtual private mobile network for one service and a number of customers. Creating, monitoring, updating, and releasing resources assigned to keep all the slices alive in parallel is the role of the new Management and Orchestration entity (MANO). As the MANO concept is relatively new, several proposals are under evaluation by researchers and network operators. This paper introduces a new one into the discussion, the GÉANT Testbeds Service (GTS), which is already working in the GÉANT production network. Our conclusion is that GTS can meet the requirements of the ETSI MANO standard architecture.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{margar,

title = {Modelling and Specifying Software Systems with Alloy (tutorial)},

author = {María-del-Mar Gallardo and Laura Panizo},

url = {http://hdl.handle.net/11705/PROLE/2019/015},

year  = {2019},

date = {2019-01-01},

publisher = {SISTEDES},

address = {Cáceres},

organization = {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)},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Gallardo2019,

title = {Modelling Software-Defined Networks with Alloy},

author = {María-del-Mar Gallardo and Laura Panizo},

url = {http://scholar.google.com/scholar?btnG=Search%2BScholar&as_q=%22Modelling%2BSoftware-Defined%2BNetworks%2Bwith%2BAlloy%22&as_sauthors=Gallardo&as_occt=any&as_epq=&as_oq=&as_eq=&as_publication=&as_ylo=&as_yhi=&as_sdtAAP=1&as_sdtp=1},

year  = {2019},

date = {2019-01-01},

organization = {Actas de las XXVI Jornadas de Concurrencia y Sistemas Distribuidos, Zaragoza, junio 2019},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Luque-Schempp2019,

title = {Optimizing the deployment of Virtual Network Functions in 5G networks with Model Based Testing},

author = {Francisco Luque-Schempp and Laura Panizo and María-del-Mar Gallardo and Pedro Merino},

url = {http://scholar.google.com/scholar?btnG=Search%2BScholar&as_q=%22Optimizing%2Bthe%2Bdeployment%2Bof%2BVirtual%2BNetwork%2BFunctions%2Bin%2B5G%2Bnetworks%2Bwith%2BModel%2BBased%2BTesting%22&as_sauthors=Luque-Schempp&as_occt=any&as_epq=&as_oq=&as_eq=&as_publication=&as_ylo=&as_yhi=&as_sdtAAP=1&as_sdtp=1},

year  = {2019},

date = {2019-01-01},

organization = {Actas de las XXVI Jornadas de Concurrencia y Sistemas Distribuidos, Zaragoza, junio 2019},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Gallardo2019b,

title = {Trace Analysis Using an Event-Driven Interval Temporal Logic},

author = {María-del-Mar Gallardo and Laura Panizo},

url = {https://doi.org/10.1007/978-3-030-45260-5_11},

doi = {10.1007/978-3-030-45260-5_11},

year  = {2019},

date = {2019-01-01},

publisher = {Springer},

organization = {Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsb,

title = {EuWireless: design of a pan-European mobile network operator for research},

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

year  = {2018},

date = {2018-01-01},

urldate = {2018-01-01},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Rico2018,

title = {Evaluation of multipath TCP in heterogeneous networks},

author = {Delia Rico and Pedro Merino},

url = {http://scholar.google.com/scholar?btnG=Search%2BScholar&as_q=%22Evaluation%2Bof%2Bmultipath%2BTCP%2Bin%2Bheterogeneous%2Bnetworks%22&as_sauthors=Rico&as_occt=any&as_epq=&as_oq=&as_eq=&as_publication=&as_ylo=&as_yhi=&as_sdtAAP=1&as_sdtp=1},

year  = {2018},

date = {2018-01-01},

organization = {Actas de las XXV Jornadas de Concurrencia y Sistemas Distribuidos, Toledo, junio 2018},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsc,

title = {Integrated Water Resources Management in a Complex Reservoir System Through a Multipurpose DSS Tool},

author = {Laura Panizo and Raquel Gómez and Eva Contreras and Sergio Romero and Oscar Lorente and Antonio Linares},

year  = {2018},

date = {2018-01-01},

urldate = {2018-01-01},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Lavado2017,

title = {A Characterisation of reliability tools for software defined networks (abstract)},

author = {Leticia Lavado and Laura Panizo and María-del-Mar Gallardo and Pedro Merino},

editor = {Francisco Durán},

url = {https://biblioteca.sistedes.es/articulo/a-characterisation-of-reliability-tools-for-software-defined-networks-trabajo-original/},

year  = {2017},

date = {2017-01-01},

urldate = {2017-01-01},

address = {La Laguna, Tenerife, Spain},

organization = {XVII Jornadas de Programación y Lenguajes, PROLE 2017},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsg,

title = {A methodology and test environment for QoS measurements in mobile networks},

author = {Francisco Rivas and Almudena Díaz and Pedro Merino},

doi = {10.23919/INM.2017.7987379},

year  = {2017},

date = {2017-01-01},

urldate = {2017-01-01},

pages = {823-828},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingse,

title = {Advanced testing of mobile applications and devices},

author = {Almudena Díaz and Alberto Salmerón and Francisco Rivas and Pedro Merino},

doi = {10.23919/INM.2017.7987366},

year  = {2017},

date = {2017-01-01},

urldate = {2017-01-01},

pages = {801-804},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsf,

title = {Guided test case generation for mobile apps in the TRIANGLE project: work in progress},

author = {Laura Panizo and Alberto Salmerón and María-del-Mar Gallardo and Pedro Merino},

doi = {10.1145/3092282.3092298},

year  = {2017},

date = {2017-01-01},

pages = {192-195},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsd,

title = {The 3GPP NB-IoT system architecture for the Internet of Things},

author = {Almudena Díaz and Pedro Merino},

doi = {10.1109/ICCW.2017.7962670},

year  = {2017},

date = {2017-01-01},

urldate = {2017-01-01},

pages = {277-282},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsh,

title = {3GPP Standards to Deliver LTE Connectivity for IoT},

author = {Almudena Díaz and César Augusto and Álvaro Recio and Pedro Merino},

doi = {10.1109/IoTDI.2015.26},

year  = {2016},

date = {2016-01-01},

urldate = {2016-01-01},

pages = {283-288},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsi,

title = {Enabling low latency services in standard LTE networks},

author = {César Augusto and Pedro Merino},

doi = {10.1109/FAS-W.2016.59},

year  = {2016},

date = {2016-01-01},

urldate = {2016-01-01},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsj,

title = {Extensive and repeatable experimentation in mobile communications with programmable instruments},

author = {César Augusto and Álvaro Recio and Álvaro Ríos and Almudena Díaz and Pedro Merino},

doi = {10.1109/REV.2016.7444436},

year  = {2016},

date = {2016-01-01},

urldate = {2016-01-01},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsk,

title = {Q4HEALTH: Quality of Service and prioritisation for emergency services in the LTE RAN stack},

author = {César Augusto and Álvaro Ríos and Pedro Merino and Katsalis Kostas and Navid Nikaein and Ricardo Figueiredo and Donal Morris and Terry O'Callaghan},

doi = {10.1109/EuCNC.2016.7561006},

year  = {2016},

date = {2016-01-01},

urldate = {2016-01-01},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsl,

title = {Remote control and instrumentation of Android devices},

author = {Almudena Díaz and Álvaro Recio and César Augusto and Pedro Merino},

doi = {10.1109/REV.2016.7444463},

year  = {2016},

date = {2016-01-01},

urldate = {2016-01-01},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsm,

title = {Smart flood management DSS},

author = {Manuel Díaz and María-del-Mar Gallardo and Pedro Merino and Laura Panizo and Sergio Romero and Enrique Soler},

year  = {2016},

date = {2016-01-01},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsn,

title = {A discretized operational semantics for the implementation of Hy-tccp},

author = {María-del-Mar Gallardo and Laura Panizo and Laura Titolo},

year  = {2015},

date = {2015-01-01},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingso,

title = {PerformLTE: A testbed for LTE testing in the future internet},

author = {Almudena Díaz and César Augusto and Álvaro Recio and Pedro Merino},

doi = {10.1007/978-3-319-22572-2_4},

isbn = {978-3-319-22571-5},

year  = {2015},

date = {2015-01-01},

urldate = {2015-01-01},

volume = {9071},

pages = {46-59},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsq,

title = {A DSS for reservoirs operation based on the execution of formal models},

author = {Antonio Linares and Jesús Regodón and Laura Panizo and María-del-Mar Gallardo and Pedro Merino},

year  = {2014},

date = {2014-01-01},

urldate = {2014-01-01},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsp,

title = {Analyzing the correctness of Smartphones applications using Formal Methods (Doctoral Consortium)},

author = {Ana Espada and María-del-Mar Gallardo},

year  = {2014},

date = {2014-01-01},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsr,

title = {Modeling Hybrid Systems in Hy-tccp},

author = {Damián Adalid and María-del-Mar Gallardo and Laura Titolo},

year  = {2014},

date = {2014-01-01},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsv,

title = {A Runtime verification framework for ANDROID applications},

author = {Ana Espada and María-del-Mar Gallardo and Damián Adalid},

year  = {2013},

date = {2013-01-01},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingss,

title = {DRAGONFLY: Encapsulating Android for instrumentation},

author = {Ana Espada and María-del-Mar Gallardo and Damián Adalid},

isbn = {9788469583319},

year  = {2013},

date = {2013-01-01},

pages = {1-14},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingst,

title = {On-the-fly VoIP call quality evaluation with improved E-model},

author = {Alberto Salmerón and Pedro Merino},

doi = {10.1145/2512840.2512860},

year  = {2013},

date = {2013-01-01},

pages = {145-152},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsu,

title = {Performance study of Internet traffic on high speed railways},

author = {Francisco Rivas and Almudena Díaz and Pedro Merino},

doi = {10.1109/WoWMoM.2013.6583395},

isbn = {978-1-4673-5827-9},

year  = {2013},

date = {2013-01-01},

urldate = {2013-01-01},

pages = {1-9},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedings_29,

title = {Verification of Dynamic Data Tree with mu-calculus Extended with Separation},

author = {María-del-Mar Gallardo and David Sanán},

doi = {10.1109/SEFM.2010.34},

year  = {2010},

date = {2010-01-01},

journal = {Proceedings - Software Engineering and Formal Methods, SEFM 2010},

pages = {211-221},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedings_29b,

title = {Verification of Dynamic Data Tree with mu-calculus Extended with Separation},

author = {María-del-Mar Gallardo and David Sanán},

doi = {10.1109/SEFM.2010.34},

year  = {2010},

date = {2010-01-01},

journal = {Proceedings - Software Engineering and Formal Methods, SEFM 2010},

pages = {211-221},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedings_29c,

title = {Verification of Dynamic Data Tree with mu-calculus Extended with Separation},

author = {María-del-Mar Gallardo and David Sanán},

doi = {10.1109/SEFM.2010.34},

year  = {2010},

date = {2010-01-01},

journal = {Proceedings - Software Engineering and Formal Methods, SEFM 2010},

pages = {211-221},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedings_29d,

title = {Verification of Dynamic Data Tree with mu-calculus Extended with Separation},

author = {María-del-Mar Gallardo and David Sanán},

doi = {10.1109/SEFM.2010.34},

year  = {2010},

date = {2010-01-01},

journal = {Proceedings - Software Engineering and Formal Methods, SEFM 2010},

pages = {211-221},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedings_29e,

title = {Verification of Dynamic Data Tree with mu-calculus Extended with Separation},

author = {María-del-Mar Gallardo and David Sanán},

doi = {10.1109/SEFM.2010.34},

year  = {2010},

date = {2010-01-01},

journal = {Proceedings - Software Engineering and Formal Methods, SEFM 2010},

pages = {211-221},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedings_29f,

title = {Verification of Dynamic Data Tree with mu-calculus Extended with Separation},

author = {María-del-Mar Gallardo and David Sanán},

doi = {10.1109/SEFM.2010.34},

year  = {2010},

date = {2010-01-01},

journal = {Proceedings - Software Engineering and Formal Methods, SEFM 2010},

pages = {211-221},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedings_29g,

title = {Verification of Dynamic Data Tree with mu-calculus Extended with Separation},

author = {María-del-Mar Gallardo and David Sanán},

doi = {10.1109/SEFM.2010.34},

year  = {2010},

date = {2010-01-01},

journal = {Proceedings - Software Engineering and Formal Methods, SEFM 2010},

pages = {211-221},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedings_30,

title = {Developing a Decision Support Tool for Dam Management with SPIN},

author = {María-del-Mar Gallardo and Pedro Merino and Laura Panizo and Antonio Linares},

doi = {10.1007/978-3-642-04570-7_20},

isbn = {978-3-642-04569-1},

year  = {2009},

date = {2009-01-01},

urldate = {2009-01-01},

volume = {5825},

pages = {210-212},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedings_31,

title = {Using SCADE for Decision Support in Dam Management.},

author = {María-del-Mar Gallardo and Pedro Merino and Laura Panizo and Antonio Linares},

year  = {2009},

date = {2009-01-01},

urldate = {2009-01-01},

pages = {125-131},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedings_32,

title = {Customer-centric measurements on mobile phones},

author = {Almudena Díaz and Pedro Merino and Francisco Rivas},

doi = {10.1109/ISCE.2008.4559470},

isbn = {978-1-4244-2422-1},

year  = {2008},

date = {2008-01-01},

urldate = {2008-01-01},

pages = {1 - 4},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedings_33,

title = {Towards a lightweight middleware for mobile multimedia communication awareness},

author = {Almudena Díaz and Pedro Merino},

doi = {10.4108/ICST.MOBIMEDIA2008.4023},

isbn = {978-963-9799-25-7},

year  = {2008},

date = {2008-01-01},

urldate = {2008-01-01},

journal = {MOBIMEDIA 2008 - 4th International ICST Mobile Multimedia Communications Conference},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedings_43,

title = {Abstract Matching for Software Model Checking},

author = {Pedro Cámara and María-del-Mar Gallardo and Pedro Merino},

doi = {10.1007/11691617_11},

isbn = {978-3-540-33102-5},

year  = {2006},

date = {2006-01-01},

urldate = {2006-01-01},

pages = {182-200},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}