PUBLICATIONS

 

  1. J. REFEREED JOURNAL PAPERS
  2. C. REFEREED CONFERENCE PAPERS
  3. B. BOOK CHAPTERS
  4. W. REFEREED WORKSHOP PAPERS
  5. O. OTHER PUBLICATIONS
  6. BE. BOOKS EDITED
  7. JE. JOURNALS EDITED
  8. PE. PROCEEDINGS VOLUMES EDITED

 

Alternatively, you may consult my (partial) list of publications through:


 

REFEREED JOURNAL PAPERS

J13. Javier Cámara, Wenxin Peng, David Garlan and Bradley Schmerl. Reasoning about Sensing Uncertainty and its Reduction in Decision-Making for Self-Adaptation. In Science of Computer Programming. Accepted for publication.
[Author Copy]

J12. Javier Cámara, Bradley Schmerl, Gabriel A. Moreno and David Garlan. MOSAICO: Offline Synthesis of Adaptation Strategy Repertoires with Flexible Trade-Offs. In Journal of Automated Software Engineering. Springer, 2018.
[Electronic Edition]

J11. Gabriel A. Moreno, Javier Cámara, David Garlan and Bradley Schmerl. Flexible and Efficient Decision-Making for Proactive Latency-Aware Self-Adaptation. In ACM Transactions on Autonomous and Adaptive Systems 13(1): 3:1-3:36. ACM, 2018.
[Electronic Edition]

J10. Javier Cámara, Rogério de Lemos, Nuno Laranjeiro, Rafael Ventura and Marco Vieira. Robustness-Driven Resilience Evaluation of Self-Adaptive Software Systems. In IEEE Transactions on Dependable and Secure Computing, 2017.
[Electronic Edition] [Author Copy]

J9. Javier Cámara, Antónia Lopes, David Garlan, Bradley Schmerl: Adaptation Impact and Environment Models for Architecture-Based Self-Adaptive Systems. In Science of Computer Programming,127: 50-75, 2016.
[Electronic Edition] [Author Copy]

J8. Javier Cámara, Pedro Correia, Rogério de Lemos, David Garlan, Pedro Gomes, Bradley Schmerl and Rafael Ventura. Incorporating Architecture-Based Self-Adaptation into an Adaptive Industrial Software System . In Journal of Systems and Software, 122: 507-523, 2016. [Electronic Edition] [Author Copy]

J7. Javier Cámara, Gabriel A. Moreno, David Garlan and Bradley Schmerl. Analyzing Latency-aware Self-adaptation using Stochastic Games and Simulations. In ACM Transactions on Autonomous and Adaptive Systems, 10(4):23. 2016.
[Electronic Edition] [Author Copy]

J6. Javier Cámara, Rogério de Lemos, Nuno Laranjeiro, Rafael Ventura, Marco Vieira: Testing the Robustness of Controllers for Self-Adaptive Systems. Journal of the Brazilian Computer Society. Vol. 20, No. 1, Pages 1-14. Springer, 2014.
[Electronic Edition]

J5. Javier Cámara, Rogério de Lemos, Marco Vieira, Raquel Almeida, Rafael Ventura: Architecture-Based Resilience Evaluation for Self-Adaptive Systems. Computing. Vol. 95, No. 8, Pages 689-722. Springer, 2013.
[Electronic Edition]

J4. Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni : Interactive Specification and Verification of Behavioural Adaptation Contracts. Information and Software Technology. Vol. 54, No. 7, Pages 701-723. Elsevier, 2012.
[Electronic Edition]

J3. Carlos Canal, Javier Cámara, Gwen Salaün. Structural Reconfiguration of Systems under Behavioral Adaptation. Science of Computer Programming. Vol. 78, No. 1, Pages 46-64. Elsevier, 2012.
[Electronic Edition]

