morse.uma.es
Networld 2020 | MORSE Research Group
http://www.morse.uma.es/node/674
NetWorld2020 is the European Technology Platform for communications networks and services. Communications networks enable interaction between users of various types of equipment, either mobile or fixed. They are the foundation of the Internet. The NetWorld2020 European Technology Platform gathers players of the communications networks sector: industry leaders, innovative SMEs, and leading academic institutions. Activity by Dr. Radut.
morse.uma.es
A simulation tool for tccp programs | MORSE Research Group
http://www.morse.uma.es/node/686
A simulation tool for tccp programs. A simulation tool for tccp programs. Thu, 11/10/2016 - 12:35. A simulation tool for tccp programs. And M-del-M. Gallardo. Proc of 24th International Workshop on Functional and (Constraint) Logic Programming (WFLP'16). Biblio by Dr. Radut.
morse.uma.es
ERCIM | MORSE Research Group
http://www.morse.uma.es/node/55
Http:/ www.ercim.eu/. The European Research Consortium for Informatics and Mathematics - aims to foster collaborative work within the European research community and to increase co-operation with European industry. Leading European research institutes are members of ERCIM. Activity by Dr. Radut.
morse.uma.es
SDL FORUM 2015 (SDL 2015) | MORSE Research Group
http://www.morse.uma.es/node/673
SDL FORUM 2015 (SDL 2015). SDL FORUM 2015 (SDL 2015). Http:/ sdlforum2015.informatik.hu-berlin.de/. The SDL Forum Society. Activity by Dr. Radut.
morse.uma.es
Open Air Interface Alliance | MORSE Research Group
http://www.morse.uma.es/node/681
Open Air Interface Alliance. Open Air Interface Alliance. Http:/ www.openairinterface.org/. The OpenAirInterfaceTM Software Alliance (OSA) is a non-profit consortium to develop ecosystem for open source software/hardware development for the core network (EPC) and access-network (EUTRAN) of 3GPP cellular networks. The Alliance sponsors the initial work of EURECOM. To create OpenAirInterfaceTM towards development of 5G Cellular Stack on commercial off-the-shelf (COTS) hardware. Activity by Dr. Radut.
morse.uma.es
Enabling low latency services in standard LTE networks | MORSE Research Group
http://www.morse.uma.es/node/693
Enabling low latency services in standard LTE networks. Enabling low latency services in standard LTE networks. Sun, 11/20/2016 - 10:17. Enabling low latency services in standard LTE networks. García, C A. IEEE 1st International Workshops on Foundations and Applications of Self-* Systems. Biblio by Dr. Radut.
morse.uma.es
Implementing a Hy-tccp interpreter for simulation | MORSE Research Group
http://www.morse.uma.es/node/687
Implementing a Hy-tccp interpreter for simulation. Implementing a Hy-tccp interpreter for simulation. Thu, 11/10/2016 - 12:37. Implementing a Hy-tccp interpreter for simulation. And M-del-M. Gallardo. XXIV Jornadas de Concurrencia y Sistemas Distribuidos (JCSD'16). Biblio by Dr. Radut.
morse.uma.es
FMICS | MORSE Research Group
http://www.morse.uma.es/node/445
Http:/ www.inrialpes.fr/vasy/fmics/. ERCIM Working Group on Formal Methods for Industrial Critical Systems. Activity by Dr. Radut.
morse.uma.es
Activities | MORSE Research Group
http://www.morse.uma.es/activities
Open Air Interface Alliance. SDL FORUM 2015 (SDL 2015). The 20th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2015). Jornadas de Concurrencia y Sistemas Distribuidos 2015. The 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007). VI Jornadas de Ingeniería Telemática (Jitel 2007). VI Jornadas de Concurrencia y Sistemas Distribuidos (JCSD 2007). Jornadas Internacionales de Ciencias y Tecnologías (JICT 2007). The 13th SDL Forum. The 5t...
morse.uma.es
Members | MORSE Research Group
http://www.morse.uma.es/members
María del Mar Gallardo. Formal methods, testing techonology and QoS. Formal methods for critical systems, communications software and Internet services on mobile networks. Communication protocols, cellular networks and mobile application development. Formal methods to ensure the safety in real-time and hybrid systems. Formal methods for the analysis and optimization of heterogeneous systems. Mobile broadband communications, protocol testing development and mission critical communications. Automatic debug...