Juan Esteban Heredia Mena

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 2

Top Topics

Cyber Physical Systems

Wireless Sensor Networks

High Performance Computing

Top Venues

FedCSIS (Position Papers)

Publications

Reza Soltani, Eun-Young Kang, Juan Esteban Heredia Mena
Towards Energy-aware Cyber-Physical Systems Verification and Optimization. FedCSIS (Position Papers) (2021)
Reza Soltani, Eun-Young Kang, Juan Esteban Heredia Mena
Verification and Optimization of Cyber-Physical Systems: Preprint for FedCSIS. CoRR (2021)