- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j18 |      | Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf: Refinement of Synchronizable Places with Multi-workflow Nets. Fundam. Inform. 122(1-2): 59-83 (2013) |
| 2012 | ||
| c54 | | Rafal Kocielnik, Mykola Pechenizkiy, Natalia Sidorova: Stress Analytics in Education. EDM 2012: 236-237 |
| c53 | | Dennis M. M. Schunselaar, Fabrizio Maria Maggi, Natalia Sidorova: Patterns for a Log-Based Strengthening of Declarative Compliance Models. IFM 2012: 327-342 |
| c52 | | Jorn Bakker, Leszek Holenderski, Rafal Kocielnik, Mykola Pechenizkiy, Natalia Sidorova: Stess@Work: from measuring stress to its understanding, prediction and handling with personalized coaching. IHI 2012: 673-678 |
| c51 | | Dennis M. M. Schunselaar, Fabrizio Maria Maggi, Natalia Sidorova, Wil M. P. van der Aalst: Configurable Declare: Designing Customisable Flexible Process Models. OTM Conferences (1) 2012: 20-37 |
| 2011 | ||
| j17 | | Wil M. P. van der Aalst, Kees M. van Hee, Arthur H. M. ter Hofstede, Natalia Sidorova, H. M. W. Verbeek, Marc Voorhoeve, Moe Thandar Wynn: Soundness of workflow nets: classification, decidability, and analysis. Formal Asp. Comput. 23(3): 333-363 (2011) |
| j16 | | Natalia Sidorova, Christian Stahl, Nikola Trcka: Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible. Inf. Syst. 36(7): 1026-1043 (2011) |
| c50 | | Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf: Refinement of Synchronizable Places with Multi-workflow Nets - Weak Termination Preserved! Petri Nets 2011: 149-168 |
| c49 | | Kees M. van Hee, Marcello La Rosa, Zheng Liu, Natalia Sidorova: Discovering Characteristics of Stochastic Collections of Process Models. BPM 2011: 298-312 |
| c48 | | Jorn Bakker, Mykola Pechenizkiy, Natalia Sidorova: What's Your Current Stress Level? Detection of Stress Patterns from GSR Sensor Data. ICDM Workshops 2011: 573-580 |
| c47 | | Carmen Bratosin, Natalia Sidorova, Wil M. P. van der Aalst: Distributed Genetic Process Mining Using Sampling. PaCT 2011: 224-237 |
| c46 | | Kees M. van Hee, Zheng Liu, Natalia Sidorova: Is my event log complete? - A probabilistic approach to process mining. RCIS 2011: 1-7 |
| 2010 | ||
| j15 | | Wil M. P. van der Aalst, Carmen Bratosin, Natalia Sidorova, Nikola Trcka: A reference model for grid architectures and its validation. Concurrency and Computation: Practice and Experience 22(11): 1365-1385 (2010) |
| c45 | | Didier Buchs, Fabrice Kordon, Alexander Serebrenik, Natalia Sidorova, Jeremy Spronston, Yann Thierry-Mieg: Introduction. ACSD/Petri Nets Workshops 2010: 371 |
| c44 | | Helen Schonenberg, Jingxian Jian, Natalia Sidorova, Wil M. P. van der Aalst: Business Trend Analysis by Simulation. CAiSE 2010: 515-529 |
| c43 | | Natalia Sidorova, Christian Stahl, Nikola Trcka: Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual. CAiSE 2010: 530-544 |
| c42 | | Carmen Bratosin, Natalia Sidorova, Wil M. P. van der Aalst: Distributed genetic process mining. IEEE Congress on Evolutionary Computation 2010: 1-8 |
| c41 | | Carmen Bratosin, Natalia Sidorova, Wil M. P. van der Aalst: Discovering Process Models with Genetic Algorithms Using Sampling. KES (1) 2010: 41-50 |
| c40 | | Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf: Construction of Asynchronous Communicating Systems: Weak Termination Guaranteed! Software Composition 2010: 106-121 |
| c39 | | Kees M. van Hee, Arjan J. Mooij, Natalia Sidorova, Jan Martijn E. M. van der Werf: Soundness-Preserving Refinements of Service Compositions. WS-FM 2010: 131-145 |
| 2009 | ||
| j14 | | Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve, Jan Martijn E. M. van der Werf: Generation of Database Transactions with Petri Nets. Fundam. Inform. 93(1-3): 171-184 (2009) |
| j13 | | 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) |
| j12 | | Wil M. P. van der Aalst, Kees M. van Hee, Arthur H. M. ter Hofstede, Natalia Sidorova, H. M. W. Verbeek, Marc Voorhoeve, Moe Thandar Wynn: Soundness of Workflow Nets with Reset Arcs. T. Petri Nets and Other Models of Concurrency 3: 50-70 (2009) |
| c38 | | Wil M. P. van der Aalst, Kees M. van Hee, Peter Massuthe, Natalia Sidorova, Jan Martijn E. M. van der Werf: Compositional Service Trees. Petri Nets 2009: 283-302 |
| c37 | | Nikola Trcka, Wil M. P. van der Aalst, Natalia Sidorova: Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows. CAiSE 2009: 425-439 |
| c36 | | Nikola Trcka, Wil M. P. van der Aalst, Natalia Sidorova: Workflow completion patterns. CASE 2009: 7-12 |
| c35 | | Helen Schonenberg, Natalia Sidorova, Wil M. P. van der Aalst, Kees M. van Hee: History-Dependent Stochastic Petri Nets. Ershov Memorial Conference 2009: 366-379 |
| 2008 | ||
| j11 | | 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) |
| j10 | | Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova: Token History Petri Nets. Fundam. Inform. 85(1-4): 219-234 (2008) |
| j9 | | 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) |
| j8 | | 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) |
| j7 | | 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) |
| j6 | | 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) |
| c34 | | Nikola Trcka, Natalia Sidorova, Wil M. P. van der Aalst: Soundness and Niceness as Correctness Criteria for Grid Workflows. eScience 2008: 55-62 |
| c33 | | 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 |
| c32 | | 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 |
| 2007 | ||
| j5 | | 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) |
| j4 | | 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) |
| j3 | | 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) |
| c31 | | Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst: History-Dependent Petri Nets. ICATPN 2007: 164-183 |
| c30 | | 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 |
| c29 | | 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 |
| c28 | | Jens R. Calame, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova: Bug Hunting with False Negatives. IFM 2007: 98-117 |
| c27 | | 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 |
| c26 | | Carmen Bratosin, Kees M. van Hee, Natalia Sidorova: Adaptive Workflow Nets for Grid Computing. PaCT 2007: 15-21 |
| 2006 | ||
| j2 | | Kees M. van Hee, Natalia Sidorova, Lou J. Somers, Marc Voorhoeve: Consistency in model integration. Data Knowl. Eng. 56(1): 4-22 (2006) |
| j1 | | Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve: Resource-Constrained Workflow Nets. Fundam. Inform. 71(2-3): 243-257 (2006) |
| c25 | | Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: Nested Nets for Adaptive Systems. ICATPN 2006: 241-260 |
| c24 | | 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 |
| c23 | | 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 |
| c22 | | Kees M. van Hee, Olivia Oanea, Natalia Sidorova, Marc Voorhoeve: Verifying Generalized Soundness of Workflow Nets. Ershov Memorial Conference 2006: 235-247 |
| c21 |  | Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: Modelling History-Dependent Business Processes. MSVVEIS 2006: 76-85 |
| 2005 | ||
| c20 | | Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: Soundness of Resource-Constrained Workflow Nets. ICATPN 2005: 250-267 |
| c19 | | Jens R. Calame, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova: Data Abstraction and Constraint Solving for Conformance Testing. APSEC 2005: 541-548 |
| c18 | | 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 |
| c17 | | 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 |
| c16 | | 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 | ||
| c15 | | Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve: Generalised Soundness of Workflow Nets Is Decidable. ICATPN 2004: 197-215 |
| c14 | | Kees M. van Hee, Natalia Sidorova, Lou J. Somers, Marc Voorhoeve: Consistency in Model Integration. Business Process Management 2004: 1-16 |
| c13 | | Dragan Bosnacki, Natalia Ioustinova, Natalia Sidorova: Using Fairness to Make Abstractions Work. SPIN 2004: 198-215 |
| 2003 | ||
| c12 | | Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve: Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. ICATPN 2003: 337-356 |
| c11 | | Stefan Blom, Natalia Ioustinova, Natalia Sidorova: Timed Verification with µCRL. Ershov Memorial Conference 2003: 178-192 |
| c10 | | Natalia Ioustinova, Natalia Sidorova, Martin Steffen: Synchronous Closing and Flow Analysis for Model Checking Timed Systems. FMCO 2003: 292-313 |
| 2002 | ||
| c9 | | Natalia Ioustinova, Natalia Sidorova, Martin Steffen: Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems. APSEC 2002: 227- |
| c8 | | Natalia Ioustinova, Natalia Sidorova, Martin Steffen: Closing Open SDL-Systems for Model Checking with DTSpin. FME 2002: 531-548 |
| c7 | | Natalia Sidorova, Martin Steffen: Synchronous Closing of Timed SDL Systems for Model Checking. VMCAI 2002: 79-93 |
| 2001 | ||
| c6 | | Natalia Ioustinova, Natalia Sidorova: A Transformation of SDL Specifications - A Step towards the Verification. Ershov Memorial Conference 2001: 64-78 |
| c5 | | |
| c4 | | Natalia Sidorova, Martin Steffen: Verifying Large SDL-Specifications Using Model Checking. SDL Forum 2001: 403-420 |
| 2000 | ||
| c3 | | Ph. Schnoebelen, Natalia Sidorova: Bisimulation and the Reduction of Petri Nets. ICATPN 2000: 409-423 |
| c2 | | Natalia Sidorova, Martin Steffen: Verification of a wireless ATM medium-access protocol. APSEC 2000: 84-91 |
| c1 | | Dragan Bosnacki, Dennis Dams, Leszek Holenderski, Natalia Sidorova: Model Checking SDL with Spin. TACAS 2000: 363-377 |
Data released under the ODC-BY 1.0 license — See also our legal information page