An Approach to the Specification and Verification of a Hardware Compilation Scheme
The Journal of Supercomputing
Compilation and Synthesis for Real-Time Embedded Controllers
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Serialising Parallel Processes in a Hardware/Software Partitioning Context
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Behavioural Language Compilation with Virtual Hardware Management
FPL '00 Proceedings of the The Roadmap to Reconfigurable Computing, 10th International Workshop on Field-Programmable Logic and Applications
A Constructive Approach to Hardware/Software Partitioning
Formal Methods in System Design
Parallel algorithms development for programmable devices with application from cryptography
International Journal of Parallel Programming
Slotted-circus: a UTP-family of reactive theories
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Deriving two-phase modules for a multi-target hardware compiler
DCC'96 Proceedings of the 3rd international conference on Designing Correct Circuits
A relational approach to an algebraic community: from paul erdős to he jifeng
Theories of Programming and Formal Methods
Towards a modeling language for cyber-physical systems
Theories of Programming and Formal Methods
Hi-index | 0.00 |