Login / Signup
Jia Jie Wang
Publication Activity (10 Years)
Years Active: 2013-2017
Publications (10 Years): 2
Top Topics
Low Energy
Provably Correct
Fixpoint
Web Scale
Top Venues
CASES
FDL
EMSOFT
</>
Publications
</>
Joaquín Aguado
,
Michael Mendler
,
Jia Jie Wang
,
Bruno Bodin
,
Partha S. Roop
Compositional timing-aware semantics for synchronous programming.
FDL
(2017)
Jia Jie Wang
,
Partha S. Roop
,
Alain Girault
Energy and timing aware synchronous programming.
EMSOFT
(2016)
Jia Jie Wang
,
Partha S. Roop
,
Sidharta Andalam
ILPc: A novel approach for scalable timing analysis of synchronous programs.
CASES
(2013)