The ProCoS Approach to Correct Systems
Real-Time Systems - Special issue on safety-critical systems
A formal model of real-time program compilation
Theoretical Computer Science
An Approach to the Specification and Verification of a Hardware Compilation Scheme
The Journal of Supercomputing
Proving Properties of Multidimensional Recurrences with Application to Regular Parallel Algorithms
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
IBM Journal of Research and Development
Modelling program compilation in the refinement calculus
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
| Hi-index | 0.00 |