To the top

Page Manager: Webmaster
Last update: 8/24/2013 3:08 PM

Tell a friend about this page
Print version

Computer Engineering - University of Gothenburg, Sweden Till startsida
To content Read more about how we use cookies on

Find our researchers

Choose a subject and find our researchers and their publications.

Computer Engineering

Part of the research area Computer and Information Science

Latest publications

"Are You Planning to Follow Your Route?" The Effect of Route Exchange on Decision Making, Trust, and Safety
K. Aylward, R. Weber, Yemao Man, M. Lundh, S. N. MacKinnon
Journal of Marine Science and Engineering, Journal article 2020
Journal article

Verification of Smart Contract Business Logic: Exploiting a Java Source Code Verifier
Wolfgang Ahrendt, Richard Bubel, Joshua Ellul, Gordon J. Pace, Raúl Pardo et al.
Lecture Notes in Computer Science: Eigth International Conference on Fundamentals of Software Engineering (FSEN'19), volume 11761 of LNCS, pages 228-243, Springer, Conference paper 2019
Conference paper

A runtime monitoring framework to enforce invariants on reinforcement learning agents exploring complex environments
Piergiuseppe Mallozzi, Ezequiel Castellano, Patrizio Pelliccione, Gerardo Schneider, Kenji Tei
RoSE 2019, IEEE/ACM 2nd International Workshop on Robotics Software Engineering, p.5-12, IEEE, Conference paper 2019
Conference paper

A Multiscale Method for Discrete Fiber Network Models
Gustav Kettil, Axel Målqvist, Andreas Mark, Fredrik Edelvik, Mats Fredlund et al.
6th European Conference on Computational Mechanics (Solids, Structures and Coupled Problems). 7th European Conference on Computational Fluid Dynamics, 11-15 June 2018, Glasgow, UK, Conference contribution 2018
Conference contribution

Model Checking Social Network Models
Raul Pardo, Gerardo Schneider
Electronic Proceedings in Theoretical Computer Science, Journal article 2017
Journal article

Does the level of detail of UML diagrams affect the maintainability of source code? A family of experiments
A. M. Fernandez-Saez, M. Genero, D. Caivano, Michel Chaudron
Empirical Software Engineering, Journal article 2016
Journal article

Between Worlds: Securing Mixed JavaScript/ActionScript Multi-Party Web Content
Phu H. Phung, M. Monshizadeh, M. Sridhar, K. W. Hamlen, V. N. Venkatakrishnan
IEEE Transactions on Dependable and Secure Computing, Journal article 2015
Journal article

Showing 1 - 4 of 4

Name Title Organization
Bengtsson, Lars Senior lecturer Department of Physics
Schneider, Gerardo Professor Formal Methods
Staron, Miroslaw Professor Testing, Requirements, Innovation and Psychology (SE-TRIP)

Showing 1 - 4 of 4

Page Manager: Webmaster|Last update: 8/24/2013

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?