Sitvanit Ruah
According to our database1,
Sitvanit Ruah
authored at least 13 papers
between 1998 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
1998
2000
2002
2004
2006
2008
2010
2012
2014
0
1
2
3
4
1
1
1
1
1
1
1
1
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2015
Proceedings of the Validation of Evolving Software, 2015
2013
Proceedings of the Hardware and Software: Verification and Testing, 2013
2012
Proceedings of the 4th International Workshop on Hot Topics in Software Upgrades, 2012
2010
Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems, 2010
2008
2007
Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007
2006
Main Results of PROSYD - Methodologies and Tools for Writing Reusable PSL Assertions.
Proceedings of the Forum on specification and Design Languages, 2006
2005
Proceedings of the Hardware and Software Verification and Testing, 2005
2001
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001
Proceedings of the Computer Aided Verification, 13th International Conference, 2001
1998
Proceedings of the CONCUR '98: Concurrency Theory, 1998