Linköping University: Students Alumni Trade and Industry/Society Internal Search

Search Results

AUTHOR:PETRU ELES
Found 295 entries
  1. Multi-Traffic Resource Optimization for Real-Time Applications with 5G Configured Grant Scheduling
    Yungang Pan, Rouhollah Mahfouzi, Soheil Samii, Petru Eles, Zebo Peng
    ACM Transactions on Embedded Computing Systems, Volume 23, Issue 4

  2. Runtime Resource Management with Multiple-Step-Ahead Workload Prediction
    Mina Niknafs, Petru Eles, Zebo Peng
    ACM Transactions on Embedded Computing Systems

  3. Secure Cloud Control Using Verifiable Computation
    Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Petru Eles, Zebo Peng
    2021 IEEE International Conference on Omni-Layer Intelligent Systems (COINS)

  4. Reliability-aware Scheduling and Routing for Messages in Time-sensitive Networking
    Yuanbin Zhou, Soheil Samii, Petru Eles, Zebo Peng
    ACM Transactions on Embedded Computing Systems (TECS)

  5. ASIL-Decomposition Based Routing and Scheduling in Safety-Critical Time-Sensitive Networking
    Yuanbin Zhou, Soheil Samii, Petru Eles, Zebo Peng
    2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium (RTAS)

  6. Verifying Safety of Parameterized Heard-Of Algorithms
    Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
    Networked Systems. NETYS 2020

  7. Software-based Self-Testing using Bounded Model Checking for Out-of-Order Superscalar Processors
    Ying Zhang, Krishnendu Chakrabarty, Zebo Peng, Ahmed Rezine, Huawei Li, Petru Eles, Jianhui Jiang
    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

  8. Butterfly Attack: Adversarial Manipulation of Temporal Properties of Cyber-Physical Systems
    Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Mathias Payer, Petru Eles, Zebo Peng
    IEEE Real-Time Systems Symposium (RTSS 19)

  9. Breaking Silos to Guarantee Control Stability with Communication over Ethernet TSN
    Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Ahmed Rezine, Petru Eles, Zebo Peng
    IEEE Design & Test

  10. On Reachability in Parameterized Phaser Programs
    Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio, Petru Eles, Zebo Peng
    International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2019

  11. Genetic Algorithm Based Estimation of Non–Functional Properties for GPGPU Programs
    Adrian Horga, Sudipta Chattopadhyay, Petru Eles, Zebo Peng
    Journal of Systems Architecture

  12. Security-aware Routing and Scheduling for Control Applications on Ethernet TSN Networks
    Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Petru Eles, Zebo Peng
    ACM Transactions on Design Automation of Electronic Systems (TODAES)

  13. Software-based Self-Testing using Bounded Model Checking for Out-of-Order Superscalar Processors
    Ying Zhang, Krishnendu Chakrabarty, Zebo Peng, Ahmed Rezine, Huawei Li, Petru Eles, Jianhui Jiang
    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

  14. Runtime Resource Management with Workload Prediction
    Mina Niknafs, Ivan Ukhov, Petru Eles, Zebo Peng
    56th Annual Design Automation Conference 2019 (DAC), Las Vegas, NV, USA

  15. Cache-Aware Kernel Tiling: An Approach for System-Level Performance Optimization of GPU-Based Applications
    Arian Maghazeh, Sudipta Chattopadhyay, Petru Eles, Zebo Peng
    2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), Florence, Italy

  16. Scheduling optimization with partitioning for mixed-criticality systems
    Yuanbin Zhou, Soheil Samii, Petru Eles, Zebo Peng
    Journal of Systems Architecture

  17. Partitioned and overhead-aware scheduling of mixed-criticality real-time systems
    Yuanbin Zhou, Soheil Samii, Petru Eles, Zebo Peng
    24th Asia and South Pacific Design Automation Conference (ASPDAC), Tokyo, Japan

  18. Stability-Aware Integrated Routing and Scheduling for Control Applications in Ethernet Networks
    Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Ahmed Rezine, Petru Eles, Zebo Peng
    Design, Automation and Test in Europe (DATE) 2018

  19. Measurement Based Execution Time Analysis of GPGPU Programs via SE+GA
    Adrian Horga, Sudipta Chattopadhyay, Petru Eles, Zebo Peng
    Digital System Design (DSD) 2018

  20. Optimization of Message Encryption for Real-Time Applications in Embedded Systems
    Amir Aminifar, Petru Eles, Zebo Peng
    IEEE Transactions on Computers

  21. Control-Quality Driven Design of Embedded Control Systems with Stability Guarantees
    Amir Aminifar, Petru Eles, Zebo Peng, Anton Cervin, Karl-Erik Årzén
    IEEE Design & Test

  22. Workload Prediction for Runtime Resource Management
    Mina Niknafs, Ivan Ukhov, Petru Eles, Zebo Peng
    IEEE Nordic Circuits and System Conference (NorCAS 2017)

  23. Two-Phase Interarrival Time Prediction for Runtime Resource Management
    Mina Niknafs, Ivan Ukhov, Petru Eles, Zebo Peng
    Euromicro Conference on Digital System Desing (DSD 2017)

  24. Safety Verification of Phaser Programs
    Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
    Formal Methods in Computer-Aided Design, 2-6 October, 2017, TU Wien, Vienna, Austria

  25. Networked Real-Time Embedded Systems
    Haibo Zeng, Prachi Joshi, Daniel Thiele, Jonas Diemer, Philip Axer, Rolf Ernst, Petru Eles
    S. Ha, J. Teich (eds.), Handbook of Hardware/Software Codesign, Springer Science, Dordrecht 2016

  26. Introduction to Hardware/Software Codesign
    Soonhoi Ha, Jürgen Teich, Christian Haubelt, Michael Glaß, Tulika Mitra, Rainer Dömer, Petru Eles, Aviral Shrivastava, Andreas Gerstlauer, Shuvra S. Bhattacharyya
    S. Ha, J. Teich (eds.), Handbook of Hardware/Software Codesign,Springer Science, Dordrecht 2016

  27. Latency-Aware Packet Processing on CPU-GPU Heterogeneous Systems
    Arian Maghazeh, Unmesh D. Bordoloi, Usman Dastgeer, Alexandru Andrei, Petru Eles, Zebo Peng
    DAC 2017, Austin, TX, June 18-22

  28. Fast Synthesis of Power and Temperature Profiles for the Development of Data-Driven Resource Managers
    Ivan Ukhov, Diana Marculescu, Petru Eles, Zebo Peng
    Technical reports in Computer and Information Science, ISSN 1654–7233, 2017.

  29. Fine-Grained Long-Range Prediction of Resource Usage in Computer Clusters
    Ivan Ukhov, Diana Marculescu, Petru Eles, Zebo Peng
    Technical reports in Computer and Information Science, ISSN 1654–7233, 2017.

  30. Probabilistic Analysis of Electronic Systems via Adaptive Hierarchical Interpolation
    Ivan Ukhov, Petru Eles, Zebo Peng
    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD 2017), vol. 36, no. 11, pp. 1883–1896, November 2017.

  31. Intrusion-Damage Assessment and Mitigation in Cyber-Physical Systems for Control Applications
    Rouhollah Mahfouzi, Amir Aminifar, Petru Eles, Zebo Peng, Mattias Villani
    International Conference on Real-Time Networks and Systems (RTNS 2016)

  32. Systematic detection of memory related performance bottlenecks in GPGPU programs
    Adrian Horga, Sudipta Chattopadhyay, Petru Eles, Zebo Peng
    Journal of Systems Architecture

  33. Correlation Aware Probabilistic Timing Analysis for the Dynamic Segment of FlexRay
    Bogdan Tanasa, Unmesh D Bordoloi, Petru Eles, Zebo Peng
    Transactions on Embedded Computing Systems

  34. Self-Triggered Controllers and Hard Real-Time Guarantees
    Amir Aminifar, Paulo Tabuada, Petru Eles, Zebo Peng
    Design, Automation & Test in Europe (DATE), March 2016, Dresden, Germany

  35. Counting Dynamically Synchronizing Processes
    Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
    International Journal on Software Tools for Technology Transfer

  36. Lazy Constrained Monotonic Abstraction
    Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
    Verification, Model Checking, and Abstract Interpretation (VMCAI) ,Florida, USA, 17-19 Jan. 2016

  37. Perception-Aware Power Management for Mobile Games via Dynamic Resolution Scaling
    Arian Maghazeh, Unmesh D. Bordoloi, Mattias Villani, Petru Eles, Zebo Peng
    Conference: International Conference on Computer Aided Design (ICCAD), 2015 Nov. 2-6, Austin, TX.

  38. On-the-fly Energy Minimization for Multi-Mode Real-Time Systems on Heterogeneous Platforms
    Adrian Lifa, Petru Eles, Zebo Peng
    The 13th IEEE/ACM Symposium on Embedded Systems for Real-Time Multimedia (ESTIMedia 2015),Amsterdam, The Netherlands, October 8-9, 2015.

  39. A Test-Ordering Based Temperature-Cycling Acceleration Technique for 3D Stacked ICs
    Nima Aghaee, Zebo Peng, Petru Eles
    Journal of Electronic Testing: Theory and Applications 2015

  40. Power-Aware Design Techniques of Secure Multi-Mode Embedded Systems
    Ke Jiang, Petru Eles, Zebo Peng
    ACM Transactions on Embedded Computing Systems (TECS), 2015

  41. Probabilistic Response Time and Joint Analysis of Periodic Tasks
    Bogdan Tanasa, Unmesh D. Bordoloi, Petru Eles, Zebo Peng
    27th Euromicro Conference on Real-Time Systems

  42. A Reconfigurable Framework for Performance Enhancement with Dynamic FPGA Configuration Prefetching
    Adrian Lifa, Petru Eles, Zebo Peng
    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Journal

  43. Analysis and Design of Real-Time Servers for Control Applications
    Amir Aminifar , Enrico Bini , Petru Eles , Zebo Peng
    IEEE Transactions on Computers

  44. Jfair: A Scheduling Algorithm to Stabilize Control Applications
    Amir Aminifar, Petru Eles, Zebo Peng
    RTAS: 21th IEEE Real-Time and Embedded Technology and Applications Symposium, Cyber-Physical Systems Week, Seattle, WA, April 2015

  45. The Influence of Real-Time Scheduling on Differential Power Analysis Attacks
    Ke Jiang, Lejla Batina, Petru Eles, Zebo Peng
    TRUDEVICE 2015: Workshop on Trustworthy Manufacturing and Utilization of Secure Devices, Grenoble, France, March 13, 2015

  46. Efficient Test Application for Rapid Multi-Temperature Testing
    Nima Aghaee, Zebo Peng, Petru Eles
    25th Great Lakes Symposium on VLSI (GLSVLSI15), Pittsburgh, PA, USA, May 20-22, 2015.

  47. Abstracting and Counting Synchronizing Processes
    Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
    Technical reports in Computer and Information Science, ISSN 1654-7233, 2014.

  48. An Integrated Temperature-Cycling Acceleration and Test Technique for 3D Stacked ICs
    Nima Aghaee, Zebo Peng, Petru Eles
    20th Asia and South Pacific Design Automation Conference (ASP-DAC 2015), Chiba/Tokyo, Japan, Jan. 19-22, 2015.

  49. Temperature-Gradient Based Burn-In and Test Scheduling for 3D Stacked ICs
    Nima Aghaee, Zebo Peng, Petru Eles
    IEEE Transactions on Very Large Scale Integration Systems (VLSI 2015).

  50. Abstracting and Counting Synchronizing Processes
    Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
    16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2015), Mumbai, India, Jan. 12-14, 2015.

  51. Temperature-Centric Reliability Analysis and Optimization of Electronic Systems under Process Variation
    Ivan Ukhov, Petru Eles, Zebo Peng
    IEEE Transactions on Very Large Scale Integration Systems (VLSI 2015), vol. 23, no. 11, pp. 2417–2430, November 2015.

  52. Time-Predictable Embedded Software on Multi-Core Platforms: Analysis and Optimization
    Sudipta Chattopadhyay, Abhik Roychoudhury, Jakob Rosén, Petru Eles, Zebo Peng
    Foundations and Trends in Electronic Design Automation, July 2014, Volume 8, Issue 3-4, pp. 199-356.

  53. Automated Software Testing of Memory Performance in Embedded GPUs
    Sudipta Chattopadhyay, Petru Eles, Zebo Peng
    International Conference on Embedded Software (EMSOFT 2014), New Delhi, India, Oct. 12-17, 2014.

  54. Saving Energy without Defying Deadlines on Mobile GPU-based Heterogeneous Systems
    Arian Maghazeh, Unmesh D. Bordoloi, Adrian Horga, Petru Eles, Zebo Peng
    International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS 2014), New Delhi, India, Oct. 12-17, 2014.

  55. Schedulability Analysis of Ethernet AVB Switches
    Unmesh D. Bordoloi, Amir Aminifar, Petru Eles, Zebo Peng
    20th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2014), Chongqing, China, Aug. 20-22, 2014.

  56. Stability of On-line Resource Managers for Distributed Systems under Execution Time Variations
    Sergiu Rafiliu, Petru Eles, Zebo Peng, Michael Lemmon
    ACM Transactions on Embedded Computing Systems, 2014.

  57. Robustness Analysis of Real-Time Scheduling Against Differential Power Analysis Attacks
    Ke Jiang, Lejla Batina, Petru Eles, Zebo Peng
    IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2014), Tampa, FL, USA, July 9-11, 2014.

  58. Quantifying Notions of Extensibility in FlexRay Schedule Synthesis
    Reinhard Schneider, Dip Goswami, Samarjit Chakraborty, Unmesh Bordoloi, Petru Eles, Zebo Peng
    ACM Transactions on Design Automation of Electronic Systems, Aug. 2014, Volume 19, Issue 4.

  59. Probabilistic Analysis of Power and Temperature Under Process Variation for Electronic System Design
    Ivan Ukhov, Petru Eles, Zebo Peng
    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD 2014), vol. 33, no. 6, pp. 931–944, June 2014.

  60. Bandwidth-Efficient Controller--Server Co-Design with Stability Guarantees
    Amir Aminifar, Enrico Bini, Petru Eles, Zebo Peng
    Design, Automation & Test in Europe (DATE 2014), Dresden, Germany, March 24-28, 2014.

  61. Designing Bandwidth-Efficient Stabilizing Control Servers
    Amir Aminifar, Enrico Bini, Petru Eles, Zebo Peng
    IEEE Real-Time Systems Symposium (RTSS 2013), Vancouver, Canada, December 3-6, 2013.

  62. Temperature-Gradient Based Test Scheduling for 3D Stacked ICs
    Nima Aghaee, Zebo Peng, Petru Eles
    20th IEEE International Conference on Electronics, Circuits, and Systems (ICECS 2013), Abu Dhabi, United Arab Emirates, December 9-12, 2013.

  63. Process-Variation Aware Multi-Temperature Test Scheduling
    Nima Aghaee, Zebo Peng, Petru Eles
    27th International Conference on VLSI Design (VLSID 2014), IIT Bombay, Mumbai, India, January 5-9, 2014.

  64. An Efficient Temperature-Gradient Based Burn-In Technique for 3D Stacked ICs
    Nima Aghaee, Zebo Peng, Petru Eles
    Design, Automation & Test in Europe (DATE 2014), Dresden, Germany, March 24-28, 2014.

  65. Stability-Aware Analysis and Design of Embedded Control Systems
    Amir Aminifar, Petru Eles, Zebo Peng, Anton Cervin
    International Conference on Embedded Software (EMSOFT 2013), Montreal, Canada, September 29 - October 4, 2013.

  66. Energy-Aware Design of Secure Multi-Mode Real-Time Embedded Systems with FPGA Co-Processors
    Ke Jiang, Adrian Lifa, Petru Eles, Zebo Peng, Wei Jiang
    21st International Conference on Real-Time Networks and Systems (RTNS 2013), Sophia Antipolis, France, October 16-18, 2013.

  67. Statistical Analysis of Process Variation Based on Indirect Measurements for Electronic System Design
    Ivan Ukhov, Mattias Villani, Petru Eles, Zebo Peng
    Asia and South Pacific Design Automation Conference (ASP-DAC 2014), SunTec, Singapore, January 20–23, 2014.

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

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

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

  71. General Purpose Computing on Low-Power Embedded GPUs: Has It Come of Age?
    Arian Maghazeh, Unmesh D. Bordoloi, Petru Eles, Zebo Peng
    Technical reports in Computer and Information Science, ISSN 1654-7233, 2013.

  72. Probabilistic Timing Analysis for the Dynamic Segment of FlexRay
    Bogdan Tanasa, Unmesh Dutta Bordoloi, Petru Eles, Zebo Peng
    25th Euromicro Conference on Real-Time Systems (ECRTS 2013), Paris, ECE, France, July 9-12, 2013, pp. 135-144.

  73. Stability of Adaptive Feedback-Based Resource Managers for Systems with Execution Time Variations
    Sergiu Rafiliu, Petru Eles, Zebo Peng
    Real-Time Systems, May 2013, Volume 49, Issue 3, pp 367-400.

  74. Process-variation and Temperature Aware SoC Test Scheduling Technique
    Nima Aghaee, Zebo Peng, Petru Eles
    Journal of Electronic Testing: Theory and Applications, Aug. 2013, Volume 29, Issue 4, pp. 499-520.

  75. Optimization of Secure Embedded Systems with Dynamic Task Sets
    Ke Jiang, Petru Eles, Zebo Peng
    Design, Automation & Test in Europe (DATE 2013), Grenoble, France, March 18-22, 2013.

  76. Control-Quality Driven Design of Cyber-Physical Systems with Robustness Guarantees
    Amir Aminifar, Petru Eles, Zebo Peng, Anton Cervin
    Design, Automation & Test in Europe (DATE 2013), Grenoble, France, March 18-22, 2013.

  77. Dynamic Configuration Prefetching Based on Piecewise Linear Prediction
    Adrian Lifa, Petru Eles, Zebo Peng
    Design, Automation & Test in Europe (DATE 2013), Grenoble, France, March 18-22, 2013.

  78. Minimization of Average Execution Time Based on Speculative FPGA Configuration Prefetch
    Adrian Lifa, Petru Eles, Zebo Peng
    International Conference on ReConFigurable Computing and FPGAs (ReConFig 2012), Cancun, Mexico, December 5-7, 2012.

  79. Designing High-Quality Embedded Control Systems with Guaranteed Stability
    Amir Aminifar, Soheil Samii, Petru Eles, Zebo Peng, Anton Cervin
    33rd IEEE Real-Time Systems Symposium (RTSS 2012), San Juan, Puerto Rico, December 4-7, 2012.

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

  81. Execution Time Minimization Based on Hardware/Software Partitioning and Speculative Prefetch
    Adrian Lifa, Petru Eles, Zebo Peng
    Technical reports in Computer and Information Science, ISSN 1654-7233, rep. no. 11, July 9, 2012.

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

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

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

  85. Control-Quality Optimization for Distributed Embedded Systems with Adaptive Fault Tolerance
    Soheil Samii, Unmesh D. Bordoloi, Petru Eles, Zebo Peng, Anton Cervin
    24th Euromicro Conference on Real-Time Systems (ECRTS 2012), Pisa, Italy, July 10-13, 2012.

  86. Steady-State Dynamic Temperature Analysis and Reliability Optimization for Embedded Multiprocessor Systems
    Ivan Ukhov, Min Bao, Petru Eles, Zebo Peng
    Design Automation Conference (DAC 2012), San Francisco, CA, USA, June 3–7, 2012.

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

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

  89. Development Tools
    Paul Pop, A. Goller, Traian Pop, Petru Eles
    Book Chapter in "Time-Triggered Communication", Editor: Roman Obermaisser, ISBN: 978-1-4398-4661-2, 2012.

  90. Customizing Instruction Set Extensible Reconfigurable Processors using GPUs
    Unmesh D. Bordoloi, Bharath Suri, Swaroop Nunna, Samarjit Chakraborty, Petru Eles, Zebo Peng
    25th International Conferennce on VLSI Design, Hyderabad, India, January 07-11, 2012.

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

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

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

  94. Reliability-Aware Frame Packing for the Static Segment of FlexRay
    Bogdan Tanasa, Unmesh D. Bordoloi, Petru Eles, Zebo Peng
    The Intl. Conf. on Embedded Software (EMSOFT 2011), Taipei, Taiwan, October 9-14, 2011.

  95. Control-Quality Driven Task Mapping for Distributed Embedded Control Systems
    Amir Aminifar, Soheil Samii, Petru Eles, Zebo Peng
    17th IEEE Intl. Conf. on Embedded and Real-Time Computing Systems and Applications (RTCSA 2011), Toyama, Japan, August 29-31, 2011.

  96. Scheduling and Mapping in an Incremental Design Methodology for Distributed Real-Time Embedded Systems
    Paul Pop, Petru Eles, Zebo Peng, Traian Pop
    IEEE Transactions on Very Large Scale Integration (VLSI) Systems, Volume 12, Issue 8, August 2004, pp. 793-811.

  97. Temperature-Aware Idle Time Distribution for Leakage Energy Optimization
    Min Bao, Alexandru Andrei, Petru Eles, Zebo Peng
    IEEE Transactions on Very Large Scale Integration (VLSI) Systems, Volume 20, Number 7, July 2012, pp. 1187-1200.

  98. On the Quantification of Sustainability and Extensibility of FlexRay Schedules
    Reinhard Schneider, Dip Goswami, Samarjit Chakraborty, Unmesh D. Bordoloi, Petru Eles, Zebo Peng
    48th Design Automation Conference (DAC 2011), San Diego, CA, USA, June 5-10, 2011.

  99. Worst-Case Execution Time Analysis for Multiprocessor System-on-Chip Platforms
    Jakob Rosén, Petru Eles, Zebo Peng
    The 11th Swedish System-on-Chip Conference, Varberg, Sweden, May 2-3, 2011 (not reviewed, not printed).

  100. Performance Comparison of Simulated Annealing and Tabu Search on Block Cipher Optimization in Distributed Embedded Systems
    Ke Jiang, Petru Eles, Zebo Peng
    The 11th Swedish System-on-Chip Conference, Varberg, Sweden, May 2-3, 2011 (not reviewed, not printed).

  101. Adaptive Temperature-Aware SoC Test Scheduling Considering Process Variation
    Nima Aghaee, Zebo Peng, Petru Eles
    14th Euromicro Conference on Digital System Design (DSD11), Oulu, Finland, August 31 – September 2, 2011.

  102. Heuristics for Adaptive Temperature-Aware SoC Test Scheduling Considering Process Variation
    Nima Aghaee, Zebo Peng, Petru Eles
    The 11th Swedish System-on-Chip Conference, Varberg, Sweden, May 2-3, 2011 (not reviewed, not printed).

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

  104. Performance Optimization of Error Detection Based on Speculative Reconfiguration
    Adrian Lifa, Petru Eles, Zebo Peng
    48th Design Automation Conference (DAC 2011), San Diego, CA, USA, June 5-10, 2011.

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

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

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

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

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

  110. Synthesis of Flexible Fault-Tolerant Schedules for Embedded Systems with Soft and Hard Timing Constraints
    Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng
    Book Chapter in "Design and Test Technology for Dependable Systems-on-chip", Editors: Raimund Ubar, Jaan Raik, Heinrich Theodor Vierhaus, ISBN: 978-1-6096-0212-3, 2010.

  111. Thermal-Aware SoC Test Scheduling
    Zhiyuan He, Zebo Peng, Petru Eles
    Book Chapter in "Design and Test Technology for Dependable Systems-on-chip", Editors: Raimund Ubar, Jaan Raik, Heinrich Theodor Vierhaus, ISBN: 978-1-6096-0212-3, 2010.

  112. Scheduling and Optimization of Fault-Tolerant Embedded Systems with Transparency/Performance Trade-Offs
    Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng
    ACM Transactions on Embedded Computing Systems (TECS).

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

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

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

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

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

  118. Hardware/Software Optimization of Error Detection Implementation for Real-Time Embedded Systems
    Adrian Lifa, Petru Eles, Zebo Peng, Viacheslav Izosimov
    International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS 2010), Scottsdale, AZ, USA, October 24-29, 2010.

  119. Low Overhead Dynamic QoS Optimization Under Variable Task Execution Times
    Sergiu Rafiliu, Petru Eles, Zebo Peng
    16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2010), Macau SAR, P.R.C., August 23-25, 2010.

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

  121. Quasi-Static Voltage Scaling for Energy Minimization with Time Constraints
    Alexandru Andrei, Petru Eles, Olivera Jovanovic, Marcus Schmitz, Jens Ogniweski, Zebo Peng
    IEEE Trans. on Very Large Scale Integration (VLSI) Systems, Volume 19, Issue 1, Jan. 2011, pp. 10-23.

  122. Multi-Temperature Testing for Core-based System-on-Chip
    Zhiyuan He, Zebo Peng, Petru Eles
    Design Automation and Test in Europe (DATE'2010), Dresden, Germany, March 8-12, 2010, pp. 208-213.

  123. Temperature-Aware Idle Time Distribution for Energy Optimization with Dynamic Voltage Scaling
    Min Bao, Alexandru Andrei, Petru Eles, Zebo Peng
    Design Automation and Test in Europe (DATE'2010), Dresden, Germany, March 8-12, 2010, pp. 21-26.

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

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

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

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

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

  129. On-line Thermal Aware Dynamic Voltage Scaling for Energy Optimization with Frequency/Temperature Dependency Consideration
    Min Bao, Alexandru Andrei, Petru Eles, Zebo Peng
    Design Automation Conference (DAC), San Fransisco, California, USA, July 26-31, 2009, pp. 490-495.

  130. Quality-Driven Synthesis of Embedded Multi-Mode Control Systems
    Soheil Samii, Petru Eles, Zebo Peng, Anton Cervin
    Design Automation Conference (DAC), San Fransisco, California, USA, July 26-31, 2009, pp. 864-869.

  131. Analysis and Optimization of Fault-Tolerant Embedded Systems with Hardened Processors
    Viacheslav Izosimov, Ilia Polian, Paul Pop, Petru Eles, Zebo Peng
    Design Automation and Test in Europe (DATE 2009), Nice, France, April 20-24, 2009, pp. 682-687.

  132. Integrated Scheduling and Synthesis of Control Applications on Distributed Embedded Systems
    Soheil Samii, Anton Cervin, Petru Eles, Zebo Peng
    Design Automation and Test in Europe (DATE 2009), Nice, France, April 20-24, 2009, pp. 57-62.

  133. Simulation-Driven Thermal-Safe Test Time Minimization for System-on-Chip
    Zhiyuan He, Zebo Peng, Petru Eles
    17th Asian Test Symposium (ATS), Sapporo, JAPAN, November 24-27, 2008, pp. 283-288.

  134. Transactor-based Formal Verification of Real-time Embedded Systems
    Daniel Karlsson, Petru Eles, Zebo Peng
    In Lecture Notes in Electrical Engineering, Vol. 10, Ed.: E. Villar, Springer.

  135. Design Optimization of Time- and Cost-Constrained Fault-Tolerant Embedded Systems with Checkpointing and Replication
    Paul Pop, Viacheslav Izosimov, Petru Eles, Zebo Peng
    IEEE Trans. on Very Large Scale Integrated (VLSI) Systems Volume 17, Issue 3, March 2009, pp. 389-402.

  136. Synthesis of Fault-Tolerant Embedded Systems
    Petru Eles, Viacheslav Izosimov, Paul Pop, Zebo Peng
    Design, Automation, and Test in Europe (DATE 2008), Munich, Germany, March 10-14, 2008, pp. 1117-1122.

  137. Model Validation for Embedded Systems Using Formal Method-Aided Simulation
    Daniel Karlsson, Petru Eles, Zebo Peng
    IET Computers & Digital Techniques journal, Vol. 2, Number 6, November 2008, pp. 413-433.

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

  139. Scheduling of Fault-Tolerant Embedded Systems with Soft and Hard Timing Constraints
    Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng
    Design, Automation, and Test in Europe (DATE 2008), Munich, Germany, March 10-14, 2008, 915-920.

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

  141. Test-Architecture Optimization and Test Scheduling for SOCs with Core-Level Expansion of Compressed Test Patterns
    Anders Larsson, Erik Larsson, Krishnendu Chakrabarty, Petru Eles, Zebo Peng
    Design, Automation, and Test in Europe (DATE 2008), Munich, Germany, March 10-14, 2008, 188- 193.

  142. A Simulation Methodology for Worst-Case Response Time Estimation of Distributed Real-Time Systems
    Soheil Samii, Sergiu Rafiliu, Petru Eles, Zebo Peng
    Design, Automation, and Test in Europe (DATE 2008), Munich, Germany, March 10-14, 2008, pp. 556-561.

  143. Temperature-Aware Voltage Selection for Energy Optimization
    Min Bao, Alexandru Andrei, Petru Eles, Zebo Peng
    Design, Automation, and Test in Europe (DATE 2008), Interactive Presentation (Work-In-Progress), Munich, Germany, March 10-14, 2008, pp. 1083-1086.

  144. Temperature-Aware Task Mapping for Energy Optimization with Dynamic Voltage Scaling
    Min Bao, Alexandru Andrei, Petru Eles, Zebo Peng
    The IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS'08), Bratislava, Slovakia, April 16-18, 2008, pp. 44-49.

  145. Scheduling of Conditional Process Graphs for the Synthesis of Embedded Systems
    Petru Eles, Krzysztof Kuchcinski, Zebo Peng, Alex Doboli, Paul Pop
    Book Chapter in "The Most Influential Papers of 10 Years DATE", Editors: Rudy Lauwereins and Jan Madsen, ISBN 978-1-4020-6487-6, Springer, 2008

  146. Voltage Selection for Time-Constrained Multiprocessor Systems on Chip
    Alexandru Andrei, Petru Eles, Zebo Peng, Marcus Schmitz, Bashir Al-Hashimi
    Book Chapter in "Designing Embedded Processors: A Low Power Perspective", Editors: J. Henkel, S. Parameswaran, Springer, ISBN 978-1-4020-5868-4, 2007

  147. Predictable Implementation of Real-Time Applications on Multiprocessor Systems on Chip
    Alexandru Andrei, Petru Eles, Zebo Peng, Jakob Rosén
    21st Intl. Conference on VLSI Design, January 4-8, 2008, Hyderabad, India, pp. 103-110.

  148. Timing Analysis of the FlexRay Communication Protocol
    Traian Pop, Paul Pop, Petru Eles, Zebo Peng, Alexandru Andrei
    Real-Time Systems Journal, Volume 39, Numbers 1-3, August, 2008, pp 205-235.

  149. Analysis and Optimisation of Hierarchically Scheduled Multiprocessor Embedded Systems
    Traian Pop, Paul Pop, Petru Eles, Zebo Peng
    Intl. Journal of Parallel Programming, Special Issue on Multiprocessor-based Embedded Systems, Volume 36, Number 1, February, 2008, pp. 37-67.

  150. Bus Access Optimization for Predictable Implementation of Real-Time Applications on Multiprocessor Systems-on-Chip
    Jakob Rosén, Alexandru Andrei, Petru Eles, Zebo Peng
    28th IEEE Real-Time Systems Symposium (RTSS'07), December 3-6, 2007, Tucson, Arizona, USA, pp. 49-60.

  151. Timing Analysis for the FlexRay Communication Protocol
    Traian Pop, Paul Pop, Petru Eles, Zebo Peng, Alexandru Andrei
    Real-Time in Sweden, August 21-22, 2007, Västerås, Sweden

  152. Transactor-based Formal Verification of Real-time Embedded Systems
    Daniel Karlsson, Petru Eles, Zebo Peng
    Forum on Specification & Design Languages (FDL), Barcelona, Spain, September 18-20, 2007.

  153. Scheduling and Voltage Scaling for Energy/Reliability Trade-offs in Fault-Tolerant Time-Triggered Embedded Systems
    Paul Pop, Kare Poulsen, Viacheslav Izosimov, Petru Eles
    5th Intl. Conf. on Hardware/Software Codesign and System Synthesis (CODES+ISSS), Salzburg, Austria, September 30 - October 5, 2007, pp. 233-238.

  154. What Impacts Course Evaluation?
    Erik Larsson, Medhi Amirijoo, Daniel Karlsson, Petru Eles
    12th SIGCSE Conf. on Innovation and Technology in Computer Science Education, Dundee, Scotland, UK, June 25-27, 2007, pp. 333-333.

  155. Thermal-Aware SoC Test Scheduling with Test Set Partitioning and Interleaving
    Zhiyuan He, Zebo Peng, Petru Eles, Paul Rosinger, Bashir M. Al-Hashimi
    Journal of Electronic Testing; Theory and Applications (JETTA), Special Issue on DFT 2006, Vol. 24, Numbers 1-3, June 2008, pp. 247-257.

  156. A Heuristic for Thermal-Safe SoC Test Scheduling
    Zhiyuan He, Zebo Peng, Petru Eles
    International Test Conference (ITC), Santa Clara, USA, October 21-26, 2007, Lecture 5.2 (pp. 1-10)

  157. A Heuristic for Concurrent SOC Test Scheduling with Compression and Sharing
    Anders Larsson, Erik Larsson, Petru Eles, Zebo Peng
    IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS'07), Krakow, Poland, April 2007, pp. 61-66.

  158. Real-Time Applications with Stochastic Task Execution Times
    Sorin Manolache, Petru Eles, Zebo Peng
    Springer, ISBN 1-4020-5505-6, 2007

  159. Bus Access Optimisation for FlexRay-based Distributed Embedded Systems
    Traian Pop, Paul Pop, Petru Eles, Zebo Peng
    Design, Automation, and Test in Europe Conference (DATE'07), Nice, France, April 2007, pp. 51-62

  160. Optimized Integration of Test Compression and Sharing for SOC Testing
    Anders Larsson, Erik Larsson, Petru Eles, Zebo Peng
    Design, Automation, and Test in Europe Conference (DATE'07), Nice, France, April 2007, pp. 207-212.

  161. Fault-Aware Communication Mapping for NoCs with Guaranteed Latency
    Sorin Manolache, Petru Eles, Zebo Peng
    Intl. Journal of Parallel Programming, Volume 35, Number 2, April 2007, pp. 125-156.

  162. Energy Optimization of Multiprocessor Systems on Chip by Voltage Selection
    Alexandru Andrei, Petru Eles, Zebo Peng, Marcus Schmitz, Bashir Al-Hashimi
    IEEE Trans. on Very Large Scale Integration Systems (VLSI), Volume 15, Issue 3, March 2007, pp. 262-275.

  163. Test Time Minimization for Hybrid BIST of Core-Based Systems
    Gert Jervan, Petru Eles, Zebo Peng, Raimund Ubar, Maksim Jenihhin
    Journal of Computer Science and Technology, Vol. 21, No. 6, November 2006, pp. 907-912

  164. Task Mapping and Priority Assignment for Soft Real-Time Applications under Deadline Miss Ratio Constraints
    Sorin Manolache, Petru Eles, Zebo Peng
    ACM Trans. on Embedded Computing Systems, Volume 7, Number 2, pp. 1-35, February 2008.

  165. Formal Verification of Component-based Designs
    Daniel Karlsson, Petru Eles, Zebo Peng
    Journal of Design Automation for Embedded Systems, Vol. 11, No. 1, March 2007, pp. 49-90

  166. 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

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

  168. Dual Flow Nets: Modeling the Control/Data-flow Relation in Embedded Systems
    Mauricio Varea, Bashir M. Al-Hashimi, Luis A. Cortés, Petru Eles, Zebo Peng
    ACM Transactions on Embedded Computing Systems (TECS), Vol. 5, Issue 1, February 2006, pp 54-81

  169. Analysis and Optimization of Distributed Real-Time Embedded Systems
    Paul Pop, Petru Eles, Zebo Peng, Traian Pop
    ACM Transactions on Design Automation of Electronic Systems (TODAES), Vol. 11, Issue 3, July 2006, pp. 593-625

  170. Mapping of Fault-Tolerant Applications with Transparency on Distributed Embedded Systems
    Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng
    9th Euromicro Conference on Digital System Design (DSD 2006), Cavtat near Dubrovnik, Croatia, August 30 - September 1, 2006, pp. 313-320

  171. Timing Analysis of the FlexRay Communication Protocol
    Traian Pop, Paul Pop, Petru Eles, Zebo Peng, Alexandru Andrei
    18th Euromicro Conference on Real-Time Systems (ECRTS 06), Dresden, Germany, July 5-7, 2006, pp. 203-213

  172. SOC Test Scheduling with Test Set Sharing and Broadcasting
    Anders Larsson, Erik Larsson, Petru Eles, Zebo Peng
    Swedish System-on-Chip Conference (SSoCC'06), Kolmården, Sweden, May 4-5, 2006 (Informal Digest)

  173. Power Constrained and Defect-Probability Driven SoC Test Scheduling with Test Set Partitioning
    Zhiyuan He, Zebo Peng, Petru Eles
    Swedish System-on-Chip Conference (SSoCC'06), Kolmården, Sweden, May 4-5, 2006 (Informal Digest)

  174. Optimization of Fault-Tolerant Applications on Distributed Embedded Systems
    Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng
    Swedish System-on-Chip Conference (SSoCC'06), Kolmården, Sweden, May 4-5, 2006 (Informal Digest)

  175. Analysis and Optimisation of Heterogeneous Real-Time Embedded Systems
    Paul Pop, Petru Eles, Zebo Peng
    Chapter in System On Chip: Next Generation Electronics, IEE Press, ISBN 0-86341-552-0 & 978-086341-552-4, 2006

  176. Schedulability Analysis of Real-Time Systems with Stochastic Task Execution Times
    Sorin Manolache, Petru Eles, Zebo Peng
    Chapter in ARTES - A network for Real-Time research and graduate Education in Sweden 1997-2006, ISBN 91-506-1859-8, 2006

  177. Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems
    Paul Pop, Petru Eles, Zebo Peng
    Chapter in ARTES - A network for Real-Time research and graduate Education in Sweden 1997-2006, ISBN 91-506-1859-8, 2006

  178. Design Optimization of Multi-Cluster Embedded Systems for Real-Time Applications
    Paul Pop, Petru Eles, Zebo Peng
    Chapter in ARTES - A network for Real-Time research and graduate Education in Sweden 1997-2006, ISBN 91-506-1859-8, 2006

  179. Formal Verification of SystemC Designs Using a Petri-Net based Representation
    Daniel Karlsson, Petru Eles, Zebo Peng
    Design Automation and Test in Europe Conference (DATE 2006), Munich, Germany, March 6-10, 2006, pp. 1228-1233

  180. Synthesis of Fault-Tolerant Schedules with Transparency/Performance Trade-offs for Distributed Embedded Systems
    Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng
    Design Automation and Test in Europe Conference (DATE 2006), Munich, Germany, March 6-10, 2006, pp. 706-711

  181. Buffer Space Optimisation with Communication Synthesis and Traffic Shaping for NoCs
    Sorin Manolache, Petru Eles, Zebo Peng
    Design Automation and Test in Europe Conference (DATE 2006), Munich, Germany, March 6-10, 2006, pp. 718-723

  182. Power Constrained and Defect-Probability Driven SoC Test Scheduling with Test Set Partitioning
    Zhiyuan He, Zebo Peng, Petru Eles
    Design Automation and Test in Europe Conference (DATE 2006), Munich, Germany, March 6-10, 2006, pp. 291-296

  183. Synthesis of Fault-Tolerant Embedded Systems with Checkpointing and Replication
    Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng
    3rd IEEE Intl. Workshop on Electronic Design, Test & Applications (DELTA), Kuala Lumpur, Malaysia, January 17-19, 2006, pp. 440-447

  184. SOC Test Scheduling with Test Set Sharing and Broadcasting
    Anders Larsson, Erik Larsson, Petru Eles, Zebo Peng
    IEEE Asian Test Symposium, Kolkata, India, December 18-21, 2005, pp. 162-167

  185. A Wiring-Aware Approach to Minimizing Built-In Self-Test Overhead
    Abdil Rashid Mohamed, Zebo Peng, Petru Eles
    Journal of Computer Science and Technology, Vol.20, No.2, 2005, pp. 216-223

  186. Validation of Embedded Systems using Formal Method aided Verification
    Daniel Karlsson, Petru Eles, Zebo Peng
    8th Euromicro Conference on Digital System Design (DSD'2005), Porto, Portugal, August 30 - September 3, 2005, pp. 196-199

  187. Optimization of a Bus-based Test Data Transportation Mechanism in System-on-Chip
    Anders Larsson, Erik Larsson, Petru Eles, Zebo Peng
    8th Euromicro Conference on Digital System Design (DSD'2005), Porto, Portugal, August 30 - September 3, 2005, pp. 403-409

  188. Power-Composition Profile Driven Co-Synthesis with Power Management Selection for Dynamic and Leakage Energy Reduction
    Dong Wu, Bashir M. Al-Hashimi, Marcus T. Schmitz, Petru Eles
    8th Euromicro Conference on Digital System Design (DSD'2005), Porto, Portugal, August 30 - September 3, 2005, pp. 34-40

  189. Power-Constrained Hybrid BIST Test Scheduling in an Abort-on-First-Fail Test Environment
    Zhiyuan He, Gert Jervan, Petru Eles, Zebo Peng
    8th Euromicro Conference on Digital System Design (DSD'2005), Porto, Portugal, August 30 - September 3, 2005, pp. 83-86

  190. 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

  191. Optimization of Hierarchically Scheduled Heterogeneous Embedded Systems
    Traian Pop, Paul Pop, 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. 67-71

  192. Test Generation: A Hierarchical Approach
    Gert Jervan, Raimund Ubar, Zebo Peng, Petru Eles
    Chapter in System-level Test and Validation of Hardware/Software Systems, Springer Series in Advanced Microelectronics, Vol. 17, ISBN 1-85233-899-7, 2005

  193. An Approach to System-Level DFT
    Gert Jervan, Raimund Ubar, Zebo Peng, Petru Eles
    Chapter in System-level Test and Validation of Hardware/Software Systems, Springer Series in Advanced Microelectronics, Vol. 17, ISBN 1-85233-899-7, 2005

  194. Distributed Embedded Real-Time Systems: Analysis and Exploration
    Paul Pop, Petru Eles, Zebo Peng
    Chapter in Embedded Systems Design: The ARTIST Roadmap for Research and Development, Lecture Notes in Computer Science, Vol. 3436, ISBN 3-540-25107-3, 2005

  195. Automotive Industry
    Paul Pop, Rolf Ernst, Petru Eles, Zebo Peng

  196. 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

  197. Fault and EnergyAware Communication Mapping with Guaranteed Latency for Applications Implemented on NoC
    Sorin Manolache, Petru Eles, Zebo Peng
    42nd Design Automation Conference, Anaheim, CA, June 13-17, 2005, pp. 266-269

  198. Cosynthesis of Energy-Efficient Multimode Embedded Systems With Consideration of Mode-Execution Probabilities
    Marcus Schmitz, Bashir M. Al-Hashimi, Petru Eles
    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 24, Issue 2, Feb. 2005, pp. 153-169

  199. Overhead-Conscious Voltage Selection for Dynamic and Leakage Energy Reduction of Time-Constrained Systems
    Alexandru Andrei, Marcus Schmitz, Petru Eles, Zebo Peng, Bashir M. Al-Hashimi
    IEE Proceedings Computers & Digital Techniques, special issue with the best contributions from the DATE 2004, Volume 152, Issue 01, January 2005, pp. 28-38

  200. Optimization of Hierarchically Scheduled Heterogeneous Embedded Systems
    Traian Pop, Paul Pop, Petru Eles, Zebo Peng
    Swedish System-on-Chip Conference (SSoCC'05), Tammsvik, Stockholm, Sweden, April 18-19, 2005 (Informal Digest)

  201. A Constraint Logic Programming Approach to SOC Test Scheduling
    Anders Larsson, Erik Larsson, Petru Eles, Zebo Peng
    Swedish System-on-Chip Conference (SSoCC'05), Tammsvik, Stockholm, Sweden, April 18-19, 2005 (Informal Digest)

  202. Power-Constrained Hybrid BIST Test Scheduling in an Abort-on-First-Fail Test Environment
    Zhiyuan He, Gert Jervan, Zebo Peng, Petru Eles
    Swedish System-on-Chip Conference (SSoCC'05), Tammsvik, Stockholm, Sweden, April 18-19, 2005 (Informal Digest)

  203. Validation of Embedded Systems using Formal Method aided Simulation
    Daniel Karlsson, Petru Eles, Zebo Peng
    Swedish System-on-Chip Conference (SSoCC'05), Tammsvik, Stockholm, Sweden, April 18-19, 2005 (Informal Digest)

  204. Analysis and Synthesis of Distributed Real-Time Embedded Systems
    Paul Pop, Petru Eles, Zebo Peng
    Kluwer Academic Publishers (now part of Springer-Verlag), ISBN: 1-4020-2872-5, 2004, XXII, 326 p.

  205. Design Optimization of Time- and Cost-Constrained Fault-Tolerant Distributed Embedded Systems
    Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng
    Design Automation and Test in Europe Conference (DATE 2005), Munich, Germany, March 7-11, 2005, pp. 864-869 (best paper award)

  206. Quasi-Static Voltage Scaling for Energy Minimization with Time Constraints
    Alexandru Andrei, Marcus Schmitz, Petru Eles, Zebo Peng, Bashir M. Al-Hashimi
    Design Automation and Test in Europe Conference (DATE 2005), Munich, Germany, March 7-11, 2005, pp. 514-519

  207. Schedulability-Driven Frame Packing for Multi-Cluster Distributed Embedded Systems
    Paul Pop, Petru Eles, Zebo Peng
    ACM Transactions on Embedded Computing Systems, Vol. 4, No. 1, February 2005, pp. 112-140

  208. Hybrid BIST Test Scheduling Based on Defect Probabilities
    Zhiyuan He, Gert Jervan, Zebo Peng, Petru Eles
    2004 IEEE Asian Test Symposium (ATS 2004), Kenting, Taiwan, November 15-17, 2004, pp. 230-235

  209. Simultaneous Communication and Processor Voltage Scaling for Dynamic and Leakage Energy Reduction in Time-Constrained Systems
    Alexandru Andrei, Marcus Schmitz, Petru Eles, Zebo Peng, Bashir M. Al-Hashimi
    International Conference on Computer Aided Design (ICCAD 2004), San Jose, USA, November 7-11, 2004, pp. 362-269.

  210. A Formal Verification Approach for IP-based Designs
    Daniel Karlsson, Petru Eles, Zebo Peng
    Forum on Specification and Design Languages, Lille, France, September 13-17, 2004, pp. 556-567

  211. A Formal Verification Methodology for IP-based Designs
    Daniel Karlsson, Petru Eles, Zebo Peng
    EUROMICRO SYMPOSIUM ON DIGITAL SYSTEM DESIGN, Architectures, Methods and Tools, Rennes, France, August 31-September 3, 2004, pp 372-379.

  212. A Heuristic for Wiring-Aware Built-In Self-Test Synthesis
    Abdil Rashid Mohamed, Zebo Peng, Petru Eles
    EUROMICRO SYMPOSIUM ON DIGITAL SYSTEM DESIGN, Architectures, Methods and Tools, Rennes, France, August 31-September 3, 2004, pp. 408 - 415

  213. 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.

  214. Schedulability Analysis of Applications with Stochastic Task Execution Times
    Sorin Manolache, Petru Eles, Zebo Peng
    ACM Transactions on Embedded Computing Systems (TECS), Vol. 3, No. 4, November 2004, pp. 706-735

  215. A Technique for Optimization of System-on-Chip Test Data Transportation
    Anders Larsson, Erik Larsson, Petru Eles, Zebo Peng
    9th IEEE European Test Symposium, Corsica, France, May 23-26, 2004, pp. 179-180. (Informal Digest)

  216. Optimization of Soft Real-Time Systems with Deadline Miss Ratio Constraints
    Sorin Manolache, Petru Eles, Zebo Peng
    10th IEEE Real-Time and Embedded Technology and Applications Symposium, Toronto, Canada, May 2004, pp. 562-570.

  217. A Heuristic for Wiring-Aware Built-In Self-Test Synthesis
    Abdil Rashid Mohamed, Petru Eles, Zebo Peng
    Swedish System-on-Chip Conference 2004, Båstad, Sweden, April 13-14, 2004 (Informal Digest)

  218. A Formal Verification Methodology for IP-based Designs
    Daniel Karlsson, Petru Eles, Zebo Peng
    Swedish System-on-Chip Conference 2004, Båstad, Sweden, April 13-14, 2004 (Informal Digest)

  219. A Technique for Optimisation of SOC Test Data Transportation
    Anders Larsson, Erik Larsson, Petru Eles, Zebo Peng
    Swedish System-on-Chip Conference 2004, Båstad, Sweden, April 13-14, 2004 (Informal Digest)

  220. Design Optimization of mixed Time/Event-Triggered Distributed Embedded Systems
    Traian Pop, Petru Eles, Zebo Peng
    Swedish System-on-Chip Conference 2004, Båstad, Sweden, April 13-14, 2004 (Informal Digest)

  221. Design Optimization of Multi-Cluster Embedded Systems for Real-Time Applications
    Paul Pop, Petru Eles, Zebo Peng, Viacheslav Izosimov, Magnus Hellring, Olof Bridal
    Design, Automation and Test in Europe (DATE 2004), Paris, France, February 16-20, 2004, pp. 1028-1033

  222. Overhead-Conscious Voltage Selection for Dynamic and Leakage Energy Reduction of Time-Constrained Systems
    Alexandru Andrei, Marcus Schmitz, Petru Eles, Zebo Peng, Bashir M. Al-Hashimi
    Design, Automation and Test in Europe (DATE 2004), Paris, France, February 16-20, 2004, pp. 518-523

  223. 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

  224. 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

  225. A Wiring-Aware Approach to Minimizing Built-In Self-Test Overhead
    Abdil Rashid Mohamed, Zebo Peng, Petru Eles
    The IEEE International Workshop on Electronic Design, Test and Applications (DELTA 2004), Perth, Australia, January 28-30, 2004, pp. 413-415

  226. Iterative Schedule Optimisation for Voltage scalable Distributed Embedded Systems
    Marcus Schmitz, Bashir M. Al-Hashimi, Petru Eles
    ACM Transactions on Embedded Computing Systems, Vol. 3, Nr. 1, 2004, pp. 182-217

  227. System-Level Design Techniques for Energy-Efficient Embedded Systems
    Marcus T. Schmitz, Bashir M. Al-Hashimi, Petru Eles
    Kluwer Academic Publishers, ISBN 1-4020-7750-5, December 2003

  228. 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.

  229. A Wiring-Aware Approach to Minimizing Built-In Self-Test Overhead
    Abdil Rashid Mohamed, Zebo Peng, Petru Eles
    4th Workshop on RTL and High Level Testing (WRTLT'03), Xian, China, November 20-21, 2003

  230. Test Time Minimization for Hybrid BIST of Core-Based Systems
    Gert Jervan, Petru Eles, Zebo Peng, Raimund Ubar, Maksim Jenihhin
    12th IEEE Asian Test Symposium (ATS03), Xian, China, November 17-19, 2003, pp. 318-323

  231. Hybrid BIST Time Minimization for Core-Based Systems with STUMPS Architecture
    Gert Jervan, Petru Eles, Zebo Peng, Raimund Ubar, Maksim Jenihhin
    18th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (DFT'03), Cambridge, MA, USA, November 3-5, 2003, pp. 225-232

  232. Buffer and Controller Minimisation for Time-Constrained Testing of System-On-Chip
    Anders Larsson, Erik Larsson, Petru Eles, Zebo Peng
    18th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (DFT'03), Cambridge, MA, USA, November 3-5, 2003, pp. 385-392

  233. Design Optimization of Mixed Time/Event-Triggered Distributed Embedded Systems
    Traian Pop, Petru Eles, Zebo Peng
    CODES+ISSS 2003 (merged conference), Newport Beach, California, USA, October 1-3, 2003, pp. 83-89.

  234. Scheduling and Mapping of Conditional Task Graph for the Synthesis of Low Power Embedded Systems
    Dong Wu, Bashir M. Al-Hashimi, Petru Eles
    IEE Proceedings - Computers and Digital Techniques, Vol. 150, Issue 5, September 2003, pp. 303-312

  235. 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.

  236. Schedulability Analysis for Distributed Heterogeneous Time/Event Triggered Real-Time Systems
    Traian Pop, Petru Eles, Zebo Peng
    15th Euromicro Conference on Real-Time Systems (ECRTS 2003), Porto, Portugal, July 2-4, 2003, pp. 257-266

  237. 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.

  238. Automatic Generation of a Formal Verification Bench for a Reuse Methodology
    Daniel Karlsson, Petru Eles, Zebo Peng
    Swedish System-on-Chip Conference (SSoCC'03), Sunbyholms Slott, Eskilstuna, Sweden, April 8-9, 2003 (Informal Digest)

  239. A Co-Design Methodology for Energy-Efficient Multi-Mode Embedded Systems with Consideration of Mode Execution Probabilities
    Marcus Schmitz, Bashir M. Al-Hashimi, Petru Eles
    Design Automation and Test in Europe (DATE 2003) Conference, 3-7 March 2003, Munich, Germany, pp. 960-965

  240. Scheduling and Mapping of Conditional Task Graph for the Synthesis of Low Power Embedded Systems
    Dong Wu, Bashir M. Al-Hashimi, Petru Eles
    Design Automation and Test in Europe (DATE 2003) Conference, 3-7 March 2003, Munich, Germany, pp. 90-95

  241. Schedulability-Driven Frame Packing for Multi-Cluster Distributed Embedded Systems
    Paul Pop, Petru Eles, Zebo Peng
    ACM SIGPLAN Conference on Languages, Compilers and Tools for Embedded Systems, 11-13 June 2003, San Diego, USA, pp. 113-122

  242. Schedulability Analysis and Optimization for the Synthesis of Multi-Cluster Distributed Embedded Systems
    Paul Pop, Petru Eles, Zebo Peng
    Design Automation and Test in Europe (DATE 2003) Conference, 3-7 March 2003, Munich, Germany, pp. 184-189

  243. Synthesizing Energy-Efficient Embedded Systems with LOPOCOS
    Marcus Schmitz, Bashir M. Al-Hashimi, Petru Eles
    Design Automation for Embedded Systems, Volume 6, Issue 4, pp. 401-424, Kluwer Academic Publishers, 2002

  244. Schedulability Analysis and Optimization for the Synthesis of Multi-Cluster Distributed Embedded Systems
    Paul Pop, Petru Eles, Zebo Peng
    IEE Computers and Digital Techniques Journal, (special issue with best papers from DATE'03 Conference), Vol. 150, No. 5, pp. 303-312, September 2003

  245. Schedulability-Driven Communication Synthesis for Time-Triggered Embedded Systems
    Paul Pop, Petru Eles, Zebo Peng
    Real-Time Systems Journal, No. 24, pp. 297-325, 2004

  246. Schedulability Analysis of Multiprocessor Real-Time Applications with Stochastic Task Execution Times
    Sorin Manolache, Petru Eles, Zebo Peng
    Int'l Conference on Computer Aided Design, ICCAD 02, San Jose, California, USA, November 10-14, 2002, pp. 699-706

  247. Formal Verification in a Component-based Reuse Methodology
    Daniel Karlsson, Petru Eles, Zebo Peng
    International Symposium on System Synthesis (ISSS) 2002, Kyoto, Japan, October 2-4, 2002, pp. 156-161

  248. 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.

  249. Report D4: Final Report on Project Results
    Olga Goloubeva, Matteo Sonza Reorda, Massimo Violante, Petru Eles, Gert Jervan, Zebo Peng
    COTEST Project Report, Politecnico di Torino, Linköping University, 2002.

  250. Report D5: Report on Dissemination Plan
    Olga Goloubeva, Matteo Sonza Reorda, Massimo Violante, Petru Eles, Gert Jervan, Zebo Peng
    COTEST Project Report, Politecnico di Torino, Linköping University, 2002.

  251. Holistic Scheduling and Analysis of Mixed Time/Event-Triggered Distributed Embedded Systems
    Traian Pop, Petru Eles, Zebo Peng
    10th International Symposium on Hardware/Software Codesign (CODES 2002), Estes Park, Colorado, USA, May 6-8, 2002, pp. 187-192

  252. 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.

  253. BIST Synthesis: An Approach to Resources Optimization under Test Time Constraints
    Abdil Rashid Mohamed, Zebo Peng, Petru Eles
    5th Design and Diagnostic of Electronic Computer Systems (DDECS2002), Brno, Czech Republic, April 16-19, 2002, pp. 346-351

  254. 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.

  255. Flexibility Driven Scheduling and Mapping for Distributed Real-Time Systems
    Paul Pop, Petru Eles, Zebo Peng
    8th International Conference on Real-Time Computing Systems and Applications (RTCSA 2002), March 18-20, 2002, Tokyo, Japan, pp. 337-346

  256. Energy-Efficient Mapping and Scheduling for DVS Enabled Distributed Embedded Systems
    Marcus Schmitz, Bashir M. Al-Hashimi, Petru Eles
    Design Automation and Test in Europe Conference (DATE 2002), Paris, France, March 4-8, 2002, pp. 514-521

  257. 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.

  258. 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.

  259. An Approach to Incremental Design of Distributed Embedded Systems
    Paul Pop, Petru Eles, Traian Pop, Zebo Peng
    38th Design Automation Conference (DAC), Las Vegas, USA, June 18-22, 2001, pp. 450-455 (best paper award candidate)

  260. Memory and Time-Efficient Schedulability Analysis of Task Sets with Stochastic Execution Time
    Sorin Manolache, Petru Eles, Zebo Peng
    13th Euromicro Conference on Real-Time Systems, Delft, The Netherlands, June 13-15, 2001, pp. 19-26

  261. SOCWARE: A New Swedish Design Cluster For System-On-Chip
    Petru Eles, Peter Nilsson, Hannu Tenhunen
    International Conference on Microelectronic Systems Education, Las Vegas, USA, June 2001, pp. 44-45

  262. A Front End to a Java Based Environment for the Design of Embedded Systems
    Daniel Karlsson, Petru Eles, Zebo Peng
    4th IEEE DDECS Workshop, Gyor, Hungary, April 2001, pp. 71-78

  263. 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.

  264. Minimizing System Modification in an Incremental Design Approach
    Paul Pop, Petru Eles, Traian Pop, Zebo Peng
    International Workshop on Hardware/Software Codesign (CODES 2001), Copenhagen, Denmark, April 25-27, 2001, pp. 183-188

  265. BIST Synthesis: An Approach to Resource Optimization under Test Time Constraints
    Abdil Rashid Mohamed, Zebo Peng, Petru Eles
    International Test Synthesis Workshop, Santa Barbara, USA, March 26-28, 2001

  266. 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

  267. 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.

  268. 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.

  269. 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.

  270. Scheduling with Bus Access Optimization for Distributed Embedded Systems
    Petru Eles, Alex Doboli, Paul Pop, Zebo Peng
    IEEE Transactions on VLSI Systems, vol. 8, No 5, 472-491, October 2000.

  271. 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.

  272. Schedulability Analysis for Systems with Data and Control Dependencies
    Paul Pop, Petru Eles, Zebo Peng
    12th Euromicro Conference on Real-Time Systems, Stockholm, June 19-21, 2000, pp. 201-208

  273. Performance Estimation for Embedded Systems with Data and Control Dependencies
    Paul Pop, Petru Eles, Zebo Peng
    8th International Workshop on Hardware/Software Codesign (CODES 2000), San Diego, May 3-5, 2000, pp. 62-66

  274. Bus Access Optimization for Distributed Embedded Systems Based on Schedulability Analysis
    Paul Pop, Petru Eles, Zebo Peng
    Design, Automation & Test In Europe Conference (DATE 2000), Paris, France, March 27-30, 2000, pp. 567-574

  275. Modeling of Real-Time Embedded Systems in an Object-Oriented Design Environment with UML
    Razvan Jigorea, Sorin Manolache, Petru Eles, Zebo Peng
    3rd IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2000), Newport Beach, California, 15-17 March 2000, pages 210-213

  276. 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.

  277. Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems
    Paul Pop, Petru Eles, Zebo Peng
    6th International Conference on Real-Time Computing Systems and Applications (RTCSA'99), Hong Kong, December 13-15, 1999, pages 287-294

  278. 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.

  279. High-level Test Synthesis with Hierarchical Test Generation
    Gert Jervan, Petru Eles, Zebo Peng, Jaan Raik, Raimund Ubar
    IEEE NORCHIP Conference, Oslo, Norway, November 8-9, 1999, pages 291-296

  280. Modelling and Simulation of Heterogeneous Embedded Systems with UML
    Razvan Jigorea, Sorin Manolache, Petru Eles, Zebo Peng
    The 1999 Conference of the Scandinavian Simulation Society, SIMS99, Linköping, Sweden, October 18-19, 1999, pages 160-167

  281. An Improved Scheduling Technique for Time-Triggered Embedded Systems
    Paul Pop, Petru Eles, Zebo Peng
    25th Euromicro Conference, Milan, Italy, September 8-10, 1999, pages 303-310

  282. A Hierarchical Test Generation Technique for Embedded Systems
    Gert Jervan, Petru Eles, Zebo Peng
    Electronic Circuits and Systems Conference, Bratislava, Slovakia, September 6-8, 1999, pages 21-24

  283. 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.

  284. A Uniform Test Generation Technique for Hardware/Software Systems
    Gert Jervan, Petru Eles, Zebo Peng
    IEEE European Test Workshop, Constance, Germany, May 25-28, 1999

  285. Scheduling with Optimized Communication for Time-Triggered Embedded Systems
    Paul Pop, Petru Eles, Zebo Peng
    7th International Workshop on Hardware/Software Codesign Rome, Italy, May 3-5, 1999, pages 178-182

  286. Process Scheduling for Performance Estimation and Synthesis of Hardware/Software Systems
    Petru Eles, Krzysztof Kuchcinski, Zebo Peng, Alex Doboli, Paul Pop
    24th EUROMICRO Conference, 1998.

  287. Scheduling of Conditional Process Graphs for the Synthesis of Embedded Systems
    Petru Eles, Krzysztof Kuchcinski, Zebo Peng, Paul Pop, Alex Doboli
    Design, Automation and Test in Europe - DATE, Paris, Feb. 23-26, 1998.

  288. Communication Scheduling for Time-Triggered Systems
    Paul Pop, Petru Eles, Zebo Peng
    11th Euromicro Conference on Real-Time Systems , York, England, June 9-11, 1999 (Work in Progress Proceedings)

  289. Scheduling Driven Partitioning of Heterogeneous Embedded Systems
    Paul Pop, Petru Eles, Zebo Peng
    Swedish Workshop on Computer Systems Architecture, pp. 99-102, 1998.

  290. Incremental Mapping and Scheduling for Distributed Heterogeneous Real-Time Systems
    Paul Pop, Petru Eles, Zebo Peng
    Real-Time in Sweden, August 18-19, 2003, Västerås, Sweden

  291. An Improved Scheduling Technique for Time-Triggered Embedded Systems
    Paul Pop, Petru Eles, Zebo Peng
    SNART'99 Real-Time Systems Conference, August 25-25, 2003, Linkö;ping, Sweden

  292. Scheduling under Data and Control Dependencies for Heterogeneous Architectures
    Alex Doboli, Petru Eles
    International Conference on Computer Design - ICCD, 1998.

  293. System Synthesis with VHDL
    Petru Eles, Krzysztof Kuchcinski, Zebo Peng
    Kluwer Academic Publishers, Boston, Dec. 1997, 384 pages.

  294. System Level Hardware/Software Partitioning Based on Simulated Annealing and Tabu Search
    Petru Eles, Zebo Peng, Krzysztof Kuchcinski, Alex Doboli
    Journal on Design Automation for Embedded Systems, vol. 2, 5-32, 1997.

  295. Post-Synthesis Back-Annotation of Timing Information in Behavioral VHDL
    Petru Eles, Krzysztof Kuchcinski, Zebo Peng, Alex Doboli
    Journal of Systems Architecture, The Euromicro Journal, vol. 42, 725-741, 1997

( ! ) perl script by Giovanni Squillero with modifications from Gert Jervan   (v3.1, p5.2, September-2002-)