Assessment of Timing Properties of Family Products. - Alejandro Alonso 001; Marisol García-Valls; Juan Antonio de la Puente (ESPRIT ARES Workshop, 1998)

Response Time of Streaming Chains: Analysis and Results. - Angel M. Groba; Alejandro Alonso 001; José A. Rodríguez 002; Marisol García-Valls (ECRTS, 2002)

An Architecture of a Quality of Service Resource Manager Middleware for Flexible Embedded Multimedia Systems. - Marisol García-Valls; Alejandro Alonso 001; José Ruiz; Angel M. Groba (SEM, 2002)

Integration of System-Level Policies and Mechanisms for Quality of Service Management for Web-Based Environments. - Marisol García-Valls; Alejandro Alonso 001 (ICWI, 2002)

FIPA-Based QoS Negotiator for Nomadic Agents. - Alberto Montilla Bravo; Marisol García-Valls (MATA, 2002)

Static Deadlock Detection in the Linux Kernel. - Peter T. Breuer; Marisol García-Valls (Ada-Europe, 2004)

No Heap Remote Objects: Leaving Out Garbage Collection at the Server Side. - Pablo Basanta-Val; Marisol García-Valls; Iria Estévez-Ayres (OTM Workshops, 2004)

CoSeRT: A Framework for Composing Service-Based Real-Time Applications. - Marisol García-Valls; Iria Estévez-Ayres; Pablo Basanta-Val; Carlos Delgado Kloos (Business Process Management Workshops, 2005)

Towards the Integration of Scoped Memory in Distributed Real-Time Java. - Pablo Basanta-Val; Marisol García-Valls; Iria Estévez-Ayres (ISORC, 2005)

Static Composition of Service-Based Real-Time Applications. - Iria Estévez-Ayres; Marisol García-Valls; Pablo Basanta-Val (SEUS, 2005)

AGCMemory: a new real-time Java region type for automatic floating garbage recycling. - Pablo Basanta-Val; Marisol García-Valls; Iria Estévez-Ayres (SIGBED Rev., 2005)

Enabling WCET-based composition of service-based real-time applications. - Iria Estévez-Ayres; Marisol García-Valls; Pablo Basanta-Val (SIGBED Rev., 2005)

Guidelines for a graduate curriculum on embedded software and systems. - Paul Caspi; Alberto L. Sangiovanni-Vincentelli; Luís Almeida 001; Albert Benveniste; Bruno Bouyssounouse; Giorgio C. Buttazzo; Ivica Crnkovic; Werner Damm; Jakob Engblom; Gerhard Fohler; Marisol García-Valls; Hermann Kopetz; et al. (ACM Trans. Embed. Comput. Syst., 2005)

Extended portal: violating the assignment rule and enforcing the single parent rule. - Pablo Basanta-Val; Marisol García-Valls; Iria Estévez-Ayres; Carlos Delgado Kloos (JTRES, 2006)

Raiding the Noosphere: the open development of networked RAID support for the Linux kernel. - Peter T. Breuer; Marisol García-Valls (Softw. Pract. Exp., 2006)

An Architecture to Support Dynamic Service Composition in Distributed Real-Time Systems. - Iria Estévez-Ayres; Luís Almeida 001; Marisol García-Valls; Pablo Basanta-Val (ISORC, 2007)

Towards a Synchronous Scheduling Service on Top of a Unicast Distributed Real-Time Java. - Pablo Basanta-Val; Luís Almeida 001; Marisol García-Valls; Iria Estévez-Ayres (IEEE Real-Time and Embedded Technology and Applications Symposium, 2007)

Simplifying the Dualized Threading Model of RTSJ. - Pablo Basanta-Val; Marisol García-Valls; Iria Estévez-Ayres (ISORC, 2008)

Solutions for Supporting Composition of Service-Based Real-Time Applications. - Iria Estévez-Ayres; Marisol García-Valls; Luís Almeida 001; Pablo Basanta-Val (ISORC, 2008)

Towards Distributed Composition of Real-Time Service-Based Applications. - Iria Estévez-Ayres; Marisol García-Valls; Pablo Basanta-Val (AINA Workshops, 2009)

