Browse by all authors Browse By Author ID - Lermer, Karl Reiner Christian

Browse Results (11 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

Refine

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Lermer, K. and Fidge, C. (2002) A formal model of real-time program compilation. Theoretical Computer Science, 282 1: 151-190. doi:10.1016/S0304-3975(01)00047-0 47   5 Cited 7 times in Scopus7 0
Lermer, Karl (1999) A parallel operator for real-time processes with predicate transformer semantics. Technical Report SSE 99-12, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland. 22 2
Lermer, Karl, Fidge, Colin and Hayes, Ian (2002) A Theory for Execution Time Derivation in Real-time Programs. Technical Report 02-13, Software Verification Research Centre, School of Information Technology, The University of Queensland. 442 299
Lermer, K., Fidge, C. J. and Hayes, I. J. (2005) A theory for execution-time derivation in real-time programs. Theoretical Computer Science, 346 1: 3-27. doi:10.1016/j.tcs.2005.08.003 53   1 Cited 2 times in Scopus2 0
Lermer, Karl, Fidge, Colin and Hayes, Ian (2002) Formal Semantics for Program Paths. Technical Report 02-05, Software Verification Research Centre, School of Information Technology, The University of Queensland. 378 343
Lermer, Karl, Fidge, Colin and Hayes, Ian (2002) Linear Approximation of Execution Time Constraints. Technical Report 02-31, Software Verification Research Centre, School of Information Technology, The University of Queensland. 372 488
Lermer, K. R. C., Fidge, C. J. and Hayes, I. J. (2003) Linear approximation of execution-time constraints. Formal Aspects of Computing, 15 4: 319-348. doi:10.1007/s00165-003-0019-0 38   Cited 2 times in Scopus2 0
Lermer, K. and Fidge, C. J. (2006) Procedure compilation in the refinement calculus. Formal Aspects of Computing, 18 2: 152-180. doi:10.1007/s.00165-006-0091-3 48   0 Cited 0 times in Scopus0 0
Lermer, Karl and Strooper, Paul (2000) Refinement and State Machine Abstraction. Technical Report 00-01, Software Verification Research Centre, School of Information Technology, The University of Queensland. 342 384
Hayes, Ian, Fidge, Colin and Lermer, Karl (1999) Semantic identification of dead control-flow paths. SVRC Technical Report 99-32, Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland. 23 1
Fidge, C. J., Lermer, K. R. C. and Watson, G. N. (2002) Verifying program transformations using partial correctness semantics Brisbane, Australia: The University of Queensland 50