Research Output 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
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 › Research
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., 16 Jun 2019, (Accepted/In press) In : Lecture Notes in Computer Science. 17 p.Research output: Contribution to journal › Conference article › Research › peer-review
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 › Research
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 2015)
23/04/15
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
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