Carl-Johan Seger

Forskningsprofessor vid Funktionell programmering

Kontaktuppgifter

Publikationer (5)
Projekt (3)

Visar 5 publikationer

2023

Bifrodie;st: Creating Hardware with Building Blocks

Jeremy Pope, Carl-Johan Seger

Forum on Specification and Design Languages. Vol. 2023-September

Paper i proceeding

2021

Formal Verification of Complex Data Paths: An Industrial Experience

Carl-Johan Seger

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 13047 LNCS, p. 697-716

Paper i proceeding

Visa projekt

2020

Stately: An FSM Design Tool.

Jeremy Pope, Jules Saget, Carl-Johan Seger

2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020

Paper i proceeding

2020

Cephalopode: A custom processor aimed at functional language execution for IoT devices.

Jeremy Pope, Jules Saget, Carl-Johan Seger

2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020

Paper i proceeding

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

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

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)

4 publikationer finns

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)

25 publikationer finns

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.