Carl-Johan Seger

Forskningsprofessor at Chalmers, Computer Science and Engineering (Chalmers), Functional Programming

Showing 1 publications

2017

Symbolic trajectory evaluation for word-level verification: theory and implementation

S. Chakraborty, Z. Khasidashvili, Carl-Johan Seger et al
Formal Methods in System Design. Vol. 50 (2-3), p. 317-352
Journal article

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

Showing 3 research projects

2018–2021

Securing Multi-Cycle Hardware Architectures

Carl-Johan Seger Functional Programming
Alejandro Russo Information Security
Intel Corporation

2018–

Octopi: Secure Programming for the Internet of Things

Koen Lindström Claessen Functional Programming
Carl-Johan Seger Functional Programming
John Hughes Functional Programming
Alejandro Russo Information Security
Mary Sheeran Functional Programming
Swedish Foundation for Strategic Research (SSF)

2018–2023

Octopi: Säker Programering för Sakernas Internet

Alejandro Russo Information Security
Mary Sheeran Functional Programming
John Hughes Functional Programming
Koen Lindström Claessen Functional Programming
Carl-Johan Seger Functional Programming
Swedish Foundation for Strategic Research (SSF)

There might be more projects where Carl-Johan Seger participates, but you have to be logged in as a Chalmers employee to see them.