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 |