Marisol García-Valls

118 papers A 2B 3C 17Misc 7Journal 59Unranked 26
YearRankTypeTitle / Venue / Authors
2025 — conf
Profiling Processor Usage in Web Applications: Categorization, Usage Patterns, and Experimental Analysis.
SEAA (2)
Gonzalo Sabando-Alonso, Marisol García-Valls
2024 J jnl
CoTwin: Collaborative improvement of digital twins enabled by blockchain.
Future Gener. Comput. Syst.
Marisol García-Valls, Alejandro M. Chirivella-Ciruelos
2024 J jnl
Provenance Verification of Smart Contracts: Analysing the Cost of Ensuring Authenticity over the Logic Hosted in Blockchain Networks.
Inf.
Marisol García-Valls, Alejandro M. Chirivella-Ciruelos
2024 J jnl
VelogCPS: A safe blockchain network for cyber-physical systems leveraging block verifiers.
J. Syst. Archit.
Marisol García-Valls, Alejandro M. Chirivella-Ciruelos
2023 B conf
Automating the verification of smart contracts in blockchain networks for improving security.
SEAA
Alejandro M. Chirivella-Ciruelos, Marisol García-Valls
2023 C conf
Security aspects of full-duplex web interactions and WebSockets.
AICCSA
Yang Fu, Marisol García-Valls
2022 J jnl
An Evaluation Process for IoT Platforms in Time-Sensitive Domains.
Sensors
Marisol García-Valls, Eva Palomar-Cosín
2022 — conf
Digesting smart contracts in Ethereum blockchain networks.
CIoT
Fabian Sparbrodt, Marisol García-Valls
2022 J jnl
Flexible IoT Agriculture Systems for Irrigation Control Based on Software Services.
Sensors
Eva Palomar-Cosín, Marisol García-Valls
2022 J jnl
Improving Security of Web Servers in Critical IoT Systems through Self-Monitoring of Vulnerabilities.
Sensors
Linxuan Song, Marisol García-Valls
2020 J jnl
Accelerating smart eHealth services execution at the fog computing infrastructure.
Future Gener. Comput. Syst.
Marisol García-Valls, Christian Calva-Urrego, Ana García-Fornes
2019 J jnl
An extensible collaborative framework for monitoring software quality in critical systems.
Inf. Softw. Technol.
Marisol García-Valls, Julio Escribano-Barreno, Javier García-Muñoz
2019 J jnl
Integrating multicore awareness functions into distribution middleware for improving performance of distributed audio surveillance.
Adv. Eng. Softw.
Marisol García-Valls
2019 J jnl
Introduction to the special issue of the 16th ACM workshop on Adaptive and Reflective Middleware (ARM).
J. Syst. Archit.
Abhishek Dubey, Marisol García-Valls
2018 J jnl
Integration of Data Distribution Service and distributed partitioned systems.
J. Syst. Archit.
Marisol García-Valls, Jorge Domínguez-Poblete, Imad Eddine Touahria, Chenyang Lu
2018 J jnl
Introducing the new paradigm of Social Dispersed Computing: Applications, Technologies and Challenges.
J. Syst. Archit.
Marisol García-Valls, Abhishek Dubey, Vicent J. Botti
2018 J jnl
Introduction to the special section on Real time computing and distributed systems.
J. Syst. Archit.
Marisol García-Valls, Luis Lino Ferreira
2018 J jnl
Online verification in cyber-physical systems: Practical bounds for meaningful temporal costs.
J. Softw. Evol. Process.
Marcello M. Bersani, Marisol García-Valls
2018 J jnl
Pragmatic cyber physical systems design based on parametric models.
J. Syst. Softw.
Marisol García-Valls, Diego Perez-Palacin, Raffaela Mirandola
2017 J jnl
A few open problems and solutions for software technologies for dependable distributed systems.
J. Syst. Archit.
Marisol García-Valls, António Casimiro, Hans P. Reiser
2017 J jnl
Adjusting middleware knobs to assess scalability limits of distributed cyber-physical systems.
Comput. Stand. Interfaces
Marisol García-Valls, Christian Calva-Urrego, Juan Antonio de la Puente, Alejandro Alonso
2017 — conf
An ICE Compliant Component Model for Medical Systems Development.
COMPSAC (1)
Imad Eddine Touahria, Marisol García-Valls, Abdellah Khababa
2017 J jnl
Analyzing point-to-point DDS communication over desktop virtualization software.
Comput. Stand. Interfaces
Marisol García-Valls, Pablo Basanta-Val
2017 J jnl
Flexible and timely on-line integration of medical services using iLand middleware.
SIGBED Rev.
Marisol García-Valls, Natividad Herrasti, Christophe Jouvray, Aintzane Armentia
2017 C conf
Impact of Middleware Design on the Communication Performance.
GPC
Marisol García-Valls, Daniel Garrido, Manuel Díaz
2017 Misc conf
Improving service time with a multicore aware middleware.
SAC
Marisol García-Valls, Christian Calva-Urrego
2017 C conf
Integration of Data Distribution Service and Raspberry Pi.
GPC
Marisol García-Valls, Javier Ampuero-Calleja, Luis Lino Ferreira
2017 J jnl
Introduction to the special issue.
SIGBED Rev.
Marisol García-Valls, Luis Lino Ferreira
2017 J jnl
Measuring performance of middleware technologies for medical systems: Ice vs AMQP.
SIGBED Rev.
Paloma Rubio-Conde, Diego Villarán-Molina, Marisol García-Valls
2017 J jnl
On Line Service Composition in the Integrated Clinical Environment for eHealth and Medical Systems.
Sensors
Marisol García-Valls, Imad Eddine Touahria
2017 — ed.
Proceedings of the 16th Workshop on Adaptive and Reflective Middleware, ARM@Middleware 2017, Las Vegas, NV, USA, December 11 - 15, 2017
ARM@Middleware
Abhishek Dubey, Marisol García-Valls
2017 J jnl
Reliable software technologies and communication middleware: A perspective and evolution directions for cyber-physical system, mobility, and cloud computing.
Future Gener. Comput. Syst.
Marisol García-Valls, Paolo Bellavista, Aniruddha S. Gokhale
2017 J jnl
Using DDS middleware in distributed partitioned systems.
SIGBED Rev.
Marisol García-Valls, Jorge Domínguez-Poblete, Imad Eddine Touahria
2016 C conf
A Proposal for Cost-Effective Server Usage in CPS in the Presence of Dynamic Client Requests.
ISORC
Marisol García-Valls
2016 Misc conf
Adjusting middleware knobs to suit CPS domains.
SAC
Marisol García-Valls, Cristian Calva-Urrego, Alejandro Alonso, Juan Antonio de la Puente
2016 Misc conf
Improved Metrics Handling in SonarQube for Software Quality Monitoring.
DCAI
Javier García-Muñoz, Marisol García-Valls, Julio Escribano-Barreno
2016 Misc conf
Low Cost Software Prototyping of a Diagnosis Computer.
DCAI
Marisol García-Valls
2016 — conf
The Cost of Formal Verification in Adaptive CPS. An Example of a Virtualized Server Node.
HASE
Marcello M. Bersani, Marisol García-Valls
2015 J jnl
A library for developing real-time and embedded applications in C.
J. Syst. Archit.
Pablo Basanta-Val, Marisol García-Valls
2015 — conf
Adaptive middleware design for CPS: Considerations on the OS, resource managers, and the network run-time.
ARM@Middleware
Marisol García-Valls, Roberto Baldoni
2015 J jnl
On the free, safe, and timely execution of component-based systems.
CoRR
Julio Cano Romero, Marisol García-Valls
2015 J jnl
Real-time and distributed computing in emerging applications. Foreword by the general chairs of Reaction 2012.
J. Syst. Archit.
Marisol García-Valls, Tommaso Cucinotta
2015 J jnl
Supporting the monitoring of the verification process of critical systems'software.
CoRR
Julio Escribano-Barreno, Marisol García-Valls
2014 J jnl
A Distributed Real-Time Java-Centric Architecture for Industrial Systems.
IEEE Trans. Ind. Informatics
Pablo Basanta-Val, Marisol García-Valls
2014 J jnl
A Simple Data-Muling Protocol.
IEEE Trans. Ind. Informatics
Pablo Basanta-Val, Marisol García-Valls, Miguel Baza Cunado
2014 J jnl
A bi-dimensional QoS model for SOA and real-time middleware.
Comput. Syst. Sci. Eng.
Marisol García-Valls, Pablo Basanta-Val, Marga Marcos, Elisabet Estévez-Estévez
2014 J jnl
A simple distributed garbage collector for distributed real-time Java.
J. Supercomput.
Pablo Basanta-Val, Marisol García-Valls
2014 J jnl
Challenges in real-time virtualization and predictable cloud computing.
J. Syst. Archit.
Marisol García-Valls, Tommaso Cucinotta, Chenyang Lu
2014 J jnl
Comparative analysis of two different middleware approaches for reconfiguration of distributed real-time systems.
J. Syst. Archit.
Marisol García-Valls, Pablo Basanta-Val
2014 J jnl
Composing and scheduling service-oriented applications in time-triggered distributed real-time Java environments.
Concurr. Comput. Pract. Exp.
Iria Estévez-Ayres, Pablo Basanta-Val, Marisol García-Valls
2014 C conf
Extending the verification capabilities of middleware for reliable distributed self-adaptive systems.
INDIN
Marisol García-Valls, Diego Perez-Palacin, Raffaela Mirandola
2014 J jnl
Low complexity reconfiguration for real-time data-intensive service-oriented applications.
Future Gener. Comput. Syst.
Marisol García-Valls, Patricia Uriol-Resuela, Felipe Ibáñez-Vázquez, Pablo Basanta-Val
2014 — conf
Message from the General Chairs.
REACTION
Marisol García-Valls, Tommaso Cucinotta, Laurent Pautet
2014 — ed.
REACTION 2014, 3rd IEEE International Workshop on Real-time and distributed computing in emerging applications, Proceedings, Rome, Italy. December 2nd, 2014
REACTION
Marisol García-Valls, Tommaso Cucinotta
2014 J jnl
Resource management policies for real-time Java remote invocations.
J. Parallel Distributed Comput.
Pablo Basanta-Val, Marisol García-Valls
2014 J jnl
Scheduling component replacement for timely execution in dynamic systems.
Softw. Pract. Exp.
Julio Cano Romero, Marisol García-Valls
2014 B conf
Time-Sensitive Adaptation in CPS through Run-Time Configuration Generation and Verification.
COMPSAC
Marisol García-Valls, Diego Perez-Palacin, Raffaela Mirandola
2013 J jnl
A bi-dimensional QoS model for SOA and real-time middleware.
Comput. Syst. Sci. Eng.
Marisol García-Valls, Pablo Basanta-Val, Marga Marcos, Elisabet Estévez-Estévez
2013 J jnl
A real-time perspective of service composition: Key concepts and some contributions.
J. Syst. Archit.
Marisol García-Valls, Pablo Basanta-Val
2013 — conf
Benchmarking communication middleware for cloud computing virtualizers.
REACTION
Marisol García-Valls, Pablo Basanta-Val
2013 J jnl
Enhancing OSGi with real-time Java support.
Softw. Pract. Exp.
Pablo Basanta-Val, Marisol García-Valls, Iria Estévez-Ayres
2013 C conf
Extending distributed real-time java with Remote Memory Areas.
INDIN
Pablo Basanta-Val, Marisol García-Valls
2013 — conf
Message from the General Chairs.
REACTION
Marisol García-Valls, Tommaso Cuccinota
2013 — ed.
REACTION 2013, Second International Workshop on Real-time and distributed computing in emerging applications, Proceedings, Vancouver, Canada, December 3, 2013
REACTION
Marisol García-Valls, Tommaso Cucinotta
2013 J jnl
Resource management for mobile operating systems based on the active object model.
Comput. Syst. Sci. Eng.
Marisol García-Valls, Alfons Crespo, Joan Vila-Carbó
2013 J jnl
Usage of DDS Data-Centric Middleware for Remote Monitoring and Control Laboratories.
IEEE Trans. Ind. Informatics
Marisol García-Valls, Pablo Basanta-Val
2013 C conf
Virtualizing DDS middleware: Performance challenges and measurements.
INDIN
Rosbel Serrano-Torres, Marisol García-Valls, Pablo Basanta-Val
2013 J jnl
iLAND: An Enhanced Middleware for Real-Time Reconfiguration of Service Oriented Distributed Real-Time Systems.
IEEE Trans. Ind. Informatics
Marisol García-Valls, Iago Rodríguez-López, Laura Fernández-Villar
2012 — conf
A Bounded-time Service Composition Algorithm for Distributed Real-time Systems.
HPCC-ICESS
Marisol García-Valls, R. Fernández-Castro, Iria Estévez-Ayres, Pablo Basanta-Val, Iago Rodríguez-López
2012 J jnl
A dual-band priority assignment algorithm for dynamic QoS resource management.
Future Gener. Comput. Syst.
Marisol García-Valls, Alejandro Alonso, Juan Antonio de la Puente
2012 — conf
A practical solution for functional reconfiguration of real-time service based applications through partial schedulability.
REACTION
Marisol García-Valls, Pablo Basanta-Val
2012 Misc conf
Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSA.
Ada-Europe
Marisol García-Valls, Felipe Ibáñez-Vázquez
2012 — conf
Message from the General Chairs.
REACTION
Marisol García-Valls, Tommaso Cucinotta
2012 — ed.
REACTION 2012, First International Workshop on Real-time and distributed computing in emerging applications, Proceedings, San Juan, Puerto Rico, December 4, 2012
REACTION
Marisol García-Valls, Tommaso Cucinotta
2012 — conf
Towards a reconfiguration service for distributed real-time Java.
REACTION
Pablo Basanta-Val, Marisol García-Valls
2011 J jnl
A Dual Programming Model for Distributed Real-Time Java.
IEEE Trans. Ind. Informatics
Pablo Basanta-Val, Marisol García-Valls, Iria Estévez-Ayres
2011 — conf
A QoS registry for adaptive real-time service-oriented applications.
SOCA
Gaetano F. Anastasi, Tommaso Cucinotta, Giuseppe Lipari, Marisol García-Valls
2011 J jnl
A hybrid approach for selecting service-based real-time composition algorithms in heterogeneous environments.
Concurr. Comput. Pract. Exp.
Iria Estévez-Ayres, Marisol García-Valls, Pablo Basanta-Val, Jorge Díez-Sánchez
2011 Misc conf
Architecting a Common Bridge Abstraction over Different Middleware Paradigms.
Ada-Europe
Iago Rodríguez-López, Marisol García-Valls
2011 J jnl
Extending the concurrency model of the real-time specification for Java.
Concurr. Comput. Pract. Exp.
Pablo Basanta-Val, Marisol García-Valls, Iria Estévez-Ayres
2011 J jnl
Fine tuning of the multiplexing facilities of Java's Remote Method Invocation.
Concurr. Comput. Pract. Exp.
Pablo Basanta-Val, Marisol García-Valls, Iria Estévez-Ayres, Jorge Fernández-González
2011 J jnl
Non-functional information transmission patterns for distributed real-time Java.
Softw. Pract. Exp.
Pablo Basanta-Val, Marisol García-Valls, Iria Estévez-Ayres
2011 J jnl
Real-time reconfiguration in multimedia embedded systems.
IEEE Trans. Consumer Electron.
Marisol García-Valls, Pablo Basanta-Val, Iria Estévez-Ayres
2011 A conf
Supporting service composition and real-time execution throught characterization of QoS properties.
SEAMS
Marisol García-Valls, Pablo Basanta-Val, Iria Estévez-Ayres
2010 J jnl
A Synchronous Scheduling Service for Distributed Real-Time Java.
IEEE Trans. Parallel Distributed Syst.
Pablo Basanta-Val, Iria Estévez-Ayres, Marisol García-Valls, Luís Almeida
2010 — conf
A component model for homogeneous implementation of reconfigurable service-based distributed real-time applications.
NOTERE
Marisol García-Valls, Pablo Basanta-Val, Iria Estévez-Ayres
2010 C conf
An architecture for distributed real-time Java based on RMI and RTSJ.
ETFA
Pablo Basanta-Val, Marisol García-Valls, Iria Estévez-Ayres
2010 C conf
Dynamic Priority Assignment Scheme for Contract-Based Resource Management.
CIT
Marisol García-Valls, Iria Estévez-Ayres, Pablo Basanta-Val
2010 J jnl
No-Heap remote objects for distributed real-time Java.
ACM Trans. Embed. Comput. Syst.
Pablo Basanta-Val, Marisol García-Valls, Iria Estévez-Ayres
2010 C conf
Towards Propagation of Non-functional Information in Distributed Real-Time Java.
ISORC
Pablo Basanta-Val, Marisol García-Valls, Iria Estévez-Ayres
2010 C conf
Towards a Cyber-Physical Architecture for Industrial Systems via Real-Time Java Technology.
CIT
Pablo Basanta-Val, Marisol García-Valls, Iria Estévez-Ayres
2010 C conf
Towards a middleware architecture for deterministic reconfiguration of service-based networked applications.
ETFA
Marisol García-Valls, Iago Rodríguez-López, Laura Fernández-Villar, Iria Estévez-Ayres, Pablo Basanta-Val
2009 — conf
Concurrency Programming Models in Mobile Real-Time Platforms.
AINA Workshops
Marisol García-Valls, Pablo Basanta-Val, Iria Estévez-Ayres
2009 C conf
Dynamic adaptation mechanisms in multimedia embedded systems.
INDIN
Marisol García-Valls, Alejandro Alonso, Juan Antonio de la Puente
2009 — conf
Mode Change Protocols for Predictable Contract-Based Resource Management in Embedded Multimedia Systems.
ICESS
Marisol García-Valls, Alejandro Alonso, Juan Antonio de la Puente
2009 J jnl
QoS-aware Real-Time Composition Algorithms for Service-Based Applications.
IEEE Trans. Ind. Informatics
Iria Estévez-Ayres, Pablo Basanta-Val, Marisol García-Valls, Jesús A. Fisteus, Luís Almeida
2009 J jnl
Simple asynchronous remote invocations for distributed real-time Java.
IEEE Trans. Ind. Informatics
Pablo Basanta-Val, Marisol García-Valls, Iria Estévez-Ayres
2009 — conf
Time-Predictable Reconfiguration with Contract-Based Resource Management.
AINA Workshops
Marisol García-Valls, Alejandro Alonso Muñoz, Juan Antonio de la Puente
2009 — conf
Towards Distributed Composition of Real-Time Service-Based Applications.
AINA Workshops
Iria Estévez-Ayres, Marisol García-Valls, Pablo Basanta-Val
2008 C conf
Simplifying the Dualized Threading Model of RTSJ.
ISORC
Pablo Basanta-Val, Marisol García-Valls, Iria Estévez-Ayres
2008 C conf
Solutions for Supporting Composition of Service-Based Real-Time Applications.
ISORC
Iria Estévez-Ayres, Marisol García-Valls, Luís Almeida, Pablo Basanta-Val
2007 C conf
An Architecture to Support Dynamic Service Composition in Distributed Real-Time Systems.
ISORC
Iria Estévez-Ayres, Luís Almeida, Marisol García-Valls, Pablo Basanta-Val
2007 A conf
Towards a Synchronous Scheduling Service on Top of a Unicast Distributed Real-Time Java.
IEEE Real-Time and Embedded Technology and Applications Symposium
Pablo Basanta-Val, Luís Almeida, Marisol García-Valls, Iria Estévez-Ayres
2006 — conf
Extended portal: violating the assignment rule and enforcing the single parent rule.
JTRES
Pablo Basanta-Val, Marisol García-Valls, Iria Estévez-Ayres, Carlos Delgado Kloos
2006 J jnl
Raiding the Noosphere: the open development of networked RAID support for the Linux kernel.
Softw. Pract. Exp.
Peter T. Breuer, Marisol García-Valls
2005 J jnl
AGCMemory: a new real-time Java region type for automatic floating garbage recycling.
SIGBED Rev.
Pablo Basanta-Val, Marisol García-Valls, Iria Estévez-Ayres
2005 — conf
CoSeRT: A Framework for Composing Service-Based Real-Time Applications.
Business Process Management Workshops
Marisol García-Valls, Iria Estévez-Ayres, Pablo Basanta-Val, Carlos Delgado Kloos
2005 J jnl
Enabling WCET-based composition of service-based real-time applications.
SIGBED Rev.
Iria Estévez-Ayres, Marisol García-Valls, Pablo Basanta-Val
2005 J jnl
Guidelines for a graduate curriculum on embedded software and systems.
ACM Trans. Embed. Comput. Syst.
Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi
2005 — conf
Static Composition of Service-Based Real-Time Applications.
SEUS
Iria Estévez-Ayres, Marisol García-Valls, Pablo Basanta-Val
2005 C conf
Towards the Integration of Scoped Memory in Distributed Real-Time Java.
ISORC
Pablo Basanta-Val, Marisol García-Valls, Iria Estévez-Ayres
2004 — conf
No Heap Remote Objects: Leaving Out Garbage Collection at the Server Side.
OTM Workshops
Pablo Basanta-Val, Marisol García-Valls, Iria Estévez-Ayres
2004 Misc conf
Static Deadlock Detection in the Linux Kernel.
Ada-Europe
Peter T. Breuer, Marisol García-Valls
2002 — conf
An Architecture of a Quality of Service Resource Manager Middleware for Flexible Embedded Multimedia Systems.
SEM
Marisol García-Valls, Alejandro Alonso, José Ruiz, Angel M. Groba
2002 — conf
FIPA-Based QoS Negotiator for Nomadic Agents.
MATA
Alberto Montilla Bravo, Marisol García-Valls
2002 — conf
Integration of System-Level Policies and Mechanisms for Quality of Service Management for Web-Based Environments.
ICWI
Marisol García-Valls, Alejandro Alonso
2002 B conf
Response Time of Streaming Chains: Analysis and Results.
ECRTS
Angel M. Groba, Alejandro Alonso, José A. Rodríguez, Marisol García-Valls
1998 — conf
Assessment of Timing Properties of Family Products.
ESPRIT ARES Workshop
Alejandro Alonso, Marisol García-Valls, Juan Antonio de la Puente