Real-Time Program Refinement Using Auxiliary Variables
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
A theory for execution-time derivation in real-time programs
Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)
Procedures and parameters in the real-time program refinement calculus
Science of Computer Programming
Lifting general correctness into partial correctness is ok
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Unifying theories of programming that distinguish nontermination and abort
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Retrospective and prospective for unifying theories of programming
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
Termination of real-time programs: definitely, definitely not, or maybe
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Linking Unifying Theories of Program refinement
Science of Computer Programming
| Hi-index | 0.00 |