J2. Javier Cámara, Alfred Kobsa. Facilitating Controlled Tests of Website Design Changes using Aspect Oriented Programming and Software Product Lines. LNCS Transactions on Large Scale Data and Knowledge Centered Systems I. Springer LNCS Vol. 5740, Pages 116-135, 2009.
[Electronic Edition] [Author copy]

J1. Javier Cámara, Gwen Salaün, Carlos Canal : Composition and Run-time Adaptation of Mismatching Behavioural Interfaces. Journal of Universal Computer Science (J.UCS). Vol. 14, No. 13, Pages 2182-2211. Springer, 2008.
[Electronic Edition]

REFEREED CONFERENCE PAPERS

C30. Gabriel A. Moreno, Javier Cámara, David Garlan and Mark Klein. Uncertainty Reduction in Self-Adaptive Systems. In Proceedings of the 13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2018).
[Author Copy]

C29. Gautham Nayak Seetanandi, Javier Cámara, Luis Almeida, Karl-Erik Årzén and Martina Maggio. Event-Driven Bandwidth Allocation with Formal Guarantees for Camera Networks. In IEEE Real-Time Systems Symposium (RTSS 2017).
[Author Copy]

C28. Javier Cámara, David Garlan, Bradley Schmerl. Synthesis and Quantitative Verification of Tradeoff Spaces for Families of Software Systems. In 11th European Conference on Software Architecture (ECSA 2017). Pages 3-21, 2017. Best Paper Award.
[Author Copy]

C27. Gabriel A. Moreno, Alessandro V. Papadopoulos, Konstantinos Angelopoulos, Javier Cámara and Bradley Schmerl. Comparing Model-Based Predictive Approaches to Self-Adaptation: CobRA and PLA. In Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017). Pages 42-53. 2017.
[Author Copy]

C26. Ashutosh Pandey, Ivan Ruchkin, Bradley Schmerl and Javier Cámara. Towards a Formal Framework for Hybrid Planning in Self-Adaptation. In Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017). Pages 109-115. 2017.
[Author Copy]

C25. Ashutosh Pandey, Gabriel A. Moreno, Javier Cámara and David Garlan. Hybrid Planning for Decision Making in Self-Adaptive Systems. 2016. 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2016). Pages 113-139. IEEE, 2016. [Author Copy]

C24. Bradley Schmerl, Jeffrey Gennari, Alireza Sadeghi, Hamid Bagheri, Sam Malek, Javier Cámara and David Garlan. Architecture Modeling and Analysis of Security in Android Systems. 2016. 10th European Conference on Software Architecture (ECSA 2016). LNCS 9839. Pages 274-290. Springer, 2016.
[Author Copy]

C23. Gabriel A. Moreno, Javier Cámara, David Garlan and Bradley Schmerl. Efficient Decision-Making under Uncertainty for Proactive Self-Adaptation. 2016. 13th IEEE International Conference on Autonomic Computing (ICAC 2016). Pages 147-156. IEEE, 2016.
[Author Copy]

C22. Gabriel A. Moreno, Javier Cámara, David Garlan and Bradley Schmerl. Proactive Self-Adaptation under Uncertainty: a Probabilistic Model Checking Approach. 2015. 10th Joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2015). Pages 1-12, 2015.
[Author Copy]

C21. Javier Cámara, Gabriel A. Moreno and David Garlan. Reasoning about Human Participation in Self-Adaptive Systems. In Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2015).
[Author Copy]

C20. Javier Cámara, David Garlan, Bradley Schmerl and Ashutosh Pandey. Optimal Planning for Architecture-Based Self-Adaptation via Model Checking of Stochastic Games. In Proceedings of the 10th DADS Track of the 30th ACM Symposium on Applied Computing.
[Author Copy]

C19. Javier Cámara, Antónia Lopes, David Garlan, Bradley Schmerl: Impact Models for Architecture-Based Self-Adaptative Systems. Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS 2014). Springer LNCS, 2014.
[Electronic Edition]

