Publications for Petru Ion Eles
Co-author map based on ISI articles 2007-

Keywords

worst-case temperature system scheduling schedules schedule reliability real-time quality propose messages hard gpus flexray execution energy embedded distributed control constraints

Journal Articles

Sergiu Rafiliu, Petru Eles and Zebo Peng
  Stability of adaptive feedback-based resource managers for systems with execution time variations
  Real-time systems, 2013, 49(3), 367-400.

Nima Aghaee Ghaleshahi, Zebo Peng and Petru Eles
  Process-variation and Temperature Aware SoC Test Scheduling Technique
  Journal of electronic testing, 2013, 29(4), 499-520.

Mladen Berekovic, Samarjit Chakraborty, Petru Ion Eles and Andy D Pimentel
  Editorial Material: Introduction to the Special Section on ESTIMedia08
  ACM Transactions on Embedded Computing Systems, 2012, 11(1), .

Alireza Ejlali, Bashir M Al-Hashimi and Petru Eles
  Low-Energy Standby-Sparing for Hard Real-Time Systems
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2012, 31(3), 329-342.

Min Bao, Alexandru Andrei, Petru Ion Eles and Zebo Peng
  Temperature-Aware Idle Time Distribution for Leakage Energy Optimization
  IEEE Transactions on Very Large Scale Integration (vlsi) Systems, 2012, 20(7), 1187-1200.

Viacheslav Izosimov, Paul Pop, Petru Ion Eles and Zebo Peng
  Scheduling and Optimization of Fault-Tolerant Embedded Systems with Transparency/PerformanceTrade-Offs
  ACM Transactions on Embedded Computing Systems, 2012, 11(3), 61-95.

Alexandru Andrei, Petru Ion Eles, Olivera Jovanovic, Marcus Schmitz, Jens Ogniewski and Zebo Peng
  Quasi-Static Voltage Scaling for Energy Minimization with Time Constraints
  IEEE Transactions on Very Large Scale Integration (vlsi) Systems, 2011, 19(1), 10-23.
   Fulltext  PDF  
 Web of Science® Times Cited: 2

Paul Pop, Viacheslav Izosimov, Petru Ion Eles and Zebo Peng
  Design Optimization of Time- and Cost-Constrained Fault-Tolerant Embedded Systems With Checkpointing and Replication
  IEEE Transactions on VLSI Systems, 2009, 17(3), 389-402.
 Web of Science® Times Cited: 10

Traian Pop, P. Pop, Petru Ion Eles and Zebo Peng
  Analysis and optimisation of hierarchically scheduled multiprocessor embedded systems
  International journal of parallel programming, 2008, 36(1), 37-67.
 Web of Science® Times Cited: 2

Sorin Manolache, Petru Ion Eles and Zebo Peng
  Task mapping and priority assignment for soft real-time applications under deadline miss ratio constraints
  ACM Transactions on Embedded Computing Systems, 2008, 7(2), .
 Web of Science® Times Cited: 1

Traian Pop, Paul Pop, Petru Ion Eles, Zebo Peng and Alexandru Andrei
  Timing analysis of the FlexRay communication protocol
  Real-time systems, 2008, 39(1-3), 205-235.
 Web of Science® Times Cited: 24

He Zhiyuan, Zebo Peng, Petru Eles, Paul Rosinger and Bashir Al-Hashimi
  Thermal-Aware SoC Test Scheduling with Test Set Partitioning and Interleaving
  Journal of electronic testing, 2008, 24(1-3), 247-257.
   Fulltext  PDF  
 Web of Science® Times Cited: 7

Daniel Karlsson, Petru Ion Eles and Zebo Peng
  Model validation for embedded systems using formal method-aided simulation
  IET Computers and digital techniques, 2008, 2(6), 413-433.
   Fulltext  PDF  
 Web of Science® Times Cited: 1

Daniel Karlsson, Petru Ion Eles and Zebo Peng
  Formal verification of component-based designs
  Design automation for embedded systems, 2007, 11(1), 49-90.
 Web of Science® Times Cited: 8

Alexandru Andrei, Petru Ion Eles, Zebo Peng, M.T. Schmitz and Hashimi B.M. Al
  Energy optimization of multiprocessor systems on chip by voltage selection
  IEEE Transactions on Very Large Scale Integration (vlsi) Systems, 2007, 15(3), 262-275.
 Web of Science® Times Cited: 16

Sorin Manolache, Petru Ion Eles and Zebo Peng
  Fault-aware communication mapping for NoCs with guaranteed latency
  International journal of parallel programming, 2007, 35(2), 125-156.
 Web of Science® Times Cited: 4

Zebo Peng, Zhiyuan He and Petru Ion Eles
  Challenges and solutions for thermal-aware SOC testing
  Informacije midem, 2007, 37(4), 220-227.

Paul Pop, Petru Ion Eles, Zebo Peng and Traian Pop
  Analysis and optimization of distributed real-time embedded systems
  ACM Transactions on Design Automation of Electronic Systems, 2006, 11(3), 593-625.
 Web of Science® Times Cited: 17

L.A. Cortes, Petru Ion Eles and Zebo Peng
  Quasi-static assignment of voltages and optional cycles in imprecise-computation systems with energy considerations
  IEEE Transactions on Very Large Scale Integration (vlsi) Systems, 2006, 14(10), 1117-1129.
 Web of Science® Times Cited: 3

Gert Jervan, Petru Ion Eles, Zebo Peng, R. Ubar and M. Jenihhin
  Test time minimization for hybrid BIST of core-based systems
  Journal of Computer Science and Technology, 2006, 21(6), 907-912.
 Web of Science® Times Cited: 8

Mauricio Varea, Bashir Al-Hashimi, Luis-Alejandro Cortes, Petru Ion Eles and Zebo Peng
  Dual Flow Nets: Modelling the Control/Data-Flow Relation in Embedded Systems
  ACM Transactions on Embedded Computing Systems, 2006, 5(1), 54-81.

Paul Pop, Petru Ion Eles and Zebo Peng
  Analysis and optimisation of heterogeneous real-time embedded systems
  IEE Proceedings - Computers and digital Techniques, 2005, 152(2), 130-147.

M.T. Schmitz, B.M. Al-Hashimi and Petru Ion Eles
  Cosynthesis of energy-efficient multimode embedded systems with consideration of mode-execution probabilities
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2005, 24(2), 153-169.
 Web of Science® Times Cited: 14

Paul Pop, Petru Ion Eles and Zebo Peng
  Analysis and Optimization of Heterogeneous Real-Time Embedded Systems
  IEE Proceedings - Computers and digital Techniques, 2005, 152(2), 130-147.

Abdil Mohamed, Zebo Peng and Petru Ion Eles
  A Wiring-Aware Approach to Minimizing Built-In Self-Test Overhead
  Journal of Computer Science and Technology, 2005, 20(2), 216-223.

