- 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.
- Modeling and Verification of Embedded Systems using Petri Net based Methods: Application to an Industrial Case
Luis Alejandro Cortes, Petru Eles, Zebo Peng
SAVE Project Report, Dept. of Computer and Information Science, Linköping University, December 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.
- From Haskell to PRES+ Basic Translation Procedures
Luis Alejandro Cortes, Petru Eles, Zebo Peng
SAVE Project Report, Dept. of Computer and Information Science, Linköping University, April 2001.
- 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.
- Verification of Heterogeneous Electronic Systems using Model Checking
Luis Alejandro Cortes, Petru Eles, Zebo Peng
SAVE Project Report, Dept. of Computer and Information Science, Linköping University, July 2000.
- Verification Methodology for Heterogeneous Hardware/Software Systems
Luis Alejandro Cortes, Petru Eles, Zebo Peng
SAVE Project Report, Dept. of Computer and Information Science, Linköping University, January 2000.
- 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.
- A Survey on Hardware/Software Codesign Representation Models
Luis Alejandro Cortes, Petru Eles, Zebo Peng
SAVE Project Report, Dept. of Computer and Information Science, Linköping University, Sweden, June 1999.
|
|