C18. Javier Cámara, Pedro Correia, Rogério de Lemos, Marco Vieira: Empirical Resilience Evaluation of an Architecture-based Self-Adaptive Software System. Proceedings of the 10th International ACM SIGSOFT Conference on the Quality of Software Architectures (QoSA 2014). Pages 63-72. ACM, 2014. ACM SIGSOFT Distinguished Paper Award.
[Electronic Edition]

C17. Javier Cámara, Gabriel A. Moreno, David Garlan: 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 (SEAMS 2014). Pages 155-164. ACM, 2014. [Electronic Edition]

C16. Bradley Schmerl, Javier Cámara, Jeffrey Gennari, David Garlan, Paulo Casanova, Gabriel A. Moreno, Thomas J. Glazier, Jeffrey M. Barnes: Architecture-Based Self-Protection: Composing and Reasoning about Denial-of-Service Mitigations. Proceedings of the Symposium and Bootcamp on the Science of Security (HotSoS 2014). Pages 13-24. [Author copy]

C15. Javier Cámara, Rogério de Lemos, Nuno Laranjeiro, Rafael Ventura, Marco Vieira: Robustness Evaluation of the Rainbow Framework for Self-Adaptation. Proceedings of the 29th ACM Symposium on Applied Computing (SAC 2014). Pages 376-383. ACM, 2014. [Author copy]

C14. Meriem Ouederni, Gwen Salaün, Javier Cámara, Ernesto Pimentel: Comparator: A Tool for Quantifying Behavioural Compatibility. Proceedings of Fundamental Approaches to Software Engineering (FASE 2014) - Springer LNCS Vol. 8411, Pages 306-309, 2014.
[Electronic Edition]

C13. Javier Cámara, Pedro Correia, Rogério de Lemos, David Garlan, Pedro Gomes, Bradley Schmerl, Rafael Ventura: 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 (SEAMS 2013). Pages 13-22. IEEE, 2013. [Author copy]

C12. Javier Cámara, Rogério de Lemos, Nuno Laranjeiro, Rafael Ventura, Marco Vieira: Robustness Evaluation of Controllers in Self-Adaptive Software Systems. Proceedings of the 6th Latin American Symposium on Dependable Computing (LADC 2013). Nominated for Best Paper. [Author copy]

C11. Javier Cámara, Rogério de Lemos: 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 (SEAMS 2012). Pages 53-62. IEEE, 2012. [Author copy]

C10. Javier Cámara, Antoine Girard, Gregor Goessler. 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 (IEEE CDC-ECC 2011). Pages 520-525. IEEE, 2011.
[Electronic Edition] [Author copy]

C9. Javier Cámara, Antoine Girard, Gregor Goessler. Synthesis of Switching Controllers using Approximately Bisimilar Multiscale Abstractions. Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control (HSCC 2011). Pages 191-200. ACM, 2011. [Electronic Edition] [Author copy]

C8. Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel. A Case Study in Model-based Adaptation of Web Services. Proceedings of the 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010)), Part II. LNCS Vol. 6416, Pages 112-126.
[Author copy]

C7. Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni : Interactive Specification and Verification of Behavioural Adaptation Contracts. Proceedings of the 9th International Conference on Quality Software (QSIC 2009), pages 65-75. IEEE, 2009.
[Author copy]

C6. Javier Cámara, Alfred Kobsa. Facilitating Controlled Tests of Website Design Changes: a Systematic Approach. Proceedings of the 9th International Conference on Web Engineering (ICWE 2009). Springer LNCS Vol. 5648, Pages 370-378, 2009.
[Author copy]

C5. Javier Cámara, José Antonio Martín, Gwen Salaün, Javier Cubo, Meriem Ouederni, Carlos Canal, Ernesto Pimentel. ITACA: An Integrated Toolbox for the Automatic Composition and Adaptation of Web Services (Formal Research Demo Paper). Proceedings of the 31st International Conference on Software Engineering (ICSE 2009), pages 627-630. IEEE, 2009.
[Author copy]