Alexandru Andrei, Marcus Schmitz, Petru Ion Eles, Zebo Peng and Bashir M. Al Hashimi
  Overhead-Conscious Voltage Selection for Dynamic and Leakage Energy Reduction of Time-Constrained Systems
  IEE Proceedings - Computers and digital Techniques, 2005, 152(01), 28-38.
 Web of Science® Times Cited: 13

Paul Pop, Petru Ion Eles and Zebo Peng
  Schedulability-driven frame packing for multicluster distributed embedded systems
  ACM Transactions on Embedded Computing Systems, 2005, 4(1), 112-140.

Paul Pop, Petru Ion Eles, Zebo Peng and Traian Pop
  Scheduling and mapping in an incremental design methodology for distributed real-time embedded systems
  IEEE Transactions on Very Large Scale Integration (vlsi) Systems, 2004, 12(8), 793-811.
 Web of Science® Times Cited: 4

Paul Pop, Petru Ion Eles and Zebo Peng
  Schedulability-Driven Communication Synthesis for Time-Triggered Embedded Systems
  Real-time systems, 2004, 26(3), 297-325.
 Web of Science® Times Cited: 7

Marcus Schmitz, Bashir M. Al Hashimi and Petru Ion Eles
  Iterative Schedule Optimisation for Voltage scalable Distributed Embedded Systems
  ACM Transactions on Embedded Computing Systems, 2004, 3(1), 182-217.

Sorin Manolache, Petru Ion Eles and Zebo Peng
  Schedulability Analysis of Applications with Stochastic Task Execution Times
  ACM Transactions on Embedded Computing Systems, 2004, 3(4), 706-735.

Paul Pop, Petru Ion Eles and Zebo Peng
  Schedulability-driven frame packing for multi-cluster distributed embedded systems
  SIGPLAN notices, 2003, 38(7), 113-122.

Luis-Alejandro Cortes, Petru Ion Eles and Zebo Peng
  Modeling and formal verification of embedded systems based on a Petri net representation
  Journal of systems architecture, 2003, 49(12-15), 571-598.
 Web of Science® Times Cited: 11

Paul Pop, Petru Ion Eles and Zebo Peng
  Schedulability Analysis and Optimization for the Synthesis of Multi-Cluster Distributed Embedded Systems
  IEE journal on computers and digital techniques / Institution of electrical engineers, 2003, 150(5), 303-312.
 Web of Science® Times Cited: 2

Dong Wu, Bashir M. Al Hashimi and Petru Ion Eles
  Scheduling and Mapping of Conditional Task Graph for the Synthesis of Low Power Embedded Systems
  IEE Proceedings - Computers and digital Techniques, 2003, 150(5), 302-312.
 Web of Science® Times Cited: 10

Marcus Schmitz, Bashir M. Al Hashimi and Petru Ion Eles
  Synthesizing Energy-Efficient Embedded Systems with LOPOCOS
  Design automation for embedded systems, 2002, 6(4), 401-424.
 Web of Science® Times Cited: 8

Petru Ion Eles, A. Doboli, Paul Pop and Zebo Peng
  Scheduling with bus access optimization for distributed embedded systems
  IEEE Transactions on Very Large Scale Integration (vlsi) Systems, 2000, 8(5), 472-491.
 Web of Science® Times Cited: 57

Books

Sorin Manolache, Petru Ion Eles and Zebo Peng
  Real-Time Applications with Stochastic Task Execution Times
  Springer, 2007.


Marcus Schmitz, Bashir M. Al Hashimi and Petru Ion Eles
  System-Level Design Techniques for Energy-Efficient Embedded Systems
  Dordrecht, The Netherlands, 2004.


Paul Pop, Petru Ion Eles and Zebo Peng
  Analysis and Synthesis of Distributed Real-Time Embedded Systems
  Boston, USA, 2004.


Chapters in Books

Paul Pop, A Goller, Traian Pop and Petru Eles
  Development Tools
  <em>Time-Triggered Communication</em>, CRC Press - Taylor & Francis Group, 2012, 361-493.


Zhiyuan He, Zebo Peng and Petru Ion Eles
  Thermal-Aware SoC Test Scheduling
  Design and Test Technology for Dependable Systems-on-chip, Information Science Publishing, 2010, .


Viacheslav Izosimov, Paul Pop, Petru Ion Eles and Zebo Peng
  Synthesis of Flexible Fault-Tolerant Schedules for Embedded Systems with Soft and Hard Timing Constraints
  Design and Test Technology for Dependable Systems-on-chip, Information Science Publishing, 2010, 578.


Daniel Karlsson, Petru Ion Eles and Zebo Peng
  Transactor-based Formal Verification of Real-time Embedded Systems
  Embedded Systems Specification and Design Languages, Springer, 2008, 255-270.


Petru Ion Eles, Krzysztof Kuchcinski, Zebo Peng, Alex Doboli and Paul Pop
  Scheduling of Conditional Process Graphs for the Synthesis of Embedded Systems
  Design, Automation, and Test in Europe: The Most Influential Papers of 10 Years DATE, Springer, 2008, 15-29.


Alexandru Andrei, Petru Ion Eles, Zebo Peng, Marcus Schmitz and Bashir Al-Hashimi
  Voltage Selection for Time-Constrained Multiprocessor Systems on Chip
  Designing Embedded Processors: A Low Power Perspective, Springer, 2007, 259-286.


Paul Pop, Petru Ion Eles and Zebo Peng
  Analysis and optimisation of heterogeneous real-time embedded systems
  System On Chip: Next Generation Electronics, The Institution of Engineering and Technology, 2006, 75-120.


Paul Pop, Petru Ion Eles and Zebo Peng
  Design Optimization of Multi-Cluster Embedded Systems for Real-Time Applications
  ARTES -: A network for Real-Time research and graduate Education in Sweden 1997-2006, The Department of Information Technology, 2006, 49-101.


Paul Pop, Petru Ion Eles and Zebo Peng
  Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems
  ARTES -: A network for Real-Time research and graduate Education in Sweden 1997-2006, The Department of Information Technology, 2006, 537-569.


Sorin Manolache, Petru Ion Eles and Zebo Peng
  Schedulability Analysis of Real-Time Systems with Stochastic Task Execution Times
  ARTES -: A network for Real-Time research and graduate Education in Sweden 1997-2006, The Department of Information Technology, 2006, 123-159.


Gert Jervan, Raimund Ubar, Zebo Peng and Petru Ion Eles
  Test Generation: A Hierarchical Approach
  System-level Test and Validation of Hardware/Software Systems, Springer Berlin Heidelberg, 2005, 67-81.


Gert Jervan, Raimund Ubar, Zebo Peng and Petru Ion Eles
  An Approach to System-Level DFT
  System-level Test and Validation of Hardware/Software Systems, Springer Berlin Heidelberg, 2005, 121-149.


Paul Pop, Rolf Ernst, Petru Ion Eles and Zebo Peng
  Automotive Industry
  Embedded Systems Design: The ARTIST Roadmap for Research and Development, Springer Verlag, 2005, 377-382.


