Göteborgs universitet

∙ GOTEBORG , Sweden ∙ 0 followers

The University is the third-oldest of the current Swedish universities and with 37,000 students and 6000 staff members it is one of the largest universities in the Nordic countries.

Requirement Engineering Challenges for AI-intense Systems Development

Availability of powerful computation and communication technology as wel...
03/18/2021 ∙ by Hans-Martin Heyn, et al. ∙ 10 ∙ share

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

Deep Learning systems (DL) based on Deep Neural Networks (DNNs) are more...
11/14/2019 ∙ by Pengcheng Zhang, et al. ∙ 7 ∙ share

read it
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...
05/09/2017 ∙ by Alessia Knauss, et al. ∙ 0 ∙ share

read it
SWISH: SWI-Prolog for Sharing

Recently, we see a new type of interfaces for programmers based on web t...
11/03/2015 ∙ by Jan Wielemaker, et al. ∙ 0 ∙ share

read it
A Web-Based Tool for Analysing Normative Documents in English

Our goal is to use formal methods to analyse normative documents written...
07/13/2017 ∙ by John J. Camilleri, et al. ∙ 0 ∙ share

read it
Extracting Formal Models from Normative Texts

We are concerned with the analysis of normative texts - documents based ...
06/15/2017 ∙ by John J. Camilleri, et al. ∙ 0 ∙ share

read it
Named Entity Evolution Recognition on the Blogosphere

Advancements in technology and culture lead to changes in our language. ...
02/03/2017 ∙ by Helge Holzmann, et al. ∙ 0 ∙ share

read it
Detecting Context Dependence in Exercise Item Candidates Selected from Corpora

We explore the factors influencing the dependence of single sentences on...
05/06/2016 ∙ by Ildikó Pilán, et al. ∙ 0 ∙ share

read it
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...
04/22/2016 ∙ by Elena Volodina, et al. ∙ 0 ∙ share

read it
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...
03/29/2016 ∙ by Ildikó Pilán, et al. ∙ 0 ∙ share

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

Berkeley FrameNet is a lexico-semantic resource for English based on the...
11/12/2015 ∙ by Normunds Grūzītis, et al. ∙ 0 ∙ share

read it
A Simple and Efficient Method To Generate Word Sense Representations

Distributed representations of words have boosted the performance of man...
12/18/2014 ∙ by Luis Nieto Piña, et al. ∙ 0 ∙ share

read it
Behavioral software engineering - guidelines for qualitative studies

Researchers are increasingly recognizing the importance of human aspects...
12/22/2017 ∙ by Per Lenberg, et al. ∙ 0 ∙ share

read it
The univalence axiom in cubical sets

In this note we show that Voevodsky's univalence axiom holds in the mode...
10/30/2017 ∙ by Marc Bezem, et al. ∙ 0 ∙ share

read it
Monitoring Data Minimisation

Data minimisation is a privacy enhancing principle, stating that persona...
01/05/2018 ∙ by Srinivas Pinisetty, et al. ∙ 0 ∙ share

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

The assurance of real-time properties is prone to context variability. P...
04/03/2018 ∙ by Arthur Rodrigues, et al. ∙ 0 ∙ share

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

Requirements engineering is crucial to support agile development of larg...
05/07/2018 ∙ by Eric Knauss, et al. ∙ 0 ∙ share

read it
Formalizing Constructive Quantifier Elimination in Agda

In this paper a constructive formalization of quantifier elimination is ...
07/11/2018 ∙ by Jeremy Pope, et al. ∙ 0 ∙ share

read it
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...
07/21/2018 ∙ by John D. Kelleher, et al. ∙ 0 ∙ share

read it
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...
07/21/2018 ∙ by Simon Dobnik, et al. ∙ 0 ∙ share

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

Programming environments have evolved from purely text based to using gr...
08/24/2018 ∙ by Jan Wielemaker, et al. ∙ 0 ∙ share

read it
The Effect of Context on Metaphor Paraphrase Aptness Judgments

We conduct two experiments to study the effect of context on metaphor pa...
09/04/2018 ∙ by Yuri Bizzoni, et al. ∙ 0 ∙ share

read it
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...
09/06/2018 ∙ by Lucas Gren, et al. ∙ 0 ∙ share

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

