Toggle navigation
Sign in
Sign up
conf.researchr.org
/
John Baugh
conf.researchr.org general profile
FSE 2026 profile
STAF 2023 profile
STAF 2024 profile
Not registered as user
Name:
John Baugh
Country:
United States
Affiliation:
North Carolina State University
Contributions
2026
ESEC/FSE
Author of SmartIFSyn: Automated Information Flow Security Policy Synthesis for Smart Contracts within the Research Papers-track
2024
ICGT
Author of The ‘Causality’ Quagmire for Formalised Bond Graphs within the ICGT Research Papers-track
2023
ICGT
Author of Formalisation, Abstraction and Refinement of Bond Graphs within the Research Papers-track
Share
x
Tue 26 May 01:22