Natalia Ioustinova

According to our database, Natalia Ioustinova authored at least 15 papers between 2001 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Simulated time for host-based testing with TTCN-3.

Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova

Softw. Test. Verification Reliab., 2008

2007

Bug Hunting with False Negatives.

Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

2006

Automatisierte Erzeugung von TTCN-3 Testfiällen aus UML-Modellen.

Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol

Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

TTCN-3 for Distributed Testing Embedded Software.

Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova

Proceedings of the Perspectives of Systems Informatics, 2006

TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking.

Jens R. Calamé, Nicolae Goga, Natalia Ioustinova, Jaco van de Pol

Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006

2005

Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction.

Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol

Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, 2005

Simulated Time for Testing Railway Interlockings with TTCN-3.

Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova

Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005

Data Abstraction and Constraint Solving for Conformance Testing.

Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2004

Using Fairness to Make Abstractions Work.

Dragan Bosnacki, Natalia Ioustinova, Natalia Sidorova

Proceedings of the Model Checking Software, 2004

2003

Synchronous Closing and Flow Analysis for Model Checking Timed Systems.

Natalia Ioustinova, Natalia Sidorova, Martin Steffen

Proceedings of the Formal Methods for Components and Objects, 2003

Timed Verification with µCRL.

Stefan Blom, Natalia Ioustinova, Natalia Sidorova

Proceedings of the Perspectives of Systems Informatics, 2003

2002

Closing Open SDL-Systems for Model Checking with DTSpin.

Natalia Ioustinova, Natalia Sidorova, Martin Steffen

Proceedings of the FME 2002: Formal Methods, 2002

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

Proceedings of the CONCUR 2002, 2002

Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems.

Natalia Ioustinova, Natalia Sidorova, Martin Steffen

Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

2001

A Transformation of SDL Specifications - A Step towards the Verification.

Natalia Ioustinova, Natalia Sidorova

Proceedings of the Perspectives of System Informatics, 2001