Publications
- Challenge Benchmarks for Verification of Real-time Programs2010 | Faculty of Mathematics and Physics
- A Family of Real-time Java Benchmarks2011 | Faculty of Mathematics and Physics
- Replicating Real-Time Garbage Collector2011 | Faculty of Mathematics and Physics
- Efficient Detection of Errors in Java Components Using Random Environment and Restarts2010 | Faculty of Mathematics and Physics
- Exhaustive Testing of Safety Critical Java2010 | Faculty of Mathematics and Physics
- Developing safety critical Java applications with oSCJ/L02010 | Faculty of Mathematics and Physics
- Accurate Garbage Collection in Uncooperative Environments Revisited2009 | Faculty of Mathematics and Physics
- Real-Time Java in Space: Potential Benefits and Open Challenges2009 | Faculty of Mathematics and Physics
- Automated Construction of Reasonable Environment for Java Components2009 | Faculty of Mathematics and Physics
- Precise Regression Benchmarking with Random Effects: Improving Mono Benchmark Results +12006 | Faculty of Mathematics and Physics
Loading network view...