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

Search Results

AUTHOR:ZEBO PENG
Found 348 entries
  1. Runtime Resource Management with Multiple-Step-Ahead Workload Prediction
    Mina Niknafs, Petru Eles, Zebo Peng
    ACM Transactions on Embedded Computing Systems
  2. 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)
  3. 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)
  4. 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)
  5. Verifying Safety of Parameterized Heard-Of Algorithms
    Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
    Networked Systems. NETYS 2020
  6. 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
  7. 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)
  8. 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
  9. 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
  10. Genetic Algorithm Based Estimation of Non–Functional Properties for GPGPU Programs
    Adrian Horga, Sudipta Chattopadhyay, Petru Eles, Zebo Peng
    Journal of Systems Architecture
  11. 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)
  12. A Deterministic-Path Routing Algorithm for Tolerating Many Faults on Wafer-Level NoC
    Zhongsheng Chen, Ying Zhang, Zebo Peng, Jianhui Jiang
    2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), Florence, Italy
  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. 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
  26. 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.
  27. 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.
  28. 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.
  29. 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)
  30. Systematic detection of memory related performance bottlenecks in GPGPU programs
    Adrian Horga, Sudipta Chattopadhyay, Petru Eles, Zebo Peng
    Journal of Systems Architecture
  31. 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
  32. 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
  33. Counting Dynamically Synchronizing Processes
    Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
    International Journal on Software Tools for Technology Transfer
  34. 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
  35. 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.
  36. 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.
  37. 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
  38. Power-Aware Design Techniques of Secure Multi-Mode Embedded Systems
    Ke Jiang, Petru Eles, Zebo Peng
    ACM Transactions on Embedded Computing Systems (TECS), 2015
  39. 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
  40. 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
  41. Analysis and Design of Real-Time Servers for Control Applications
    Amir Aminifar , Enrico Bini , Petru Eles , Zebo Peng
    IEEE Transactions on Computers
  42. 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
  43. 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
  44. Temperature-Aware Software-Based Self-Testing for Delay Faults
    Ying Zhang, Zebo Peng, J. Jiang, H. Li, M. Fujita
    Proc. Design, Automation and Test in Europe Conference (DATE’15), Grenoble, France, Mar. 9-13, 2015.
  45. Thermal Challenges to Building Reliable Embedded Systems
    Zebo Peng
    Invited paper, Proc. International Symposium on VLSI Design, Automation and Test (VLSI-DAT’14), Hsinchu, Taiwan, Apr. 28-30, 2014.
  46. Time-Constraint-Aware Optimization of Assertions in Embedded Software
    Viacheslav Izosimov, G. Di Guglielmo, M. Lora, G. Pravadelli, F. Fummi, Zebo Peng, M. Fujita
    Journal of Electronic Testing; Theory and Applications (JETTA), Vol. 28, No. 4, Aug. 2012.
  47. 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.
  48. Abstracting and Counting Synchronizing Processes
    Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
    Technical reports in Computer and Information Science, ISSN 1654-7233, 2014.
  49. 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.
  50. 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).
  51. 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.
  52. 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.
  53. 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.
  54. 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.
  55. 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.
  56. 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.
  57. 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.
  58. 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.
  59. 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.
  60. 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.
  61. 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.
  62. 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.
  63. 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.
  64. 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.
  65. 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.
  66. 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.
  67. 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.
  68. 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.
  69. 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).
  70. 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).
  71. 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.
  72. 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.
  73. 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.
  74. 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.
  75. 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.
  76. 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.
  77. 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.
  78. 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.
  79. 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.
  80. 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.
  81. Test Tool Qualification through Fault Injection
    Q. Wang, A. Wallin, Viacheslav Izosimov, Urban Ingelsson, Zebo Peng
    IEEE 17th European Test Symposimu (ETS 2012), Annecy, France, May 28-June 1, 2012.
  82. 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.
  83. 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.
  84. 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.
  85. 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.
  86. 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.
  87. 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.
  88. 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.
  89. 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.
  90. 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.
  91. 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.
  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. 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.
  94. 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.
  95. 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.
  96. 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.
  97. 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.
  98. 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).
  99. 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).
  100. 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.
  101. 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).
  102. Building Reliable Embedded Systems with Unreliable Components
    Zebo Peng
    Invited Paper - Proc. Intl. Conf. on Signals and Electronic Systems (ICSES10), Gliwice, Poland, September 7-10, 2010, pp. 9-13.
  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. Optimization of Assertion Placement in Time-Constrained Embedded Systems
    Viacheslav Izosimov, Michele Lora, Graziano Pravadelli, Franco Fummi, Zebo Peng, Giuseppe Di Guglielmo, Masahiro Fujita
    European Test Symposium (ETS11), Trondheim, Norway, May 23-27, 2011.
  107. 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.
  108. 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.
  109. 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.
  110. 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).
  111. 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.
  112. 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.
  113. 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).
  114. 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.
  115. 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.
  116. 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.
  117. 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.
  118. 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.
  119. 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.
  120. 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.
  121. 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)
  122. 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.
  123. 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.
  124. 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.
  125. 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.
  126. 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.
  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. A Reconfigurable Power Conscious Core Wrapper and its Application to System-on-Chip Test Scheduling
    Erik Larsson, Zebo Peng
    Journal of Electronic Testing: Theory and Application, Vol. 24, Issue 5, October 2008, pp. 497-504.
  136. 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.
  137. 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.
  138. Cycle-Accurate Test Power Modeling and its Application to SoC Test Architecture Design and Scheduling
    Soheil Samii, Mikko Selkälä, Erik Larsson, Krishnendu Chakrabarty, Zebo Peng
    IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, Vol. 27, Issue 5, May 2008, pp. 973-977.
  139. 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.
  140. 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.
  141. 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.
  142. Test methods for crosstalk-induced delay and glitch faults in network-on-chip interconnects implementing asynchronous communication protocols
    T. Bengtsson, S. Kumar, R.J. Ubar, A. Jutman, Zebo Peng
    IET COMPUTERS AND DIGITAL TECHNIQUES, ISSN 1751-8601, 2 (6), 2008, pp. 445-460.
  143. 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.
  144. 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.
  145. 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.
  146. 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.
  147. 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.
  148. 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
  149. An Integrated System-on-Chip Test Framework
    Erik Larsson, Zebo Peng
    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
  150. 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
  151. 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.
  152. 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.
  153. 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.
  154. 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.
  155. 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
  156. 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.
  157. 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.
  158. 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)
  159. 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.
  160. Real-Time Applications with Stochastic Task Execution Times
    Sorin Manolache, Petru Eles, Zebo Peng
    Springer, ISBN 1-4020-5505-6, 2007
  161. 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
  162. 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.
  163. 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.
  164. 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.
  165. Hybrid BIST Energy Minimisation Technique for System-on-Chip Testing
    Gert Jervan, Raimund Ubar, Tatjana Shchenova, Zebo Peng
    IEE Proceedings - Computers and Digital Techniques, Vol. 153 , Issue 4, July 2006, pp. 208-216
  166. Hybrid BIST Methodology for Testing Core-Based Systems
    Gert Jervan, Raimund Ubar, Zebo Peng
    Proceedings of the Estonian Academy of Sciences. Engineering, Vol. 12, No. 3-2, September 2006, pp. 300–322
  167. 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
  168. 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.
  169. 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
  170. 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
  171. 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
  172. Cycle-Accurate Test Power Modeling and its Application to SoC Test Scheduling
    Soheil Samii, Erik Larsson, Krishnendu Chakrabarty, Zebo Peng
    International Test Conference (ITC'06), Santa Clara, California, USA, October 24-26, 2006, pp. 32.1 (1-10)
  173. 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
  174. 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
  175. Off-line Testing of Delay Faults in NoC Interconnects
    Tomas Bengtsson, Artur Jutman, Shashi Kumar, Raimund Ubar, Zebo Peng
    9th Euromicro Conference on Digital System Design (DSD 2006), Cavtat near Dubrovnik, Croatia, August 30 - September 1, 2006, pp. 677-680
  176. 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
  177. 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
  178. 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)
  179. 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)
  180. 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)
  181. 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
  182. 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
  183. 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
  184. 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
  185. 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
  186. 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
  187. 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
  188. 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
  189. 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
  190. 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
  191. Multiple Constraints Driven System-on-Chip Test Time Optimization
    Erik Larsson, Julien Pouget, Zebo Peng
    Journal of Electronic Testing; Theory and Applications (JETTA), Volume 21, Number 6, December 2005, pp. 599-611
  192. Abort-on-Fail Based Test Scheduling
    Erik Larsson, Julien Pouget, Zebo Peng
    Journal of Electronic Testing; Theory and Applications (JETTA), Volume 21, Number 6, December 2005, pp. 651-658
  193. Power-Aware Test Planning in the Early System-On-Chip Design Exploration Process
    Erik Larsson, Zebo Peng
    Special Issue-Design and Test of Systems-On-a-Chip, IEEE Transactions on Computers, February 2006, Volume 6, Number 2, pp. 227-239
  194. 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
  195. 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
  196. 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
  197. 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
  198. 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
  199. 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
  200. 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
  201. 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
  202. 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
  203. Automotive Industry
    Paul Pop, Rolf Ernst, Petru Eles, Zebo Peng
  204. 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
  205. 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
  206. Energy Minimization for Hybrid BIST in a System-on-Chip Test Environment
    Gert Jervan, Raimund Ubar, Tatjana Shchenova, Zebo Peng
    10th IEEE European Test Symposium (ETS'05) Tallinn, Estonia, May 22-25, 2005, pp. 2-7
  207. An Improved Estimation Technique for Hybrid BIST Test Set Generation
    Gert Jervan, Zebo Peng, Raimund Ubar, Olga Korelina
    IEEE Workshop on Design and Diagnostics of Electronic Circuit and Systems (DDECS), Sopron, Hungary, April 13-16, 2005, pp. 182-185
  208. 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
  209. 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)
  210. 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)
  211. 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)
  212. 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)
  213. 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.
  214. 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)
  215. 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
  216. 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
  217. 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
  218. An Improved Estimation Methodology for Hybrid BIST Cost Calculation
    Gert Jervan, Zebo Peng, Raimund Ubar, Olga Korelina
    IEEE Norchip 2004, Oslo, Norway, November 8-9, 2004, pp. 297-300
  219. 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.
  220. 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
  221. 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.
  222. 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
  223. 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.
  224. 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
  225. 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)
  226. 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.
  227. 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)
  228. 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)
  229. An Iterative Approach to Test Time Minimization for Parallel Hybrid BIST Architecture
    Raimund Ubar, Maksim Jenihhin, Gert Jervan, Zebo Peng
    Swedish System-on-Chip Conference 2004, Båstad, Sweden, April 13-14, 2004 (Informal Digest)
  230. 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)
  231. 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)
  232. Defect-Aware SOC Test Scheduling
    Erik Larsson, Julien Pouget, Zebo Peng
    2004 IEEE VLSI Test Symposium (VTS'04), Napa Valley, USA, April 2004, pp. 359-364
  233. Efficient Test Solutions for Core-based Designs
    Erik Larsson, Klas Arvidsson, Hideo Fujiwara, Zebo Peng
    IEEE Transaction on Computer-Aided Design of Integrated Circuits and Systems, Vol.23, No.5, May 2004, pp. 758-775
  234. An Iterative Approach to Test Time Minimization for Parallel Hybrid BIST Architecture
    Raimund Ubar, Maksim Jenihhin, Gert Jervan, Zebo Peng
    The 5th IEEE Latin-American Test Workshop, Cartagena, Colombia, March 8-10, 2004, pp. 98-103
  235. 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
  236. 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
  237. 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
  238. 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
  239. Hybrid BIST Optimization for Core-based Systems with Test Pattern Broadcasting
    Raimund Ubar, Maksim Jenihhin, Gert Jervan, Zebo Peng
    The IEEE International Workshop on Electronic Design, Test and Applications (DELTA 2004), Perth, Australia, January 28-30, 2004, pp. 3-8
  240. 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
  241. 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.
  242. 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
  243. 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
  244. SOC Test Time Minimization Under Multiple Constraints
    Julien Pouget, Erik Larsson, Zebo Peng
    12th IEEE Asian Test Symposium (ATS03), Xian, China, November 17-19, 2003, pp. 312-317
  245. Test Time Minimization for Hybrid BIST with Test Pattern Broadcasting
    Raimund Ubar, Maksim Jenihhin, Gert Jervan, Zebo Peng
    The 21st NORCHIP Conference, Riga, Latvia, November 10-11, 2003, pp. 112-116
  246. 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
  247. 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
  248. 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.
  249. A Reconfigurable Power-conscious Core Wrapper and its Application to SOC Test Scheduling
    Erik Larsson, Zebo Peng
    International Test Conference (ITC) 2003, Charlotte, NC, USA, September 30 - October 2, 2003, pp. 1135-1144. (Paper 44.2)
  250. 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.
  251. 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
  252. An Efficient Approach to SoC Wrapper Design, TAM Configuration and Test Scheduling
    Julien Pouget, Erik Larsson, Zebo Peng, Marie-Lise Flottes, Bruno Rouzeyre
    IEEE European Test Workshop 2003 (ETW'03), Maastricht, The Netherlands, May 25-28, 2003, pp 51-56 (Formal Proceedings)
  253. An Efficient Approach to SoC Wrapper Design, TAM Configuration and Test Scheduling
    Julien Pouget, Erik Larsson, Zebo Peng, Marie-Lise Flottes, Bruno Rouzeyre
    IEEE European Test Workshop 2003 (ETW'03), Maastricht, The Netherlands, May 25-28, 2003, pp. 117-122 (Informal Proceedings)
  254. 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.
  255. Defect Probability-based System-On-Chip Test Scheduling
    Erik Larsson, Julien Pouget, Zebo Peng
    6th IEEE International Workshop on Design and Diagnostics of Electronics Circuits and Systems (DDECS'03), Poznan, Poland, April 14-16, 2003, pp. 25-32
  256. 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)
  257. High-Level and Hierarchical Test Sequence Generation
    Gert Jervan, Zebo Peng, Olga Goloubeva, Matteo Sonza Reorda, Massimo Violante
    Swedish System-on-Chip Conference (SSoCC'03), Sunbyholms Slott, Eskilstuna, Sweden, April 8-9, 2003 (Informal Digest)
  258. System-on-Chip Test Scheduling based on Defect Probability
    Erik Larsson, Julien Pouget, Zebo Peng
    2003 International Test Synthesis Workshop (ITSW), Santa Barbara, CA, USA, March 31 - April 2, 2003
  259. 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
  260. 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
  261. An Integrated Framework for the Design and Optimization of SOC Test Solutions
    Erik Larsson, Zebo Peng
    SOC (System-on-a-Chip) Testing for Plug and Play Test Automation.
    Book Series: FRONTIERS IN ELECTRONIC TESTING, Volume 21, Krishnendu Chakrabarty (editor)
    Kluwer Academic Publishers, ISBN 1-4020-7205-8, September 2002, pp. 21-36
  262. Integrated Design and Test Generation Under Internet Based Environment MOSCITO
    Andre Schneider, Karl-Heinz Diener, Eero Ivask, Raimund Ubar, Elena Gramatova, Thomas Hollstein, Wieslaw Kuzmicz, Zebo Peng
    EUROMICRO Symposium on Digital System Design (DSD'2002), Dortmund, Germany, Sept. 4-6, 2002, pp. 187-194
  263. High-Level and Hierarchical Test Sequence Generation
    Gert Jervan, Zebo Peng, Olga Goloubeva, Matteo Sonza Reorda, Massimo Violante
    IEEE International Workshop on High Level Design Validation and Test, Cannes, France, October 27-29, 2002, pp. 169-174
  264. 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
  265. 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
  266. Integrated Test Scheduling, Test Parallelization and TAM Design
    Erik Larsson, Klas Arvidsson, Hideo Fujiwara, Zebo Peng
    IEEE Asian Test Symposium (ATS'02), Tamuning, Guam, USA, November 18-20, 2002, pp. 397-404
  267. High-Level Synthesis and Test in the MOSCITO-Based Virtual Laboratory
    Andre Schneider, Karl-Heinz Diener, Gert Jervan, Zebo Peng, Jaan Raik, Raimund Ubar, Thomas Hollstein, Manfred Glesner
    The 8th biennial Baltic Electronics Conference (BEC 2002), Tallinn, Estonia, October 6-9, 2002, pp. 287-290
  268. 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
  269. 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
  270. 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.
  271. Report D1: Report on benchmark identification and planning of experiments to be performed
    Gert Jervan, Zebo Peng, Matteo Sonza Reorda, Massimo Violante
    COTEST Project Report, Politecnico di Torino, Linköping University, 2002.
  272. 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.
  273. 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.
  274. 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
  275. 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.
  276. An Integrated Framework for the Design and Optimization of SOC Test Solutions
    Erik Larsson, Zebo Peng
    Journal of Electronic Testing; Theory and Applications (JETTA), for the Special Issue on Plug-and-Play Test Automation for System-on-a-Chip August 2002 issue (vol. 18, no. 4/5), pp. 385-400
  277. 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
  278. 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.
  279. 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
  280. A Hybrid BIST Architecture and its Optimization for SoC Testing
    Gert Jervan, Zebo Peng, Raimund Ubar, Helena Kruus
    IEEE 2002 3rd International Symposium on Quality Electronic Design (ISQED'02), March 18-20, 2002, San Jose, California, USA, pp. 273-279
  281. 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.
  282. The Design and Optimization of SOC Test Solutions
    Erik Larsson, Zebo Peng, Gunnar Carlsson
    ICCAD-2001, DoubleTree Hotel, San Jose, California, November 4-8, 2001, pp. 523-530
  283. Using Tabu Search Method for Optimizing the Cost of Hybrid BIST
    Raimund Ubar, Helena Kruus, Gert Jervan, Zebo Peng
    16th Conference on Design of Circuits and Integrated Systems (DCIS 2001), Porto, Portugal, November 20-23, 2001, pp. 445-450
  284. Test Scheduling and Scan-Chain Division Under Power Constraint
    Erik Larsson, Zebo Peng
    Tenth Asian Test Symposium (ATS 2001), Kyoto, Japan, November 19-21, 2001, pp. 259-264
  285. 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.
  286. Fast Test Cost Calculation for Hybrid BIST in Digital Systems
    Raimund Ubar, Gert Jervan, Zebo Peng, Elmet Orasson, Rein Raidma
    Euromicro Symposium on Digital Systems Design, Warsaw, Poland, Sept. 4-6, 2001, pp. 318-325
  287. Challenges for Future System-on-Chip Design
    Thomas Hollstein, Zebo Peng, Raimund Ubar, Manfred Glesner
    15th European Conference on Circuit Theory and Design, Espoo, Finland, August 28-31, 2001
  288. 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)
  289. 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
  290. System-on-Chip Test Parallelization Under Power Constraints
    Erik Larsson, Zebo Peng
    European Test Workshop, Stockholm, Sweden, May 28-June 1, 2001.
  291. 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
  292. 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.
  293. 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
  294. 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
  295. Improving the Efficiency of Timing Simulation of Digital Circuits
    Artur Jutman, Raimund Ubar, Zebo Peng
    Design, Automation and Test in Europe (DATE) Conference, Munich, Germany, 13-16 March, 2001, pp. 460-466
  296. 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
  297. Test Cost Minimization for Hybrid BIST
    Gert Jervan, Zebo Peng, Raimund Ubar
    IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (DFT'2000), Yamanashi, Japan, 25-27 October, 2000, pp. 283-291.
  298. 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.
  299. 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.
  300. 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.
  301. Test Infrastructure Design and Test Scheduling Optimization
    Erik Larsson, Zebo Peng
    European Test Workshop, Cascais, Portugal, May 23-26, 2000.
  302. 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.
  303. 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.
  304. 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
  305. 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
  306. A Technique for Test Infrastructure Design and Test Scheduling
    Erik Larsson, Zebo Peng
    Design and Diagnostic of Electronic Circuits and Systems Workshop (DDECS 2000), Smolenice Castle, Slovakia, April 5-7, 2000, pp. 26-29
  307. 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
  308. System-on-Chip Test Bus Design and Test Scheduling
    Erik Larsson, Zebo Peng
    International Test Synthesis Workshop, Santa Barbara, USA, March 6-8.
  309. 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
  310. 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.
  311. An Improved Register-Transfer Level Functional Partioning Approach for Testability
    Tianruo Yang, Zebo Peng
    Journal of Systems Architecture, Vol. 46, No. 3, January 2000, pages 209-223
  312. 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
  313. 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.
  314. 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
  315. 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
  316. 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
  317. An Estimation-based Technique for Test Scheduling
    Erik Larsson, Zebo Peng
    Electronic Circuits and Systems Conference, Bratislava, Slovakia, September 6-8, 1999, pages 25-28
  318. 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
  319. 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.
  320. A Behavioral-Level Testability Enhancement Technique
    Erik Larsson, Zebo Peng
    IEEE European Test Workshop, Constance, Germany, May 25-28, 1999
  321. 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
  322. 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
  323. Incremental Testability Analysis for Partial Scan Selection and Design Transformations
    Tianruo Yang, Zebo Peng
    Journal of Electronic Testing: Theory and Applications (JETTA), vol. 14, 1999, pp. 101-111, Kluwer Academic Publishers.
  324. Integrated Scheduling and Allocation of High-Level Test Synthesis
    Tianruo Yang, Zebo Peng
    11th Annual IEEE International ASIC Conference (ASIC'98), Rochester, New York, Sept. 13-16, 1998, pp. 81-87.
  325. Register-Transfer Level Testability Analysis and Improvement with Pseudorandom BIST
    Tianruo Yang, Zebo Peng
    IEEE International Workshop on Design, Test and Applications of Electronic Systems (WDTA-98), Dubrovnik, Croatia, June 8-10, 1998, pp. 117-120.
  326. Testability Analysis of Behavioral-Level VHDL Specifications
    Erik Larsson, Zebo Peng
    IEEE European Test Workshop , Barcelona, Spain, May 27-29, 1998.
  327. Incremental Testability Analysis for Partial Scan Selection and Design Transformations
    Tianruo Yang, Zebo Peng
    IEEE European Test Workshop , Barcelona, Spain, May 27-29, 1998.
  328. 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.
  329. Estimation and Consideration of Interconnection Delays during High-Level Synthesis
    Jonas Hallberg, Zebo Peng
    24th EUROMICRO Conference, 1998.
  330. An improved register-transfer level functional partitioning approach for testability
    Tianruo Yang, Zebo Peng
    24th EUROMICRO Conference, 1998.
  331. An Improved Register-Transfer Level Functional Partioning Approach for Testability
    Tianruo Yang, Zebo Peng
    Fifth IEEE International Test Synthesis Workshop Red Lion Resort, Santa Barbara, CA, USA, March 9-11, 1998.
  332. An Efficient Algorithm to Integrate Scheduling and Allocation in High-Level Test Synthesis
    Tianruo Yang, Zebo Peng
    Design, Automation and Test in Europe - DATE, Paris, Feb. 23-26, 1998.
  333. 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.
  334. 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)
  335. Scheduling Driven Partitioning of Heterogeneous Embedded Systems
    Paul Pop, Petru Eles, Zebo Peng
    Swedish Workshop on Computer Systems Architecture, pp. 99-102, 1998.
  336. 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
  337. 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
  338. System Synthesis with VHDL
    Petru Eles, Krzysztof Kuchcinski, Zebo Peng
    Kluwer Academic Publishers, Boston, Dec. 1997, 384 pages.
  339. Early Prediction of Testability by Analyzing Behavioral VHDL Specifications
    Erik Larsson, Zebo Peng
    Norchip Conference, Tallinn, November 10-11, 1997. pp. 259-266
  340. Incremental Testability Analysis for Design Transformations
    Tianruo Yang, Zebo Peng
    Norchip Conference, Tallinn, November 10-11, 1997. pp. 267-274
  341. Design and Synthesis of a Generic Board-Level Test Controller
    Jan Hakegard, Zebo Peng
    23rd Euromicro Conference (Short Contribution), Budapest, Hungrary, September 1-4, 1997.
  342. Re-Partioning for Hardware/Software Co-Synthesis
    Erik Stoy, Zebo Peng
    23rd Euromicro Conference (Short Contribution), Budapest, Hungrary, September 1-4, 1997.
  343. 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.
  344. 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
  345. Inter-Domain Movement of Functionality as a Repartitioning Strategy for Hardware/Software Co-Design
    Erik Stoy, Zebo Peng
    Journal of Systems Architecture, the Euromicro Journal , vol. 43, 97-98, 1997.
  346. A Controller Testability Analysis and Enhancement Technique
    Xinli Gu, Erik Larsson, Krzysztof Kuchcinski, Zebo Peng
    European Design and Test Conference , Paris, March 17-20, 1997, pp. 153-157
  347. Integrated Scheduling and Allocation in High-Level Test Synthesis
    Tianruo Yang, Zebo Peng
    IEEE European Test Workshop (ETW-97) , Cagliari, Italy, 1997.
  348. An Integrated Approach to Data Path Synthesis for Testability
    Tianruo Yang, Zebo Peng
    Fourth International Test Synthesis Workshop (ITSW-97) , Santa Barbara, USA, 1997.
( ! ) perl script by Giovanni Squillero with modifications from Gert Jervan   (v3.1, p5.2, September-2002-)