Travelled to:1 × Canada
Collaborated with:∅ A.Monot M.Oriol
Talks about:stochast (1) contract (1) written (1) trigger (1) generat (1) automat (1) system (1) runtim (1) compon (1) check (1)
Person: Chandrakana Nandi
DBLP: Nandi:Chandrakana
Contributed to:
2015
2016Wrote 2 papers:
- CBSE-2015-NandiMO #component #contract #probability #realtime #runtime
- Stochastic Contracts for Runtime Checking of Component-based Real-time Systems (CN, AM, MO), pp. 111–116.
- FSE-2016-Nandi #automation #generative
- Automatic trigger generation for end user written rules for home automation (CN), pp. 1109–1111.