BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Portugal
1 × USA
2 × Canada
3 × United Kingdom
Collaborated with:
K.Johnson M.Z.Kwiatkowska S.Gerasimou Colin Paterson A.Banks Y.Rafiq S.Kikuchi D.Perez-Palacin J.Merseguer G.Tamburrelli M.C.0002 M.Kwiatkowska N.Paoletti S.Harris J.Gibbons J.Davies I.Toujilov S.B.Nagl
Talks about:
softwar (6) system (5) base (5) self (3) architectur (2) synthesi (2) qualiti (2) develop (2) analysi (2) servic (2)

♂ Person: Radu Calinescu

DBLP DBLP: Calinescu:Radu

Facilitated 4 volumes:

SEFM 2015Ed
ASE 2014PrCo
CBSE 2014PrCo
CBSE 2013PrCo

Contributed to:

FASE 20152015
QoSA 20142014
ASE 20132013
CBSE 20132013
SAC 20132013
FASE 20092009
ICSE 20092009
SEFM 20072007
ASE 20152015
ICSA 20172017

Wrote 11 papers:

FASE-2015-CalinescuGB #adaptation #distributed #self
Self-adaptive Software with Decentralised Control Loops (RC, SG, AB), pp. 235–251.
QoSA-2014-JohnsonC #architecture #evolution #performance #smt #specification
Efficient re-resolution of SMT specifications for evolving software architectures (KJ, RC), pp. 93–102.
ASE-2013-CalinescuJR #self #verification
Developing self-verifying service-based systems (RC, KJ, YR), pp. 734–737.
CBSE-2013-JohnsonCK #component #framework #incremental #verification
An incremental verification framework for component-based software systems (KJ, RC, SK), pp. 33–42.
SAC-2013-Perez-PalacinCM #named #predict #trade-off
log2cloud: log-based prediction of cost-performance trade-offs for cloud deployments (DPP, RC, JM), pp. 397–404.
FASE-2009-CalinescuK #development #self
CADS*: Computer-Aided Development of Self-* Systems (RC, MZK), pp. 421–424.
ICSE-2009-CalinescuK #analysis #using
Using quantitative analysis to implement autonomic IT systems (RC, MZK), pp. 100–110.
SEFM-2007-CalinescuHGDTN #architecture #modelling #research
Model-driven architecture for cancer research (RC, SH, JG, JD, IT, SBN), pp. 59–68.
ASE-2015-GerasimouTC #modelling #probability #re-engineering #search-based #synthesis
Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering (T) (SG, GT, RC), pp. 319–330.
ICSA-2017-CalinescuCGKP #design #markov #parametricity #robust #synthesis
Designing Robust Software Systems through Parametric Markov Chain Synthesis (RC, MC0, SG, MK, NP), pp. 131–140.
ICSA-2017-PatersonC #analysis #markov #quality #refinement
Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement (CP, RC), pp. 121–130.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.