Travelled to:1 × Canada
1 × Italy
Collaborated with:H.W.Schmidt Mohsen Laali H.Liu M.Hamilton J.Botaschanjan A.Gruler A.Harhurin L.Kof D.Trachtenherz I.I.Yusuf I.E.Thomas S.G.Androulakis G.R.Meyer D.W.Drumm G.Opletal S.P.Russo A.M.Buckle
Talks about:distribut (1) platform (1) chiminey (1) trigger (1) reliabl (1) priorit (1) modular (1) toward (1) system (1) inform (1)
Person: Maria Spichkova
DBLP: Spichkova:Maria
Contributed to:
2015
2006
2016Wrote 3 papers:
- ICSE-v2-2015-YusufTSAMDORBS #data transformation #framework #in the cloud #named #platform #reliability
- Chiminey: Reliable Computing and Data Management Platform in the Cloud (IIY, IET, MS, SGA, GRM, DWD, GO, SPR, AMB, HWS), pp. 677–680.
- FM-2006-BotaschanjanGHKST #distributed #towards #verification
- Towards Modularized Verification of Distributed Time-Triggered Systems (JB, AG, AH, LK, MS, DT), pp. 163–178.
- AdaEurope-2016-LaaliLHSS #detection #fault #online #testing #using
- Test Case Prioritization Using Online Fault Detection Information (ML, HL, MH, MS, HWS), pp. 78–93.