English
Related papers

Related papers: Proceedings Third International Workshop on Engine…

200 papers

Gestures are a topic of increasing interest in authentication and successful implementation as a security layer requires reliable gesture recognition. So far much work focuses on new ways to recognize gestures, leaving discussion on the…

Cryptography and Security · Computer Science 2014-08-28 Gradeigh D. Clark , Janne Lindqvist

As our lives, our businesses, and indeed our world economy become increasingly reliant on the secure operation of many interconnected software systems, the software engineering research community is faced with unprecedented research…

Software Engineering · Computer Science 2024-09-27 Marcel Böhme , Eric Bodden , Tevfik Bultan , Cristian Cadar , Yang Liu , Giuseppe Scanniello

Experimentation with software prototypes plays a fundamental role in software engineering research. In contrast to many other scientific disciplines, however, explicit support for this key activity in software engineering is relatively…

Software Engineering · Computer Science 2021-10-26 Klaus Schmid , Sascha El-Sharkawy , Christian Kröher

This technical report records and discusses the Second Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE2). The report includes a description of the alternative, experimental submission and review process, two…

In this chapter, we provide advice on how to effectively teach survey research based on lessons learned from several international teaching experiences on the topic and from conducting large-scale surveys published at various scientific…

Software Engineering · Computer Science 2024-08-01 Marcos Kalinowski , Allysson Allex Araújo , Daniel Mendez

The SYNT workshop aims to bring together researchers interested in the broad area of synthesis of computing systems. The goal is to foster the development of frontier techniques in automating the development of computing system.…

Logic in Computer Science · Computer Science 2017-11-29 Dana Fisman , Swen Jacobs

Security and safety are intertwined concepts in the world of computing. In recent years, the terms "sustainable security" and "sustainable safety" came into fashion and are being used referring to a variety of systems properties ranging…

Cryptography and Security · Computer Science 2022-11-16 Jan Tobias Muehlberg

This volume contains the proceedings of the Seventh Workshop on Model-Based Testing (MBT 2012), which was held on 25 March, 2012 in Tallinn, Estonia, as a satellite event of the European Joint Conferences on Theory and Practice of Software,…

Software Engineering · Computer Science 2012-02-28 Alexander K. Petrenko , Holger Schlingloff

As testified by new regulations like the European AI Act, worries about the human and societal impact of (autonomous) software technologies are becoming of public concern. Human, societal, and environmental values, alongside traditional…

Software Engineering · Computer Science 2024-12-30 Marco Autili , Martina De Sanctis , Paola Inverardi , Patrizio Pelliccione

This paper gives insights into the DynaSoS project, which aims to propose a cross-domain roadmap for systems engineering research into trustworthy dynamic systems-of-systems with autonomous components. The project follows a methodology that…

Software Engineering · Computer Science 2022-06-14 Rasmus Adler , Frank Elberzhager , Julien Siebert

Security is an important quality of software systems, but there is a huge lack of security experts. To overcome this gap, we aim to make security design knowledge reusable for architects by proposing the SecuRe recommendation approach to…

Software Engineering · Computer Science 2025-01-28 Alex R. Sabau , Dominik Lammers , Horst Lichter

The Wendelstein 7-X (W7-X) Safety Instrumented System (SIS) ensures personal safety and investment protection. The development and implementation of the SIS are based on the international safety standard for the process industry sector, IEC…

Instrumentation and Detectors · Physics 2019-09-04 J. Schacht , A. Woelk , S. Pingel , U. Herbst , D. Naujoks , the W7-X Team

New model of software safety is offered. Distribution of mistakes in program on stages of life cycle is researched. Study of ways of increase of reliability of software at help simulation program is leaded.

Software Engineering · Computer Science 2008-07-02 Arkadiy Khandjian

There has been growing interest within the computational science and engineering (CSE) community in engaging with software engineering research -- the systematic study of software systems and their development, operation, and maintenance --…

Software Engineering · Computer Science 2022-01-12 Reed Milewicz , Miranda Mundt

This volume contains the proceedings of EXPRESS/SOS 2023: the Combined 30th International Workshop on Expressiveness in Concurrency and the 20th Workshop on Structural Operational Semantics, which was held in Antwerp, Belgium, as an…

Logic in Computer Science · Computer Science 2023-09-13 Claudio Antares Mezzina , Georgiana Caltais

Sustainable Software Engineering (SSE) is slowly becoming an industry need for reasons including reputation enhancement, improved profits and more efficient practices. However, SSE has many definitions, and this is a challenge for…

Software Engineering · Computer Science 2025-09-17 Satwik Ghanta , Peggy Gregory , Gul Calikli

This paper reports our extended analysis of the recent literature addressing global software engineering (GSE), using a new Systematic Snapshot Mapping (SSM) technique. The primary purpose of this work is to understand what issues are being…

Software Engineering · Computer Science 2021-01-01 Bilal Raza , Stephen G. MacDonell , Tony Clear

This position paper explores the intricate relationship between social psychology and secure software engineering, underscoring the vital role social psychology plays in the realm of engineering secure software systems. Beyond a mere…

Software Engineering · Computer Science 2024-07-02 Lucas Gren , Robert Feldt

In this paper we describe our experience in designing and evaluating our graduate level computer security seminar course. In particular, our seminar is designed with two goals in mind. First, to instil critical thinking by teaching graduate…

Computers and Society · Computer Science 2020-03-26 Kashyap Thimmaraju , Julian Fietkau , Fatemeh Ganji

With increasing demands for flexible work models, many IT organizations have adapted to hybrid work that promises enhanced team productivity as well as work satisfaction. To achieve productive engineering practice, collaborative product…

Software Engineering · Computer Science 2023-05-01 Zhendong Wang , Yi-Hung Chou , Kayla Fathi , Tobias Schimmer , Peter Colligan , David Redmiles , Rafael Prikladnicki