The SCEAS System
| |||||||

## Search the dblp DataBase
Luis Alejandro Cortés:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Mauricio Varea, Bashir M. Al-Hashimi, Luis Alejandro Cortés, Petru Eles, Zebo Peng
**Symbolic model checking of Dual Transition Petri Nets.**[Citation Graph (0, 0)][DBLP] CODES, 2002, pp:43-48 [Conf] - 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.**[Citation Graph (0, 0)][DBLP] DAC, 2005, pp:889-894 [Conf] - Luis Alejandro Cortés, Petru Eles, Zebo Peng
**Quasi-Static Scheduling for Real-Time Systems with Hard and Soft Tasks.**[Citation Graph (0, 0)][DBLP] DATE, 2004, pp:1176-1183 [Conf] - Luis Alejandro Cortés, Petru Eles, Zebo Peng
**Static Scheduling of Monoprocessor Real-Time Systems composed of Hard and Soft Tasks.**[Citation Graph (0, 0)][DBLP] DELTA, 2004, pp:115-120 [Conf] - Luis Alejandro Cortés, Petru Eles, Zebo Peng
**Hierarchical Modeling and Verification of Embedded Systems.**[Citation Graph (0, 0)][DBLP] DSD, 2001, pp:63-71 [Conf] - Luis Alejandro Cortés, Petru Eles, Zebo Peng
**Formal Coverification of Embedded Systems Using Model Checking.**[Citation Graph (0, 0)][DBLP] EUROMICRO, 2000, pp:1106-1113 [Conf] - Luis Alejandro Cortés, Petru Eles, Zebo Peng
**Definitions of Equivalence for Transformational Synthesis of Embedded Systems.**[Citation Graph (0, 0)][DBLP] ICECCS, 2000, pp:134-142 [Conf] - Luis Alejandro Cortés, Petru Eles, Zebo Peng
**Verification of Embedded Systems using a Petri Net based Representation.**[Citation Graph (0, 0)][DBLP] ISSS, 2000, pp:149-156 [Conf] - Luis Alejandro Cortés, Petru Eles, Zebo Peng
**Quasi-Static Scheduling for Multiprocessor Real-Time Systems with Hard and Soft Tasks.**[Citation Graph (0, 0)][DBLP] RTCSA, 2005, pp:422-428 [Conf] - Luis Alejandro Cortés, Petru Eles, Zebo Peng
**A Quasi-Static Approach to Minimizing Energy Consumption in Real-Time Systems under Reward Constraints.**[Citation Graph (0, 0)][DBLP] RTCSA, 2006, pp:279-286 [Conf] - Luis Alejandro Cortés, Petru Eles, Zebo Peng
**Modeling and formal verification of embedded systems based on a Petri net representation.**[Citation Graph (0, 0)][DBLP] Journal of Systems Architecture, 2003, v:49, n:12-15, pp:571-598 [Journal] - 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.**[Citation Graph (0, 0)][DBLP] ACM Trans. Embedded Comput. Syst., 2006, v:5, n:1, pp:54-81 [Journal] - Luis Alejandro Cortés, Petru Eles, Zebo Peng
**Quasi-Static Assignment of Voltages and Optional Cycles in Imprecise-Computation Systems With Energy Considerations.**[Citation Graph (0, 0)][DBLP] IEEE Trans. VLSI Syst., 2006, v:14, n:10, pp:1117-1129 [Journal]
Search in 0.002secs, Finished in 0.003secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |