English
Related papers

Related papers: Are You Ready? Towards the Engineering of Forensic…

200 papers

The potential benefits of autonomous systems have been driving intensive development of such systems, and of supporting tools and methodologies. However, there are still major issues to be dealt with before such development becomes…

Software Engineering · Computer Science 2022-05-25 David Harel , Assaf Marron , Joseph Sifakis

The purpose of this work is to design and implement a plugin-based environment that allows to integrate forensic tools working together to support programming tasks and addition of new tools. Integration is done through GUI components. The…

Cryptography and Security · Computer Science 2009-07-27 Marc-André Laverdière , Serguei A. Mokhov , Suhasini Tsapa , Djamel Benredjem

We propose here to look at how abstract a model of a usable system can be, but still say something useful and interesting, so this paper is an exercise in abstraction and formalisation, with usability-of-design as an example target use. We…

Human-Computer Interaction · Computer Science 2024-03-14 Steve Reeves

This paper provides a survey of the industry perspective on System Resiliency and Resiliency design approaches and briefly touches on Organizational Resiliency topics. Beginning with a composite definition of Resiliency, System…

Software Engineering · Computer Science 2020-10-13 James J. Cusick

Recidivism prediction provides decision makers with an assessment of the likelihood that a criminal defendant will reoffend that can be used in pre-trial decision-making. It can also be used for prediction of locations where crimes most…

Machine Learning · Statistics 2019-10-07 Eduardo Soares , Plamen Angelov

Criminal investigations are inherently complex as they typically involve interactions among various actors like investigators, prosecutors, and defendants. The pervasive integration of technology in daily life adds an extra layer of…

Cryptography and Security · Computer Science 2024-05-17 Mario Raciti , Giampaolo Bella

Context: Consistent requirements and system specifications are essential for the compliance of software systems towards the General Data Protection Regulation (GDPR). Both artefacts need to be grounded in the original text and conjointly…

Software Engineering · Computer Science 2025-11-03 Oleksandr Kosenkov , Ehsan Zabardast , Davide Fucci , Daniel Mendez , Michael Unterkalmsteiner

In an ever-changing world, even software that fulfils its requirements may have un-envisioned aftereffects with significant impacts. We explored how such impacts can be better understood at the pre-design phase in support of organisational…

Software Engineering · Computer Science 2023-06-19 Andrew Darby , Pete Sawyer , Nelly Bencomo

System safety refers to a diverse engineering discipline assessing and improving various aspects of safety in socio-technical systems and their software-intensive sub-systems. While system safety has been a vital area of applied research…

Software Engineering · Computer Science 2018-12-21 Mario Gleirscher , Anne Nyokabi

Given the ever-increasing prevalence of technology in modern life, there is a corresponding increase in the likelihood of digital devices being pertinent to a criminal investigation or civil litigation. As a direct consequence, the number…

Cryptography and Security · Computer Science 2016-04-14 David Lillis , Brett Becker , Tadhg O'Sullivan , Mark Scanlon

Today a lot of digital evidences for crime investigation includes a geospatial component. This data comes from various sources such as smartphones, tablets, navigation systems, digital camera with global positioning system (GPS), etc. The…

Cryptography and Security · Computer Science 2017-04-12 Almar Tillekens , Nhien-An Le-Khac , Thanh-Thoa Pham-Thi

Cyber-physical production systems increasingly involve collaborative robotic missions, requiring more demand for robust and safe missions. Industries rely on risk assessments to identify potential failures and implement measures to mitigate…

Robotics · Computer Science 2025-06-17 Razan Ghzouli , Atieh Hanna , Endre Erös , Rebekka Wohlrab

Model-based engineering promises to boost productivity and quality of complex systems development. In the context of safety-critical systems, a traditionally highly regulated and conservative domain, the use of models gained importance in…

Software Engineering · Computer Science 2021-06-07 Marc Zeller , Daniel Ratiu , Kai Hoefig

Over the last decade we have witnessed an increasing use of data processing in embedded systems. Where in the past the data processing was limited (if present at all) to the handling of a small number of "on-off control signals", more…

Software Engineering · Computer Science 2013-11-15 Boudewijn R. Haverkort

Procedural generation is used across game design to achieve a wide variety of ends, and has led to the creation of several game subgenres by injecting variance, surprise or unpredictability into otherwise static designs. Information games…

Artificial Intelligence · Computer Science 2020-04-07 Michael Cook

Achieving safe and robust autonomy is the key bottleneck on the path towards broader adoption of autonomous vehicles technology. This motivates going beyond extrinsic metrics such as miles between disengagement, and calls for approaches…

This paper examines the problems faced by Law Enforcement in searching large quantities of electronic evidence. It examines the use of ontologies as the basis for new forensic software filters and provides a proof of concept tool based on…

Cryptography and Security · Computer Science 2014-08-01 Jill Slay , Fiona Schulz

Critical systems, such as those used in healthcare, defence, and disaster management, demand rigorous requirements engineering to ensure safety and reliability. Yet, much of this rigour has traditionally focused on technical assurance,…

Software Engineering · Computer Science 2025-11-18 Anuradha Madugalla , Jixuan Dong , Kai Lyne Loi , Matthew Crossman , John Grundy

Development and exploitation of technology have led to the further expansion and complexity of digital crimes. On the other hand, the growing volume of data and, subsequently, evidence is a severe challenge in digital forensics. In recent…

Cryptography and Security · Computer Science 2023-06-09 Tahereh Nayerifard , Haleh Amintoosi , Abbas Ghaemi Bafghi , Ali Dehghantanha

Context and motivation: Requirements engineering of complex IT systems needs to manage the many, and often vague and conflicting, organisational rules that exist in the context of a modern enterprise. At the same time, IT systems affect the…

Software Engineering · Computer Science 2024-02-22 Jöran Lindeberg , Eric-Oluf Svee , Martin Henkel