Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2013-08-15 14:34

Tipsa en vän
Utskriftsversion

Datavetenskap (datalogi) - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Hitta forskaren!

Välj ämne och hitta forskare och publikationer i vår forskningsdatabas.

Datavetenskap (datalogi)

Del av forskningsområdet Data- och informationsvetenskap

Senaste publikationer

Flaws in Flows: Unveiling Design Flaws via Information Flow Analysis
Katja Tuma, Riccardo Scandariato, Musard Balliu
2019 IEEE International Conference on Software Architecture (ICSA), IEEE, Paper i proceeding 2019
Paper i proceeding

Feasibility analysis of Inter-Pulse Intervals based solutions for cryptographic token generation by two electrocardiogram sensors
Lara Ortiz-Martin, Pablo Picazo-Sanchez, Pedro Peris-Lopez, Juan Tapiador, Gerardo Schneider
Future generations computer systems, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

A Pragmatic View on Code Complexity Management
V. Antinyan, A. B. Sandberg, Miroslaw Staron
Computer, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

Current and Future Bots in Software Development
Linda Erlenhov, Francisco Gomes de Oliveira Neto, Riccardo Scandariato, Philipp Leitner
First Workshop on Bots in Software Engineering, (BotSE @ICSE), Paper i proceeding 2019
Paper i proceeding

The UNITE database for molecular identification of fungi: handling dark taxa and parallel taxonomic classifications.
R. Henrik Nilsson, Karl-Henrik Larsson, Andy F S Taylor, Johan Bengtsson-Palme, Thomas S Jeppesen et al.
Nucleic acids research, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

Mycobiome diversity: high-throughput sequencing and identification of fungi.
R. Henrik Nilsson, Sten Anslan, Mohammad Bahram, Christian Wurzbacher, Petr Baldrian et al.
Nature reviews. Microbiology, Forskningsöversiktsartikel 2019
Forskningsöversiktsartikel

Latex Gloves: Protecting Browser Extensions from Probing and Revelation Attacks
Alexander Sjösten, Steven Van Acker, Pablo Picazo-Sanchez, Andrei Sabelfeld
Network and Distributed System Security Symposium (NDSS), Paper i proceeding 2019
Paper i proceeding

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, Paper i proceeding 2018
Paper i proceeding

23rd International Conference on Types for Proofs and Programs, TYPES 2017, May 29-June 1, 2017, Budapest, Hungary.
Andreas Abel, Fredrik Nordvall Forsberg, Ambrus Kaposi
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Samlingsverk 2018
Samlingsverk

Resourceful Dependent Types
Andreas Abel
24th International Conference on Types for Proofs and Programs (TYPES 2018), Braga, Portugal, 18-21 June 2018., Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2018
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Visar 101 - 119 av 119

Namn Titel Organisation
Schliep, Alexander Universitetslektor Data Science (DS)
Schneider, Gerardo Professor Formella metoder
Staron, Miroslaw Professor Testing, Requirements, Innovation and Psychology (SE-TRIP)
Stibrant Sunnerhagen, Katharina Professor/överläkare Institutionen för neurovetenskap och fysiologi
Svantesson, Sten Doktorand Institutionen för biologi och miljövetenskap
Tahmasebi, Nina Forskare Institutionen för svenska språket
Torgersson, Olof Universitetslektor Interaktionsdesign
Töpel, Mats Forskare Institutionen för marina vetenskaper
Wilhelmsson, Kenneth It-samordnare Institutionen för vårdvetenskap och hälsa
Virk, Shafqat Mumtaz Forskare Institutionen för svenska språket

Visar 101 - 119 av 119

Visar 21 - 30 av 439

2018

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, Paper i proceeding 2018
Paper i proceeding

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, Paper i proceeding 2018
Paper i proceeding

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

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, Paper i proceeding 2018
Paper i proceeding

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., Paper i proceeding 2018
Paper i proceeding

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, Paper i proceeding 2018
Paper i proceeding

Is privacy by construction possible?
Gerardo Schneider
ISoLA'18, part I, volume 11244 of LNCS, pages 471-485, Springer, Paper i proceeding 2018
Paper i proceeding

Cognition as Embodied Morphological Computation
Gordana Dodig-Crnkovic
PT-AI: 3rd Conference on "Philosophy and Theory of Artificial Intelligence Philosophy and Theory of Artificial Intelligence 2017, Paper i proceeding 2018
Paper i proceeding

Using Self-healing to Increase Robustness of Handling In-Browser Third-Party Content
S. Nadi, J. Hedstrom, Miroslaw Staron
44TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2018) , Paper i proceeding 2018
Paper i proceeding

An Automated Approach for Classifying Reverse-engineered and Forward-engineered UML Class Diagrams
M. H. Osman, Truong Ho-Quang, Michel Chaudron
44TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2018) , Paper i proceeding 2018
Paper i proceeding

Visar 21 - 30 av 439

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2013-08-15
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?