School of Computing, Engineering & Digital Technologies

Research Output 1990 2020

Filter
Conference article
2019
13 Downloads (Pure)

Compositional Verification of Heap-Manipulating Programs through Property-Guided Learning

Pham, L. H., Sun, J. & Le, Q. L., 18 Nov 2019, In : Lecture Notes in Computer Science. 11893, p. 405-424 20 p.

Research output: Contribution to journalConference article

Compositional Verification
Heap
Data storage equipment
Invariant
Specifications
31 Downloads (Pure)

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 journalConference article

Open Access
File
Symbolic Execution
Separation Logic
Heap
Precondition
Numerics
120 Downloads (Pure)

Selecting appropriate fuzzy PID control structure for power electronic applications

Al-Greer, M., Armstrong, M. & Pickert, V., 16 Apr 2019, In : The Journal of Engineering. 2019, 17, p. 4457-4460

Research output: Contribution to journalConference article

Open Access
File
Power electronics
Derivatives
Controllers
Power converters
DC-DC converters
82 Downloads (Pure)

CDGDroid: Android Malware Detection Based on Deep Learning Using CFG and DFG

Xu, Z., Ren, K., Qin, S. & Craciun, F., 11 Oct 2018, In : Formal Methods and Software Engineering. 11232 , p. 177-193

Research output: Contribution to journalConference article

Open Access
File
Data flow graphs
Flow graphs
Syntactics
Viruses
Learning systems

Dendritic Cell Algorithm with Fuzzy Inference System for Input Signal Generation

Elisa, N., Li, J., Zuo, Z. & Yang, L., 11 Aug 2018, In : Advances in Computational Intelligence Systems. 840, p. 203-214

Research output: Contribution to journalConference article

Fuzzy inference
Fuzzy rules
Intrusion detection
Dendritic Cells
Processing
21 Downloads (Pure)

Development of Research and Innovation Capacity Index of HEIs on Disaster Resilience Related Studies

Hayat, E., Liyange, C., Haigh, R. & Amaratunga, D., 1 Jan 2018, In : Procedia Engineering. 212, p. 1249-1256 8 p.

Research output: Contribution to journalConference article

Open Access
File
Disasters
Innovation
Education
52 Downloads (Pure)

Job Shop Planning and Scheduling for Manufacturers with Manual Operations

Yang, L., Li, J., Fei, C., Hackney, P. & Flanagan, M., 30 Aug 2018, In : Expert Systems.

Research output: Contribution to journalConference article

Open Access
File
Planning and Scheduling
Job Shop
Scheduling
Planning
Costs
40 Downloads (Pure)

Using jet mixing techniques to enhance direct filtration

Abdulrasool, A. A., Ahmad, S. S. & Hamad, F., 31 Mar 2018, In : Journal of engineering and sustainable development. 2, 3, p. 22-34

Research output: Contribution to journalConference article

Open Access
File
Pulse amplitude modulation
Kaolin
Flocculation
Natural resources
Polyacrylates
38 Downloads (Pure)

UTP Semantics for BigrTiMo

Xie, W., Zhu, H. & Qin, S., 11 Oct 2018, In : Formal Methods and Software Engineering. 11232 , p. 337-353

Research output: Contribution to journalConference article

Open Access
File
Semantics
Communication
Merging
Algebra
2017
96 Downloads (Pure)

Dynamic QoS Solution for Enterprise Networks Using TSK Fuzzy Interpolation

Li, J., Yang, L., Fu, X., Fei, C. & Qu, Y., 24 Aug 2017, In : IEEE International Fuzzy Systems Conference. Proceedings. p. 1-6 6 p.

Research output: Contribution to journalConference article

Open Access
File
Computer networks
Interpolation
Quality of service
Industry
Internet protocols
2 Citations (Scopus)

Engineered Cementitious Composites for Modern Civil Engineering Structures in Hot Arid Coastal Climatic Conditions

