Oleg Parshin

According to our database1, Oleg Parshin authored at least 4 papers between 2004 and 2012.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

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
Towards an Integration of Low-Level Timing Analysis and Model-Based Code Generation.
Proceedings of the Leveraging Applications of Formal Methods, 2006

Towards Model-Driven Development of Hard Real-Time Systems.
Proceedings of the Model-Driven Development of Reliable Automotive Services, 2006

2004
Component-Wise Instruction-Cache Behavior Prediction.
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004


  Loading...