Time-Predictable Reconfiguration with Contract-Based Resource Management. - Marisol García-Valls; Alejandro Alonso Muñoz; Juan Antonio de la Puente (AINA Workshops, 2009)

Concurrency Programming Models in Mobile Real-Time Platforms. - Marisol García-Valls; Pablo Basanta-Val; Iria Estévez-Ayres (AINA Workshops, 2009)

Mode Change Protocols for Predictable Contract-Based Resource Management in Embedded Multimedia Systems. - Marisol García-Valls; Alejandro Alonso 001; Juan Antonio de la Puente (ICESS, 2009)

Dynamic adaptation mechanisms in multimedia embedded systems. - Marisol García-Valls; Alejandro Alonso 001; Juan Antonio de la Puente (INDIN, 2009)

Simple asynchronous remote invocations for distributed real-time Java. - Pablo Basanta-Val; Marisol García-Valls; Iria Estévez-Ayres (IEEE Trans. Ind. Informatics, 2009)

QoS-aware Real-Time Composition Algorithms for Service-Based Applications. - Iria Estévez-Ayres; Pablo Basanta-Val; Marisol García-Valls; Jesús A. Fisteus; Luís Almeida 001 (IEEE Trans. Ind. Informatics, 2009)

Towards a Cyber-Physical Architecture for Industrial Systems via Real-Time Java Technology. - Pablo Basanta-Val; Marisol García-Valls; Iria Estévez-Ayres (CIT, 2010)

Dynamic Priority Assignment Scheme for Contract-Based Resource Management. - Marisol García-Valls; Iria Estévez-Ayres; Pablo Basanta-Val (CIT, 2010)

An architecture for distributed real-time Java based on RMI and RTSJ. - Pablo Basanta-Val; Marisol García-Valls; Iria Estévez-Ayres (ETFA, 2010)

Towards a middleware architecture for deterministic reconfiguration of service-based networked applications. - Marisol García-Valls; Iago Rodríguez-López; Laura Fernández-Villar; Iria Estévez-Ayres; Pablo Basanta-Val (ETFA, 2010)

Towards Propagation of Non-functional Information in Distributed Real-Time Java. - Pablo Basanta-Val; Marisol García-Valls; Iria Estévez-Ayres (ISORC, 2010)

A component model for homogeneous implementation of reconfigurable service-based distributed real-time applications. - Marisol García-Valls; Pablo Basanta-Val; Iria Estévez-Ayres (NOTERE, 2010)

No-Heap remote objects for distributed real-time Java. - Pablo Basanta-Val; Marisol García-Valls; Iria Estévez-Ayres (ACM Trans. Embed. Comput. Syst., 2010)

A Synchronous Scheduling Service for Distributed Real-Time Java. - Pablo Basanta-Val; Iria Estévez-Ayres; Marisol García-Valls; Luís Almeida 001 (IEEE Trans. Parallel Distributed Syst., 2010)

Architecting a Common Bridge Abstraction over Different Middleware Paradigms. - Iago Rodríguez-López; Marisol García-Valls (Ada-Europe, 2011)

Supporting service composition and real-time execution throught characterization of QoS properties. - Marisol García-Valls; Pablo Basanta-Val; Iria Estévez-Ayres (SEAMS, 2011)

A QoS registry for adaptive real-time service-oriented applications. - Gaetano F. Anastasi; Tommaso Cucinotta; Giuseppe Lipari; Marisol García-Valls (SOCA, 2011)

Extending the concurrency model of the real-time specification for Java. - Pablo Basanta-Val; Marisol García-Valls; Iria Estévez-Ayres (Concurr. Comput. Pract. Exp., 2011)

Fine tuning of the multiplexing facilities of Java's Remote Method Invocation. - Pablo Basanta-Val; Marisol García-Valls; Iria Estévez-Ayres; Jorge Fernández-González (Concurr. Comput. Pract. Exp., 2011)

A hybrid approach for selecting service-based real-time composition algorithms in heterogeneous environments. - Iria Estévez-Ayres; Marisol García-Valls; Pablo Basanta-Val; Jorge Díez-Sánchez (Concurr. Comput. Pract. Exp., 2011)

