The design and implementation of a certifying compiler
PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Translation validation for an optimizing compiler
PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
Translation Validation: From SIGNAL to C
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Industrial Applications of Model Checking
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Automatic Validation of Code-Improving Transformations
LCTES '00 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Translation Validation: From DC+ to C*
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Industrial applications of model checking
Modeling and verification of parallel processes
Validation of code-improving transformations for embeded systems
Proceedings of the 2003 ACM symposium on Applied computing
The design and implementation of a certifying compiler
ACM SIGPLAN Notices - Best of PLDI 1979-1999
Automatic validation of code-improving transformations on low-level program representations
Science of Computer Programming - Special issue on program transformation
Cones and foci: A mechanical framework for protocol verification
Formal Methods in System Design
Cones and foci for protocol verification revisited
FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software
The actor's view of automated planning and acting: A position paper
Artificial Intelligence
| Hi-index | 0.00 |