C4. Javier Camara, Gwen Salaün, Carlos Canal : Clint: A Composition Language Interpreter (Tool Paper). Proceedings of Fundamental Approaches to Software Engineering (FASE 2008) - Springer LNCS Vol. 4961, Pages 423-427, 2008.
[Electronic Edition] [Author copy]

C3. Javier Camara, Carlos Canal , Javier Cubo, J.M. Murillo: Enabling Adaptivity in User Interfaces. Proceedings of the 1 st European Conference on Software Architectures (ECSA 2007), Springer LNCS Vol. 4758, Pages 106-114, 2007.
[Electronic Edition] [Author copy]

C2. Javier Camara, Gwen Salaün, Carlos Canal : Run-time Composition and Adaptation of Mismatching Behavioural Transactions. Proceedings of the 5 th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), IEEE Press.
[Electronic Edition]

C1. Javier Cubo, Gwen Salaün, Javier Camara, Carlos Canal , Ernesto Pimentel: Context-Based Adaptation of Component Behavioural Interfaces. Proceedings of the 9 th International Conference on Coordination Languages and Models (Coordination 2007), Springer LNCS Vol. 4467, Pages 305-323, 2007.
[Electronic Edition]

BOOK CHAPTERS

B7. Samuel Kounev, Peter Lewis, Kirstie Bellman, Nelly Bencomo, Javier Cámara, Ada Diaconescu, Lukas Esterle, Kurt Geihs, Holger Giese, Sebastian Götz, Paola Inverardi, Jeffrey Kephart, and Andrea Zisman. The Notion of Self-Aware Computing . In Self-Aware Computing Systems, Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, and Xiaoyun Zhu, editors. Springer Verlag, Berlin Heidelberg, Germany, 2017. To Appear.

B6. Radu Calinescu, Marco Autili, Javier Cámara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Kwiatkowska, Ole J. Mengshoel, Romina Spalazzese, and Massimo Tivoli. Synthesis and Verification of Self-Aware Computing Systems . In Self-Aware Computing Systems, Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, and Xiaoyun Zhu, editors. Springer Verlag, Berlin Heidelberg, Germany, 2017. To Appear.

B5. Robert Birke, Javier Cámara, Lydia Chen, Lukas Esterle, Kurt Geihs, Erol Gelenbe, Holger Giese, Anders Robertsson, and Xiaoyun Zhu. Self-Aware Computing Systems: Open Challenges and Future Research Directions . In Self-Aware Computing Systems, Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, and Xiaoyun Zhu, editors. Springer Verlag, Berlin Heidelberg, Germany, 2017. To Appear.

B4. Javier Cámara, Kirstie Bellman, Jeffrey Kephart, Marco Autili, Nelly Bencomo, Ada Diaconescu, Holger Giese, Sebastian Götz, Paola Inverardi, Samuel Kounev, and Massimo Tivoli. Self-Aware Computing Systems: Related Concepts and Research Areas. In Self-Aware Computing Systems, Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, and Xiaoyun Zhu, editors. Springer Verlag, Berlin Heidelberg, Germany, 2017. To Appear.

B3. Javier Cámara, David Garlan, Gabriel A. Moreno and Bradley Schmerl. Analyzing Self-Adaptation via Model Checking of Stochastic Games. In Rogério de Lemos, David Garlan, Carlo Ghezzi and Holger Giese editors, Software Engineering for Self-Adaptive Systems (SEfSAS) 3, Springer, 2016. To appear.

B2. Danny Weyns, Nelly Bencomo, Radu Calinescu, Javier Cámara, Carlo Ghezzi, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jezequel, Sam Malek, Raffaela Mirandola, Marco Mori and Giordano Tamburrelli. Perpetual Assurances for Self-Adaptive Systems. In Rogério de Lemos, David Garlan, Carlo Ghezzi and Holger Giese editors, Software Engineering for Self-Adaptive Systems (SEfSAS) 3, Springer, 2016. To appear. [Author copy]