Non-functional information transmission patterns for distributed real-time Java. - Pablo Basanta-Val; Marisol García-Valls; Iria Estévez-Ayres (Softw. Pract. Exp., 2011)

Real-time reconfiguration in multimedia embedded systems. - Marisol García-Valls; Pablo Basanta-Val; Iria Estévez-Ayres (IEEE Trans. Consumer Electron., 2011)

A Dual Programming Model for Distributed Real-Time Java. - Pablo Basanta-Val; Marisol García-Valls; Iria Estévez-Ayres (IEEE Trans. Ind. Informatics, 2011)

Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSA. - Marisol García-Valls; Felipe Ibáñez-Vázquez (Ada-Europe, 2012)

A Bounded-time Service Composition Algorithm for Distributed Real-time Systems. - Marisol García-Valls; R. Fernández-Castro; Iria Estévez-Ayres; Pablo Basanta-Val; Iago Rodríguez-López (HPCC-ICESS, 2012)

Towards a reconfiguration service for distributed real-time Java. - Pablo Basanta-Val; Marisol García-Valls (REACTION, 2012)

A practical solution for functional reconfiguration of real-time service based applications through partial schedulability. - Marisol García-Valls; Pablo Basanta-Val (REACTION, 2012)

Message from the General Chairs. - Marisol García-Valls; Tommaso Cucinotta (REACTION, 2012)

A dual-band priority assignment algorithm for dynamic QoS resource management. - Marisol García-Valls; Alejandro Alonso 001; Juan Antonio de la Puente (Future Gener. Comput. Syst., 2012)

Extending distributed real-time java with Remote Memory Areas. - Pablo Basanta-Val; Marisol García-Valls (INDIN, 2013)

Virtualizing DDS middleware: Performance challenges and measurements. - Rosbel Serrano-Torres; Marisol García-Valls; Pablo Basanta-Val (INDIN, 2013)

Benchmarking communication middleware for cloud computing virtualizers. - Marisol García-Valls; Pablo Basanta-Val (REACTION, 2013)

Message from the General Chairs. - Marisol García-Valls; Tommaso Cuccinota (REACTION, 2013)

A bi-dimensional QoS model for SOA and real-time middleware. - Marisol García-Valls; Pablo Basanta-Val; Marga Marcos; Elisabet Estévez-Estévez (Comput. Syst. Sci. Eng., 2013)

Resource management for mobile operating systems based on the active object model. - Marisol García-Valls; Alfons Crespo; Joan Vila-Carbó (Comput. Syst. Sci. Eng., 2013)

A real-time perspective of service composition: Key concepts and some contributions. - Marisol García-Valls; Pablo Basanta-Val (J. Syst. Archit., 2013)

Enhancing OSGi with real-time Java support. - Pablo Basanta-Val; Marisol García-Valls; Iria Estévez-Ayres (Softw. Pract. Exp., 2013)

Usage of DDS Data-Centric Middleware for Remote Monitoring and Control Laboratories. - Marisol García-Valls; Pablo Basanta-Val (IEEE Trans. Ind. Informatics, 2013)

iLAND: An Enhanced Middleware for Real-Time Reconfiguration of Service Oriented Distributed Real-Time Systems. - Marisol García-Valls; Iago Rodríguez-López; Laura Fernández-Villar (IEEE Trans. Ind. Informatics, 2013)

Time-Sensitive Adaptation in CPS through Run-Time Configuration Generation and Verification. - Marisol García-Valls; Diego Perez-Palacin; Raffaela Mirandola (COMPSAC, 2014)

Extending the verification capabilities of middleware for reliable distributed self-adaptive systems. - Marisol García-Valls; Diego Perez-Palacin; Raffaela Mirandola (INDIN, 2014)

Message from the General Chairs. - Marisol García-Valls; Tommaso Cucinotta; Laurent Pautet (REACTION, 2014)

Composing and scheduling service-oriented applications in time-triggered distributed real-time Java environments. - Iria Estévez-Ayres; Pablo Basanta-Val; Marisol García-Valls (Concurr. Comput. Pract. Exp., 2014)

Low complexity reconfiguration for real-time data-intensive service-oriented applications. - Marisol García-Valls; Patricia Uriol-Resuela; Felipe Ibáñez-Vázquez; Pablo Basanta-Val (Future Gener. Comput. Syst., 2014)

