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

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: www.chalmers.se/sv/institutioner/cse
Email: cse@cse.gu.se

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

People

Showing 1 - 50 of 146

Name Title Phone Email
Börjesson, Peter Doctoral student borjessp@chalmers.se
Lange, Herbert Doctoral student langeh@chalmers.se
Picazo-Sanchez, Pablo Postdoctor pablo.picazo-sanchez@cse.gu.se
Gerdes, Alex Senior lecturer alexg@chalmers.se
Almström Duregård, Jonas Senior lecturer jonas.duregard@chalmers.se
Garcia, Sergio Doctoral student sergio.garcia@gu.se
Mukelabai, Mukelabai Doctoral student muka@chalmers.se
Schroeder, Jan Doctoral student jan.schroder@gu.se
Berger, Thorsten Senior lecturer thorsten.berger@gu.se
Tuma, Katja Doctoral student katja.tuma@cse.gu.se
de Oliveira Neto, Francisco Universitetslektor/​biträdande francisco.de.oliveira.neto@gu.se
Horkoff, Jennifer Universitetslektor/​biträdande jenho@chalmers.se
Schliep, Alexander Senior lecturer alexander.schliep@cse.gu.se
Mohamad, Mazen Doctoral student mazen.mohamad@gu.se
Grohe, Birgit Lecturer birgit.grohe@gu.se
Andersson Vaughan, Jenny Finance officer jennyva@chalmers.se
Lind, Jenny Education administrator jenny.lind@cse.gu.se
Strüber, Daniel Postdoctor daniel.struber@gu.se
Mahmood, Wardah Doctoral student wardah.mahmood@gu.se
Cauli, Claudia Doctoral student claudia.cauli@gu.se
Kronberg, Henrik Finance assistant henrik.kronberg@cse.gu.se
Piterman, Nir Senior lecturer piterman@chalmers.se
Nairat, Malik Ahmad Hassan Doctoral student malik.nairat@gu.se
Lenberg, Per Researcher per.lenberg@gu.se
Bernskiöld, Oscar Finance officer oscberns@chalmers.se
Perelli, Giuseppe Postdoctor giuseppe.perelli@gu.se
Al-Sabbagh, Khaled Doctoral student khaled.al-sabbagh@gu.se
Maro, Salome Doctoral student salomem@chalmers.se
Hebig, Regina Senior lecturer hebig@chalmers.se
Calikli, Gul Universitetslektor/​biträdande gul.calikli@gu.se
Burden, Håkan Universitetslektor, adjungerad hakan.burden@gu.se
Mousavi, Mohammadreza Professor, gäst mohammadreza.mousavi@gu.se
Jolak, Rodi Doctoral student jolak@chalmers.se
Durisic, Darko Universitetslektor, adjungerad darko.durisic@gu.se
Samuelsson-Gamboa, Mafalda Lecturer mafalda.gamboa@chalmers.se
Man, Yemao Lecturer yemao@chalmers.se
Pelliccione, Patrizio Senior lecturer patrizio@chalmers.se
Abd Alrahman, Yehia Postdoctor yehia.abd.alrahman@gu.se
Gay, Gregory Universitetslektor/​biträdande gregory.gay@gu.se
Prasad, Kuchi V S Docent prasad@chalmers.se
Nordlander, Johan Visiting Research Fellow johnordl@chalmers.se
Gorschek, Tony Visiting Lecturer gorschek@chalmers.se
Sveningsson, Josef Postdoctoral Research Fellow josefs@chalmers.se
Sintorn, Erik Doctoral student erik.sintorn@chalmers.se
Almström Duregård, Jonas Doctoral student +46 31-7721028 jonas.duregard@chalmers.se
Hughes, John Professor +46 31-772 1001 rjmh@chalmers.se
von Hacht, Joachim Lecturer +46 31-772 1003 joachim.hacht@chalmers.se
Holmström, Erland Lecturer +46 31-772 1007 erland@chalmers.se
Ahrendt, Wolfgang Docent +46 31-772 1011 ahrendt@chalmers.se
Skansholm, Jan Senior Lecturer +46 31-772 1012 skansholm@chalmers.se

Showing 1 - 50 of 146

Showing 51 - 60 of 790

2018

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
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?