- Innovations Syst Softw Eng DOI 10.1007/s11334-009-0100-9
- T: +44 (0) 1642 218121 www.tees.ac.uk
- An Interval-based Inference of Variant Parametric Florin Craciun1
- Realizing Live Sequence Charts in SystemVerilog Hai H. Wang
- Timed Automata Patterns Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, and Wang Yi
- Main Entrance and Reception T: +44 (0) 1642 218121
- A Relational Model for Object-Oriented Designs , Zhiming Liu
- Multiple Pre/Post Specifications for Heap-Manipulating Methods Wei-Ngan Chin1,2
- Verifying BPEL-like Programs with Hoare Logic (Longer Version)
- The Higher Education Academy Annual Report 200910
- Verifying Pointer Safety for Programs with Unknown Calls
- An Interval-based Inference of Variant Parametric (Technical Report)
- Timed Patterns: TCOZ to Timed Automata National University of Singapore
- TASE 2009 Advanced Program Day 1: 29 July 2009
- A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification
- Verifying BPEL-like Programs with Hoare Logic Chenguang Luo
- System Specification Hardware/Software
- RESEARCH ARTICLE Verifying BPEL-like programs with Hoare logic
- A Formal Soundness Proof of Region-based Memory Management for Object-Oriented Paradigm
- Mapping Statecharts to Verilog for Hardware/Software CoSpecification
- A Sized Type System for Objects with Alias Controls (Technical Report)
- SCHOOL OF COMPUTING University of Teesside
- Automatically Refining Partial Specifications for Program Verification
- Structured Specifications for Better Verification of Heap-Manipulating Programs
- Automated Verification of Shape, Size and Bag Properties via User-Defined Predicates in Separation Logic
- Enhancing Modular OO Verification with Separation Logic Wei-Ngan Chin
- Verifying Safety Policies with Size Properties and Alias Controls Wei-Ngan Chin1,2
- Loop Invariant Synthesis in a Combined Domain Shengchao Qin1
- A Heap Model for Java Bytecode to Support Separation Logic Chenguang Luo Guanhua He Shengchao Qin
- A Formal Soundness Proof of Region-based Memory Management for Object-Oriented Paradigm
- Analysing Memory Resource Bounds for Low-Level Programs Wei-Ngan Chin1 Huu Hai Nguyen1 Corneliu Popeea1 Shengchao Qin2
- Linking Object-Z with Spec# Shengchao Qin and Guanhua He
- HighSpec: a Tool for Building and Checking OZTA Models J.S. Dong P. Hao X. Zhang
- Constructing Property-Oriented Models for Verification , Shengchao Qin2
- 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering
- Automated Verification of Shape, Size and Bag Properties Wei-Ngan Chin1,2
- Integrating Probability with Time and Shared-Variable Concurrency Huibiao Zhu
- Call for Papers The 3rd IEEE Theoretical Aspects of Software Engineering Conference (TASE 2009), sponsored by IEEE CS and IFIP, will be held
- LEARNERS' VOICE ON AIMHIGHER AND ITS IMPACT What is Aimhigher?
- Memory Usage Verification Using Hip/Sleek Guanhua He1
- Verifying Safety Policies with Size Properties and Alias Controls WeiNgan Chin 1,2 , SiauCheng Khoo 1 , Shengchao Qin 1,2 , Corneliu Popeea 1 , and Huu Hai Nguyen 2
- A Semantic Foundation for TCOZ in Unifying Theories of Programming
- Region Inference for an ObjectOriented Language Technical Report
- Introduction Much of the current retention literature and theory, whilst relevant in
- DEVELOPING AND EMBEDDING INCLUSIVE POLICY AND PR ACTICE IN
- Verifying Heap-Manipulating Programs with Unknown Procedure Calls
- Predictable Memory Usage for Object-Oriented Programs Wei-Ngan Chin1,2, Huu Hai Nguyen1, Shengchao Qin1,2 , and Martin Rinard3
- Equity and the `Fair Admissions' Practices of HEIs: Mapping the Terrain
- Project background: This poster details a series of case studies related to the transitional experience of Widening Participation (WP) students' who
- Day one: 11.05 12.30 Session type: Paper presentations
- Region Inference for an Object-Oriented Language Wei-Ngan Chin
- Constructing Hardware/software Interface Using Protocol Converters Shengchao Qin
- PGR How to Apply 2011/12 Rev June 2011 POSTGRADUATE RESEARCH STUDIES 2011/2 HOW TO APPLY
- RESEARCH DEGREES OFFERED BY TEESSIDE UNIVERSITY The research degrees awarded by the University are
- PGR Fees, Finance, Registration Periods 2011/12 Rev June 2011 Fees and Registration Periods
- Inspiring success International
- RESEARCH DEGREE STUDENT HANDBOOK For candidates for PhD, DProf, MPhil, MProf
- Extra information for international (non UK/EU) applicants for research degrees If you are applying to study with us on a research degree and do not hold UK or EEA/EU
- ICFEM 2011 Registration https://www.scm.tees.ac.uk/icfem2011/ Please complete this form electronically or in BLOCK letters, then FAX to +44 (0) 1642 230527, or post to
- Linking Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language
- A Phased Sequent Calculus for Proof Searches in a Subset of BI (Technical Report)
- 2010/1 ACADEMIC AWARDS CEREMONY DVD ORDER FORM Please indicate the date of the ceremony you require, name,
- Towards An Axiomatic Verification System for JavaScript
- Contraction-Free Sequent Calculus for BI Ryuta Arisaka, and Shengchao Qin
