Publications
- Generic Environment for Full Automation of Benchmarking +12004 | Faculty of Mathematics and Physics, Central Library of Charles University
- 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
- Challenge Benchmarks for Verification of Real-time Programs2010 | 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
Loading network view...