Johan Eriksson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2008–2019
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | INDIN | Verification of Safety Functions Implemented in Rust - a Symbolic Execution based approach. | Marcus Lindner, Nils Fitinghoff, Johan Eriksson, Per Lindgren |
| 2018 | ETFA | Hardware-in-the-loop based WCET analysis with KLEE. | Marcus Lindner, Jorge Aparicio Rivera, Henrik Tjader, Per Lindgren, Johan Eriksson |
| 2017 | ETFA | Virtual reality commissioning in production systems preparation. | Martin Dahl, Anton Albo, Johan Eriksson, Julius Pettersson, Petter Falkman |
| 2015 | INDIN | Response time for IEC 61499 over Ethernet. | Per Lindgren, Johan Eriksson, Marcus Lindner, Andreas Lindner, David Pereira, Lus Miguel Pinho |
| 2014 | ETFA | Real-time execution of function blocks for Internet of Things using the RTFM-kernel. | Per Lindgren, Marcus Lindner, Andreas Lindner, Johan Eriksson, Valeriy Vyatkin |
| 2012 | IECON | Leveraging tinyos for integration in process automation and control systems. | Per Lindgren, Henrik Mkitaavola, Johan Eriksson, Jens Eliasson |
| 2008 | DATE | TinyTimber, Reactive Objects in C for Real-Time Embedded Systems. | Per Lindgren, Johan Eriksson, Simon Aittamaa, Johan Nordlander |