Paul Pop, Petru Ion Eles and Zebo Peng
  Distributed Embedded Real-Time Systems - Analysis and Exploration
  Embedded Systems Design: The ARTIST Roadmap for Research and Development, Springer Verlag, 2005, 406-422.


Conference Articles

Ke Jiang, Petru Eles and Zebo Peng
  A Design Framework for Dynamic Embedded Systems with Security Constraints
  <em>The 12th Swedish System-on-Chip Conference (SSoCC 2013), Ystad, Sweden, May 6-7, 2013 (not reviewed, not printed).</em>, 2013.


Nima Aghaee Ghaleshahi, Zebo Peng and Petru Eles
  Temperature-Gradient Based Burn-In for 3D Stacked ICs
  <em>The 12th Swedish System-on-Chip Conference (SSoCC 2013), Ystad, Sweden, May 6-7, 2013 (not reviewed, not printed).</em>, 2013.


Bogdan Tanasa, Unmesh D. Bordoloi, Petru Eles and Zebo Peng
  Probabilistic Timing Analysis for the Dynamic Segment of FlexRay
  <em>25th Euromicro Conference on Real-Time Systems (ECRTS 2013), Paris, ECE, France, July 9-12, 2013.</em>, 2013.


Ke Jiang, Petru Eles and Zebo Peng
  Optimization of Secure Embedded Systems with Dynamic Task Sets
  Design, Automation &amp; Test in Europe (DATE 2013), 2013.


Amir Aminifar, Petru Eles, Zebo Peng and Anton Cervin
  Control-Quality Driven Design of Cyber-Physical Systems with Robustness Guarantees
  Design, Automation &amp; Test in Europe (DATE 2013), 2013.


Adrian Alin Lifa, Petru Eles and Zebo Peng
  Dynamic Configuration Prefetching Based on Piecewise Linear Prediction
  Design, Automation &amp; Test in Europe (DATE 2013), 2013.


Arian Maghazeh, Unmesh D. Bordoloi, Petru Eles and Zebo Peng
  General Purpose Computing on Low-Power Embedded GPUs: Has It Come of Age?
  <em>13th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS 2013), Samos, Greece, July 15-18, 2013.</em>, 2013.


Ivan Ukhov, Min Bao, Petru Ion Eles and Zebo Peng
  Steady-State Dynamic Temperature Analysis and Reliability Optimization for Embedded Multiprocessor Systems
  49th ACM/EDAC/IEEE Design Automation Conference (DAC), 3-7 June 2012, San Francisco, 2012.


Bogdan Tanasa, Unmesh Bordoloi, Stefanie Kosuch, Petru Ion Eles and Zebo Peng
  Schedulability Analysis for the Dynamic Segment of FlexRay: A Generalization to Slot Multiplexing
  2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium (RTAS), 16-19 April 2012, Beijing, 2012.


Adrian Alin Lifa, Petru Eles and Zebo Peng
  Minimization of Average Execution Time Based on Speculative FPGA Configuration Prefetch
  International Conference on ReConFigurable Computing and FPGAs, 2012, 2012.


Amir Aminifar, Soheil Samii, Petru Eles, Zebo Peng and Anton Cervin
  Designing High-Quality Embedded Control Systems with Guaranteed Stability
  33rd IEEE Real-Time Systems Symposium (RTSS 2012, 2012.


Ying Zhang, Ahmed Rezine, Petru Eles and Zebo Peng
  Automatic Test Program Generation for Out-of-Order Superscalar Processors
  <em>21st IEEE Asian Test Symposium (ATS12), Niigata, Japan, November 19-22, 2012.</em>, 2012.


Unmesh D. Bordoloi, Bogdan Tanasa, Petru Eles and Zebo Peng
  On the Timing Analysis of the Dynamic Segment of FlexRay
  <em>International Symposium on Industrial Embedded Systems (SIES 2012), Karlsruhe, Germany, June 20-22, 2012.</em>, 2012.


Unmesh D. Bordoloi, Bogdan Tanasa, Mehdi B. Tahoori, Petru Eles, Zebo Peng, Syed Z. Shazli and Samarjit Chakraborty
  Reliability-Aware Instruction Set Customization for ASIPs with Hardened Logic
  <em>International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2012), Seoul, Korea, August 19-22, 2012.</em>, 2012.


Adrian Alin Lifa, Petru Eles and Zebo Peng
  Context-Aware Speculative Prefetch for Soft Real-Time Applications
  International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2012), Seoul, Korea, August 19-22, 2012, 2012.


Soheil Samii, Unmesh D. Bordoloi, Petru Eles, Zebo Peng and Anton Cervin
  Control-Quality Optimization for Distributed Embedded Systems with Adaptive Fault Tolerance
  ECRTS 2012, 2012.


Ke Jiang, Petru Eles and Zebo Peng
  Co-Design Techniques for Distributed Real-Time Embedded Systems with Communication Security Constraints
  <em>Design Automation and Test in Europe (DATE12), Dresden, Germany, March 12-16, 2012.</em>, 2012.


Bharath Suri, Unmesh D. Bordoloi and Petru Eles
  A Scalable GPU-Based Approach to Accelerate the Multiple-Choice Knapsack Problem
  <em>Design Automation and Test in Europe (DATE12) (short paper), Dresden, Germany, March 12-16, 2012.</em>, 2012.


Nima Aghaee Ghaleshahi, Zebo Peng and Petru Eles
  Process-Variation and Temperature Aware SoC Test Scheduling Using Particle Swarm Optimization
  <em>The 6th IEEE International Design and Test Workshop (IDT'11), Beirut, Lebanon, December 11–14, 2011.</em>, 2011.


Bogdan Tanasa, Unmesh D. Bordoloi, Petru Eles and Zebo Peng
  Reliability-Aware Frame Packing for the Static Segment of FlexRay
  <em>EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software                         </em>, 2011.


Amir Aminifar, Soheil Samii, Petru Eles and Zebo Peng
  Control-Quality Driven Task Mapping for Distributed Embedded Control Systems
  <em>Embedded and Real-Time Computing Systems and Applications (RTCSA), 2011 IEEE 17th International Conference on</em>, 2011.


Nima Aghaee Ghaleshahi, Zebo Peng and Petru Eles
  Adaptive Temperature-Aware SoC Test Scheduling Considering Process Variation
  <em>Digital System Design (DSD), 2011 14th Euromicro Conference on</em>, 2011.


Reinhard Schneider, Dip Goswami, Samarjit Chakraborty, Unmesh D. Bordoloi, Petru Eles and Zebo Peng
  On the Quantification of Sustainability and Extensibility of FlexRay Schedules
  <em>Design Automation Conference (DAC), 2011 48th ACM/EDAC/IEEE</em>, 2011.


 Web of Science® Times Cited: 1

Ke Jiang, Petru Eles and Zebo Peng
  Performance Comparison of Simulated Annealing and Tabu Search on Block Cipher Optimization in Distributed Embedded Systems
  <em>The 11th Swedish System-on-Chip Conference, Varberg, Sweden, May 2-3, 2011</em>, 2011.


Nima Aghaee Ghaleshahi, Zebo Peng and Petru Eles
  Heuristics for Adaptive Temperature-Aware SoC Test Scheduling Considering Process Variation
  <em>The 11th Swedish System-on-Chip Conference, Varberg, Sweden, May 2-3, 2011</em>, 2011.


Sergiu Rafiliu, Petru Eles and Zebo Peng
  Stability Conditions of On-line Resource Managers for Systems with Execution Time Variations
  23rd Euromicro conference on Real-Time Systems (ECRTS11), Porto, Portugal, July 6-8, 2011., 2011.


Ke Jiang, Petru Eles and Zebo Peng
  Optimization of Message Encryption for Distributed Embedded Systems with Real-Time Constraints
  14th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS11), Cottbus, Germany, April 13-15, 2011., 2011.


 Web of Science® Times Cited: 1

