Travelled to:1 × Canada
1 × Hungary
1 × Italy
1 × South Korea
1 × United Kingdom
2 × France
2 × Spain
Collaborated with:G.Salaün C.Canal D.Garlan B.R.Schmerl R.d.Lemos M.Vieira M.Ouederni E.Pimentel J.Cubo G.A.Moreno A.Pandey P.Correia J.M.Murillo N.Laranjeiro R.Ventura J.A.Martín J.Gennari A.Sadeghi H.Bagheri S.Malek
Talks about:adapt (7) self (4) architectur (3) composit (3) system (3) model (3) behaviour (2) softwar (2) evalu (2) check (2)
Person: Javier Cámara
DBLP: C=aacute=mara:Javier
Contributed to:
2015
2015
2014
20142014
20092008
2007
200720162017Wrote 11 papers:
- ESEC-FSE-2015-MorenoCGS #adaptation #approach #model checking #nondeterminism #probability #self
- Proactive self-adaptation under uncertainty: a probabilistic model checking approach (GAM, JC, DG, BRS), pp. 1–12.
- SAC-2015-CamaraGS0 #adaptation #architecture #game studies #model checking #probability #self
- Optimal planning for architecture-based self-adaptation via model checking of stochastic games (JC, DG, BRS, AP), pp. 428–435.
- FASE-2014-OuederniSCP #behaviour #named
- Comparator: A Tool for Quantifying Behavioural Compatibility (MO, GS, JC, EP), pp. 306–309.
- QoSA-2014-CamaraCLV #adaptation #architecture #empirical #evaluation #self
- Empirical resilience evaluation of an architecture-based self-adaptive software system (JC, PC, RdL, MV), pp. 63–72.
- SAC-2014-CamaraLLVV #adaptation #evaluation #framework #robust #self
- Robustness evaluation of the rainbow framework for self-adaptation (JC, RdL, NL, RV, MV), pp. 376–383.
- ICSE-2009-CamaraMSCOCP #adaptation #automation #composition #named #web #web service
- ITACA: An integrated toolbox for the automatic composition and adaptation of Web services (JC, JAM, GS, JC, MO, CC, EP), pp. 627–630.
- FASE-2008-CamaraSC #composition #interpreter #named
- Clint: A Composition Language Interpreter (JC, GS, CC), pp. 423–427.
- ECSA-2007-CamaraCCM #adaptation #user interface
- Enabling Adaptivity in User Interfaces (JC, CC, JC, JMM), pp. 106–114.
- SEFM-2007-CamaraSC #adaptation #behaviour #composition #runtime #transaction
- Run-time Composition and Adaptation of Mismatching Behavioural Transactions (JC, GS, CC), pp. 381–390.
- ECSA-2016-SchmerlGSBMCG #analysis #android #architecture #modelling #security
- Architecture Modeling and Analysis of Security in Android Systems (BRS, JG, AS, HB, SM, JC, DG), pp. 274–290.
- ECSA-2017-CamaraGS #product line #synthesis #trade-off #verification
- Synthesis and Quantitative Verification of Tradeoff Spaces for Families of Software Systems (JC, DG, BRS), pp. 3–21.