Luis Alejandro Cortés

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