Luis Llana

Orcid: 0000-0003-1962-1504

According to our database1, Luis Llana authored at least 56 papers between 1995 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Towards a GDPR-compliant cloud architecture with data privacy controlled through sticky policies.
PeerJ Comput. Sci., 2024

2022
Chaos as a Software Product Line - A platform for improving open hybrid-cloud systems resiliency.
Softw. Pract. Exp., 2022

A Spark Parallel Betweenness Centrality Computation and its Application to Community Detection Problems.
J. Univers. Comput. Sci., 2022

Quantum invariants for the graph isomorphism problem.
CoRR, 2022

Metamorphic Testing of Oracle Quantum Programs.
Proceedings of the 3rd IEEE/ACM International Workshop on Quantum Software Engineering, 2022

2021
Using Ant Colony Optimisation to Select Features Having Associated Costs.
Proceedings of the Testing Software and Systems, 2021

2020
MT-EA4Cloud: A Methodology For testing and optimising energy-aware cloud systems.
J. Syst. Softw., 2020

Runtime Verification of Contracts with Themulus.
Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

Themulus: A Timed Contract-calculus.
Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

Feature Selection using Evolutionary Computation Techniques for Software Product Line Testing.
Proceedings of the IEEE Congress on Evolutionary Computation, 2020

2019
Mobile Applications for People with Parkinson's Disease: A Systematic Search in App Stores and Content Review.
J. Univers. Comput. Sci., 2019

Probabilistic software product lines.
J. Log. Algebraic Methods Program., 2019

Introducing MOOC-like methodologies in a face-to-face undergraduate course: a detailed case study.
Interact. Learn. Environ., 2019

2018
An axiomatic semantics for iocos_ conformance relation.
J. Log. Algebraic Methods Program., 2018

2017
Analysis of temporal complex events in sensor networks.
J. Inf. Telecommun., 2017

A Calculus Supporting Contract Reasoning and Monitoring.
IEEE Access, 2017

Timed Contract Compliance Under Event Timing Uncertainty.
Proceedings of the Legal Knowledge and Information Systems, 2017

A Formal Framework to Specify and Test Systems with Fuzzy-Time Information.
Proceedings of the Advances in Computational Intelligence, 2017

2016
Cost-related interface for software product lines.
J. Log. Algebraic Methods Program., 2016

The Simulation Relation for Formal E-Contracts.
Proceedings of the SOFSEM 2016: Theory and Practice of Computer Science, 2016

2015
Extending mCRL2 with ready simulation and iocos input-output conformance simulation.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

2014
A General Testability Theory: Classes, Properties, Complexity, and Testing Reductions.
IEEE Trans. Software Eng., 2014

FLOP: A User-Friendly System for Automated Program Assessment.
J. Univers. Comput. Sci., 2014

Effectiveness for Input Output Conformance Simulation iocos̱.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

2013
A formal framework for software product lines.
Inf. Softw. Technol., 2013

IOCO as a Simulation.
Proceedings of the Software Engineering and Formal Methods, 2013

Input-Output Conformance Simulation (iocos) for Model Based Testing.
Proceedings of the Formal Techniques for Distributed Systems, 2013

Contract Compliance Monitoring of Web Services.
Proceedings of the Service-Oriented and Cloud Computing - Second European Conference, 2013

2012
Conformance Verification of Normative Specifications using C-O Diagrams
Proceedings of the Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software, 2012

CLAT: Collaborative Learning Adaptive Tutor.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

FLOP, a free laboratory of programming.
Proceedings of the 12th Koli Calling International Conference on Computing Education Research, 2012

2011
Compression Strategies for Passive Testing.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Self-adaptive fuzzy-timed systems.
Proceedings of the IEEE Congress on Evolutionary Computation, 2011

2010
Event Prediction in Network Monitoring Systems: Performing Sequential Pattern Mining in Osmius Monitoring Tool.
Proceedings of the Advances in Data Mining. Applications and Theoretical Aspects, 2010

Fuzzy-Timed Automata.
Proceedings of the Formal Techniques for Distributed Systems, 2010

2009
A Debugging System Based on Natural Semantics.
J. Univers. Comput. Sci., 2009

Formally transforming user-model testing problems into implementer-model testing problems and viceversa.
J. Log. Algebraic Methods Program., 2009

Testing Semantics for RTPA.
Fundam. Informaticae, 2009

2008
Formally comparing user and implementer model-based testing methods.
Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

A Hierarchy of Equivalences for Probabilistic Processes.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

2007
Observing intermediate structures in a parallel lazy functional language.
Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007

2006
Customized Testing for Probabilistic Systems.
Proceedings of the Testing of Communicating Systems, 2006

Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

Introducing Debugging Capabilities to Natural Semantics.
Proceedings of the Perspectives of Systems Informatics, 2006

2005
Formalizing the Debugging Process in Haskell.
Proceedings of the Theoretical Aspects of Computing, 2005

Transforming Information in RDF to Rewriting Logic.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

2002
A system to generate electronic books on programming exercises.
Electron. Libr., 2002

2001
EXercita: automatic web publishing of programming exercises.
Proceedings of the 6th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2001

EXercita. A System for Archiving and Publishing Programming Exercises.
Proceedings of the Computers and Education. Towards an Interconnected Society, 2001

1999
Relating May and Must Testing Semantics for Discrete Timed Process Algebras.
Proceedings of the Advances in Computing Science, 1999

1998
An invitation to friendly testing.
J. Comput. Sci. Technol., 1998

1997
Friendly Testing as a Conformance Relation.
Proceedings of the Formal Description Techniques and Protocol Specification, 1997

Testing Semantics for Unbounded Nondeterminism.
Proceedings of the Euro-Par '97 Parallel Processing, 1997

Denotational Semantics for Timed Testing.
Proceedings of the Transformation-Based Reactive Systems Development, 1997

Testing Semantics for a Probabilistic-Timed Process Algebra.
Proceedings of the Transformation-Based Reactive Systems Development, 1997

1995
Acceptance Trees for Probabilistic Processes.
Proceedings of the CONCUR '95: Concurrency Theory, 1995


  Loading...