Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Julius C. Castro
Daniel P. Kennedy
Dan Graur
Thomas M. Surowiec
Barbara Aquilani
malgorzata a napierala
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Home
/
Author
/
NATALIA IOUSTINOVA
Author Info
Open Visualization
Name
Affiliation
Papers
NATALIA IOUSTINOVA
CWI, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands
15
Collaborators
Citations
PageRank
24
62
6.99
Referers
Referees
References
112
227
170
Search Limit
100
227
Publications (15 rows)
Collaborators (24 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Simulated time for host-based testing with TTCN-3
0
0.34
2008
Bug hunting with false negatives
0
0.34
2007
Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction
7
0.49
2007
Automatisierte Erzeugung von TTCN-3 Testfiällen aus UML-Modellen
0
0.34
2006
TTCN-3 for distributed testing embedded software
2
0.38
2006
Ttcn-3 Testing Of Hoorn-Kersenboogerd Railway Interlocking
1
0.48
2006
Data Abstraction and Constraint Solving for Conformance Testing
7
0.51
2005
Simulated time for testing railway interlockings with TTCN-3
4
0.67
2005
Using Fairness to Make Abstractions Work
7
0.47
2004
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
1
0.40
2003
Timed Verification with µCRL
12
0.61
2003
Refinement and Verification Applied to an In-Flight Data Acquisition Unit
3
0.41
2002
Closing Open SDL-Systems for Model Checking with DTSpin
11
0.71
2002
Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems
6
0.49
2002
A Transformation of SDL Specifications - A Step towards the Verification
1
0.36
2001
1