Kewalramani, M. A., Mohamed, O. A. & Syed, Z. I., 23 May 2017, In : Procedia Engineering. 180, p. 767-774 8 p.

Research output: Contribution to journalConference article

Open Access
Civil engineering
Composite materials
Cracks
Durability
Concretes

Performance of Earthquake-resistant RCC Frame Structures under Blast Explosions

Syed, Z. I., Mohamed, O. A., Murad, K. & Kewalramani, M., 1 Jan 2017, In : Procedia Engineering. 180, p. 82-90 9 p.

Research output: Contribution to journalConference article

Open Access
Explosions
Reinforced concrete
Earthquakes
Concrete construction
Materials properties
102 Downloads (Pure)

Structured Memetic Automation for Online Human-like Social Behavior Learning

Zeng, Y., Chen, X., Ong, Y. S., Tang, J. & Xiang, Y., 1 Feb 2017, In : IEEE Transactions on Evolutionary Computation. p. -

Research output: Contribution to journalConference article

Open Access
File
Social Behavior
Automation
Multi agent systems
Multi-agent Systems
Automata
2016
83 Downloads (Pure)

Bioinformatics challenges and potentialities in studying extreme environments

Angione, C., Lió, P., Pucciarelli, S., Can, B., Conway, M., Lotti, M., Bukhari, H., Mancini, A., Sezerman, U. & Telatin, A., 31 Jul 2016, In : Lecture Notes in Bioinformatics. 9874

Research output: Contribution to journalConference article

Open Access
File
1 Citation (Scopus)

Effect of large negative phase of blast loading on structural response of RC elements

Syed, Z. I., Mendis, P. & Rahman, S. A., 1 Apr 2016, In : MATEC Web of Conferences. 47, 02015.

Research output: Contribution to journalConference article

Open Access
Reinforced concrete
Stiffness
Finite element method
MATLAB
4 Citations (Scopus)

Non-linear Finite Element Analysis of Offshore Stainless Steel Blast Wall under High Impulsive Pressure Loads

Syed, Z. I., Mohamed, O. A. & Rahman, S. A., 20 May 2016, In : Procedia Engineering. 145, p. 1275-1282 8 p.

Research output: Contribution to journalConference article

Open Access
Stainless steel
Finite element method
Explosions
Degrees of freedom (mechanics)
Numerical models
12 Citations (Scopus)

Splitting Tensile Strength of Sustainable self-consolidating Concrete

Mohamed, O. A., Syed, Z. I. & Najm, O. F., 20 May 2016, In : Procedia Engineering. 145, p. 1218-1225 8 p.

Research output: Contribution to journalConference article

Open Access
Concrete mixtures
Cements
Tensile strength
Concretes
Minerals
77 Downloads (Pure)

TSK Inference with Sparse Rule Bases

Li, J., Qu, Y., Shum, H. & Yang, L., 7 Sep 2016, In : Advances in Computational Intelligence Systems. 513, p. 107-123

Research output: Contribution to journalConference article

Open Access
File
Fuzzy rules
Inference engines
Fuzzy inference
Interpolation
2015
82 Downloads (Pure)

Backpressure meets taxes: Faithful data collection in stochastic mobile phone sensing systems

Yang, S. S., Adeel, U. U. & McCann, J. J., 24 Aug 2015, In : Proceedings - IEEE INFOCOM.

Research output: Contribution to journalConference article

Open Access
File
Taxation
Mobile phones
Profitability
Servers
Costs

Creating Inclusive HMI Concepts for Future Cars Using Visual Scenario Storyboards Through Design Ethnography

Kunur, M., Langdon, P., Bradley, M., Bichard, J-A., Glazer, E., Doran, F., John Clarkson, P. & Loeillet, J. J., 2 Aug 2015, In : Lecture Notes in Computer Science. 9178

Research output: Contribution to journalConference article

Open Access
82 Downloads (Pure)

