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
To content Read more about how we use cookies on

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, 412 58 Göteborg
Visiting address: Rännvägen 6 B, 412 58 Göteborg

Fax: +46 317723663
Web Page:

Head of Department: Charlotte Wiberg

Latest publications

An infinitary treatment of full mu-calculus
Bahareh Afshari, Gerhard Jäger, Graham E. Leigh
Lecture Notes in Computer Science, Springer, Conference paper 2019
Conference paper

A survey of challenges for runtime verification from advanced application domains (beyond software)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli et al.
Formal Methods in System Design, Journal article 2019
Journal article

Service Design in HCI Research: The Extended Value Co-creation Model
Daisy Yoo, Anya Ernest, Sofia Serholt, Eva Eriksson, Peter Dalsgaard
Proceedings of the Halfway to the Future Symposium 2019 , Nottingham, United Kingdom, ACM, Conference paper 2019
Conference paper

Skolem's Theorem in Coherent Logic
M. Bezem, Thierry Coquand
Fundamenta Informaticae, Journal article 2019
Journal article

Searching for optimal models: Comparing two encoding approaches
Stefan John, Alexandru Burdusel, Robert Bill, Daniel Strüber, Gabriele Taentzer et al.
Journal of Object Technology, Journal article 2019
Journal article


Showing 1 - 50 of 146

Name Title Phone Email
Erling Almér, Sanna +46 31-772 2964
Ionescu, Cezar +46 31-772 1089
Månhammar, Monica Administrativ koordinator +46 31-772 1677
Axelsson, Eva Administrator +46 31-772 1077
Cyren, Rebecca Administrator +46 31-772 1090
Kegel Andreasson, Elisabeth Administrator +46 31-772 1693
Pleén-Schreiber, Marianne Administrator +46 31-772 1701
Tornberg, Ann Administrator +46 31-772 1689
Assarsson, Ulf Associate Professor +46 31-772 17 75
Damaschke, Peter Associate Professor +46 31-772 5405
Jansson, Patrik Associate Professor +46 31-772 5415
Jonsson, Jan Associate Professor +46 31-772 5220
Kemp, Graham Associate Professor +46 31-772 5411
Lindström Claesson, Koen Associate Professor +46 31-772 5424
Andersson, Anneli Communications officer +46 31-772 1029
Ungman, Simon Communications officer +46 31-772 6485
Gustafsson, Birgitta Departmental Financial Administrator +46 31-772 1790
Ahrendt, Wolfgang Docent +46 31-772 1011
Bengtsson, Lars Docent +46 31-772 8441
Gulisano, Vincenzo Massimi Docent +46 31-772 6147
Heldal, Rogardt Docent +46 31-772 5408
Mckee, Sally Docent +46 31-772 1668
Olovsson, Tomas Docent +46 31-772 1688
Papatriantafilou, Marina Docent +46 31-772 5413
Prasad, Kuchi V S Docent
Russo, Alejandro Docent +46 31-772 6156
Schiller, Elad Docent +46 31-772 1052
Svensson, Lars Docent +46 31-772 17 04
Wedelin, Dag Docent +46 31-772 1022
Al Mamun, Abdullah Doctoral student +46 31-772 5646
Al-Sabbagh, Khaled Doctoral student
Alahyari, Hiva Doctoral student +46 31-772 5710
Almström Duregård, Jonas Doctoral student +46 31-7721028
Börjesson, Peter Doctoral student
Cauli, Claudia Doctoral student
Fathollah Nejad Asl, Negin Doctoral student +46 31-772 5211
Garcia, Sergio Doctoral student
Jolak, Rodi Doctoral student
Knyaginin, Dmitry Doctoral student +46 31-772 1669
Lange, Herbert Doctoral student
Lillieström, Ann Doctoral student +46 31-772 6169
Mahmood, Wardah Doctoral student
Manivannan, Madhavan Doctoral student +46 31-772 1669
Maro, Salome Doctoral student
Mohamad, Mazen Doctoral student
Mukelabai, Mukelabai Doctoral student
Nairat, Malik Ahmad Hassan Doctoral student
Pathan, Risat Doctoral student +46 31-772 5216
Schroeder, Jan Doctoral student
Sintorn, Erik Doctoral student

Showing 1 - 50 of 146

Showing 121 - 130 of 790


Supporting verification-driven incremental distributed design of components
Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi
22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018; Oxford; United Kingdom; 15 July 2018 through 17 July 2018; Code 215979, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Conference paper 2018
Conference paper

Property specification patterns for robotic missions
Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione, Carlo Ghezzi
ICSE '18 Proceedings of the 40th International Conference on Software Engineering, Conference paper 2018
Conference paper

Towards multi-robot applications planning under uncertainty
Claudio Menghi, Sergio Garcia, Patrizio Pelliccione, Jana Tumova
ICSE '18 Proceedings of the 40th International Conference on Software Engineering, Conference paper 2018
Conference paper

An Architecture for Decentralized, Collaborative, and Autonomous Robots
Sergio Garcia, Claudio Menghi, Patrizio Pelliccione, Thorsten Berger, Rebekka Wohlrab
Proceedings - 2018 IEEE 15th International Conference on Software Architecture, ICSA 2018, Conference paper 2018
Conference paper

Choosing Agile or Plan-driven Enterprise Resource Planning (ERP) Implementations - A study on 21 Implementations from 20 Companies
Lucas Gren, Alexander Wong, Erik Kristoffersson
4th International Workshop on Socio-Technical Perspective in IS development (STPIS'18) co-located with 30th International Conference on Advanced Information Systems Engineering (CAiSE 2018),, Conference paper 2018
Conference paper

Transferring interactive search-based software testing to industry
B. Marculescu, Robert Feldt, Richard Torkar, S. Poulding
Journal of Systems and Software, Journal article 2018
Journal article

Testing Natural Language Grammars
Inari Listenmaa
Chapter in book

Herbrand’s Theorem as Higher Order Recursion
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Mathematisches Forschungsinstitut Oberwolfach, Report 2018

Non-technical individual skills are weakly connected to the maturity of agile practices
Lucas Gren, Alessia Knauss, Christoph Johann Stettina
Information and Software Technology, Journal article 2018
Journal article

Showing 121 - 130 of 790

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

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?