Luis Llana
YOU?
Author Swipe
View article: QCRMut: Quantum Circuit Random Mutant generator tool
QCRMut: Quantum Circuit Random Mutant generator tool Open
Quantum computing has been on the rise in recent years, evidenced by a surge in publications on quantum software engineering and testing. Progress in quantum hardware has also been notable, with the introduction of impressive systems like …
View article: Towards a GDPR-compliant cloud architecture with data privacy controlled through sticky policies
Towards a GDPR-compliant cloud architecture with data privacy controlled through sticky policies Open
Data privacy is one of the biggest challenges facing system architects at the system design stage. Especially when certain laws, such as the General Data Protection Regulation (GDPR), have to be complied with by cloud environments. In this…
View article: A hybrid Quantum proposal to deal with 3-SAT problem
A hybrid Quantum proposal to deal with 3-SAT problem Open
Going as far as possible at SAT problem solving is the main aim of our work. For this sake we have made use of quantum computing from its two, on practice, main models of computation. They have required some reformulations over the former …
View article: Heuristics for Quantum Computing Dealing with 3-SAT
Heuristics for Quantum Computing Dealing with 3-SAT Open
The SAT problem is maybe one of the most famous NP-complete problems. This paper deals with the 3-SAT problem. We follow a sort of incremental strategy to save computational costs with respect to the classical quantum computing approach. W…
View article: Quantum invariants for the graph isomorphism problem
Quantum invariants for the graph isomorphism problem Open
Graph Isomorphism is such an important problem in computer science, that it has been widely studied over the last decades. It is well known that it belongs to NP class, but is not NP-complete. It is thought to be of comparable difficulty t…
View article: A Spark Parallel Betweenness Centrality Computation and its Application to Community Detection Problems
A Spark Parallel Betweenness Centrality Computation and its Application to Community Detection Problems Open
The Brandes algorithm has the lowest computational complexity for computing the betweenness centrality measures of all nodes or edges in a given graph. Its numerous applications make it one of the most used algorithms in social network ana…
View article: Chaos as a Software Product Line—A platform for improving open hybrid‐cloud systems resiliency
Chaos as a Software Product Line—A platform for improving open hybrid‐cloud systems resiliency Open
Nowadays, cloud‐native software architectures have a significant relevance due to the speed and agility they provide. These properties lead relevant organizations in different industries, like video streaming (Netflix), car‐sharing (Uber, …
View article: A Semantic Framework to Debug Parallel Lazy Functional Languages
A Semantic Framework to Debug Parallel Lazy Functional Languages Open
It is not easy to debug lazy functional programs. The reason is that laziness and higher-order complicates basic debugging strategies. Although there exist several debuggers for sequential lazy languages, dealing with parallel languages is…
View article: A Debugging System Based on Natural Semantics
A Debugging System Based on Natural Semantics Open
Due to the absence of side effects, reasoning about functional programs is simpler than reasoning about their imperative counterparts. However, because of the absence of practical debuggers, finding bugs in lazy functional languages has be…
View article: FLOP: A User-Friendly System for Automated Program Assessment
FLOP: A User-Friendly System for Automated Program Assessment Open
Currently, automated systems for program submission and assessment play a central role in the teaching of programming. A number of such systems have been developed in the last two decades. However, their adoption in regular programming tea…
View article: Mobile Applications for People with Parkinson's Disease: A Systematic Search in App Stores and Content Review
Mobile Applications for People with Parkinson's Disease: A Systematic Search in App Stores and Content Review Open
Parkinson’s disease (PD) is the most common age-related neurodegenerative motor disease. People with Parkinson’s have different motor symptoms related to movement, the most common of which are tremor, muscle rigidity and slowness of moveme…
View article: Mobile Applications for People with Parkinson's Disease: A Systematic Search in App Stores and Content Review
Mobile Applications for People with Parkinson's Disease: A Systematic Search in App Stores and Content Review Open
Parkinson’s disease (PD) is the most common age-related neurodegenerative motor disease. People with Parkinson’s have different motor symptoms related to movement, the most common of which are tremor, muscle rigidity and slowness of moveme…
View article: Mobile applications dealing with Parkinson�s disease: A systematic review (Preprint)
Mobile applications dealing with Parkinson�s disease: A systematic review (Preprint) Open
BACKGROUND Numerous PD-related applications have been developed in recent years, particularly for the major operating systems: Android and iOS. Besides, there is not a single application that covers all aspects of the Parkinson's Disease.…
View article: A timed contract-calculus
A timed contract-calculus Open
Over these past years, formal reasoning about contracts between parties participating in a transaction has been increasingly explored in the literature. There has been a shift of view from that viewing contracts simply as properties to be …
View article: Analysis of temporal complex events in sensor networks
Analysis of temporal complex events in sensor networks Open
International audience
View article: Dataset for paper: Real-time automatic analysis of temporal information in sensor networks
Dataset for paper: Real-time automatic analysis of temporal information in sensor networks Open
The event pattern implementation and the results of the whole sensor network described in the paper "Real-time automatic analysis of temporal information in sensor networks"
View article: A Calculus Supporting Contract Reasoning and Monitoring
A Calculus Supporting Contract Reasoning and Monitoring Open
Over these past years, formal reasoning about contracts between parties participating in a transaction has been increasingly explored in the literature. There has been a shift of view from one viewing contracts simply as properties to be s…
View article: Timed contract compliance under event timing uncertainty
Timed contract compliance under event timing uncertainty Open
Despite that many real-life contracts include time constraints, for instance explicitly specifying deadlines by when to perform actions, or for how long certain behaviour is prohibited, the literature formalising such notions is surprising…
View article: 1Belgian-Spanish Proposal for a Time Extended LOTOS
1Belgian-Spanish Proposal for a Time Extended LOTOS Open
The Formal Description Technique LOTOS, defined in an International Standard [ISO 8807], is a method of defining the behaviour of an (information processing) system in a language with formal syntax and semantics. It has proven very success…