Marisol García-Valls

Affiliations:
  • Universidad Politecnica de Valencia, Departament of Communications, Spain
  • Universidad Carlos III De Madrid, Department of Telematic Engineering (former)


According to our database1, Marisol García-Valls authored at least 109 papers between 1998 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Provenance Verification of Smart Contracts: Analysing the Cost of Ensuring Authenticity over the Logic Hosted in Blockchain Networks.
Inf., 2024

2023
Automating the verification of smart contracts in blockchain networks for improving security.
Proceedings of the 49th Euromicro Conference on Software Engineering and Advanced Applications, 2023

2022
Improving Security of Web Servers in Critical IoT Systems through Self-Monitoring of Vulnerabilities.
Sensors, 2022

Flexible IoT Agriculture Systems for Irrigation Control Based on Software Services.
Sensors, 2022

An Evaluation Process for IoT Platforms in Time-Sensitive Domains.
Sensors, 2022

Digesting smart contracts in Ethereum blockchain networks.
Proceedings of the 5th Conference on Cloud and Internet of Things, 2022

2020
Accelerating smart eHealth services execution at the fog computing infrastructure.
Future Gener. Comput. Syst., 2020

2019
Introduction to the special issue of the 16th ACM workshop on Adaptive and Reflective Middleware (ARM).
J. Syst. Archit., 2019

An extensible collaborative framework for monitoring software quality in critical systems.
Inf. Softw. Technol., 2019

Integrating multicore awareness functions into distribution middleware for improving performance of distributed audio surveillance.
Adv. Eng. Softw., 2019

2018
Online verification in cyber-physical systems: Practical bounds for meaningful temporal costs.
J. Softw. Evol. Process., 2018

Pragmatic cyber physical systems design based on parametric models.
J. Syst. Softw., 2018

Introduction to the special section on Real time computing and distributed systems.
J. Syst. Archit., 2018

Integration of Data Distribution Service and distributed partitioned systems.
J. Syst. Archit., 2018

Introducing the new paradigm of Social Dispersed Computing: Applications, Technologies and Challenges.
J. Syst. Archit., 2018

2017
Measuring performance of middleware technologies for medical systems: Ice vs AMQP.
SIGBED Rev., 2017

Flexible and timely on-line integration of medical services using iLand middleware.
SIGBED Rev., 2017

Introduction to the special issue.
SIGBED Rev., 2017

Using DDS middleware in distributed partitioned systems.
SIGBED Rev., 2017

On Line Service Composition in the Integrated Clinical Environment for eHealth and Medical Systems.
Sensors, 2017

A few open problems and solutions for software technologies for dependable distributed systems.
J. Syst. Archit., 2017

Reliable software technologies and communication middleware: A perspective and evolution directions for cyber-physical system, mobility, and cloud computing.
Future Gener. Comput. Syst., 2017

Adjusting middleware knobs to assess scalability limits of distributed cyber-physical systems.
Comput. Stand. Interfaces, 2017

Analyzing point-to-point DDS communication over desktop virtualization software.
Comput. Stand. Interfaces, 2017

Improving service time with a multicore aware middleware.
Proceedings of the Symposium on Applied Computing, 2017

Impact of Middleware Design on the Communication Performance.
Proceedings of the Green, Pervasive, and Cloud Computing - 12th International Conference, 2017

Integration of Data Distribution Service and Raspberry Pi.
Proceedings of the Green, Pervasive, and Cloud Computing - 12th International Conference, 2017

An ICE Compliant Component Model for Medical Systems Development.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016
Adjusting middleware knobs to suit CPS domains.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

A Proposal for Cost-Effective Server Usage in CPS in the Presence of Dynamic Client Requests.
Proceedings of the 19th IEEE International Symposium on Real-Time Distributed Computing, 2016

The Cost of Formal Verification in Adaptive CPS. An Example of a Virtualized Server Node.
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

Low Cost Software Prototyping of a Diagnosis Computer.
Proceedings of the Distributed Computing and Artificial Intelligence, 2016

Improved Metrics Handling in SonarQube for Software Quality Monitoring.
Proceedings of the Distributed Computing and Artificial Intelligence, 2016