Jakob Rosén, Carl-Fredrik Neikter, Petru Eles, Zebo Peng, Paolo Burgio and Luca Benini
  Bus Access Design for Combined Worst and Average Case Execution Time Optimization of Predictable Real-Time Applications on Multiprocessor Systems-on-Chip
  17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'11), Chicago, IL, USA, April 11-14, 2011., 2011.


Jakob Rosén, Petru Eles, Zebo Peng and Alexandru Andrei
  Predictable Worst-Case Execution Time Analysis for Multiprocessor Systems-on-Chip
  <em>6th International Symposium on Electronic Design, Test and Applications (DELTA 2011), Queenstown, New Zealand, January 17-19, 2011.</em>, 2011.


Min Bao, Alexandru Andrei, Petru Eles and Zebo Peng
  On-Line Temperature-Aware Idle Time Distribution for Leakage Energy Optimization
  <em>6th International Symposium on Electronic Design, Test and Applications (DELTA 2011), Queenstown, New Zealand, January 17-19, 2011.</em>, 2011.


Soheil Samii, Petru Ion Eles, Zebo Peng and Anton Cervin
  Design Optimization and Synthesis of FlexRay Parameters for Embedded Control Applications
  <em>6th International Symposium on Electronic Design, Test and Applications (DELTA 2011), Queenstown, New Zealand, January 17-19, 2011.</em>, 2011.


Viacheslav Izosimov, Petru Ion Eles and Zebo Peng
  Value-Based Scheduling of Distributed Fault-Tolerant Real-Time Systems with Soft and Hard Timing Constraints
  8th IEEE Workshop on Embedded Systems for Real-TimeMultimedia, Scottsdale, AZ, USA, October 28-29, 2010., 2010.


Jakob Rosén, Alexandru Andrei, Petru Ion Eles and Zebo Peng
  Predictable Multiprocessor Systems
  <em>Swedish SoC Conference 2010, Kolmården, Sweden, May 3-4, 2010 (not reviewed, not printed)</em>, 2010.


Adrian Alin Lifa, Petru Eles, Zebo Peng and Viacheslav Izosimov
  Hardware/Software Optimization of Error Detection Implementation for Real-Time Embedded Systems
  <em>Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2010 IEEE/ACM/IFIP International Conference on</em>, 2010.


Soheil Samii, Petru Ion Eles, Zebo Peng, Paulo Tabuada and Anton Cervin
  Dynamic Scheduling and Control-Quality Optimization of Self-Triggered Control Applications
  <em>31st IEEE Real-Time Systems Symposium (RTSS10), San Diego, CA, USA, November 30-December 3, 2010.</em>, 2010.


Swaroop Nunna, Unmesh D. Bordoloi, Samarjit Chakraborty, Petru Eles and Zebo Peng
  Exploiting GPU On-Chip Shared Memory for Accelerating Schedulability Analysis
  <em>International Symposium on Electronic System Design (ISED10), Bhubaneswar, India, December 2010.</em>, 2010.


Bogdan Tanasa, Unmesh D. Bordoloi, Petru Eles and Zebo Peng
  Scheduling for Fault-Tolerant Communication on the Static Segment of FlexRay
  <em>31st IEEE Real-Time Systems Symposium (RTSS10), San Diego, CA, USA, November 30-December 3, 2010.</em>, 2010.


 Web of Science® Times Cited: 1

Nima Aghaee Ghaleshahi, Zhiyuan He, Zebo Peng and Petru Ion Eles
  Temperature-Aware SoC Test Scheduling Considering Inter-Chip Process Variation
  <em>19th IEEE Asian Test Symposium (ATS10), Shanghai, China, December 1-4, 2010.</em>, 2010.


Min Bao, Alexandru Andrei, Petru Ion Eles and Zebo Peng
  Temperature-aware idle time distribution for energy optimization with dynamic voltage scaling
  Design, Automation and Test in Europe, DATE 2010, 2010.


Zhiyuan He, Zebo Peng and Petru Ion Eles
  Multi-temperature testing for core-based system-on-chip
  Proceedings -Design, Automation and Test in Europe, DATE, 2010.


Sergiu Aurel Rafiliu, Petru Ion Eles and Zebo Peng
  Low Overhead Dynamic QoS Optimization Under Variable Task Execution Times
  16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2010), 2010.


  Fulltext PDF

Alireza Ejlali, Bashir Al-Hashimi and Petru Eles
  A Standby-Sparing Technique with Low Energy-Overhead for Fault-Tolerant Hard Real-Time Systems
  <em>Intl. Conference on Hardware-Software Co-Design and System Synthesis (CODES/ISSS), Grenoble, France, October 11-16, 2009 (</em><em>best paper award).</em>, 2009.


Viacheslav Izosimov, Ilia Polian, Paul Pop, Petru Eles and Zebo Peng
  Analyse und Optimierung von fehlertoleranten Eingebetteten Systemen mit gehärteten Prozessoren
  <em>Zuverlässigkeit und Entwurf (ZUE), Stuttgart, Germany, September 21-23, 2009.</em>, 2009.


  Fulltext PDF

Soheil Samii, Yanfei Yin, Zebo Peng, Petru Ion Eles and Yuanping Zhang
  Immune Genetic Algorithms for Optimization of Task Priorities and FlexRay Frame Identifiers
  <em>Intl. Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Beijing, China, August 24-26, 2009.</em>, 2009.


 Web of Science® Times Cited: 2  Fulltext PDF

Zhiyuan He, Zebo Peng and Petru Ion Eles
  Thermal-Aware Test Scheduling for Core-based SoC in an Abort-on-First-Fail Test Environment
  <em>12th EUROMICRO Conference on Digital System Design (DSD), Patras, Greece, August 27-29, 2009.</em>, 2009.


 Web of Science® Times Cited: 1  Fulltext PDF

Min Bao, Alexandru Andrei, Petru Ion Eles and Zebo Peng
  On-line Thermal Aware Dynamic Voltage Scaling for Energy Optimization with Frequency/Temperature Dependency Consideration
  <em></em>DAC '09 Proceedings of the 46th Annual Design Automation Conference, 2009.


 Web of Science® Times Cited: 9  Fulltext PDF

