The ProCoS Approach to Correct Systems
Real-Time Systems - Special issue on safety-critical systems
Computer
A formal model of real-time program compilation
Theoretical Computer Science
On the Translation of Procedures to Finite Machines
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
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)
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Refinement Algebra for Formal Bytecode Generation
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Towards Provably-Correct Hardware Compilation Tools Based on Pass Separation Techniques
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Performing Algorithmic Refinement before Data Refinement in B
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Forward Simulation for Data Refinement of Classes
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
On Excusable and Inexcusable Failures
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Towards provably correct hardware/software partitioning using occam
CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design
Compiler verification: a bibliography
ACM SIGSOFT Software Engineering Notes
Applying Unifying Theories Of Programming To Real-Time Programming
Journal of Integrated Design & Process Science - Applications of formal methods
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
What Level of Mathematical Reasoning can Computer Science Demand of a Software Implementer?
Electronic Notes in Theoretical Computer Science (ENTCS)
On the role of non-functional properties in compiler verification
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
On the correctness of transformations in compiler back-ends
ISoLA'04 Proceedings of the First international conference on Leveraging Applications of Formal Methods
Calculational derivation of algorithms on tree-based pointer structures
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
A denotational model for instantaneous signal calculus
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
| Hi-index | 0.00 |