2015
Real-time and distributed computing in emerging applications. Foreword by the general chairs of Reaction 2012.
J. Syst. Archit., 2015

A library for developing real-time and embedded applications in C.
J. Syst. Archit., 2015

On the free, safe, and timely execution of component-based systems.
CoRR, 2015

Supporting the monitoring of the verification process of critical systems'software.
CoRR, 2015

Adaptive middleware design for CPS: Considerations on the OS, resource managers, and the network run-time.
Proceedings of the 14th International Workshop on Adaptive and Reflective Middleware, 2015

2014
A simple distributed garbage collector for distributed real-time Java.
J. Supercomput., 2014

A Simple Data-Muling Protocol.
IEEE Trans. Ind. Informatics, 2014

A Distributed Real-Time Java-Centric Architecture for Industrial Systems.
IEEE Trans. Ind. Informatics, 2014

Scheduling component replacement for timely execution in dynamic systems.
Softw. Pract. Exp., 2014

Challenges in real-time virtualization and predictable cloud computing.
J. Syst. Archit., 2014

Comparative analysis of two different middleware approaches for reconfiguration of distributed real-time systems.
J. Syst. Archit., 2014

Resource management policies for real-time Java remote invocations.
J. Parallel Distributed Comput., 2014

Low complexity reconfiguration for real-time data-intensive service-oriented applications.
Future Gener. Comput. Syst., 2014

A bi-dimensional QoS model for SOA and real-time middleware.
Comput. Syst. Sci. Eng., 2014

Composing and scheduling service-oriented applications in time-triggered distributed real-time Java environments.
Concurr. Comput. Pract. Exp., 2014

Message from the General Chairs.
Proceedings of the REACTION 2014, 2014

Extending the verification capabilities of middleware for reliable distributed self-adaptive systems.
Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014

Time-Sensitive Adaptation in CPS through Run-Time Configuration Generation and Verification.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2013
iLAND: An Enhanced Middleware for Real-Time Reconfiguration of Service Oriented Distributed Real-Time Systems.
IEEE Trans. Ind. Informatics, 2013

Usage of DDS Data-Centric Middleware for Remote Monitoring and Control Laboratories.
IEEE Trans. Ind. Informatics, 2013

Enhancing OSGi with real-time Java support.
Softw. Pract. Exp., 2013

A real-time perspective of service composition: Key concepts and some contributions.
J. Syst. Archit., 2013

Resource management for mobile operating systems based on the active object model.
Comput. Syst. Sci. Eng., 2013

Message from the General Chairs.
Proceedings of the REACTION 2013, 2013

Benchmarking communication middleware for cloud computing virtualizers.
Proceedings of the REACTION 2013, 2013

Virtualizing DDS middleware: Performance challenges and measurements.
Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013

Extending distributed real-time java with Remote Memory Areas.
Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013

2012
A dual-band priority assignment algorithm for dynamic QoS resource management.
Future Gener. Comput. Syst., 2012

Message from the General Chairs.
Proceedings of the REACTION 2012, 2012

A practical solution for functional reconfiguration of real-time service based applications through partial schedulability.
Proceedings of the REACTION 2012, 2012

Towards a reconfiguration service for distributed real-time Java.
Proceedings of the REACTION 2012, 2012

A Bounded-time Service Composition Algorithm for Distributed Real-time Systems.
Proceedings of the 14th IEEE International Conference on High Performance Computing and Communication & 9th IEEE International Conference on Embedded Software and Systems, 2012

Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSA.
Proceedings of the Reliable Software Technologies - Ada-Europe 2012, 2012

2011
A Dual Programming Model for Distributed Real-Time Java.
IEEE Trans. Ind. Informatics, 2011

Real-time reconfiguration in multimedia embedded systems.
IEEE Trans. Consumer Electron., 2011

Non-functional information transmission patterns for distributed real-time Java.
Softw. Pract. Exp., 2011

A hybrid approach for selecting service-based real-time composition algorithms in heterogeneous environments.
Concurr. Comput. Pract. Exp., 2011

Fine tuning of the multiplexing facilities of Java's Remote Method Invocation.
Concurr. Comput. Pract. Exp., 2011

Extending the concurrency model of the real-time specification for Java.
Concurr. Comput. Pract. Exp., 2011

