Göteborgs universitet

research

∙ 03/18/2021

Requirement Engineering Challenges for AI-intense Systems Development

Availability of powerful computation and communication technology as wel...

Hans-Martin Heyn, et al. ∙

research

∙ 11/14/2019

CAGFuzz: Coverage-Guided Adversarial Generative Fuzzing Testing of Deep Learning Systems

Deep Learning systems (DL) based on Deep Neural Networks (DNNs) are more...

Pengcheng Zhang, et al. ∙

research

∙ 04/26/2022

Understanding the Impact of Edge Cases from Occluded Pedestrians for ML Systems

Machine learning (ML)-enabled approaches are considered a substantial su...

Jens Henriksson, et al. ∙

research

∙ 05/09/2017

Paving the Roadway for Safety of Automated Vehicles: An Empirical Study on Testing Challenges

The technology in the area of automated vehicles is gaining speed and pr...

Alessia Knauss, et al. ∙

research

∙ 11/03/2015

SWISH: SWI-Prolog for Sharing

Recently, we see a new type of interfaces for programmers based on web t...

Jan Wielemaker, et al. ∙

research

∙ 07/13/2017

A Web-Based Tool for Analysing Normative Documents in English

Our goal is to use formal methods to analyse normative documents written...

John J. Camilleri, et al. ∙

research

∙ 06/15/2017

Extracting Formal Models from Normative Texts

We are concerned with the analysis of normative texts - documents based ...

John J. Camilleri, et al. ∙

research

∙ 02/03/2017

Named Entity Evolution Recognition on the Blogosphere

Advancements in technology and culture lead to changes in our language. ...

Helge Holzmann, et al. ∙

research

∙ 05/06/2016

Detecting Context Dependence in Exercise Item Candidates Selected from Corpora

We explore the factors influencing the dependence of single sentences on...

Ildikó Pilán, et al. ∙

research

∙ 04/22/2016

SweLL on the rise: Swedish Learner Language corpus for European Reference Level studies

We present a new resource for Swedish, SweLL, a corpus of Swedish Learne...

Elena Volodina, et al. ∙

research

∙ 03/29/2016

A Readable Read: Automatic Assessment of Language Learning Materials based on Linguistic Complexity

Corpora and web texts can become a rich language learning resource if we...

Ildikó Pilán, et al. ∙

research

∙ 11/12/2015

A Multilingual FrameNet-based Grammar and Lexicon for Controlled Natural Language

Berkeley FrameNet is a lexico-semantic resource for English based on the...

Normunds Grūzītis, et al. ∙

research

∙ 12/18/2014

A Simple and Efficient Method To Generate Word Sense Representations

Distributed representations of words have boosted the performance of man...

Luis Nieto Piña, et al. ∙

research

∙ 12/22/2017

Behavioral software engineering - guidelines for qualitative studies

Researchers are increasingly recognizing the importance of human aspects...

Per Lenberg, et al. ∙

research

∙ 10/30/2017

The univalence axiom in cubical sets

In this note we show that Voevodsky's univalence axiom holds in the mode...

Marc Bezem, et al. ∙

research

∙ 01/05/2018

Monitoring Data Minimisation

Data minimisation is a privacy enhancing principle, stating that persona...

Srinivas Pinisetty, et al. ∙

research

∙ 04/03/2018

A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive Systems

The assurance of real-time properties is prone to context variability. P...

Arthur Rodrigues, et al. ∙

research

∙ 05/07/2018

T-Reqs: Tool Support for Managing Requirements in Large-Scale Agile System Development

Requirements engineering is crucial to support agile development of larg...

Eric Knauss, et al. ∙

research

∙ 07/11/2018

Formalizing Constructive Quantifier Elimination in Agda

In this paper a constructive formalization of quantifier elimination is ...

Jeremy Pope, et al. ∙

research

∙ 07/21/2018

What is not where: the challenge of integrating spatial representations into deep learning architectures

This paper examines to what degree current deep learning architectures f...

John D. Kelleher, et al. ∙

research

∙ 07/21/2018

Modular Mechanistic Networks: On Bridging Mechanistic and Phenomenological Models with Deep Neural Networks in Natural Language Processing

