Luis Alejandro Cortés

According to our database, Luis Alejandro Cortés authored at least 14 papers between 2000 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Quasi-Static Assignment of Voltages and Optional Cycles in Imprecise-Computation Systems With Energy Considerations.

Luis Alejandro Cortés, Petru Eles, Zebo Peng

IEEE Trans. Very Large Scale Integr. Syst., 2006

Dual Flow Nets: Modeling the control/data-flow relation in embedded systems.

Mauricio Varea, Bashir M. Al-Hashimi, Luis Alejandro Cortés, Petru Eles, Zebo Peng

ACM Trans. Embed. Comput. Syst., 2006

A Quasi-Static Approach to Minimizing Energy Consumption in Real-Time Systems under Reward Constraints.

Luis Alejandro Cortés, Petru Eles, Zebo Peng

Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006

2005

Verification and Scheduling Techniques for Real-Time Embedded Systems.

Luis Alejandro Cortés

PhD thesis, 2005

Quasi-Static Scheduling for Multiprocessor Real-Time Systems with Hard and Soft Tasks.

Luis Alejandro Cortés, Petru Eles, Zebo Peng

Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005

Quasi-static assignment of voltages and optional cycles for maximizing rewards in real-time systems with energy c-onstraints.

Luis Alejandro Cortés, Petru Eles, Zebo Peng

Proceedings of the 42nd Design Automation Conference, 2005

2004

Static Scheduling of Monoprocessor Real-Time Systems composed of Hard and Soft Tasks.

Luis Alejandro Cortés, Petru Eles, Zebo Peng

Proceedings of the 2nd IEEE International Workshop on Electronic Design, 2004

Quasi-Static Scheduling for Real-Time Systems with Hard and Soft Tasks.

Luis Alejandro Cortés, Petru Eles, Zebo Peng

Proceedings of the 2004 Design, 2004

2003

Modeling and formal verification of embedded systems based on a Petri net representation.

Luis Alejandro Cortés, Petru Eles, Zebo Peng

J. Syst. Archit., 2003

2002

Symbolic model checking of Dual Transition Petri Nets.

Mauricio Varea, Bashir M. Al-Hashimi, Luis Alejandro Cortés, Petru Eles, Zebo Peng

Proceedings of the Tenth International Symposium on Hardware/Software Codesign, 2002

2001

Hierarchical Modeling and Verification of Embedded Systems.

Luis Alejandro Cortés, Petru Eles, Zebo Peng

Proceedings of the Euromicro Symposium on Digital Systems Design 2001 (Euro-DSD 2001), 2001

2000

Verification of Embedded Systems using a Petri Net based Representation.

Luis Alejandro Cortés, Petru Eles, Zebo Peng

Proceedings of the 13th International Symposium on System Synthesis, 2000

Definitions of Equivalence for Transformational Synthesis of Embedded Systems.

Luis Alejandro Cortés, Petru Eles, Zebo Peng

Proceedings of the 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 2000

Formal Coverification of Embedded Systems Using Model Checking.

Luis Alejandro Cortés, Petru Eles, Zebo Peng

Proceedings of the 26th EUROMICRO 2000 Conference, 2000