Projects per year
Fingerprint Dive into the research topics where SCEDT School Executive Team is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.
Virtual reality
Engineering & Materials Science
Planning
Engineering & Materials Science
Engines
Engineering & Materials Science
Specifications
Engineering & Materials Science
Data storage equipment
Engineering & Materials Science
Semantics
Engineering & Materials Science
Augmented reality
Engineering & Materials Science
Experiments
Engineering & Materials Science
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Profiles
Andrew Bingham
- SCEDT School Executive Team - Associate Dean (Learning & Teaching)
Person: Senior Academic
Nashwan Dawood
- Smart Systems and Energy Informatics Research Group
- SCEDT School Executive Team - Associate Dean (Research & Innovation)
Person: Senior Academic
Siobhan Fenton
- SCEDT School Executive Team - Associate Dean (Enterprise & Business Engagement)
Person: Senior Academic
Projects 2011 2016
- 2 Finished
Intelligent NeighbourhooD Energy Allocation & Supervision
Dawood, N., Crosbie, T. & Short, M.
1/08/12 → 5/10/16
Project: Research
Research Output 2000 2019
Bi-Abductive Inference for Shape and Ordering Properties
Curry, C., Le, Q. L. & Qin, S., 20 Jul 2019, (Accepted/In press) the 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019). IEEEResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access
File
Data structures
Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation
Pham, L. H., Le, Q. L., Phan, Q-S., Sun, J. & Qin, S., 28 Oct 2019, In : Lecture Notes in Computer Science. 17 p.Research output: Contribution to journal › Conference article
Open Access
File
Symbolic Execution
Separation Logic
Heap
Precondition
Numerics
Locating Vulnerabilities in Binaries via Memory Layout Recovering
Wang, H., Xie, X., Lin, S-W., Lin, Y., Li, Y., Qin, S., Liu, Y. & Liu, T., 26 Aug 2019, The 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. ACM, 11 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access
File
Data storage equipment
Binary codes
Semantics
Hardening
Recovery
Press / Media
8th international symposium on theoretical aspects of software engineering (TASE 2014)
1/02/14
1 item of Media coverage
Press/Media: Press / Media
Symposium on dependable software engineering: Theories, tools and applications (SETTA 2014)
18/11/13
1 item of Media coverage
Press/Media: Press / Media
Symposium on dependable software engineering: Theories, tools and applications (SETTA 2015)
23/04/15
1 item of Media coverage
Press/Media: Press / Media
Student theses
Web user requirements: a support framework for students
Author: Bingham, A., 1 Jun 2012Supervisor: Griffiths, G. (Supervisor)
Student thesis: Doctoral Thesis
File
Proof-theoretical observations of BI and BBI base-logic interactions, and development of phased sequence calculus to define logic combinations
Author: Arisaka, R., 12 Aug 2013Supervisor: Qin, S. (Supervisor)
Student thesis: Doctoral Thesis
File
Reasoning About C11 Programs with Fences and Relaxed Atomics
Author: He, M., 16 Feb 2018Supervisor: Qin, S. (Supervisor) & Ferreira, J. (Supervisor)
Student thesis: Doctoral Thesis