Till sidans topp

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

Tipsa en vän
Utskriftsversion

Datorteknik - 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.

Datorteknik

Del av forskningsområdet Data- och informationsvetenskap

Senaste publikationer

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

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

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, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2018
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Model Checking Social Network Models
Raul Pardo, Gerardo Schneider
Electronic Proceedings in Theoretical Computer Science, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

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, Artikel i vetenskaplig tidskrift 2016
Artikel i vetenskaplig tidskrift

Software complexity metrics in general and in the context of ISO 26262 software verification requirements
Miroslaw Staron
Scandinavian Conference on Systems Safety, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2016
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

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, Artikel i vetenskaplig tidskrift 2015
Artikel i vetenskaplig tidskrift

LowLevel C programming for Designers
Lars Bengtsson, Lennart Lindh
online (e-book), Kindle (Amazon Digital Services), Lärobok 2015
Lärobok

Visar 1 - 4 av 4

Namn Titel Organisation
Bengtsson, Lars Universitetslektor Institutionen för fysik
Schneider, Gerardo Professor Formella metoder
Staron, Miroslaw Professor Testing, Requirements, Innovation and Psychology (SE-TRIP)

Visar 1 - 4 av 4

Visar 11 - 17 av 17

2014

Model-Based Engineering for Embedded Systems in Practice
Nadja Marko, Grischa Liebel, Daniel Sauter, Aleksander Lodwich, Matthias Tichy et al.
Göteborg, University of Gothenburg, Rapport 2014
Rapport

2012

Implementation of high-resolution time-to-digital converter in 8-bit microcontrollers
Lars Bengtsson
Review of Scientific Instruments, Artikel i vetenskaplig tidskrift 2012
Artikel i vetenskaplig tidskrift

2011

Formal Languages and Analysis of Contract-Oriented Software (FLACOS'09)
Gordon Pace, Gerardo Schneider
The Journal of Logic and Algebraic Programming, Elsevier, Samlingsverk 2011
Samlingsverk

2005

Mapping of Lophelia reefs in Norway: experiences and survey methods
Jan Helg Fosså, Bjørn Lindberg, Ole Christensen, Tomas Lundälv, Ingvald Svellingen et al.
In Freiwald A, Roberts JM (eds), Cold-water Corals and Ecosystems. Springer-Verlag, Berlin Heidelberg, Artikel i vetenskaplig tidskrift 2005
Artikel i vetenskaplig tidskrift

2004

LabView från början
Lars Bengtsson
Lund, Studentlitteratur, Lärobok 2004
Lärobok

2001

LabView från början
Lars Bengtsson
Lund, Studentlitteratur, Lärobok 2001
Lärobok

Visar 11 - 17 av 17

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?

Denna text är utskriven från följande webbsida:
http://gu.se/forskning/hitta-forskaren/?publicationPageNumber=2&selectedTab=3&subjectId=10206
Utskriftsdatum: 2020-02-29