To the top

Page Manager: Webmaster
Last update: 9/12/2012 10:52 AM

Tell a friend about this page
Print version

Department of Computer Science and Engineering - University of Gothenburg, Sweden Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Department of Computer Science and Engineering

Part of Department of Computer Science and Engineering at IT Faculty

Department of Computer Science and Engineering
SE412 96 Göteborg
Delivery address: Rännvägen 6 B
Visiting address: Rännvägen 6 B, 412 58 Göteborg

Phone: +46 317721000

Latest publications

Facing the truth: Benchmarking the techniques for the evolution of variant-rich systems
Daniel Strüber, Mukelabai Mukelabai, Jacob Krüger, Stefan Fischer, Lukas Linsbauer et al.
ACM International Conference Proceeding Series, Conference paper 2019
Conference paper

Evolution of technical debt: An exploratory study
Abdullah Al Mamun, Antonio Martini, Miroslaw Staron, Christian Berger, Jörgen Hansson
Mensura 2019, Conference paper 2019
Conference paper

A Modeling Approach for Bioinformatics Workflows
Laiz Heckmann Barbalho de Figueroa, Rema Salman, Jennifer Horkhoff, Soni Chauhan, Marcela Davila Lopez et al.
The Practice of Enterprise Modeling - 12th {IFIP} Working Conference, PoEM 2019, Luxembourg, Luxembourg, November 27-29, 2019, Proceedings, Springer, Conference paper 2019
Conference paper

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

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

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

After you, please: browser extensions order attacks and countermeasures
Pablo Picazo-Sanchez, J. Tapiador, Gerardo Schneider
International Journal of Information Security, 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

People

Showing 1 - 2 of 2

Name Title Phone Email
Bove, Ana Senior lecturer +46 31-772 1020 bove@chalmers.se
Dimitrakakis, Christos Postdoctor +46 31-772 1044 chrdimi@chalmers.se

Showing 1 - 2 of 2

Showing 41 - 50 of 411

2018

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

Security of Pacemakers using Runtime Verification
Srinivas Pinisetty, Partha S. Roop, Vidula Sawant, Gerardo Schneider
16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'18), pages 51-61, IEEE, Conference paper 2018
Conference paper

Smart Contracts: A Killer Application for Deductive Source Code Verification
Wolfgang Ahrendt, Gordon Pace, Gerardo Schneider
Principled Software Development, pp 1-18, Springer, Conference paper 2018
Conference paper

Testing Meets Static and Runtime Verification
Jesus Mauricio Chimento, Wolfgang Ahrendt, Gerardo Schneider
6th Conference on Formal Methods in Software Engineering (FormaliSE@ICSE'18), pages 30-39. ACM, ACM, Conference paper 2018
Conference paper

Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification
Borzoo Bonakdarpour, Cesar Sanchez, Gerardo Schneider
ISoLA'18, part II, vol. 11245 of LNCS, pages 8-27., Conference paper 2018
Conference paper

Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions
César Sánchez, Gerardo Schneider, Martin Leucker
ISoLA (4), vol. 11247 of LNCS 2018: 275-279, Conference paper 2018
Conference paper

Showing 41 - 50 of 411

Page Manager: Webmaster|Last update: 9/12/2012
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?