Oleg Parshin
According to our database1,
Oleg Parshin
authored at least 4 papers
between 2004 and 2012.
Collaborative distances:
Collaborative distances:
Timeline
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