Travelled to:1 × Canada
1 × France
1 × USA
Collaborated with:R.Calinescu Y.Rafiq S.Kikuchi
Talks about:softwar (2) system (2) base (2) architectur (1) increment (1) framework (1) resolut (1) develop (1) verifi (1) specif (1)
Person: Kenneth Johnson
DBLP: Johnson:Kenneth
Contributed to:
2014
2013
2013Wrote 3 papers:
- 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.