The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Natalia Sidorova: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
    Nested Nets for Adaptive Systems. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2006, pp:241-260 [Conf]
  2. Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
    Soundness of Resource-Constrained Workflow Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:250-267 [Conf]
  3. Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve
    Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:337-356 [Conf]
  4. Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve
    Generalised Soundness of Workflow Nets Is Decidable. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:197-215 [Conf]
  5. Ph. Schnoebelen, Natalia Sidorova
    Bisimulation and the Reduction of Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2000, pp:409-423 [Conf]
  6. Jens R. Calame, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova
    Data Abstraction and Constraint Solving for Conformance Testing. [Citation Graph (0, 0)][DBLP]
    APSEC, 2005, pp:541-548 [Conf]
  7. Natalia Ioustinova, Natalia Sidorova, Martin Steffen
    Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems. [Citation Graph (0, 0)][DBLP]
    APSEC, 2002, pp:227-0 [Conf]
  8. Natalia Sidorova, Martin Steffen
    Verification of a wireless ATM medium-access protocol. [Citation Graph (0, 0)][DBLP]
    APSEC, 2000, pp:84-91 [Conf]
  9. Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
    History-Based Joins: Semantics, Soundness and Implementation. [Citation Graph (0, 0)][DBLP]
    Business Process Management, 2006, pp:225-240 [Conf]
  10. Kees M. van Hee, Natalia Sidorova, Lou J. Somers, Marc Voorhoeve
    Consistency in Model Integration. [Citation Graph (0, 0)][DBLP]
    Business Process Management, 2004, pp:1-16 [Conf]
  11. Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan van der Wal
    The Price of Coordination in Resource Management. [Citation Graph (0, 0)][DBLP]
    Business Process Management, 2005, pp:96-108 [Conf]
  12. Stefan Blom, Natalia Ioustinova, Natalia Sidorova
    Timed Verification with µCRL. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2003, pp:178-192 [Conf]
  13. Natalia Ioustinova, Natalia Sidorova
    A Transformation of SDL Specifications - A Step towards the Verification. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:64-78 [Conf]
  14. Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova
    Simulated Time for Testing Railway Interlockings with TTCN-3. [Citation Graph (0, 0)][DBLP]
    FATES, 2005, pp:1-15 [Conf]
  15. Natalia Ioustinova, Natalia Sidorova, Martin Steffen
    Closing Open SDL-Systems for Model Checking with DTSpin. [Citation Graph (0, 0)][DBLP]
    FME, 2002, pp:531-548 [Conf]
  16. Natalia Ioustinova, Natalia Sidorova, Martin Steffen
    Synchronous Closing and Flow Analysis for Model Checking Timed Systems. [Citation Graph (0, 0)][DBLP]
    FMCO, 2003, pp:292-313 [Conf]
  17. Kees M. van Hee, Olivia Oanea, Natalia Sidorova
    Colored Petri Nets to Verify Extended Event-Driven Process Chains. [Citation Graph (0, 0)][DBLP]
    OTM Conferences (1), 2005, pp:183-201 [Conf]
  18. Natalia Sidorova, Martin Steffen
    Embedding Chaos. [Citation Graph (0, 0)][DBLP]
    SAS, 2001, pp:319-334 [Conf]
  19. Natalia Sidorova, Martin Steffen
    Verifying Large SDL-Specifications Using Model Checking. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2001, pp:403-420 [Conf]
  20. Dragan Bosnacki, Natalia Ioustinova, Natalia Sidorova
    Using Fairness to Make Abstractions Work. [Citation Graph (0, 0)][DBLP]
    SPIN, 2004, pp:198-215 [Conf]
  21. Dragan Bosnacki, Dennis Dams, Leszek Holenderski, Natalia Sidorova
    Model Checking SDL with Spin. [Citation Graph (0, 0)][DBLP]
    TACAS, 2000, pp:363-377 [Conf]
  22. Natalia Sidorova, Martin Steffen
    Synchronous Closing of Timed SDL Systems for Model Checking. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2002, pp:79-93 [Conf]
  23. Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
    Modelling History-Dependent Business Processes. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:76-85 [Conf]
  24. Kees M. van Hee, Natalia Sidorova, Lou J. Somers, Marc Voorhoeve
    Consistency in model integration. [Citation Graph (0, 0)][DBLP]
    Data Knowl. Eng., 2006, v:56, n:1, pp:4-22 [Journal]
  25. Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan van der Wal
    Scheduling-free resource management. [Citation Graph (0, 0)][DBLP]
    Data Knowl. Eng., 2007, v:61, n:1, pp:59-75 [Journal]
  26. Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve
    Resource-Constrained Workflow Nets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:71, n:2-3, pp:243-257 [Journal]
  27. Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
    LogLogics: A logic for history-dependent business processes. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:65, n:1, pp:30-40 [Journal]
  28. Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst
    History-Dependent Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2007, pp:164-183 [Conf]
  29. Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan Martijn E. M. van der Werf
    Modelling with History-Dependent Petri Nets. [Citation Graph (0, 0)][DBLP]
    BPM, 2007, pp:320-327 [Conf]
  30. Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova
    TTCN-3 for Distributed Testing Embedded Software. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2006, pp:98-111 [Conf]
  31. Kees M. van Hee, Olivia Oanea, Natalia Sidorova, Marc Voorhoeve
    Verifying Generalized Soundness of Workflow Nets. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2006, pp:235-247 [Conf]
  32. Jens R. Calame, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova
    Bug Hunting with False Negatives. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:98-117 [Conf]
  33. Maja Pesic, M. H. Schonenberg, Natalia Sidorova, Wil M. P. van der Aalst
    Constraint-Based Workflow Models: Change Made Easy. [Citation Graph (0, 0)][DBLP]
    OTM Conferences (1), 2007, pp:77-94 [Conf]
  34. Carmen Bratosin, Kees M. van Hee, Natalia Sidorova
    Adaptive Workflow Nets for Grid Computing. [Citation Graph (0, 0)][DBLP]
    PaCT, 2007, pp:15-21 [Conf]
  35. Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Irina A. Lomazova
    Checking Properties of Adaptive Workflow Nets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2007, v:79, n:3-4, pp:347-362 [Journal]

  36. Compositional Service Trees. [Citation Graph (, )][DBLP]


  37. Adaptive Workflows for Healthcare Information Systems. [Citation Graph (, )][DBLP]


  38. Business Trend Analysis by Simulation. [Citation Graph (, )][DBLP]


  39. Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual. [Citation Graph (, )][DBLP]


  40. Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows. [Citation Graph (, )][DBLP]


  41. History-Dependent Stochastic Petri Nets. [Citation Graph (, )][DBLP]


  42. Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets. [Citation Graph (, )][DBLP]


  43. A Reference Model for Grid Architectures and Its Analysis. [Citation Graph (, )][DBLP]


  44. Construction of Asynchronous Communicating Systems: Weak Termination Guaranteed! [Citation Graph (, )][DBLP]


  45. History-based joins: Semantics, soundness and implementation. [Citation Graph (, )][DBLP]


Search in 0.057secs, Finished in 0.059secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002