Travelled to:1 × Denmark
2 × United Kingdom
Collaborated with:N.Sidorova J.v.d.Pol M.Steffen J.R.Calame S.Blom A.Rennoch
Talks about:interlock (1) railway (1) system (1) simul (1) negat (1) model (1) close (1) check (1) ttcn (1) time (1)
Person: Natalia Ioustinova
DBLP: Ioustinova:Natalia
Contributed to:
2007
2005
2002Wrote 3 papers:
- IFM-2007-CalameIPS #debugging
- Bug Hunting with False Negatives (JRC, NI, JvdP, NS), pp. 98–117.
- FATES-2005-BlomIPRS #testing
- Simulated Time for Testing Railway Interlockings with TTCN-3 (SB, NI, JvdP, AR, NS), pp. 1–15.
- FME-2002-IoustinovaSS #model checking
- Closing Open SDL-Systems for Model Checking with DTSpin (NI, NS, MS), pp. 531–548.