Resource management policies for real-time Java remote invocations. - Pablo Basanta-Val; Marisol García-Valls (J. Parallel Distributed Comput., 2014)

Comparative analysis of two different middleware approaches for reconfiguration of distributed real-time systems. - Marisol García-Valls; Pablo Basanta-Val (J. Syst. Archit., 2014)

Challenges in real-time virtualization and predictable cloud computing. - Marisol García-Valls; Tommaso Cucinotta; Chenyang Lu 001 (J. Syst. Archit., 2014)

Scheduling component replacement for timely execution in dynamic systems. - Julio Cano Romero; Marisol García-Valls (Softw. Pract. Exp., 2014)

A Distributed Real-Time Java-Centric Architecture for Industrial Systems. - Pablo Basanta-Val; Marisol García-Valls (IEEE Trans. Ind. Informatics, 2014)

A Simple Data-Muling Protocol. - Pablo Basanta-Val; Marisol García-Valls; Miguel Baza Cunado (IEEE Trans. Ind. Informatics, 2014)

A simple distributed garbage collector for distributed real-time Java. - Pablo Basanta-Val; Marisol García-Valls (J. Supercomput., 2014)

Adaptive middleware design for CPS: Considerations on the OS, resource managers, and the network run-time. - Marisol García-Valls; Roberto Baldoni (ARM@Middleware, 2015)

Supporting the monitoring of the verification process of critical systems'software. - Julio Escribano-Barreno; Marisol García-Valls (CoRR, 2015)

On the free, safe, and timely execution of component-based systems. - Julio Cano Romero; Marisol García-Valls (CoRR, 2015)

A library for developing real-time and embedded applications in C. - Pablo Basanta-Val; Marisol García-Valls (J. Syst. Archit., 2015)

Real-time and distributed computing in emerging applications. Foreword by the general chairs of Reaction 2012. - Marisol García-Valls; Tommaso Cucinotta (J. Syst. Archit., 2015)

Improved Metrics Handling in SonarQube for Software Quality Monitoring. - Javier García-Muñoz; Marisol García-Valls; Julio Escribano-Barreno (DCAI, 2016)

Low Cost Software Prototyping of a Diagnosis Computer. - Marisol García-Valls (DCAI, 2016)

The Cost of Formal Verification in Adaptive CPS. An Example of a Virtualized Server Node. - Marcello M. Bersani; Marisol García-Valls (HASE, 2016)

A Proposal for Cost-Effective Server Usage in CPS in the Presence of Dynamic Client Requests. - Marisol García-Valls (ISORC, 2016)

Adjusting middleware knobs to suit CPS domains. - Marisol García-Valls; Cristian Calva-Urrego; Alejandro Alonso 001; Juan Antonio de la Puente (SAC, 2016)

An ICE Compliant Component Model for Medical Systems Development. - Imad Eddine Touahria; Marisol García-Valls; Abdellah Khababa (COMPSAC (1), 2017)

Integration of Data Distribution Service and Raspberry Pi. - Marisol García-Valls; Javier Ampuero-Calleja; Luis Lino Ferreira (GPC, 2017)

Impact of Middleware Design on the Communication Performance. - Marisol García-Valls; Daniel Garrido; Manuel Díaz (GPC, 2017)

Improving service time with a multicore aware middleware. - Marisol García-Valls; Christian Calva-Urrego (SAC, 2017)

Analyzing point-to-point DDS communication over desktop virtualization software. - Marisol García-Valls; Pablo Basanta-Val (Comput. Stand. Interfaces, 2017)

Adjusting middleware knobs to assess scalability limits of distributed cyber-physical systems. - Marisol García-Valls; Christian Calva-Urrego; Juan Antonio de la Puente; Alejandro Alonso 001 (Comput. Stand. Interfaces, 2017)

Reliable software technologies and communication middleware: A perspective and evolution directions for cyber-physical system, mobility, and cloud computing. - Marisol García-Valls; Paolo Bellavista; Aniruddha S. Gokhale (Future Gener. Comput. Syst., 2017)

