Browse By Depositor - Dr. Nisansala Yatapanage

Browse Results (59 results found)

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

Page 1 of 2

Result Pages:    1 2  next › last »


 Browse By Depositor - Dr. Nisansala Yatapanage:
  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Atchison, Brenton, Lindsay, Peter and Tombs, David (1999) A case study in software safety assurance using formal methods. SVRC Technical Report 99-31, Software Verification Research Centre, School of Information Technology, The University of Queensland. 105 1
Cerone, Antonio and Milne, George J. (1999) A methodology for the formal analysis of asynchronous micropipelines. SVRC Technical Report 99-33, Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland. 25 1
Wabenhorst, Axel (1998) A model of real-time distributed systems St Lucia, QLD, Australia: Software Verification Research Centre, School of Information Technology, The University of Queensland 21 8
Cook, Philip (1998) Analysis of the timing path methodology. SVRC Technical Report 98-05, Software Verification Research Centre, School of Information Technology, The University of Queensland. 27 3
Cook, Phil and Welsh, Jim (1999) An incremental LR parse strategy for language-based editors. SVRC Technical Report 99-24, Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland. 25 1
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
Lindsay, Peter, McDermid, John and Tombs, David (1999) A process for derivation and quantification of safety requirements for components of complex systems. SVRC Technical Report 99-46, Software Verification Research Centre, School of Information Technology, The University of Queensland. 30 1
Wabenhorst, Axel and Atchison, Brenton (1999) A survey of international safety standards. SVRC Technical Report 99-30, Software Verification Research Centre, School of Information Technology, The University of Queensland. 47 2
Wildman, Luke, Fidge, Colin and Carrington, David (2000) Computer-aided development of a real-time program. SVRC Technical Report 99-27, Software Verification Research Centre, School of Information Technology, The University of Queensland. 14 1
Hayes, Ian J. and Utting, Mark (1998) Deadlines are termination St Lucia, QLD, Australia: Software Verification Research Centre, School of Information Technology, The University of Queensland 29 22
Fidge, Colin. J., Hayes, Ian. J. and Mahony, B. P. (1998) Defining Differentiation and Integration in Z. SVRC Technical Report 98-09, Software Verification Research Centre, School of Information Technology, The University of Queensland. 21 1
MacDonald, Anthony, Carrington, David, Cook, Phil, Toleman, Mark and Welsh, Jim (1999) Designing a user-interface for relational documents. SVRC Technical Report 99-44, Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland. 28 31
Johnston, Wendy (2000) Development of a cryptographic protocol by stepwise refinement using cogito methodology:part 1. SVRC Technical Report 99-38, Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland. 19 23
Toleman, Mark, Carrington, David, Cook, Phil, MacDonald, Anthony and Welsh, Jim (1999) Environment description language for UQ*. SVRC Technical Report 99-45, Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland. 23 17
MacColl, Ian and Carrington, David (1999) Extending the test template framework for specification-based testing of interactive systems. SVRC Technical Report 99-16, Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland. 21 1
Murray, Leesa, Carrington, David, MacColl, Ian, McDonald, Jason and Strooper, Paul (1998) Formal derivation of finite state machines for class testing St Lucia, QLD, Australia: Software Verification Research Centre, School of Information Technology, The University of Queensland 27 32
Hussey, Andrew (1999) Formal object-oriented user-interface design. Technical Report SSE 99-09, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland. 17 20
Cheng, A. S. K., Robinson, Peter J. and Staples, J. (1990) Higher level meta programming in Qu-Prolog 3.0. SVRC Technical Report 190, Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland. 43 1
Atchison, Brenton, Lindsay, Peter and Cant, Tony (1999) Improving safety management in defence acquisition. SVRC Technical Report 99-42, Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland. 26 13
Wabenhorst, Axel (1999) Induction in the timed interval calculus (Version 1.1). SVRC Technical Report 99-36, Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland. 20 9
Martin, Andrew and Fidge, Colin (1998) Lifting in Z. SVRC Technical Report 98-06, Software Verification Research Centre, School of Information Technology, The University of Queensland. 20 1
Cerone, Antonio and Milne, George J. (1999) Modelling a subclass of CMOS circuits using a process algebra. SVRC Technical Report 99-28, Software Verification Research Centre, School of Information Technology, The University of Queensland. 17 1
Fidge, C. J. (1999) Modelling discrete behaviour in a continuous-time formalism. Technical Report SSE 99-06, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland. 18 1
Marchesi, Nathan (1999) Modelling distributed clock synchronisation using a graphical simulation tool. SVRC Technical Report 99-39, Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland. 17 1
Clark, Keith, Robinson, Peter J. and Hagen, Richard A. (1999) Multi-threading and message communication in qu-prolog. SVRC Technical Report 99-41, Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland. 30 1
Clark, Keith, Robinson, Peter J. and Hagen, Richard J. (1998) Multi-threading and message communication in qu-prolog. SVRC Technical Report 98-11, Software Verification Research Centre, School of Information Technology, The University of Queensland. 23 1
Cook, Phil and Robinson, Peter (1999) Multi-threading in an interactive theorem prover. Technical Report SSE 99-01, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland. 18 1
Hussey, Andrew and Mahemoff, Michael (1999) Patterns for designing safety-critical interactive systems. SVRC Technical Report 99-23, Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland. 16 1
Hussey, Andrew (1999) Patterns for safety and usability in human-computer interfaces. Technical Report SSE 99-05, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland. 23 2
MacDonald, Anthony and Welsh, Jim (1999) Persistence in the UQ* environment. SVRC Technical Report 99-43, Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland. 26 25
Utting, Mark and Kearney, Peter (1994) Pipeline specification of a MIPS R3000 CPU. SVRC Technical Report 92-6, Software Verification Research Centre, Department of Computer Science, The University of Queensland. 48 1
Hussey, Andrew and Carrington, David (1999) Platform independent graphical user interface design. Technical Report SSE 99-04, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland. 21 1
Watson, Geoffrey Norman (1998) Proof representations in Theorem Provers. SVRC Technical Report 98-13, Software Verification Research Centre, School of Information Technology, The University of Queensland. 14 1
Cheng, A. S. K., Han, J., Welsh, J. and Wood, A. (1992) Providing user-oriented support for software development by formal methods. SVRC Technical Report 92-8, Software Verification Research Centre, Department of Computer Science, The University of Queensland. 19 2
Robinson, Peter J. and Hagen, Richard A. (1999) Qu-prolog 4.3 reference manual. Technical Report SSE 99-03, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland. 23 1
Kearney, Peter, Utting, Mark and Whitwell, Keith (1994) Real time behaviour of a RISC processor: specification and computer-aided verification. SVRC Technical Report 92-10, Software Verification Research Centre, Department of Computer Science, The University of Queensland. 16 1
Fidge, C. J., Hayes, I. J., Mahony, B. P. and Wabenhorst, A. K. (1999) Real-time specification and reasoning using maximal intervals. SVRC Technical Report 99-29, Software Verification Research Centre, School of Information Technology, The University of Queensland. 26 1
Colvin, Rob, Hayes, Ian and Strooper, Paul (1999) Refining logic programs using types and invariants. SVRC Technical Report 99-25, Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland. 31 1
Hazel, Daniel, Strooper, Paul and Traynor, Owen (1998) Requirements engineering and verification using specification animation. SVRC Technical Report 99-26, Software Verification Research Centre, School of Information Technology, The University of Queensland. 30 1
Hussey, Andrew (1999) Safety analysis of the druide user-interface. Technical Report SSE 99-13, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland. 16 1
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
Hall, Ben (1999) Simulating distributed clock synchronisation. SVRC Technical Report 99-14, Software Verification Research Centre, The University of Queensland. 18 1
Murray, Leesa (1999) Software requirements specification for TinMan - version 1.0. Technical Report SSE 99-02, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland. 18 2
MacDonald, Anthony and Carrington, David (1999) Some elements of Z specification style: structuring techniques. SVRC Technical Report 99-20, Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland. 15 1
MacColl, Ian, Murray, Leesa, Strooper, Paul and Carrington, David (1998) Specification-based class testing: A case study. SVRC Technical Report 98-08, Software Verification Research Centre, School of Information Technology, The University of Queensland. 23 1
Murray, Leesa, McDonald, Jason and Strooper, Paul (1998) Specification-based class testing with ClassBench. SVRC Technical Report 98-12, Software Verification Research Centre, School of Information Technology, The University of Queensland. 26 2
Hemer, David and Lindsay, Peter (1999) Specification-based retrieval strategies for module reuse. Technical Report SSE 99-11, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland. 26 1
Utting, Mark and Kearney, Peter (1992) Specification issues for real-time behaviour of RISC processors. SVRC Technical Report 92-5, Software Verification Research Centre, Department of Computer Science, The University of Queensland. 20 2
MacColl, Ian and Carrington, David (1999) Specifying interactive systems in Object-Z and CSP. SVRC Technical Report 99-17, Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland. 15 1
Smith, Graeme (1999) Stepwise development from ideal specifications. SVRC Technical Report 99-35, Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland. 20 1

Page 1 of 2

Result Pages:    1 2  next › last »