People

Javier Cámara Moreno

Email

Home Page

http://www.javicamara.com

Member

Software and Systems Engineering

Research interests

self-adaptive systems
applied formal methods
specification and verification of component-based systems
run-time composition and adaptation of components and services
pervasive computing
cyber-physical systems

Past Projects

ADAAS: Assuring Dependability in Architecture-based Adaptive Systems




Journal Articles

2017

(1 publication)

2014

(1 publication)

2013

(1 publication)

2012

(2 publications)

2009

(1 publication)

2008

(1 publication)

Conference Articles

2016

(1 publication)

2014

(2 publications)

2013

(2 publications)

2012

(2 publications)

2011

(2 publications)

2010

(3 publications)

2009

(5 publications)

2008

(3 publications)

2007

(5 publications)

2006

(4 publications)

2005

(1 publication)

2003

(1 publication)

Edited Books

PhD Theses

MSc Theses