|
Alejandro Cortés
Vehicle Electronics
Phone: +46-31-3227873 |
|
Luis Alejandro Cortés received his Ph.D. degree in Computer Science (dissertation entitled Verification and Scheduling Techniques for Real-Time Embedded Systems) from Linköping University in 2005. He received his M.Sc. degree in Electrical Engineering from the University of Los Andes, Bogotá, in 1998, and his B.Sc. degree in Electrical Engineering from the National University of Colombia in 1995.
He was with Volvo Truck Corporation, he left to Volvo Technology Corporation in Gothenburg, Sweden.
Research Interests
Publications
- Quasi-Static Assignment of Voltages and Optional Cycles in Imprecise-Computation Systems with Energy Considerations
Luis Alejandro Cortes, Petru Eles, Zebo Peng
IEEE Trans. on Very Large Scale Integration Systems, Vol. 14, Issue 10, October 2006, pp. 1117-1129 - Quasi-Static Scheduling for Multiprocessor Real-Time Systems with Hard and Soft Tasks
Luis Alejandro Cortes, Petru Eles, Zebo Peng
11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05), Hong Kong, August 17-19, pp. 422-428 - Quasi-Static Assignment of Voltages and Optional Cycles for Maximizing Rewards in Real-Time Systems with Energy Constraints
Luis Alejandro Cortes, Petru Eles, Zebo Peng
42nd Design Automation Conference, Anaheim, CA, June 13-17, 2005, pp. 889-894 - Verification and Scheduling Techniques for Real-Time Embedded Systems
Luis Alejandro Cortes
Ph. D. Thesis No. 920, Dept. of Computer and Information Science, Linköping University, March 2005 (Opponent: Prof. Franco Fummi, Universita di Verona, Italy) - Combining Static and Dynamic Scheduling for Real-Time Systems
Luis Alejandro Cortes, Petru Eles, Zebo Peng
Workshop on Software Analysis and Development for Pervasive Systems (SONDA 2004), Invited Paper, Verona, Italy, August 24, 2004, pp. 32-40. - Quasi-Static Scheduling for Real-Time Systems with Hard and Soft Tasks
Luis Alejandro Cortes, Petru Eles, Zebo Peng
Design, Automation and Test in Europe (DATE 2004), Paris, France, February 16-20, 2004, pp. 1176-1181 - Static Scheduling of Monoprocessor Real-Time Systems composed of Hard and Soft Tasks
Luis Alejandro Cortes, Petru Eles, Zebo Peng
The IEEE International Workshop on Electronic Design, Test and Applications (DELTA 2004), Perth, Australia, January 28-30, 2004, pp. 115-120 - Modeling and Formal Verification of Embedded Systems based on a Petri Net Representation
Luis Alejandro Cortes, Petru Eles, Zebo Peng
Journal of Systems Architecture (JSA), Special Issue on System and Circuit Synthesis and Verification, vol. 49, no. 12-15, December 2003, pp. 571-598. - Quasi-Static Scheduling for Real-Time Systems with Hard and Soft Tasks
Luis Alejandro Cortes, Petru Eles, Zebo Peng
Technical Report, Embedded Systems Lab, Dept. of Computer and Information Science, Linköping University, September 2003. - Static Scheduling of Monoprocessor Real-Time Systems composed of Hard and Soft Tasks
Luis Alejandro Cortes, Petru Eles, Zebo Peng
Technical Report, Embedded Systems Lab, Dept. of Computer and Information Science, Linköping University, April 2003. - An Approach to Reducing Verification Complexity of Real-Time Embedded Systems
Luis Alejandro Cortes, Petru Eles, Zebo Peng
14th Euromicro Conference on Real-Time Systems (ECRTS 2002), Work-in-Progress Session, Vienna, Austria, June 19-21, 2002, pp. 45-48. - Symbolic Model Checking of Dual Transition Petri Nets
Mauricio Varea, Bashir M. Al-Hashimi, Luis Alejandro Cortes, Petru Eles, Zebo Peng
10th International Symposium on Hardware/Software Codesign (CODES 2002), Estes Park, Colorado, USA, May 6-8, 2002, pp. 43-48. - Verification of Real-Time Embedded Systems using Petri Net Models and Timed Automata
Luis Alejandro Cortes, Petru Eles, Zebo Peng
8th International Conference on Real-Time Computing Systems and Applications (RTCSA 2002), Tokyo, Japan, March 18-20, 2002, pp. 191-199. - A Petri Net based Modeling and Verification Technique for Real-Time Embedded Systems
Luis Alejandro Cortes
Licentiate Thesis No. 919, Dept. of Computer and Information Science, Linköping University, Dec. 2001. - Hierarchical Modeling and Verification of Embedded Systems
Luis Alejandro Cortes, Petru Eles, Zebo Peng
Euromicro Symposium on Digital Systems Design, Warsaw, Poland, Sept. 4-6, 2001, pp. 63-70. - An Integrated System-On-Chip Test Framework
Erik Larsson, Zebo Peng
Design, Automation and Test in Europe (DATE) Conference, Munich, Germany, 13-16 March, 2001, pp. 138-144 - Verification of Embedded Systems using a Petri Net based Representation
Luis Alejandro Cortes, Petru Eles, Zebo Peng
13th International Symposium on System Synthesis (ISSS 2000), Madrid, Spain, Sept. 20-22, 2000, pp. 149-155. - Definitions of Equivalence for Transformational Synthesis of Embedded Systems
Luis Alejandro Cortes, Petru Eles, Zebo Peng
6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), Tokyo, Japan, Sept. 11-15, 2000, pp. 134-142. - Formal Coverification of Embedded Systems using Model Checking
Luis Alejandro Cortes, Petru Eles, Zebo Peng
26th Euromicro Conference (Digital Systems Design), Maastricht, The Netherlands, Sept. 5-7, 2000, vol. I, pp. 106-113. - A Petri Net Based Model for Heterogeneous Embedded Systems
Luis Alejandro Cortes, Petru Eles, Zebo Peng
17th IEEE NORCHIP Conference, Oslo, Norway, November 8-9, 1999, pp. 248-255.
Miscellanea
 
|
You are visitor
|