A few open problems and solutions for software technologies for dependable distributed systems. - Marisol García-Valls; António Casimiro; Hans P. Reiser (J. Syst. Archit., 2017)

On Line Service Composition in the Integrated Clinical Environment for eHealth and Medical Systems. - Marisol García-Valls; Imad Eddine Touahria (Sensors, 2017)

Using DDS middleware in distributed partitioned systems. - Marisol García-Valls; Jorge Domínguez-Poblete; Imad Eddine Touahria (SIGBED Rev., 2017)

Introduction to the special issue. - Marisol García-Valls; Luis Lino Ferreira (SIGBED Rev., 2017)

Flexible and timely on-line integration of medical services using iLand middleware. - Marisol García-Valls; Natividad Herrasti; Christophe Jouvray; Aintzane Armentia (SIGBED Rev., 2017)

Measuring performance of middleware technologies for medical systems: Ice vs AMQP. - Paloma Rubio-Conde; Diego Villarán-Molina; Marisol García-Valls (SIGBED Rev., 2017)

Introducing the new paradigm of Social Dispersed Computing: Applications, Technologies and Challenges. - Marisol García-Valls; Abhishek Dubey; Vicent J. Botti (J. Syst. Archit., 2018)

Integration of Data Distribution Service and distributed partitioned systems. - Marisol García-Valls; Jorge Domínguez-Poblete; Imad Eddine Touahria; Chenyang Lu 001 (J. Syst. Archit., 2018)

Introduction to the special section on Real time computing and distributed systems. - Marisol García-Valls; Luis Lino Ferreira (J. Syst. Archit., 2018)

Pragmatic cyber physical systems design based on parametric models. - Marisol García-Valls; Diego Perez-Palacin; Raffaela Mirandola (J. Syst. Softw., 2018)

Online verification in cyber-physical systems: Practical bounds for meaningful temporal costs. - Marcello M. Bersani; Marisol García-Valls (J. Softw. Evol. Process., 2018)

Integrating multicore awareness functions into distribution middleware for improving performance of distributed audio surveillance. - Marisol García-Valls (Adv. Eng. Softw., 2019)

An extensible collaborative framework for monitoring software quality in critical systems. - Marisol García-Valls; Julio Escribano-Barreno; Javier García-Muñoz (Inf. Softw. Technol., 2019)

Introduction to the special issue of the 16th ACM workshop on Adaptive and Reflective Middleware (ARM). - Abhishek Dubey; Marisol García-Valls (J. Syst. Archit., 2019)

Accelerating smart eHealth services execution at the fog computing infrastructure. - Marisol García-Valls; Christian Calva-Urrego; Ana García-Fornes (Future Gener. Comput. Syst., 2020)

Digesting smart contracts in Ethereum blockchain networks. - Fabian Sparbrodt; Marisol García-Valls (CIoT, 2022)

An Evaluation Process for IoT Platforms in Time-Sensitive Domains. - Marisol García-Valls; Eva Palomar-Cosín (Sensors, 2022)

Flexible IoT Agriculture Systems for Irrigation Control Based on Software Services. - Eva Palomar-Cosín; Marisol García-Valls (Sensors, 2022)

Improving Security of Web Servers in Critical IoT Systems through Self-Monitoring of Vulnerabilities. - Linxuan Song; Marisol García-Valls (Sensors, 2022)

Security aspects of full-duplex web interactions and WebSockets. - Yang Fu; Marisol García-Valls (AICCSA, 2023)

Automating the verification of smart contracts in blockchain networks for improving security. - Alejandro M. Chirivella-Ciruelos; Marisol García-Valls (SEAA, 2023)

CoTwin: Collaborative improvement of digital twins enabled by blockchain. - Marisol García-Valls; Alejandro M. Chirivella-Ciruelos (Future Gener. Comput. Syst., 2024)

Provenance Verification of Smart Contracts: Analysing the Cost of Ensuring Authenticity over the Logic Hosted in Blockchain Networks. - Marisol García-Valls; Alejandro M. Chirivella-Ciruelos (Inf., 2024)

VelogCPS: A safe blockchain network for cyber-physical systems leveraging block verifiers. - Marisol García-Valls; Alejandro M. Chirivella-Ciruelos (J. Syst. Archit., 2024)