2006 |
13 | EE | 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: 279-286 |
12 | EE | 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. Embedded Comput. Syst. 5(1): 54-81 (2006) |
11 | EE | 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. VLSI Syst. 14(10): 1117-1129 (2006) |
2005 |
10 | EE | 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: 889-894 |
9 | EE | Luis Alejandro Cortés,
Petru Eles,
Zebo Peng:
Quasi-Static Scheduling for Multiprocessor Real-Time Systems with Hard and Soft Tasks.
RTCSA 2005: 422-428 |
2004 |
8 | EE | Luis Alejandro Cortés,
Petru Eles,
Zebo Peng:
Quasi-Static Scheduling for Real-Time Systems with Hard and Soft Tasks.
DATE 2004: 1176-1183 |
7 | EE | Luis Alejandro Cortés,
Petru Eles,
Zebo Peng:
Static Scheduling of Monoprocessor Real-Time Systems composed of Hard and Soft Tasks.
DELTA 2004: 115-120 |
2003 |
6 | EE | Luis Alejandro Cortés,
Petru Eles,
Zebo Peng:
Modeling and formal verification of embedded systems based on a Petri net representation.
Journal of Systems Architecture 49(12-15): 571-598 (2003) |
2002 |
5 | EE | Mauricio Varea,
Bashir M. Al-Hashimi,
Luis Alejandro Cortés,
Petru Eles,
Zebo Peng:
Symbolic model checking of Dual Transition Petri Nets.
CODES 2002: 43-48 |
2001 |
4 | EE | Luis Alejandro Cortés,
Petru Eles,
Zebo Peng:
Hierarchical Modeling and Verification of Embedded Systems.
DSD 2001: 63-71 |
2000 |
3 | EE | Luis Alejandro Cortés,
Petru Eles,
Zebo Peng:
Formal Coverification of Embedded Systems Using Model Checking.
EUROMICRO 2000: 1106-1113 |
2 | EE | Luis Alejandro Cortés,
Petru Eles,
Zebo Peng:
Definitions of Equivalence for Transformational Synthesis of Embedded Systems.
ICECCS 2000: 134-142 |
1 | EE | Luis Alejandro Cortés,
Petru Eles,
Zebo Peng:
Verification of Embedded Systems using a Petri Net based Representation.
ISSS 2000: 149-156 |