Natalia Ioustinova
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2002–2007
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | IFM | Bug Hunting with False Negatives. | Jens R. Calam, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova |
| 2006 | GI | Automatisierte Erzeugung von TTCN-3 Testfillen aus UML-Modellen. | Jens R. Calam, Natalia Ioustinova, Jaco van de Pol |
| 2005 | APSEC | Data Abstraction and Constraint Solving for Conformance Testing. | Jens R. Calam, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova |
| 2002 | APSEC | Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems. | Natalia Ioustinova, Natalia Sidorova, Martin Steffen |
| 2002 | CONCUR | Refinement and Verification Applied to an In-Flight Data Acquisition Unit. | Wan J. Fokkink, Natalia Ioustinova, Ernst Kesseler, Jaco van de Pol, Yaroslav S. Usenko, Yuri A. Yushtein |
| 2002 | FM | Closing Open SDL-Systems for Model Checking with DTSpin. | Natalia Ioustinova, Natalia Sidorova, Martin Steffen |