Droplet fragmentation: 3D imaging of a previously unidentified pore-scale process during multiphase flow in porous media

Pak, T., Butler, I. B., Geiger, S., van Dijke, M. & Sorbie, K. S. K., 17 Feb 2015, In : Proceedings of the National Academy of Sciences. 112, 7

Research output: Contribution to journalConference article

Open Access
File
multiphase flow
droplet
porous medium
fragmentation
pore space
3 Citations (Scopus)

Real time optimisation of industrial gas supply networks

Adamson, R., Hobbs, M., Silcock, A. & Montague, G., 1 Jul 2015, In : IFAC-PapersOnLine. 28, 8, p. 355-360 6 p.

Research output: Contribution to journalConference article

Gas supply
Hazardous materials spills
Liquids
Oxygen supply
Costs
2014

Damage assessment of offshore riser-guards under accidental vessel impact

Syed, Z. I., Palaniandy, D. K. & Liew, M. S., 1 Jan 2014, In : AES-ATEMA International Conference Series - Advances and Trends in Engineering Materials and their Applications. 2014-January, January, p. 163-171 9 p.

Research output: Contribution to journalConference article

Steel
Energy dissipation
Crude oil
Personnel
Finite element method

Isabelle/UTP: A Mechanised Theory Engineering Framework

Foster, S., Zeyda, F. & Woodcock, J., 2014, In : Lecture Notes in Computer Science. 8963, p. 21 41 p.

Research output: Contribution to journalConference article

93 Downloads (Pure)

Shape Analysis via Second-Order Bi-Abduction

Le, Q. L., Gherghina, C., Qin, S. & Chin, W-N., 2014, In : Lecture Notes in Computer Science. 8559, p. 52 68 p.

Research output: Contribution to journalConference article

Open Access
File
2013
90 Downloads (Pure)

Linear Logic Programming for Narrative Generation

Martens, C., Bosser, A-G., Ferreira, J. F. & Cavazza, M., 2013, In : Lecture Notes in Artificial Intelligence. 8148, p. 427-432

Research output: Contribution to journalConference article

Open Access
File
Logic programming
Directed graphs
2012

MDM: A Mode Diagram Modeling Framework

Wang, Z., Pu, G., Li, J., He, J., Qin, S., Larsen, K. G., Madsen, J. & Gu, B., 2012, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 105, p. 135-149

Research output: Contribution to journalConference article

Control systems
Spacecraft
Specification languages
Model checking
Industry
2006

Causal perception in virtual environments

Lugrin, J-L. J-L., Cavazza, M. O. M. & Buehner, M. M., 2006, In : Lecture Notes in Computer Science. 4073, p. 50-61

Research output: Contribution to journalConference article

Virtual Environments
Virtual reality
Experiments
Interactive Graphics
Virtual Reality

Quantum interferences of a single quantum dot in the case of detuning

De Vasconcellos, S. M., Stufler, S., Wegner, S. A., Ester, P., Zrenner, A. & Bichler, M., 1 Dec 2006, In : Physica Status Solidi (C) Current Topics in Solid State Physics. 3, 11, p. 3730-3733 4 p.

Research output: Contribution to journalConference article

quantum dots
interference
Schottky diodes
photocurrents
phase shift
2004
25 Citations (Scopus)

Modelling and animating cartoon hair with NURBS surfaces

Noble, P. & Tang, W., 25 Oct 2004, In : Proceedings of Computer Graphics International Conference, CGI. p. 60-67 8 p.

Research output: Contribution to journalConference article

Animation
Geometry
2003

A framework for a web-based toolset to support the teaching of software and web engineering

Lockyer, M., Griffiths, G., Hebbron, B. & Oates, B., 1 Dec 2003, In : Proceedings - Frontiers in Education Conference. 3

Research output: Contribution to journalConference article

Teaching
engineering
World Wide Web
Drawing (graphics)
Software engineering
1996
Flow of solids
Electrostatics
Sensors
Gases
Geometry