A review of attack graph and attack tree visual syntax in cyber security

HS Lallie, K Debattista, J Bal - Computer Science Review, 2020 - Elsevier
Perceiving and understanding cyber-attacks can be a difficult task, and more effective
techniques are needed to aid cyber-attack perception. Attack modelling techniques (AMTs) …

Discrete event simulation and virtual reality use in industry: new opportunities and future trends

CJ Turner, W Hutabarat, J Oyekan… - IEEE Transactions on …, 2016 - ieeexplore.ieee.org
This paper reviews the area of combined discrete event simulation (DES) and virtual reality
(VR) use within industry. While establishing a state of the art for progress in this area, this …

Formal specifications from natural language

C Hahn, F Schmitt, JJ Tillman, N Metzger… - ar** of factory layouts
J Oyekan, W Hutabarat, C Turner, A Tiwari, N Prajapat… - Procedia CIRP, 2015 - Elsevier
There is an increasing need to eliminate wasted time and money during factory layout
design and subsequent construction. It is presently difficult for engineers to foresee if a …

[HTML][HTML] Specification and description language models automatic execution in a high-performance environment

P Fonseca i Casas, I Romanowska, J Garcia i Subirana - Computers, 2023 - mdpi.com
Specification and Description Language (SDL) is a language that can represent the
behavior and structure of a model completely and unambiguously. It allows the creation of …

[HTML][HTML] Using specification and description language for life cycle assesment in buildings

P Fonseca i Casas, A Fonseca i Casas - Sustainability, 2017 - mdpi.com
The definition of a Life Cycle Assesment (LCA) for a building or an urban area is a complex
task due to the inherent complexity of all the elements that must be considered. Furthermore …