Soheil Samii, Petru Ion Eles, Zebo Peng and Anton Cervin
  Quality-Driven Synthesis of Embedded Multi-Mode Control Systems
  DAC '09 Proceedings of the 46th Annual Design Automation Conference: <em></em>, 2009.


 Web of Science® Times Cited: 3  Fulltext PDF

Viacheslav Izosimov, I. Polian, P. Pop, Petru Ion Eles and Zebo Peng
  Analysis and optimization of fault-tolerant embedded systems with hardened processors
  Proceedings -Design, Automation and Test in Europe, DATE, 2009.


 Web of Science® Times Cited: 6

Soheil Samii, A. Cervin, Petru Ion Eles and Zebo Peng
  Integrated scheduling and synthesis of control applications on distributed embedded systems
  Proceedings -Design, Automation and Test in Europe, DATE, 2009.


 Web of Science® Times Cited: 8

Zhiyuan He, Zebo Peng and Petru Ion Eles
  Simulation-Driven Thermal-Safe Test Time Minimization for System-on-Chip
  Asian Test Symposium, 2008. ATS '08, 2008.


 Web of Science® Times Cited: 2

Viacheslav Izosimov, Paul Pop, Petru Ion Eles and Zebo Peng
  Synthesis of Flexible Fault-Tolerant Schedules with Preemption for Mixed Soft and Hard Real-Time Systems
  11th EUROMICRO CONFERENCE on DIGITAL SYSTEM DESIGN DSD 2008,2008, 2008.


Petru Ion Eles, Viacheslav Izosimov, Paul Pop and Zebo Peng
  Synthesis of Fault-Tolerant Embedded Systems
  Design, Automation and Test in Europe, 2008., 2008.


 Web of Science® Times Cited: 1

Min Bao, Alexandru Andrei, Petru Ion Eles and Zebo Peng
  Temperature-Aware Task Mapping for Energy Optimization with Dynamic Voltage Scaling
  11th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems, 2008, 2008.


Min Bao, Alexandru Andrei, Petru Ion Eles and Zebo Peng
  Temperature-Aware Voltage Selection for Energy Optimization
  Design, Automation and Test in Europe, 2008, 2008.


Soheil Samii, Sergiu Aurel Rafiliu, Petru Eles and Zebo Peng
  A Simulation Methodology for Worst-Case Response Time Estimation of Distributed Real-Time Systems
  Design, Automation, and Test in Europe DATE 2008,2008, 2008.


Anders Larsson, Erik Larsson, Krishnendu Chakrabarty, Petru Ion Eles and Zebo Peng
  Test-Architecture Optimization and Test Scheduling for SOCs with Core-Level Expansion of Compressed Test Patterns
  Design, Automation, and Test in Europe DATE 2008,2008, 2008.


Viacheslav Izosimov, Paul Pop, Petru Ion Eles and Zebo Peng
  Scheduling of Fault-Tolerant Embedded Systems with Soft and Hard Timing Constraints
  Design, Automation, and Test in Europe DATE 2008,2008, 2008.


 Web of Science® Times Cited: 3

Alexandru Andrei, Petru Ion Eles, Zebo Peng and Jakob Rosén
  Predictable Implementation of Real-Time Applications on Multiprocessor Systems on Chip
  VLSI Design, 2008. VLSID 2008, 2008.


 Web of Science® Times Cited: 2

Daniel Karlsson, Petru Ion Eles and Zebo Peng
  Transactor-based Formal Verification of Real-time Embedded Systems
  Forum on Specification Design Languages,2007, 2008.


Paul Pop, Kåre Poulsen, Viacheslav Izosimov and Petru Ion Eles
  Scheduling and Voltage Scaling for Energy/Reliability Trade-offs in Fault-Tolerant Time-Triggered Embedded Systems
  5th Intl. Conf. on Hardware/Software Codesign and System Synthesis CODES+ISSS,2007, 2007.


Anders Larsson, Erik Larsson, Petru Ion Eles and Zebo Peng
  A Heuristic for Concurrent SOC Test Scheduling with Compression and Sharing
  IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems,2007, 2007.


Zhiyuan He, Zebo Peng and Petru Ion Eles
  A heuristic for thermal-safe SoC test scheduling
  IEEE International Test Conference, 2007, 2007.


Erik Larsson, Mehdi Amirijoo, Daniel Karlsson and Petru Ion Eles
  What Impacts Course Evaluation?
  12th SIGCSE Conf. on Innovation and Technology in Computer Science Education,2007, 2007.


Jakob Rosén, Alexandru Andrei, Petru Ion Eles and Zebo Peng
  Bus Access Optimization for Predictable Implementation of Real-Time Applications on Multiprocessor Systems-on-Chip
  28th IEEE Real-Time Systems Symposium RTSS07,2007, 2007.


 Web of Science® Times Cited: 14

Anders Larsson, Erik Larsson, Petru Ion Eles and Zebo Peng
  Optimized Integration of Test Compression and Sharing for SOC Testing
  Design, Automation, and Test in Europe Conference DATE07,2007, 2007.


 Web of Science® Times Cited: 2

Traian Pop, Paul Pop, Petru Ion Eles and Zebo Peng
  Bus Access Optimisation for FlexRay-based Distributed Embedded Systems
  Design, Automation, and Test in Europe Conference DATE07,2007, 2007.


 Web of Science® Times Cited: 3

Viacheslav Izosimov, Paul Pop, Petru Ion Eles and Zebo Peng
  Mapping of Fault-Tolerant Applications with Transparency on Distributed Embedded Systems
  9th Euromicro Conference on Digital System Design,2006, 2006.


 Web of Science® Times Cited: 1

