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.

His current affiliation is with Volvo Technology Corporation in Gothenburg, Sweden. Previous to this, he was with Volvo Truck Corporation.

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.
• 
  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 since April, 1999