B1. Javier Cámara, David Garlan, Gabriel A. Moreno and Bradley Schmerl. Evaluating Trade-Offs of Human Involvement in Self-Adaptive Systems. In Ivan Mistrik, Nour Ali, John Grundy, Rick Kazman and Bradley Schmerl editors, Managing Trade-Offs in Self-Adaptive Systems. Pages 155-180. Elsevier- Morgan Kaufman, 2016. [Author copy]

REFEREED WORKSHOP PAPERS

W16. Javier Cámara, Wenxin Peng, David Garlan and Bradley Schmerl. Reasoning about Sensing Uncertainty in Decision-Making for Self-Adaptation. In Proceedings of the 15th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA 2017). To appear. [Author copy]

W15. Hemank Lamba, Thomas J. Glazier, Javier Cámara, Bradley Schmerl, David Garlan and Jürgen Pfeffer. Model-based cluster analysis for identifying suspicious activity sequences in software. In Proceedings of the 3rd International Workshop on Security and Privacy Analytics (IWSPA 2017). [Author copy]

W14. Roykrong Sukkerd, Javier Cámara, David Garlan and Reid Simmons. Multiscale Time Abstractions for Long-Range Planning under Uncertainty. In Proceedings of the 2nd ICSE Workshop on Software Engineering for Smart Cyberphysical Systems. [Author copy]

W13. Thomas J. Glazier, Javier Cámara, Bradley Schmerl and David Garlan. Analyzing Resilience Properties of Different Topologies of Collective Adaptive Systems. In Proceedings of the 3rd FoCAS Workshop on the Fundamentals of Collective Adaptive Systems. Pages 55-60. IEEE, 2015. [Author copy]

W12. Annapaola Marconi, Antonio Bucchiarone, Konstantinos Bratanis, Antonio Brogi, Javier Cámara, Dimitris Dranidis, Holger Giese, Raman Kazhamiakin, Rogério de Lemos, Clarissa Cassales Marquezan, Andreas Metzger. Research Challenges on Multi-layer and Mixed-initiative Monitoring and Adaptation for Service-Based Systems. 34th International Conference on Software Engineering (ICSE 2012) Companion Proceedings. IEEE, 2012.
[Electronic Edition]

W11. Javier Cámara, Carlos Canal, Nikolay Vasilev. A Framework for Run-time Behavioural Service Adaptation in Ubiquitous Computing. Proceedings of the Workshop on Adaptation in Service Ecosystems and Architectures (AVYTAT). OTM 2010 Workshops, LNCS Vol. 6428, Pages 67-76. Springer, 2010.
[Author copy]

W10. Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel. Semi-automatic Specification of Behavioural Service Adaptation Contracts. Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'10). Electronic Notes in Theoretical Computer Science,Volume 264(1), pages 19-34. Elsevier, 2010.
[Author copy]

