Oleg Parshin
According to our database1,
Oleg Parshin
authored at least 4 papers
between 2004 and 2012.
Collaborative distances:
Collaborative distances:
Timeline
2004
2005
2006
2007
2008
2009
2010
2011
2012
0
1
2
3
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2012
Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints.
Proceedings of the Advances in Real-Time Systems (to Georg Färber on the occasion of his appointment as Professor Emeritus at TU München after leading the Lehrstuhl für Realzeit-Computersysteme for 34 illustrious years)., 2012
2006
Proceedings of the Leveraging Applications of Formal Methods, 2006
Proceedings of the Model-Driven Development of Reliable Automotive Services, 2006
2004
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004