C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Derek Egolf
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 7
Top Topics
Reactive Systems
Action Descriptions
Petri Net
Distributed Architecture
Top Venues
CoRR
CPP
SEFM
SP Workshops
</>
Publications
</>
Sam Lasser
,
Chris Casinghino
,
Derek Egolf
,
Kathleen Fisher
,
Cody Roux
Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation.
NFM
(2023)
Derek Egolf
,
Stavros Tripakis
Decoupled Fitness Criteria for Reactive Systems.
SEFM
(2023)
Derek Egolf
,
Stavros Tripakis
Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms.
ATVA (1)
(2023)
Derek Egolf
,
Stavros Tripakis
Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms.
CoRR
(2023)
Derek Egolf
,
Sam Lasser
,
Kathleen Fisher
Verbatim++: verified, optimized, and semantically rich lexing with derivatives.
CPP
(2022)
Derek Egolf
,
Stavros Tripakis
Decoupled Fitness Criteria for Reactive Systems.
CoRR
(2022)
Derek Egolf
,
Sam Lasser
,
Kathleen Fisher
Verbatim: A Verified Lexer Generator.
SP Workshops
(2021)