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
Börjesson, Peter Doctoral student
Lange, Herbert Doctoral student
Picazo-Sanchez, Pablo Postdoctor
Gerdes, Alex Senior lecturer
Almström Duregård, Jonas Senior lecturer
Garcia, Sergio Doctoral student
Mukelabai, Mukelabai Doctoral student
Schroeder, Jan Doctoral student
Berger, Thorsten Senior lecturer
Tuma, Katja Doctoral student
de Oliveira Neto, Francisco Universitetslektor/​biträdande
Horkoff, Jennifer Universitetslektor/​biträdande
Schliep, Alexander Senior lecturer
Mohamad, Mazen Doctoral student
Grohe, Birgit Lecturer
Andersson Vaughan, Jenny Finance officer
Lind, Jenny Education administrator
Strüber, Daniel Postdoctor
Mahmood, Wardah Doctoral student
Cauli, Claudia Doctoral student
Kronberg, Henrik Finance assistant
Piterman, Nir Senior lecturer
Nairat, Malik Ahmad Hassan Doctoral student
Lenberg, Per Researcher
Bernskiöld, Oscar Finance officer
Perelli, Giuseppe Postdoctor
Al-Sabbagh, Khaled Doctoral student
Maro, Salome Doctoral student
Hebig, Regina Senior lecturer
Calikli, Gul Universitetslektor/​biträdande
Burden, Håkan Universitetslektor, adjungerad
Mousavi, Mohammadreza Professor, gäst
Jolak, Rodi Doctoral student
Durisic, Darko Universitetslektor, adjungerad
Samuelsson-Gamboa, Mafalda Lecturer
Man, Yemao Lecturer
Pelliccione, Patrizio Senior lecturer
Abd Alrahman, Yehia Postdoctor
Gay, Gregory Universitetslektor/​biträdande
Prasad, Kuchi V S Docent
Nordlander, Johan Visiting Research Fellow
Gorschek, Tony Visiting Lecturer
Sveningsson, Josef Postdoctoral Research Fellow
Sintorn, Erik Doctoral student
Almström Duregård, Jonas Doctoral student +46 31-7721028
Hughes, John Professor +46 31-772 1001
von Hacht, Joachim Lecturer +46 31-772 1003
Holmström, Erland Lecturer +46 31-772 1007
Ahrendt, Wolfgang Docent +46 31-772 1011
Skansholm, Jan Senior Lecturer +46 31-772 1012

Showing 1 - 50 of 146

Showing 51 - 60 of 790


Involving External Stakeholders in Project Courses
Jan-Philipp Steghöfer, H. Burden, Regina Hebig, Gul Calikli, Robert Feldt et al.
ACM Transactions on Computing Education, Journal article 2018
Journal article

Vetting automatically generated trace links: What information is useful to human analysts?
Salome Maro, Jan-Philipp Steghöfer, Jane Hayes, Jane Cleland-Huang, Miroslaw Staron
Proceedings - 2018 IEEE 26th International Requirements Engineering Conference, RE 2018, Conference paper 2018
Conference paper

Editing with Search and Exploration for Controlled Languages
Krasimir Angelov, M. B. Mechura
Controlled Natural Language / editors: Brian Davis, C. Maria Keet, Adam Wyner, IOS Press, Chapter in book 2018
Chapter in book

Transparency and Contracts: Continuous Integration and Delivery in the Automotive Ecosystem
Rob van der Valk, Patrizio Pelliccione, Patricia Lago, Rogardt Heldal, Eric Knauss et al.
40th International Conference on Software Engineering: Software Engineering in Practice Track (ICSE-SEIP 2018), 27 May - 3 June 2018 in Gothenburg, Sweden. , Association for Computing Machinery, Conference paper 2018
Conference paper

Boundary Objects in Agile Practices: Continuous Management of Systems Engineering Artifacts in the Automotive Domain
Rebekka Wohlrab, Patrizio Pelliccione, Eric Knauss, Mats Larsson
ICSSP ’18: International Conference on the Software and Systems Process 2018 (ICSSP ’18), May 26–27, 2018, Gothenburg, Sweden., New York, Association for Computing Machinery, Conference paper 2018
Conference paper

Back to the Drawing Board: Bringing Security Constraints in an Architecture-centric Software Development Process
Stefanie Jasser, Katja Tuma, Riccardo Scandariato, Matthias Riebisch
Proceedings of the 4th International Conference on Information Systems Security and Privacy, Conference paper 2018
Conference paper

Resourceful Dependent Types
Andreas Abel
24th International Conference on Types for Proofs and Programs (TYPES 2018), Braga, Portugal, 18-21 June 2018., Conference contribution 2018
Conference contribution

What Negative Space has to do with Design Fixations in HCI Research
Sara Ljungblad, Maral Babapour Chafi
Addressing designed form - demarcating design., Kolding , Design School Kolding , Conference paper 2018
Conference paper

A lingua franca for security by design
Alexander Van Den Berghe, Koen Yskout, Riccardo Scandariato, Wouter Joosen
2018 IEEE Cybersecurity Development Conference, SecDev 2018, Conference paper 2018
Conference paper

Showing 51 - 60 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?