Javier Cámara

According to our database1, Javier Cámara
  • authored at least 66 papers between 2003 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Robustness-Driven Resilience Evaluation of Self-Adaptive Software Systems.
IEEE Trans. Dependable Sec. Comput., 2017

Front Matter - SEAMS 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee.
DARTS, 2017

Towards a Formal Framework for Hybrid Planning in Self-Adaptation.
Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017

Comparing Model-Based Predictive Approaches to Self-Adaptation: CobRA and PLA.
Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017

Synthesis and Quantitative Verification of Tradeoff Spaces for Families of Software Systems.
Proceedings of the Software Architecture - 11th European Conference, 2017

Model-based Cluster Analysis for Identifying Suspicious Activity Sequences in Software.
Proceedings of the 3rd ACM on International Workshop on Security And Privacy Analytics, 2017


Self-aware Computing Systems: Related Concepts and Research Areas.
Proceedings of the Self-Aware Computing Systems., 2017

Synthesis and Verification of Self-aware Computing Systems.
Proceedings of the Self-Aware Computing Systems., 2017

Self-aware Computing Systems: Open Challenges and Future Research Directions.
Proceedings of the Self-Aware Computing Systems., 2017

2016
Analyzing Latency-Aware Self-Adaptation Using Stochastic Games and Simulations.
TAAS, 2016

Special section on Foundations of Coordination Languages and Software Architectures.
Sci. Comput. Program., 2016

Adaptation impact and environment models for architecture-based self-adaptive systems.
Sci. Comput. Program., 2016

Incorporating architecture-based self-adaptation into an adaptive industrial software system.
Journal of Systems and Software, 2016

Hybrid Planning for Decision Making in Self-Adaptive Systems.
Proceedings of the 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2016

Big Data in Cloud Computing: Features and Issues.
Proceedings of the International Conference on Internet of Things and Big Data, 2016

Multiscale time abstractions for long-range planning under uncertainty.
Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2016

Efficient Decision-Making under Uncertainty for Proactive Self-Adaptation.
Proceedings of the 2016 IEEE International Conference on Autonomic Computing, 2016

Raindroid: a system for run-time mitigation of Android intent vulnerabilities [poster].
Proceedings of the Symposium and Bootcamp on the Science of Security, 2016

A model-based approach to anomaly detection in software architectures.
Proceedings of the Symposium and Bootcamp on the Science of Security, 2016

Architecture Modeling and Analysis of Security in Android Systems.
Proceedings of the Software Architecture - 10th European Conference, 2016

2015
Proactive self-adaptation under uncertainty: a probabilistic model checking approach.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Analyzing Resilience Properties of Different Topologies of Collective Adaptive Systems.
Proceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2015

Optimal planning for architecture-based self-adaptation via model checking of stochastic games.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Reasoning about Human Participation in Self-Adaptive Systems.
Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015

2014
Testing the robustness of controllers for self-adaptive systems.
J. Braz. Comp. Soc., 2014

Robustness evaluation of the rainbow framework for self-adaptation.
Proceedings of the Symposium on Applied Computing, 2014

Empirical resilience evaluation of an architecture-based self-adaptive software system.
Proceedings of the QoSA'14, Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

Stochastic game analysis and latency awareness for proactive self-adaptation.
Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2014

Architecture-based self-protection: composing and reasoning about denial-of-service mitigations.
Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 2014

Comparator: A Tool for Quantifying Behavioural Compatibility.
Proceedings of the Fundamental Approaches to Software Engineering, 2014

Impact Models for Architecture-Based Self-adaptive Systems.
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

2013
Architecture-based resilience evaluation for self-adaptive systems.
Computing, 2013

Robustness Evaluation of Controllers in Self-Adaptive Software Systems.
Proceedings of the Sixth Latin-American Symposium on Dependable Computing, 2013

Evolving an adaptive industrial software system to use architecture-based self-adaptation.
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2013

2012
Structural reconfiguration of systems under behavioral adaptation.
Sci. Comput. Program., 2012

Interactive specification and verification of behavioral adaptation contracts.
Information & Software Technology, 2012

Research challenges on multi-layer and mixed-initiative monitoring and adaptation for service-based systems.
Proceedings of the First International Workshop on European Software Services and Systems Research, 2012

Evaluation of resilience in self-adaptive systems using probabilistic model-checking.
Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2012

2011
Editors' Introduction to the Special Issue on Autonomic and Self-Adaptive Systems.
Informatica (Slovenia), 2011

Workshop on assurances for self-adaptive systems (ASAS 2011).
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

VADER 2011 PC Co-chairs' Message.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2011 Workshops, 2011

Synthesis of switching controllers using approximately bisimilar multiscale abstractions.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Safety controller synthesis for switched systems using multi-scale symbolic models.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010
Semi-Automatic Specification of Behavioural Service Adaptation Contracts.
Electr. Notes Theor. Comput. Sci., 2010

AVYTAT'10 - PC Co-chairs Message.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010 Workshops, 2010

A Framework for Run-Time Behavioural Service Adaptation in Ubiquitous Computing.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010 Workshops, 2010

Workshop on Autonomic and Self-Adaptive Systems (WASELF, 3ª ed.).
Proceedings of the XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), 2010

A Case Study in Model-Based Adaptation of Web Services.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009
Facilitating Controlled Tests of Website Design Changes Using Aspect-Oriented Software Development and Software Product Lines.
Trans. Large-Scale Data- and Knowledge-Centered Systems, 2009

Interactive Specification and Verification of Behavioural Adaptation Contracts.
Proceedings of the Ninth International Conference on Quality Software, 2009

Autonomic and SELF-adaptive Systems (WASELF, 2ª edición).
Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009

Facilitating Controlled Tests of Website Design Changes: A Systematic Approach.
Proceedings of the Web Engineering, 9th International Conference, 2009

ITACA: An integrated toolbox for the automatic composition and adaptation of Web services.
Proceedings of the 31st International Conference on Software Engineering, 2009

Behavioural self-adaptation of services in ubiquitous computing environments.
Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009

2008
Composition and Run-time Adaptation of Mismatching Behavioural Interfaces.
J. UCS, 2008

Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems.
Electr. Notes Theor. Comput. Sci., 2008

Clint: A Composition Language Interpreter (Tool Paper).
Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007
An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution.
Electr. Notes Theor. Comput. Sci., 2007

Dynamic Contextual Adaptation.
Electr. Notes Theor. Comput. Sci., 2007

Run-time Composition and Adaptation of Mismatching Behavioural Transactions.
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Enabling Adaptivity in User Interfaces.
Proceedings of the Software Architecture, First European Conference, 2007

Context-Based Adaptation of Component Behavioural Interfaces.
Proceedings of the Coordination Models and Languages, 9th International Conference, 2007

2006
Formalizing WSBPEL Business Processes Using Process Algebra.
Electr. Notes Theor. Comput. Sci., 2006

An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution.
Proceedings of the RAM-SE'06-ECOOP'06 Workshop on Reflection, 2006

2003
Theorem Proving for Product Line Model Verification.
Proceedings of the Software Product-Family Engineering, 5th International Workshop, 2003


  Loading...