Context: Existing knowledge in agile software development suggests that ...
09/07/2018 ∙ by Lucas Gren, et al. ∙ 0 ∙ share

read it
On Using Blockchains for Safety-Critical Systems

Innovation in the world of today is mainly driven by software. Companies...
09/24/2018 ∙ by Christian Berger, et al. ∙ 0 ∙ share

read it
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...
10/23/2018 ∙ by Aarne Talman, et al. ∙ 0 ∙ share

read it
Testing the Generalization Power of Neural Network Models Across NLI Benchmarks

Neural network models have been very successful for natural language inf...
10/23/2018 ∙ by Aarne Talman, et al. ∙ 0 ∙ share

read it
Survey of Computational Approaches to Diachronic Conceptual Change

Our languages are in constant flux driven by external factors such as cu...
11/15/2018 ∙ by Nina Tahmasebi, et al. ∙ 0 ∙ share

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

We observe that normalization by evaluation for simply-typed lambda-calc...
02/16/2019 ∙ by Andreas Abel, et al. ∙ 0 ∙ share

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

The technological advancements of recent years have steadily increased t...
02/25/2019 ∙ by Jannik Lotz, et al. ∙ 0 ∙ share

read it
Towards Structured Evaluation of Deep Neural Network Supervisors

Deep Neural Networks (DNN) have improved the quality of several non-safe...
03/04/2019 ∙ by Jens Henriksson, et al. ∙ 0 ∙ share

read it
Social Identity in Software Development

An agile approach has become very popular over the last decade, which re...
03/18/2019 ∙ by Andreas Bäckevik, et al. ∙ 0 ∙ share

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

Social psychology researchers have, traditionally, focused on the constr...
03/18/2019 ∙ by Lucas Gren, et al. ∙ 0 ∙ share

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

From theoretical linguistic and cognitive perspectives, situated dialog ...
03/23/2019 ∙ by John D. Kelleher, et al. ∙ 0 ∙ share

read it
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...
04/04/2019 ∙ by Lucas Gren, et al. ∙ 0 ∙ share

read it
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...
04/04/2019 ∙ by Lucas Gren, et al. ∙ 0 ∙ share

read it
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...
04/04/2019 ∙ by Lucas Gren, et al. ∙ 0 ∙ share

read it
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...
04/04/2019 ∙ by Lucas Gren, et al. ∙ 0 ∙ share

read it
The Systems Approach to Change and the Agile Software Development Context

There is a diversity of models explaining organizational culture and how...
04/04/2019 ∙ by Lucas Gren, et al. ∙ 0 ∙ share

read it
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...
04/04/2019 ∙ by Konstantinos Chronis, et al. ∙ 0 ∙ share

read it
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...
04/04/2019 ∙ by Lucas Gren, et al. ∙ 0 ∙ share

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

The focus on psychology has increased within software engineering due to...
04/04/2019 ∙ by Lucas Gren, et al. ∙ 0 ∙ share

read it
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 ...
04/04/2019 ∙ by Lucas Gren, et al. ∙ 0 ∙ share

read it
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...
04/04/2019 ∙ by Lucas Gren, et al. ∙ 0 ∙ share

read it
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...
04/06/2019 ∙ by Asad Sayeed, et al. ∙ 0 ∙ share

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

With the general trend towards data-driven decision making (DDDM), organ...
04/08/2019 ∙ by Richard Berntsson Svensson, et al. ∙ 0 ∙ share

read it
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...
04/05/2019 ∙ by Lucas Gren, et al. ∙ 0 ∙ share

read it
Social Influence in Agile Requirements Engineering

Agile requirements engineering implies more complex communication patter...
04/05/2019 ∙ by Lucas Gren, et al. ∙ 0 ∙ share

read it
On the Relation Between Unit Testing and Code Quality

Unit testing has been considered as having a key role in building high q...
04/05/2019 ∙ by Lucas Gren, et al. ∙ 0 ∙ share

read it
The links between agile practices, interpersonal conflict, and perceived productivity

Agile processes explicitly focus more on team-work than more traditional...
04/05/2019 ∙ by Lucas Gren, et al. ∙ 0 ∙ share

read it

Göteborgs universitet

Featured Researchers