Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kevin Baldor
conf.researchr.org general profile
SPLASH 2014 profile
SPLASH 2015 profile
SPLASH 2017 profile
Registered user since Mon 11 Aug 2014
Name:
Kevin Baldor
Contributions
2017
REBLS
Author of Verifiable Reactive Software within the REBELS-track
2015
REBLS
Author of Real-Time Deadlines in Functional-Reactive Programming within the REBLS-track
2014
DSLDI
Author of SMAST: Constructing Languages for Multi-Disciplinary Engineering Problems within the DSLDI-track
Share
x
Fri 18 Jul 19:13