W9. Javier Cámara, Carlos Canal, Gwen Salaün. Behavioural Adaptation of Services in Ubiquitous Computing Environments. Proceedings of Software Engineering for Adaptive and Self-Managing Systems (SEAMS'09). pages 28-37.
[Author copy]

W8. Javier Cámara, Gwen Salaün, Carlos Canal : Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems. Proceedings of the 4 th International Workshop on Formal Aspects of Component Software (FACS'07). Electronic Notes in Theoretical Computer Science, Elsevier Volume 215C, Pages 111-130, 2008.
[Electronic Edition]

W7. Javier Cámara, Gwen Salaün, Carlos Canal : On Run-time Behavioural Adaptation in Context-Aware Systems. Proceedings of the 1 st Workshop on Model-based Adaptation (M-ADAPT'07).
[Author copy]

W6. Antonio Brogi, Javier Cámara, Carlos Canal , Javier Cubo, Ernesto Pimentel: Dynamic Contextual Adaptation. Electronic Notes in Theoretical Computer Science, Elsevier Volume 175, Issue 2, 21, Pages 81-95, 2007.
[Electronic Edition]

W5. Javier Cámara, Carlos Canal , Javier Cubo, J.M. Murillo: An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution . Electronic Notes in Theoretical Computer Science, Elsevier Volume 189, Pages 21-34, 2007.
[Electronic Edition]

W4. Javier Cámara, Carlos Canal, Javier Cubo, Ernesto Pimentel: Dynamic Adaptation Using Contextual Environments. Proceedings of the Third International Workshop on Coordination and Adaptation Techniques for Software Entibies (WCAT'06), 2006.
[Author copy]

W3. Javier Cámara., Carlos Canal, Javier Cubo, Antonio Vallecillo: Formalizing WSBPEL Business Processes using Process Algebra. Electronic Notes in Theoretical Computer Science, Volume 154, Issue 1, 11, Pages 159-173, Elsevier, 2006.
[Electronic Edition]

W2. Javier Cámara, Javier Cubo, Carlos Canal: Issues in the formalization of Web Service Orchestrations . Proceedings of the Second International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT'05), 2005.
[Author copy]

W1. Mike Mannion, Javier Cámara: Theorem Proving for Product Line Model Verification . Proceedings of the Fifth International Workshop on Product Family Engineering (PFE-5), Springer LNCS Vol. 3014, Pages 211-224, 2003.
[Electronic Edition]

OTHER PUBLICATIONS (Technical reports, extended abstracts, etc.)

O9. Hemank Lamba, Thomas J. Glazier, Bradley Schmerl, Javier Cámara, David Garlan and Jürgen Pfeffer. A Model-based Approach to Anomaly Detection in Software Architectures (Poster paper). 2016. 2016 Symposium and Bootcamp on the Science of Security (HotSoS 2016). Pages 69-71.

O8. Bradley Schmerl, Jeffrey Gennari, Javier Cámara and David Garlan. Raindroid – A System for Run-time Mitigation of Android Intent Vulnerabilities (Poster paper). 2016 Symposium and Bootcamp on the Science of Security (HotSoS 2016) Pages 115-117. [Author Copy]

O7. Pedro Caldeira Neves, Bradley Schmerl, Jorge Bernardino and Javier Cámara. Big Data in Cloud Computing: features and issues. In Proceedings of the 2016 International Conference on Internet of Things and Big Data, Rome, Italy, 23-25 April 2016 (Poster paper) [Author Copy]

O6. Bradley Schmerl, Javier Cámara, Gabriel A. Moreno, David Garlan and Andrew Mellinger. Architecture-Based Self-Adaptation for Moving Target Defense. Technical report, CMU-ISR-14-109, Institute for Software Research, Carnegie Mellon University, 2014.
[Author Copy]

O5. Javier Cámara, Rogério de Lemos. Towards Run-time Evaluation of Resilience in Self-Adaptive Systems. Proceedings of the 17th Conference on Software Engineering and Databases (JISBD'12). (Position paper).

O4. Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel. On Behavioural Interfaces and Contracts for Software Adaptation. Proceedings of the third workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'09). (Position paper).
[Author copy]

O3. Javier Cámara, Gwen Salaün, Carlos Canal. Run-time Composition and Adaptation of Mismatching Behavioural Transactions (Extended abstract). Proceedings of the 13th Conference on Software Engineering and Databases (JISBD'08) - Relevant Work Dissemination Track. Pages 481-481. Sistedes, 2008. (Extended abstract).

O2. Javier Cámara, Carlos Canal, Gwen Salaün. Towards Self-Adaptation in Dynamic Service Ecosystems. Proceedings of the 1st Workshop on Autonomic and Self-Adaptive Systems (WASELF'08 at JISBD'08), Pags 53-63. Sistedes, 2008. (Position paper).

O1. Javier Cámara, Carlos Canal, Javier Cubo, J.M. Murillo: AOP and Dynamic Component Adaptation. Proceedings of the Iberian Workshop on Aspect Oriented Software Development (DSOA'06) at JISBD'06, 2006. (Position paper).
[Author copy]

BOOKS EDITED

BE1. Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes (eds.). Assurances for Self-Adaptive Systems: Principles, Models, and Techniques. Springer LNCS Vol 7740.
[Electronic Edition]

JOURNALS EDITED

JE2. Natallia Kokash, Javier Cámara (eds.). Special section on Foundations of Coordination Languages and Software Architectures. Science of Computer Programming, Vol. 115-116, No. 1. Elsevier, 2015.
[Electronic Edition]

JE1. Javier Cámara, Carlos Cuesta, Miguel Ángel Pérez-Toledano (eds.). Special issue on Autonomic and Self-Adaptive Systems. Informatica, Vol. 35, No. 1. Informatika, 2011.
[Electronic Edition]

PROCEEDINGS VOLUMES EDITED

PE9. Javier Cámara, José Proença. Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2014, Rome, Italy, 6th September 2014. EPTCS 175, 2015.
[Electronic Edition]

PE8. Natallia Kokash, Javier Cámara. Proceedings of the 12th International Workshop on the Foundations of Coordination Languages and Self Adaptation (FOCLASA 2013), in Advances in Service-Oriented and Cloud Computing Communications in Computer and Information Science, Vol. 393. Springer, 2013.
[Electronic Edition]

PE7. Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes (eds). Proceedings of the Workshop on Assurances for Self-Adaptive Systems (ESEC/FSE ASAS 2011). ACM, 2011.
[Electronic Edition]

PE6. Miguel Ángel Pérez-Toledano, Carlos Cuesta, Renaud Pawlak, Javier Cámara (eds.). Proceedings of 2nd International Workshop on Variability, Adaptation, and Dynamism in Software Systems and Services (VADER 2011). Springer LNCS Vol. 7046, 2011.
[Electronic Edition]

PE5. Javier Cámara, Carlos Cuesta, Howard Foster, Miguel Ángel Pérez-Toledano (eds.). Proceedings of the Workshop on Adaptation in Service Ecosystems and Architectures (AVYTAT). Springer LNCS Vol. 6428, 2010.
[Electronic Edition]

PE4. Javier Cámara, Carlos Canal, Gwen Salaün (eds.). Proceedings of the International Workshop in Component and Service Interoperability (WCSI'10). Electronic Proceedings in Theoretical Computer Science (EPTCS) Vol. 37, 2010.
[Electronic Edition]

PE3. Javier Cámara, Carlos Cuesta, Miguel Ángel Pérez-Toledano (eds.). Proceedings of the 3rd Workshop on Autonomic and Self-Adaptive Systems (WASELF’10). Sistedes, 2010.
[Electronic Edition]

PE2. Javier Cámara, Carlos Cuesta, Miguel Ángel Pérez-Toledano (eds.). Proceedings of the 2nd  Workshop on Autonomic and Self-Adaptive Systems (WASELF’09). Sistedes, 2009.
[Electronic Edition]

PE1. Javier Cámara, Carlos Cuesta, Miguel Ángel Pérez-Toledano (eds.). Proceedings of the 1st  Workshop on Autonomic and Self-Adaptive Systems (WASELF’08). Sistedes, 2008.
[Electronic Edition]

 


 Postal address:
 Department of Computer Science
 University of York
 Deramore Lane, University of York, Heslington
 York, YO10 5GH, UK

 Office: 236
 E-mail: javier [dot] camaramoreno
        [at] york [dot] ac [dot] uk
 Phone: +44 (0)1904 325332