Department of Computer Science and Engineering

A coordination protocol language for power grid operation control
Yehia Abd Alrahman, H. T. Vieira
Journal of Logical and Algebraic Methods in Programming, Journal article 2019
Journal article

Bayesian optimization in ab initio nuclear physics
A. Ekstrom, C. Forssen, C. Dimitrakakis, D. Dubhashi, H. T. Johansson et al.
Journal of Physics G-Nuclear and Particle Physics, Journal article 2019
Journal article

Value Co-creation in Design of mHealth Applications for Maternal Healthcare Service Delivery
Hawa Nyende
IFIP Advances in Information and Communication Technology book series (IFIPAICT, volume 551), Conference paper 2019
Conference paper

Bayesian localization of CNV candidates in WGS data within minutes
John Wiedenhoeft, A. Cagan, R. Kozhemyakina, R. Gulevich, Alexander Schliep
Algorithms for Molecular Biology, Journal article 2019
Journal article

A calculus for collective-adaptive systems and its behavioural theory
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Information and Computation, Journal article 2019
Journal article

Software microbenchmarking in the cloud. How bad is it really?
C. Laaber, Joel Scheuner, Philipp Leitner
Empirical Software Engineering, Journal article 2019
Journal article

Testing for coordination fidelity
Yehia Abd Alrahman, Claudio Antares Mezzina, Hugo Torres Vieira
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Chapter in book 2019
Chapter in book

Effects of measurements on correlations of software code metrics
Abdullah Al Mamun, Christian Berger, J. Hansson
Empirical Software Engineering, Journal article 2019
Journal article

Canonicity for Cubical Type Theory
Simon Huber
Journal of Automated Reasoning, Journal article 2019
Journal article

The Univalence Axiom in Cubical Sets
M. Bezem, Thierry Coquand, Simon Huber
Journal of Automated Reasoning, Journal article 2019
Journal article

Timed Epistemic Knowledge Bases for Social Networks
Raul Pardo, César Sánchez, Gerardo Schneider
Formal Methods (FM'18), vol. 10951 of LNCS, pages 185-202., Springer, Conference paper 2018
Conference paper

Runtime Verification of Hyperproperties for Deterministic Programs
Srinivas Pinisetty, Gerardo Schneider, David Sands
6th Conference on Formal Methods in Software Engineering (FormaliSE@ICSE'18), pages 20-29. ACM, ACM, Conference paper 2018
Conference paper

Privacy Compliance Via Model Transformations
Thibaud Antignac, Riccardo Scandariato, Gerardo Schneider
International Workshop on Privacy Engineering (IWPE'18) at IEEE EuroS&P, IEEE, Conference paper 2018
Conference paper

Tackling combinatorial explosion: A study of industrial needs and practices for analyzing highly configurable systems
Mukelabai Mukelabai, Damir Nešić, Salome Maro, Thorsten Berger, Jan-Philipp Steghöfer
ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, Conference paper 2018
Conference paper

An optimization problem related to bloom filters with bit patterns
Peter Damaschke, Alexander Schliep
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Conference paper 2018
Conference paper

Clustering Vehicle Maneuver Trajectories Using Mixtures of Hidden Markov Models
John Martinsson, Nasser Mohammadiha, Alexander Schliep
2018 21st International Conference on Intelligent Transportation Systems (ITSC), IEEE, Conference paper 2018
Conference paper

Statistical Sensor Modelling for Autonomous Driving Using Autoregressive Input-Output HMMs
Edvin Listo Zec, Nasser Mohammadiha, Alexander Schliep
21st International Conference on Intelligent Transportation Systems, {ITSC} 2018, IEEE, Conference paper 2018
Conference paper

Automatic Blood Glucose Prediction with Confidence Using Recurrent Neural Networks
John Martinsson, Alexander Schliep, Björn Eliasson, Christian Meijner, Simon Persson et al.
Proceedings of the 3rd International Workshop on Knowledge Discovery in Healthcare Data co-located with the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence {(IJCAI-ECAI} 2018, CEUR, Conference paper 2018
Conference paper

The Merits of Situated Evaluation as an Alternative UX Evaluation Method to Understand Appropriation
Peter Börjesson, Wolmet Barendregt, Eva Eriksson, Olof Torgersson, Liza Arvidsson et al.
Interaction Design & Architecture(s), Journal article 2018
Journal article

COST Action IC1402 Runtime Verification Beyond Monitoring
Christian Colombo, Yliès Falcone, Martin Leucker, Gilles Reger, César Sánchez et al.
18th International Conference on Runtime Verification (RV'18), vol. 11237 of LNCS, pages 18-26, Springer, Conference paper 2018
Conference paper