Travelled to:1 × Denmark
1 × France
1 × Germany
1 × India
1 × The Netherlands
1 × Tunisia
2 × Italy
2 × United Kingdom
Collaborated with:M.Steffen N.Trcka W.M.P.v.d.Aalst N.Ioustinova J.v.d.Pol D.M.M.Schunselaar F.M.Maggi C.Stahl H.Schonenberg J.Jian J.R.Calame D.Bošnački D.Dams L.Holenderski S.Blom A.Rennoch
Talks about:model (4) check (4) workflow (3) pattern (3) data (3) sdl (3) system (2) simul (2) close (2) time (2)
Person: Natalia Sidorova
DBLP: Sidorova:Natalia
Contributed to:
2012
2010
200920092007
2005
2002
2002
2001
2000Wrote 11 papers:
- IFM-2012-SchunselaarMS #declarative #modelling
- Patterns for a Log-Based Strengthening of Declarative Compliance Models (DMMS, FMM, NS), pp. 327–342.
- CAiSE-2010-SchonenbergJSA #analysis #simulation
- Business Trend Analysis by Simulation (HS, JJ, NS, WMPvdA), pp. 515–529.
- CAiSE-2010-SidorovaST #concept #correctness #workflow
- Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual (NS, CS, NT), pp. 530–544.
- CASE-2009-TrckaAS #workflow
- Workflow completion patterns (NT, WMPvdA, NS), pp. 7–12.
- CAiSE-2009-TrckaAS #anti #data flow #fault #workflow
- Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows (NT, WMPvdA, NS), pp. 425–439.
- 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.
- VMCAI-2002-SidorovaS #model checking
- Synchronous Closing of Timed SDL Systems for Model Checking (NS, MS), pp. 79–93.
- SAS-2001-SidorovaS
- Embedding Chaos (NS, MS), pp. 319–334.
- TACAS-2000-BosnackiDHS #model checking
- Model Checking SDL with Spin (DB, DD, LH, NS), pp. 363–377.