Dimensioning and configuration of EES systems for electric vehicles with boundary-conditioned adaptive scalarization
CODES+ISSS
2013
Characterizing feedback signal drop patterns in formal verification of networked control systems
CACSD
2013
Resource augmentation for uniprocessor and multiprocessor partitioned scheduling of sporadic real-time tasks
Real-Time Systems
2013
49
4
475-516