Natalia Sidorova

2009
45	EE	Kees M. van Hee, H. M. W. Verbeek, Christian Stahl, Natalia Sidorova: A Framework for Linking and Pricing No-Cure-No-Pay Services. T. Petri Nets and Other Models of Concurrency 2: 192-207 (2009)
2008
44	EE	Nikola Trcka, Wil M. P. van der Aalst, Carmen Bratosin, Natalia Sidorova: Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets. OPODIS 2008: 538-541
43	EE	Carmen Bratosin, Wil M. P. van der Aalst, Natalia Sidorova, Nikola Trcka: A Reference Model for Grid Architectures and Its Analysis. OTM Conferences (1) 2008: 898-913
42	EE	Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: History-based joins: Semantics, soundness and implementation. Data Knowl. Eng. 64(1): 24-37 (2008)
41	EE	Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova: Token History Petri Nets. Fundam. Inform. 85(1-4): 219-234 (2008)
40	EE	Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst: Working with the Past: Integrating History in Petri Nets. Fundam. Inform. 88(3): 387-409 (2008)
39	EE	Peter Massuthe, Alexander Serebrenik, Natalia Sidorova, Karsten Wolf: Can I find a partner? Undecidability of partner existence for open nets. Inf. Process. Lett. 108(6): 374-378 (2008)
38	EE	Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova: Simulated time for host-based testing with TTCN-3. Softw. Test., Verif. Reliab. 18(1): 29-49 (2008)
37	EE	Kees M. van Hee, Jeroen Keiren, Reinier Post, Natalia Sidorova, Jan Martijn E. M. van der Werf: Designing Case Handling Systems. T. Petri Nets and Other Models of Concurrency 1: 119-133 (2008)
2007
36	EE	Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan Martijn E. M. van der Werf: Modelling with History-Dependent Petri Nets. BPM 2007: 320-327
35	EE	Kees M. van Hee, Helen Schonenberg, Alexander Serebrenik, Natalia Sidorova, Jan Martijn E. M. van der Werf: Adaptive Workflows for Healthcare Information Systems. Business Process Management Workshops 2007: 359-370
34	EE	Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst: History-Dependent Petri Nets. ICATPN 2007: 164-183
33	EE	Jens R. Calame, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova: Bug Hunting with False Negatives. IFM 2007: 98-117
32	EE	Maja Pesic, M. H. Schonenberg, Natalia Sidorova, Wil M. P. van der Aalst: Constraint-Based Workflow Models: Change Made Easy. OTM Conferences (1) 2007: 77-94
31	EE	Carmen Bratosin, Kees M. van Hee, Natalia Sidorova: Adaptive Workflow Nets for Grid Computing. PaCT 2007: 15-21
30	EE	Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan van der Wal: Scheduling-free resource management. Data Knowl. Eng. 61(1): 59-75 (2007)
29	EE	Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Irina A. Lomazova: Checking Properties of Adaptive Workflow Nets. Fundam. Inform. 79(3-4): 347-362 (2007)
28	EE	Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: LogLogics: A logic for history-dependent business processes. Sci. Comput. Program. 65(1): 30-40 (2007)
2006
27	EE	Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: History-Based Joins: Semantics, Soundness and Implementation. Business Process Management 2006: 225-240
26	EE	Kees M. van Hee, Olivia Oanea, Natalia Sidorova, Marc Voorhoeve: Verifying Generalized Soundness of Workflow Nets. Ershov Memorial Conference 2006: 235-247
25	EE	Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova: TTCN-3 for Distributed Testing Embedded Software. Ershov Memorial Conference 2006: 98-111
24	EE	Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: Nested Nets for Adaptive Systems. ICATPN 2006: 241-260
23		Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: Modelling History-Dependent Business Processes. MSVVEIS 2006: 76-85
22	EE	Kees M. van Hee, Natalia Sidorova, Lou J. Somers, Marc Voorhoeve: Consistency in model integration. Data Knowl. Eng. 56(1): 4-22 (2006)
21	EE	Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve: Resource-Constrained Workflow Nets. Fundam. Inform. 71(2-3): 243-257 (2006)
2005
20	EE	Jens R. Calame, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova: Data Abstraction and Constraint Solving for Conformance Testing. APSEC 2005: 541-548
19	EE	Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan van der Wal: The Price of Coordination in Resource Management. Business Process Management 2005: 96-108
18	EE	Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova: Simulated Time for Testing Railway Interlockings with TTCN-3. FATES 2005: 1-15
17	EE	Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: Soundness of Resource-Constrained Workflow Nets. ICATPN 2005: 250-267
16	EE	Kees M. van Hee, Olivia Oanea, Natalia Sidorova: Colored Petri Nets to Verify Extended Event-Driven Process Chains. OTM Conferences (1) 2005: 183-201
2004
15	EE	Kees M. van Hee, Natalia Sidorova, Lou J. Somers, Marc Voorhoeve: Consistency in Model Integration. Business Process Management 2004: 1-16
14	EE	Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve: Generalised Soundness of Workflow Nets Is Decidable. ICATPN 2004: 197-215
13	EE	Dragan Bosnacki, Natalia Ioustinova, Natalia Sidorova: Using Fairness to Make Abstractions Work. SPIN 2004: 198-215
2003
12	EE	Stefan Blom, Natalia Ioustinova, Natalia Sidorova: Timed Verification with µCRL. Ershov Memorial Conference 2003: 178-192
11	EE	Natalia Ioustinova, Natalia Sidorova, Martin Steffen: Synchronous Closing and Flow Analysis for Model Checking Timed Systems. FMCO 2003: 292-313
10	EE	Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve: Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. ICATPN 2003: 337-356
2002
9	EE	Natalia Ioustinova, Natalia Sidorova, Martin Steffen: Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems. APSEC 2002: 227-
8	EE	Natalia Ioustinova, Natalia Sidorova, Martin Steffen: Closing Open SDL-Systems for Model Checking with DTSpin. FME 2002: 531-548
7	EE	Natalia Sidorova, Martin Steffen: Synchronous Closing of Timed SDL Systems for Model Checking. VMCAI 2002: 79-93
2001
6	EE	Natalia Ioustinova, Natalia Sidorova: A Transformation of SDL Specifications - A Step towards the Verification. Ershov Memorial Conference 2001: 64-78
5	EE	Natalia Sidorova, Martin Steffen: Embedding Chaos. SAS 2001: 319-334
4	EE	Natalia Sidorova, Martin Steffen: Verifying Large SDL-Specifications Using Model Checking. SDL Forum 2001: 403-420
2000
3	EE	Natalia Sidorova, Martin Steffen: Verification of a wireless ATM medium-access protocol. APSEC 2000: 84-91
2	EE	Ph. Schnoebelen, Natalia Sidorova: Bisimulation and the Reduction of Petri Nets. ICATPN 2000: 409-423
1	EE	Dragan Bosnacki, Dennis Dams, Leszek Holenderski, Natalia Sidorova: Model Checking SDL with Spin. TACAS 2000: 363-377

