Luis Alejandro Cortés

Publication Activity (10 Years)

Years Active: 2000-2006
Publications (10 Years): 0

Linköping University, Sweden (PHD)

Education History

Linköping University, Sweden

PHD

Publications

Luis Alejandro Cortés, Petru Eles, Zebo Peng
Quasi-Static Assignment of Voltages and Optional Cycles in Imprecise-Computation Systems With Energy Considerations. IEEE Trans. Very Large Scale Integr. Syst. 14 (10) (2006)
Mauricio Varea, Bashir M. Al-Hashimi, Luis Alejandro Cortés, Petru Eles, Zebo Peng
Dual Flow Nets: Modeling the control/data-flow relation in embedded systems. ACM Trans. Embed. Comput. Syst. 5 (1) (2006)
Luis Alejandro Cortés, Petru Eles, Zebo Peng
A Quasi-Static Approach to Minimizing Energy Consumption in Real-Time Systems under Reward Constraints. RTCSA (2006)
Luis Alejandro Cortés, Petru Eles, Zebo Peng
Quasi-Static Scheduling for Multiprocessor Real-Time Systems with Hard and Soft Tasks. RTCSA (2005)
Luis Alejandro Cortés, Petru Eles, Zebo Peng
Quasi-static assignment of voltages and optional cycles for maximizing rewards in real-time systems with energy c-onstraints. DAC (2005)
Luis Alejandro Cortés, Petru Eles, Zebo Peng
Quasi-Static Scheduling for Real-Time Systems with Hard and Soft Tasks. DATE (2004)
Luis Alejandro Cortés, Petru Eles, Zebo Peng
Static Scheduling of Monoprocessor Real-Time Systems composed of Hard and Soft Tasks. DELTA (2004)
Luis Alejandro Cortés, Petru Eles, Zebo Peng
Modeling and formal verification of embedded systems based on a Petri net representation. J. Syst. Archit. 49 (12-15) (2003)
Mauricio Varea, Bashir M. Al-Hashimi, Luis Alejandro Cortés, Petru Eles, Zebo Peng
Symbolic model checking of Dual Transition Petri Nets. CODES (2002)
Luis Alejandro Cortés, Petru Eles, Zebo Peng
Hierarchical Modeling and Verification of Embedded Systems. DSD (2001)
Luis Alejandro Cortés, Petru Eles, Zebo Peng
Formal Coverification of Embedded Systems Using Model Checking. EUROMICRO (2000)
Luis Alejandro Cortés, Petru Eles, Zebo Peng
Definitions of Equivalence for Transformational Synthesis of Embedded Systems. ICECCS (2000)
Luis Alejandro Cortés, Petru Eles, Zebo Peng
Verification of Embedded Systems using a Petri Net based Representation. ISSS (2000)

Luis Alejandro Cortés.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Luis Alejandro Cortés