conf.researchr.org / Kevin Baldor

Registered user since Mon 11 Aug 2014

Name: Kevin Baldor

Contributions

REBLS 2017Author of Verifiable Reactive Software within the REBELS-track
REBLS 2015Author of Real-Time Deadlines in Functional-Reactive Programming within the REBLS-track
DSLDIAuthor of SMAST: Constructing Languages for Multi-Disciplinary Engineering Problems within the DSLDI-track