Zhiyuan He, Zebo Peng, Petru Ion Eles, Paul Rosinger and Bashir M. Al-Hashimi
  Thermal-Aware SoC Test Scheduling with Test Set Partitioning and Interleaving
  <em>International Symposium on Defect and Fault Tolerance in VLSI Systems (DFT'06), Arlington, Virginia, USA, October 4-6, 2006.</em>, 2006.


 Web of Science® Times Cited: 3

Luis-Alejandro Cortes, Petru Ion Eles and Zebo Peng
  A Quasi-Static Approach to Minimizing Energy Consumption in Real-Time Systems under Reward Constraints
  12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2006, 2006.


Traian Pop, Paul Pop, Petru Ion Eles, Zebo Peng and Alexandru Andrei
  Timing Analysis of the FlexRay Communication Protocol
  18th Euromicro Conference on Real-Time Systems ECRTS 06,2006, 2006.


 Web of Science® Times Cited: 8

Zhiyuan He, Zebo Peng and Petru Ion Eles
  Power Constrained and Defect-Probability Driven SoC Test Scheduling with Test Set Partitioning
  Design Automation and Test in Europe Conference DATE 2006,2006, 2006.


Sorin Manolache, Petru Ion Eles and Zebo Peng
  Buffer Space Optimisation with Communication Synthesis and Traffic Shaping for NoCs
  Design Automation and Test in Europe Conference DATE 2006,2006, 2006.


Viacheslav Izosimov, Paul Pop, Petru Ion Eles and Zebo Peng
  Synthesis of Fault-Tolerant Schedules with Transparency/Performance Trade-offs for Distributed Embedded Systems
  Design Automation and Test in Europe Conference DATE 2006,2006, 2006.


Daniel Karlsson, Petru Ion Eles and Zebo Peng
  Formal Verification of SystemC Designs Using a Petri-Net based Representation
  Design Automation and Test in Europe Conference DATE 2006,2006, 2006.


 Web of Science® Times Cited: 11

Viacheslav Izosimov, Paul Pop, Petru Ion Eles and Zebo Peng
  Synthesis of Fault-Tolerant Embedded Systems with Checkpointing and Replication
  3rd IEEE Intl. Workshop on Electronic Design, Test Applications DELTA,2006, 2006.


 Web of Science® Times Cited: 4

Anders Larsson, Erik Larsson, Petru Ion Eles and Zebo Peng
  SOC Test Scheduling with Test Set Sharing and Broadcasting
  IEEE Asian Test Symposium,2005, 2005.


Dong Wu, Bashir M. Al-Hashimi, Marcus T. Schmitz and Petru Ion Eles
  Power-Composition Profile Driven Co-Synthesis with Power Management Selection for Dynamic and Leakage Energy Reduction
  8th Euromicro Conference on Digital System Design DSD2005,2005, 2005.


Daniel Karlsson, Petru Ion Eles and Zebo Peng
  Validation of Embedded Systems using Formal Method aided Verification
  8th Euromicro Conference on Digital System Design DSD2005,2005, 2005.


Anders Larsson, Erik Larsson, Petru Ion Eles and Zebo Peng
  Optimization of a Bus-based Test Data Transportation Mechanism in System-on-Chip
  8th Euromicro Conference on Digital System Design DSD2005,2005, 2005.


Zhiyuan He, Gert Jervan, Petru Ion Eles and Zebo Peng
  Power-Constrained Hybrid BIST Test Scheduling in an Abort-on-First-Fail Test Environment
  8th Euromicro Conference on Digital System Design DSD2005,2005, 2005.


 Web of Science® Times Cited: 2

Luis-Alejandro Cortes, Petru Ion Eles and Zebo Peng
  Quasi-Static Scheduling for Multiprocessor Real-Time Systems with Hard and Soft Tasks
  11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications RTCSA05,2005, 2005.


Traian Pop, Paul Pop, Petru Ion Eles and Zebo Peng
  Optimization of Hierarchically Scheduled Heterogeneous Embedded Systems
  11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications RTCSA05,2005, 2005.


 Web of Science® Times Cited: 2

Luis-Alejandro Cortes, Petru Ion Eles and Zebo Peng
  Quasi-Static Assignment of Voltages and Optional Cycles for Maximizing Rewards in Real-Time Systems with Energy Constraints
  42nd Design Automation Conference,2005, 2005.


 Web of Science® Times Cited: 5

Sorin Manolache, Petru Ion Eles and Zebo Peng
  Fault and EnergyAware Communication Mapping with Guaranteed Latency for Applications Implemented on NoC
  42nd Design Automation Conference,2005, 2005.


 Web of Science® Times Cited: 5

Alexandru Andrei, Marcus Schmitz, Petru Ion Eles, Zebo Peng and Bashir M. Al Hashimi
  Quasi-Static Voltage Scaling for Energy Minimization with Time Constraints
  Design Automation and Test in Europe Conference DATE 2005,2005, 2005.


 Web of Science® Times Cited: 3

Viacheslav Izosimov, Paul Pop, Petru Ion Eles and Zebo Peng
  Design Optimization of Time- and Cost-Constrained Fault-Tolerant Distributed Embedded Systems
  Design Automation and Test in Europe Conference DATE 2005,2005, 2005.


 Web of Science® Times Cited: 23

Abdil Mohamed, Zebo Peng and Petru Ion Eles
  A Wiring-Aware Approach to Minimizing Built-In Self-Test Overhead
  The IEEE International Workshop on Electronic Design, Test and Applications DELTA 2004,2004, 2004.


Luis-Alejandro Cortes, Petru Ion Eles and Zebo Peng
  Static Scheduling of Monoprocessor Real-Time Systems composed of Hard and Soft Tasks
  The IEEE International Workshop on Electronic Design, Test and Applications DELTA 2004,2004, 2004.


Luis-Alejandro Cortes, Petru Ion Eles and Zebo Peng
  Quasi-Static Scheduling for Real-Time Systems with Hard and Soft Tasks
  Design, Automation and Test in Europe DATE 2004,2004, 2004.


 Web of Science® Times Cited: 2

Alexandru Andrei, Marcus Schmitz, Petru Ion Eles, Zebo Peng and Bashir M. Al Hashimi
  Overhead-Conscious Voltage Selection for Dynamic and Leakage Energy Reduction of Time-Constrained Systems
  Design, Automation and Test in Europe DATE 2004,2004, 2004.


 Web of Science® Times Cited: 8

Paul Pop, Petru Ion Eles, Zebo Peng, Viacheslav Izosimov, Magnus Hellring and Olof Bridal
  Design Optimization of Multi-Cluster Embedded Systems for Real-Time Applications
  Design, Automation and Test in Europe DATE 2004,2004, 2004.


 Web of Science® Times Cited: 3

Sorin Manolache, Petru Ion Eles and Zebo Peng
  Optimization of Soft Real-Time Systems with Deadline Miss Ratio Constraints
  10th IEEE Real-Time and Embedded Technology and Applications Symposium,2004, 2004.


 Web of Science® Times Cited: 1

Anders Larsson, Erik Larsson, Petru Ion Eles and Zebo Peng
  A Technique for Optimization of System-on-Chip Test Data Transportation
  9th IEEE European Test Symposium,2004, 2004.


Paul Pop, Petru Ion Eles, Zebo Peng and Viacheslav Izosimov
  Schedulability-Driven Partitioning and Mapping for Multi-Cluster Real-Time Systems
  16th Euromicro Conference on Real-Time Systems,2004, 2004.


 Web of Science® Times Cited: 1

Luis-Alejandro Cortes, Petru Ion Eles and Zebo Peng
  Combining Static and Dynamic Scheduling for Real-Time Systems
  Workshop on Software Analysis and Development for Pervasive Systems SONDA 2004,2004, 2004.


Abdil Mohamed, Zebo Peng and Petru Ion Eles
  A Heuristic for Wiring-Aware Built-In Self-Test Synthesis
  EUROMICRO SYMPOSIUM ON DIGITAL SYSTEM DESIGN, Architectures, Methods and Tools,2004, 2004.


Daniel Karlsson, Petru Ion Eles and Zebo Peng
  A Formal Verification Methodology for IP-based Designs
  EUROMICRO SYMPOSIUM ON DIGITAL SYSTEM DESIGN, Architectures, Methods and Tools,2004, 2004.


 Web of Science® Times Cited: 2

Daniel Karlsson, Petru Ion Eles and Zebo Peng
  A Formal Verification Approach for IP-based Designs
  Forum on Specification and Design Languages,2004, 2004.


Alexandru Andrei, Marcus Schmitz, Petru Ion Eles, Zebo Peng and Bashir M. Al Hashimi
  Simultaneous Communication and Processor Voltage Scaling for Dynamic and Leakage Energy Reduction in Time-Constrained Systems
  International Conference on Computer Aided Design ICCAD 2004,2004, 2004.


 Web of Science® Times Cited: 5

Zhiyuan He, Gert Jervan, Zebo Peng and Petru Ion Eles
  Hybrid BIST Test Scheduling Based on Defect Probabilities
  2004 IEEE Asian Test Symposium ATS 2004,2004, 2004.


 Web of Science® Times Cited: 1

Paul Pop, Petru Ion Eles and Zebo Peng
  Schedulability Analysis and Optimization for the Synthesis of Multi-Cluster Distributed Embedded Systems
  Design Automation and Test in Europe DATE 2003 Conference,2003, 2003.


Paul Pop, Petru Ion Eles and Zebo Peng
  Schedulability-Driven Frame Packing for Multi-Cluster Distributed Embedded Systems
  ACM SIGPLAN Conference on Languages, Compilers and Tools for Embedded Systems,2003, 2003.


Dong Wu, Bashir M. Al Hashimi and Petru Ion Eles
  Scheduling and Mapping of Conditional Task Graph for the Synthesis of Low Power Embedded Systems
  Design Automation and Test in Europe DATE 2003 Conference,2003, 2003.


Marcus Schmitz, Bashir M. Al Hashimi and Petru Ion Eles
  A Co-Design Methodology for Energy-Efficient Multi-Mode Embedded Systems with Consideration of Mode Execution Probabilities
  Design Automation and Test in Europe DATE 2003 Conference,2003, 2003.


Traian Pop, Petru Ion Eles and Zebo Peng
  Schedulability Analysis for Distributed Heterogeneous Time/Event-Triggered Real-Time Systems
  15th Euromicro Conference on Real-Time Systems ECRTS 2003,2003, 2003.


Traian Pop, Petru Ion Eles and Zebo Peng
  Design Optimization of Mixed Time/Event-Triggered Distributed Embedded Systems
  CODES-ISSS 2003 merged conference,2003, 2003.


Anders Larsson, Erik Larsson, Petru Ion Eles and Zebo Peng
  Buffer and Controller Minimization for Time-Constrained Testing of System-On-Chip
  18th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems DFT03,2003, 2003.


Gert Jervan, Petru Ion Eles, Zebo Peng, Raimund Ubar and Maksim Jenihhin
  Hybrid BIST Time Minimization for Core-Based Systems with STUMPS Architecture
  18th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems DFT03,2003, 2003.


Gert Jervan, Petru Ion Eles, Zebo Peng, Raimund Ubar and Maksim Jenihhin
  Test Time Minimization for Hybrid BIST of Core-Based Systems
  12th IEEE Asian Test Symposium ATS03,2003, 2003.


Marcus Schmitz, Bashir M. Al Hashimi and Petru Ion Eles
  Energy-Efficient Mapping and Scheduling for DVS Enabled Distributed Embedded Systems
  Design Automation and Test in Europe Conference DATE 2002,2002, 2002.


Paul Pop, Petru Ion Eles and Zebo Peng
  Flexibility Driven Scheduling and Mapping for Distributed Real-Time Systems
  8th International Conference on Real-Time Computing Systems and Applications RTCSA 2002,2002, 2002.


Luis-Alejandro Cortes, Petru Ion Eles and Zebo Peng
  Verification of Real-Time Embedded Systems using Petri Net Models and Timed Automata
  8th International Conference on Real-Time Computing Systems and Applications RTCSA 2002,2002, 2002.


Abdil Mohamed, Zebo Peng and Petru Ion Eles
  BIST Synthesis: An Approach to Resources Optimization under Test Time Constraints
  5th Design and Diagnostic of Electronic Computer Systems DDECS2002,2002, 2002.


Mauricio Varea, Bashir M. Al Hashimi, Luis-Alejandro Cortes, Petru Ion Eles and Zebo Peng
  Symbolic Model Checking of Dual Transition Petri Nets
  10th International Symposium on HardwareSoftware Codesign CODES 2002,2002, 2002.


Traian Pop, Petru Ion Eles and Zebo Peng
  Holistic Scheduling and Analysis of Mixed Time/Event-Triggered Distributed Embedded Systems
  10th International Symposium on HardwareSoftware Codesign CODES 2002,2002, 2002.


Luis-Alejandro Cortes, Petru Ion Eles and Zebo Peng
  An Approach to Reducing Verification Complexity of Real-Time Embedded Systems
  14th Euromicro Conference on Real-Time Systems ECRTS 2002, Work-in-Progress Session,2002, 2002.


Daniel Karlsson, Petru Ion Eles and Zebo Peng
  Formal Verification in a Component-based Reuse Methodology
  nternational Symposium on System Synthesis ISSS 2002,2002, 2002.


Sorin Manolache, Petru Ion Eles and Zebo Peng
  Schedulability Analysis of Multiprocessor Real-Time Applications with Stochastic Task Execution Times
  Intl Conference on Computer Aided Design, ICCAD 02,2002, 2002.


Paul Pop, Petru Ion Eles, Traian Pop and Zebo Peng
  Minimizing System Modification in an Incremental Design Approach
  International Workshop on HardwareSoftware Codesign CODES 2001,2001, 2001.


Daniel Karlsson, Petru Ion Eles and Zebo Peng
  A Front End to a Java Based Environment for the Design of Embedded Systems
  4th IEEE DDECS Workshop,2001, 2001.


Peter Nilsson, Petru Ion Eles and Hannu Tenhunnen
  SOCWARE: A New Swedish Design Cluster For System-On-Chip
  International Conference on Microelectronic Systems Education,2001, 2001.


Sorin Manolache, Petru Ion Eles and Zebo Peng
  Memory and Time-Efficient Schedulability Analysis of Task Sets with Stochastic Execution Time
  13th Euromicro Conference on Real-Time Systems,2001, 2001.


Paul Pop, Petru Ion Eles, Traian Pop and Zebo Peng
  An Approach to Incremental Design of Distributed Embedded Systems
  38th Design Automation Conference DAC,2001, 2001.


Luis-Alejandro Cortes, Petru Ion Eles and Zebo Peng
  Hierarchical Modeling and Verification of Embedded Systems
  Euromicro Symposium on Digital Systems Design,2001, 2001.


Razvan Jigorea, Sorin Manolache, Petru Ion Eles and Zebo Peng
  Modelling of Real-Time Embedded Systems in an Object-Oriented Design Environment with UML
  3rd IEEE International Symposium on Object-oriented Real-time distributed Computing ISORC 2000,2000, 2000.


Paul Pop, Petru Ion Eles and Zebo Peng
  Performance Estimation for Embedded Systems with Data and Control Dependencies
  8th International Workshop on HardwareSoftware Codesign CODES 2000,2000, 2000.


Paul Pop, Petru Ion Eles and Zebo Peng
  Schedulability Analysis for Systems with Data and Control Dependencies
  12th Euromicro Conference on Real-Time Systems,2000, 2000.


Luis-Alejandro Cortes, Petru Ion Eles and Zebo Peng
  Formal Coverification of Embedded Systems using Model Checking
  26th Euromicro Conference Digital Systems Design,2000, 2000.


Luis-Alejandro Cortes, Petru Ion Eles and Zebo Peng
  Definitions of Equivalence for Transformational Synthesis of Embedded Systems
  6th International Conference on Engineering of Complex Computer Systems ICECCS 2000,2000, 2000.


Luis-Alejandro Cortes, Petru Ion Eles and Zebo Peng
  Verification of Embedded Systems using a Petri Net based Representation
  13th International Symposium on System Synthesis ISSS 2000,2000, 2000.


Ph.D. Theses

Sergiu Rafiliu
  Stability of Adaptive Distributed Real-TimeSystems with Dynamic Resource Management
  2013.


  Fulltext PDF

Soheil Samii
  Quality-Driven Synthesis and Optimization of Embedded Control Systems
  2011.


  Fulltext PDF

Zhiyuan He
  Temperature Aware and Defect-Probability Driven Test Scheduling for System-on-Chip
  2010.


  Fulltext PDF

Viacheslav Izosimov
  Scheduling and Optimization of Fault-Tolerant Distributed Embedded Systems
  2009.


  Fulltext PDF

Alexandru Andrei
  Energy Efficient and Predictable Design of Real-Time Embedded Systems
  2007.


  Fulltext PDF

Traian Pop
  Analysis and Optimisation of Distributed Embedded Systems with Heterogeneous Scheduling Policies
  2007.


  Fulltext PDF

Daniel Karlsson
  Verification of Component-based Embedded System Designs
  2006.


  Fulltext PDF

Sorin Manolache
  Analysis and Optimisation of Real-Time Systems with Stochastic Behaviour
  2005.


  Fulltext PDF

Diana Szentiványi
  Performance Studies of Fault-Tolerant Middleware
  2005.


  Fulltext PDF

Luis Alejandro Cortés
  Verification and Scheduling Techniques for Real-Time Embedded Systems
  2005.


  Fulltext PDF

Paul Pop
  Analysis and Synthesis of Communication-Intensive Heterogeneous Real-Time Systems
  2003.


Licentiate Theses

Jakob Rosén
  Predictable Real-Time Applications on Multiprocessor Systems-on-Chip
  2011.


  Fulltext PDF

Ruxandra Pop
  Mapping Concurrent Applications to Multiprocessor Systems with Multithreaded Processors and Network on Chip-Based Interconnections
  2011.


  Fulltext PDF

Min Bao
  System-Level Techniques for Temperature-Aware Energy Optimization
  2010.


  Fulltext PDF

Rickard Holsmark
  Deadlock Free Routing inMesh Networks on Chip with Regions
  2009.


  Fulltext PDF

Zhiyuan He
  System-on-Chip test scheduling with defect-probability and temperature considerations
  2007.


  Fulltext PDF

Anders Larsson
  System-on-Chip Test Scheduling and Test Infrastructure Design
  2005.


Abdil Mohamed
  High-Level Techniques for Built-In Self-Test Resources Optimization
  2005.


Daniel Karlsson
  Towards Formal Verification in a Component-based Reuse Methodology
  2003.


  Fulltext PDF

Traian Pop
  Scheduling and Optimisation of Heterogeneous Time/Event-Triggered Distributed Embedded Systems
  2003.


  Fulltext PDF

Sorin Manolache
  Schedulability analysis of real-time systems with stochastic task execution times
  2002.


  Fulltext PDF

Luis Alejandro Cortés
  A Petri Net based Modeling and Verification Technique for Real-Time Embedded Systems
  2001.


  Fulltext PDF

Paul Pop
  Scheduling and Communication Synthesis for Distributed Real-Time Systems
  2000.


Reports

Arian Maghazeh, Unmesh D. Bordoloi, Petru Eles and Zebo Peng
  General Purpose Computing on Low-Power Embedded GPUs: Has It Come of Age?
  2013.


  Fulltext PDF

Adrian Alin Lifa, Petru Eles and Zebo Peng
  Execution Time Minimization Based on Hardware/Software Partitioning and Speculative Prefetch
  Technical reports in Computer and Information Science, 2012:11, 2012.


  Fulltext PDF

Min Bao, Alexandru Andrei, Petru Eles and Zebo Peng
  An Energy Efficient Technique for Temperature-Aware Voltage Selection
  Technical reports in Computer and Information Science, 4, 2009.


  Fulltext PDF

Luis-Alejandro Cortes, Petru Ion Eles and Zebo Peng
  Static Scheduling of Monoprocessor Real-Time Systems composed of Hard and Soft Tasks
  2003.


Luis-Alejandro Cortes, Petru Ion Eles and Zebo Peng
  Quasi-Static Scheduling for Real-Time Systems with Hard and Soft Tasks
  2003.


Luis-Alejandro Cortes, Petru Ion Eles and Zebo Peng
  Quasi-Static Scheduling for Multiprocessor Real-Time Systems with Hard and Soft Tasks
  2003.


Olga Goloubeva, Matteo Sonza Reorda, Massimo Violante, Petru Ion Eles, Gert Jervan and Zebo Peng
  Report on Dissemination Plan
  COTEST Project Report, D5, 2002.


Olga Goloubeva, Matteo Sonza Reorda, Massimo Violante, Petru Ion Eles, Gert Jervan and Zebo Peng
  Final Report on Project Results
  COTEST Project Report, D4, 2002.


Petru Ion Eles, Gert Jervan, Abdil Mohamed and Zebo Peng
  Report on Early DfT Support
  COTEST Project Report, D3, 2002.


Luis-Alejandro Cortes, Petru Ion Eles and Zebo Peng
  Hierarchies for the Modeling and Verification of Embedded Systems
  SAVE Project Report, , 2001.


Luis-Alejandro Cortes, Petru Ion Eles and Zebo Peng
  From Haskell to PRES+ Basic Translation Procedures
  SAVE Project Report, , 2001.


Luis-Alejandro Cortes, Petru Ion Eles and Zebo Peng
  Modeling and Verification of Embedded Systems using Petri Net based Methods: Application to an Industrial Case
  SAVE Project Report, , 2001.


Luis-Alejandro Cortes, Petru Ion Eles and Zebo Peng
  Verification Methodology for Heterogeneous Hardware/Software Systems
  SAVE Project Report, , 2000.


Luis-Alejandro Cortes, Petru Ion Eles and Zebo Peng
  Verification of Heterogeneous Electronic Systems using Model Checking
  SAVE Project Report, , 2000.