A QoS registry for adaptive real-time service-oriented applications.
Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011

Supporting service composition and real-time execution throught characterization of QoS properties.
Proceedings of the 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011

Architecting a Common Bridge Abstraction over Different Middleware Paradigms.
Proceedings of the Reliable Software Technologies - Ada-Europe 2011, 2011

2010
A Synchronous Scheduling Service for Distributed Real-Time Java.
IEEE Trans. Parallel Distributed Syst., 2010

No-Heap remote objects for distributed real-time Java.
ACM Trans. Embed. Comput. Syst., 2010

A component model for homogeneous implementation of reconfigurable service-based distributed real-time applications.
Proceedings of the NOTERE 2010, Annual International Conference on New Technologies of Distributed Systems, Touzeur, Tunisia, May 31, 2010

Towards Propagation of Non-functional Information in Distributed Real-Time Java.
Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010

Towards a middleware architecture for deterministic reconfiguration of service-based networked applications.
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

An architecture for distributed real-time Java based on RMI and RTSJ.
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

Dynamic Priority Assignment Scheme for Contract-Based Resource Management.
Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010

Towards a Cyber-Physical Architecture for Industrial Systems via Real-Time Java Technology.
Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010

2009
QoS-aware Real-Time Composition Algorithms for Service-Based Applications.
IEEE Trans. Ind. Informatics, 2009

Simple asynchronous remote invocations for distributed real-time Java.
IEEE Trans. Ind. Informatics, 2009

Dynamic adaptation mechanisms in multimedia embedded systems.
Proceedings of the 7th IEEE International Conference on Industrial Informatics, 2009

Mode Change Protocols for Predictable Contract-Based Resource Management in Embedded Multimedia Systems.
Proceedings of the International Conference on Embedded Software and Systems, 2009

Concurrency Programming Models in Mobile Real-Time Platforms.
Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009

Time-Predictable Reconfiguration with Contract-Based Resource Management.
Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009

Towards Distributed Composition of Real-Time Service-Based Applications.
Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009

2008
Solutions for Supporting Composition of Service-Based Real-Time Applications.
Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

Simplifying the Dualized Threading Model of RTSJ.
Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

2007
Towards a Synchronous Scheduling Service on Top of a Unicast Distributed Real-Time Java.
Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium, 2007

An Architecture to Support Dynamic Service Composition in Distributed Real-Time Systems.
Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

2006
Raiding the Noosphere: the open development of networked RAID support for the Linux kernel.
Softw. Pract. Exp., 2006

Extended portal: violating the assignment rule and enforcing the single parent rule.
Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, 2006

2005
Guidelines for a graduate curriculum on embedded software and systems.
ACM Trans. Embed. Comput. Syst., 2005

Enabling WCET-based composition of service-based real-time applications.
SIGBED Rev., 2005

AGCMemory: a new real-time Java region type for automatic floating garbage recycling.
SIGBED Rev., 2005

Static Composition of Service-Based Real-Time Applications.
Proceedings of the Third IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2005

Towards the Integration of Scoped Memory in Distributed Real-Time Java.
Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

CoSeRT: A Framework for Composing Service-Based Real-Time Applications.
Proceedings of the Business Process Management Workshops, 2005

2004
No Heap Remote Objects: Leaving Out Garbage Collection at the Server Side.
Proceedings of the On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, 2004

Static Deadlock Detection in the Linux Kernel.
Proceedings of the Reliable Software Technologies, 2004

2002
FIPA-Based QoS Negotiator for Nomadic Agents.
Proceedings of the Mobile Agents for Telecommunication Applications, 2002

Integration of System-Level Policies and Mechanisms for Quality of Service Management for Web-Based Environments.
Proceedings of the IADIS International Conference WWW/Internet 2002, 2002

An Architecture of a Quality of Service Resource Manager Middleware for Flexible Embedded Multimedia Systems.
Proceedings of the Software Engineering and Middleware, Third International Workshop, 2002

Response Time of Streaming Chains: Analysis and Results.
Proceedings of the 14th Euromicro Conference on Real-Time Systems (ECRTS 2002), 2002

1998
Assessment of Timing Properties of Family Products.
Proceedings of the Development and Evolution of Software Architectures for Product Families, 1998


  Loading...