Marisol García-Valls
Orcid: 0000-0003-2383-5310Affiliations:
- 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 112 papers
between 1998 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
VelogCPS: A safe blockchain network for cyber-physical systems leveraging block verifiers.
J. Syst. Archit., 2024
Provenance Verification of Smart Contracts: Analysing the Cost of Ensuring Authenticity over the Logic Hosted in Blockchain Networks.
Inf., 2024
Future Gener. Comput. Syst., 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
Proceedings of the 20th ACS/IEEE International Conference on Computer Systems and Applications, 2023
2022
Improving Security of Web Servers in Critical IoT Systems through Self-Monitoring of Vulnerabilities.
Sensors, 2022
Sensors, 2022
Proceedings of the 5th Conference on Cloud and Internet of Things, 2022
2020
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
J. Syst. Softw., 2018
J. Syst. Archit., 2018
J. Syst. Archit., 2018
Introducing the new paradigm of Social Dispersed Computing: Applications, Technologies and Challenges.
J. Syst. Archit., 2018
2017
SIGBED Rev., 2017
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
Comput. Stand. Interfaces, 2017
Proceedings of the Symposium on Applied Computing, 2017
Proceedings of the Green, Pervasive, and Cloud Computing - 12th International Conference, 2017
Proceedings of the Green, Pervasive, and Cloud Computing - 12th International Conference, 2017
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017
2016
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
Proceedings of the Distributed Computing and Artificial Intelligence, 2016
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
J. Syst. Archit., 2015
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
J. Supercomput., 2014
IEEE Trans. Ind. Informatics, 2014
Softw. Pract. Exp., 2014
J. Syst. Archit., 2014
Comparative analysis of two different middleware approaches for reconfiguration of distributed real-time systems.
J. Syst. Archit., 2014
J. Parallel Distributed Comput., 2014
Low complexity reconfiguration for real-time data-intensive service-oriented applications.
Future Gener. Comput. Syst., 2014
Composing and scheduling service-oriented applications in time-triggered distributed real-time Java environments.
Concurr. Comput. Pract. Exp., 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
IEEE Trans. Ind. Informatics, 2013
J. Syst. Archit., 2013
Resource management for mobile operating systems based on the active object model.
Comput. Syst. Sci. Eng., 2013
A bi-dimensional QoS model for SOA and real-time middleware.
Comput. Syst. Sci. Eng., 2013
Proceedings of the REACTION 2013, 2013
Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013
Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013
2012
Future Gener. Comput. Syst., 2012
A practical solution for functional reconfiguration of real-time service based applications through partial schedulability.
Proceedings of the REACTION 2012, 2012
Proceedings of the REACTION 2012, 2012
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
IEEE Trans. Ind. Informatics, 2011
IEEE Trans. Consumer Electron., 2011
Softw. Pract. Exp., 2011
A hybrid approach for selecting service-based real-time composition algorithms in heterogeneous environments.
Concurr. Comput. Pract. Exp., 2011
Concurr. Comput. Pract. Exp., 2011
Concurr. Comput. Pract. Exp., 2011
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
Proceedings of the Reliable Software Technologies - Ada-Europe 2011, 2011
2010
IEEE Trans. Parallel Distributed Syst., 2010
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
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
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010
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
IEEE Trans. Ind. Informatics, 2009
IEEE Trans. Ind. Informatics, 2009
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
Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009
Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009
Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009
2008
Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008
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
Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, 2006
2005
ACM Trans. Embed. Comput. Syst., 2005
SIGBED Rev., 2005
AGCMemory: a new real-time Java region type for automatic floating garbage recycling.
SIGBED Rev., 2005
Proceedings of the Third IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2005
Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005
Proceedings of the Business Process Management Workshops, 2005
2004
Proceedings of the On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, 2004
Proceedings of the Reliable Software Technologies, 2004
2002
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
Proceedings of the 14th Euromicro Conference on Real-Time Systems (ECRTS 2002), 2002
1998
Proceedings of the Development and Evolution of Software Architectures for Product Families, 1998