Coauthor Index

1	Wil M. P. van der Aalst	[32] [34] [40] [43] [44]
2	Stefan Blom	[12] [18] [25] [38]
3	Dragan Bosnacki	[1] [13]
4	Carmen Bratosin	[31] [43] [44]
5	Jens R. Calame	[20] [33]
6	Dennis Dams	[1]
7	Thomas Deiß	[25] [38]
8	Kees M. van Hee	[10] [14] [15] [16] [17] [19] [21] [22] [23] [24] [26] [27] [28] [29] [30] [31] [34] [35] [36] [37] [40] [41] [42] [45]
9	Leszek Holenderski	[1]
10	Natalia Ioustinova	[6] [8] [9] [11] [12] [13] [18] [20] [25] [33] [38]
11	Jeroen Keiren	[37]
12	Ari Kontio	[25] [38]
13	Irina A. Lomazova	[24] [29]
14	Peter Massuthe	[39]
15	Olivia Oanea	[16] [23] [24] [26] [27] [28] [29] [42]
16	Maja Pesic	[32]
17	Jaco van de Pol	[18] [20] [25] [33] [38]
18	Reinier Post (R. D. J. Post)	[37]
19	Axel Rennoch	[18] [25] [38]
20	Ph. Schnoebelen	[2]
21	Helen Schonenberg (M. H. Schonenberg)	[32] [35]
22	Alexander Serebrenik	[17] [19] [23] [24] [27] [28] [29] [30] [34] [35] [36] [39] [40] [41] [42]
23	Lou J. Somers	[15] [22]
24	Christian Stahl	[45]
25	Martin Steffen	[3] [4] [5] [7] [8] [9] [11]
26	Nikola Trcka	[43] [44]
27	H. M. W. (Eric) Verbeek (H. M. W. Verbeek, Eric Verbeek)	[45]
28	Marc Voorhoeve	[10] [14] [15] [17] [19] [21] [22] [23] [24] [26] [27] [28] [29] [30] [36] [42]
29	Jan van der Wal	[19] [30]
30	Jan Martijn E. M. van der Werf	[35] [36] [37]
31	Karsten Wolf (Karsten Schmidt)	[39]