Natural language processing (NLP) can be done using either top-down (the...

Simon Dobnik, et al. ∙

research

∙ 08/24/2018

Using SWISH to realise interactive web based tutorials for logic based languages

Programming environments have evolved from purely text based to using gr...

Jan Wielemaker, et al. ∙

research

∙ 09/04/2018

The Effect of Context on Metaphor Paraphrase Aptness Judgments

We conduct two experiments to study the effect of context on metaphor pa...

Yuri Bizzoni, et al. ∙

research

∙ 09/06/2018

Standards of Validity and the Validity of Standards in Behavioral Software Engineering Research: The Perspective of Psychological Test Theory

Background. There are some publications in software engineering research...

Lucas Gren, et al. ∙

research

∙ 09/07/2018

Non-Technical Individual Skills are Weakly Connected to the Maturity of Agile Practices

Context: Existing knowledge in agile software development suggests that ...

Lucas Gren, et al. ∙

research

∙ 09/24/2018

On Using Blockchains for Safety-Critical Systems

Innovation in the world of today is mainly driven by software. Companies...

Christian Berger, et al. ∙

research

∙ 10/23/2018

Neural Network Models for Natural Language Inference Fail to Capture the Semantics of Inference

Neural network models have been very successful for natural language inf...

Aarne Talman, et al. ∙

research

∙ 10/23/2018

Testing the Generalization Power of Neural Network Models Across NLI Benchmarks

Neural network models have been very successful for natural language inf...

Aarne Talman, et al. ∙

research

∙ 11/15/2018

Survey of Computational Approaches to Diachronic Conceptual Change

Our languages are in constant flux driven by external factors such as cu...

Nina Tahmasebi, et al. ∙

research

∙ 02/16/2019

Normalization by Evaluation for Call-by-Push-Value and Polarized Lambda-Calculus

We observe that normalization by evaluation for simply-typed lambda-calc...

Andreas Abel, et al. ∙

research

∙ 02/25/2019

Microservice Architectures for Advanced Driver Assistance Systems: A Case-Study

The technological advancements of recent years have steadily increased t...

Jannik Lotz, et al. ∙

research

∙ 03/04/2019

Towards Structured Evaluation of Deep Neural Network Supervisors

Deep Neural Networks (DNN) have improved the quality of several non-safe...

Jens Henriksson, et al. ∙

research

∙ 03/18/2019

Social Identity in Software Development

An agile approach has become very popular over the last decade, which re...

Andreas Bäckevik, et al. ∙

research

∙ 03/18/2019

What software engineering can learn from research on affect in social psychology

Social psychology researchers have, traditionally, focused on the constr...

Lucas Gren, et al. ∙

research

∙ 03/23/2019

Referring to the recently seen: reference and perceptual memory in situated dialog

From theoretical linguistic and cognitive perspectives, situated dialog ...

John D. Kelleher, et al. ∙

research

∙ 04/04/2019

Is it Possible to Disregard Obsolete Requirements? - An Initial Experiment on a Potentially New Bias in Software Effort Estimation

Effort estimation is a complex area in decision-making, and is influence...

Lucas Gren, et al. ∙

research

∙ 04/04/2019

A fourth explanation to Brooks' Law - The aspect of group developmental psychology

Brooks' Law is often referred to in practice and states that adding manp...

Lucas Gren, et al. ∙

research

∙ 04/04/2019

Group development and group maturity when building agile teams: A qualitative and quantitative investigation at eight large companies

The agile approach to projects focuses more on close-knit teams than tra...

Lucas Gren, et al. ∙

research

∙ 04/04/2019

Trying to Increase the Mature Use of Agile Practices by Group Development Psychology Training - An Experiment

There has been some evidence that agility is connected to the group matu...

Lucas Gren, et al. ∙

research

∙ 04/04/2019

The Systems Approach to Change and the Agile Software Development Context

There is a diversity of models explaining organizational culture and how...

Lucas Gren, et al. ∙

research

∙ 04/04/2019

Agility Measurements Mismatch: A Validation Study on Three Agile Team Assessments in Software Engineering

Many tools have been created for measuring the agility of software teams...

Konstantinos Chronis, et al. ∙

research

∙ 04/04/2019

Useful Statistical Methods for Human Factors Research in Software Engineering: A Discussion on Validation with Quantitative Data

In this paper we describe the usefulness of statistical validation techn...

Lucas Gren, et al. ∙

research

∙ 04/04/2019

Group Maturity and Agility, Are They Connected? - A Survey Study

The focus on psychology has increased within software engineering due to...

Lucas Gren, et al. ∙

research

∙ 04/04/2019

The prospects of a quantitative measurement of agility: A validation study on an agile maturity model

Agile development has now become a well-known approach to collaboration ...

Lucas Gren, et al. ∙

research

∙ 04/04/2019

Work Motivational Challenges Regarding the Interface Between Agile Teams and a Non-Agile Surrounding Organization: A case study

There are studies showing what happens if agile teams are introduced int...

Lucas Gren, et al. ∙

research

∙ 04/06/2019

Usability in the Larger Reality: A Contrarian Argument for the Importance of Social and Political Considerations

Usability engineering is situated in a much larger social and institutio...

Asad Sayeed, et al. ∙

research

∙ 04/08/2019

The Unfulfilled Potential of Data-Driven Decision Making in Agile Software Development

With the general trend towards data-driven decision making (DDDM), organ...

Richard Berntsson Svensson, et al. ∙

research

∙ 04/05/2019

Learning more from crossing levels: Investigating agility at three levels of the organization

Scholars have tried to explain how organizations can build agile teams b...

Lucas Gren, et al. ∙

research

∙ 04/05/2019

Social Influence in Agile Requirements Engineering

Agile requirements engineering implies more complex communication patter...

Lucas Gren, et al. ∙

research

∙ 04/05/2019

On the Relation Between Unit Testing and Code Quality

Unit testing has been considered as having a key role in building high q...

Lucas Gren, et al. ∙

Göteborgs universitet

Featured Researchers