BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Sidorova:Natalia

Contributed to:

IFM 20122012
CAiSE 20102010
CASE 20092009
CAiSE 20092009
IFM 20072007
FATES 20052005
FME 20022002
VMCAI 20022002
SAS 20012001
TACAS 20002000

Wrote 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.
Embedding Chaos (NS, MS), pp. 319–334.
TACAS-2000-BosnackiDHS #model checking
Model Checking SDL with Spin (DB, DD, LH, NS), pp. 363–377.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.