Carl-Johan Seger

Forskningsprofessor vid Funktionell programmering

Visar 1 publikationer

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

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Visar 3 forskningsprojekt

2018–2021

Securing Multi-Cycle Hardware Architectures

Carl-Johan Seger Funktionell programmering
Alejandro Russo Informationssäkerhet
Intel Corporation

2018–

Octopi: Säker Programmering för Sakernas Internet

Koen Lindström Claessen Funktionell programmering
Carl-Johan Seger Funktionell programmering
John Hughes Funktionell programmering
Alejandro Russo Informationssäkerhet
Mary Sheeran Funktionell programmering
Stiftelsen för Strategisk forskning (SSF)

2018–2023

Octopi: Säker Programering för Sakernas Internet

Alejandro Russo Informationssäkerhet
Mary Sheeran Funktionell programmering
John Hughes Funktionell programmering
Koen Lindström Claessen Funktionell programmering
Carl-Johan Seger Funktionell programmering
Stiftelsen för Strategisk forskning (SSF)

Det kan finnas fler projekt där Carl-Johan Seger medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.