Searching for authors named "Natalia Sidorova" – sorted by Relevance.
-
Closing open SDL-systems for model checking with DTSpin
- Ioustinova 1 Natalia Sidorova 2 Martin Ste#en 3 1 CWI, Cluster of Software Engineering, P.O. Box 94079
- Cited by 7 (2 self) – Add To MetaCart
-
Embedding chaos
- £ ¢ Embedding Chaos Natalia Sidorova and Martin Steffen ¡ Department of Mathematics and Computer
- Cited by 5 (3 self) – Add To MetaCart
-
∗ Supported by the CWI-project “Systems Validation Centre (SVC)”.
- -Albrechts-Universität Preußerstraße 1–9 24105 Kiel, Deutschland ms@(email omitted); Natalia Sidorova Dept. of Mathematics
- Add To MetaCart
-
Combining Theorem Proving and Model Checking - A Case Study
- , and Natalia Sidorova 3 1 Dept. of Electrical Eng., Eindhoven University of Technology, PO Box 513, 5600 MB
- Add To MetaCart
-
Using Fairness to Make Abstractions Work
- Using Fairness to Make Abstractions Work Dragan Boˇsnački 1 , Natalia Ioustinova 2 , and Natalia
- Add To MetaCart
-
Timed verification with µCRL
- Software Engineering Stefan Blom, Natalia Ioustinova, Natalia Sidorova REPORT SEN-E0312 DECEMBER 8, 2003
- Cited by 4 (0 self) – Add To MetaCart
-
Verifying generalized soundness for workflow nets
- Verifying Generalized Soundness for Workflow Nets Kees van Hee Olivia Oanea ∗ Natalia Sidorova
- Cited by 2 (1 self) – Add To MetaCart
-
Can I Find a Partner?
- Can I Find a Partner? Peter Massuthe 1 , Alexander Serebrenik 2 , Natalia Sidorova 2 , and Karsten
- Add To MetaCart
-
Model Checking SDL with Spin
- , and Natalia Sidorova 2 1 Dept. of Computing Sci., Eindhoven University of Technology, PO Box 513, 5600 MB
- Cited by 9 (0 self) – Add To MetaCart
-
Soundness of resource-constrained workflow nets
- Soundness of Resource-Constrained Workflow Nets Kees van Hee, Alexander Serebrenik, Natalia
- Cited by 2 (0 self) – Add To MetaCart

