- Temperature-Aware Design and Optimization of Reliable Cyber-Physical Systems
Zebo Peng
International Conference on Electrical, Computer and Energy Technologies (ICECET¿23), Cape Town, South Africa
- A Relative-Priority Encoding Genetic Algorithm for Integrated Mapping and Scheduling Optimization
Zhifang Sun; Shengjie Jin; Jinxue Duan; Junqiang Jiang; Zebo Peng
2024 2nd International Symposium of Electronics Design Automation (ISEDA)
- Security-Aware Design of Cyber-Physical Systems for Control over the Cloud
Zebo Peng
2024 2nd International Symposium of Electronics Design Automation (ISEDA)
- Integrated Mapping and Scheduling Optimization with Genetic Algorithms based on a Novel Encoding Scheme
Zhifang Sun; Shengjie Jin; Jinxue Duan; Junqiang Jiang; Zebo Peng
Euromicro Conference on Digital System Design (DSD¿24)
- An Efficient Approach for Improving Message Acceptance Rate and Link Utilization in Time-Sensitive Networking
Junqiang Jiang, Shengjie Jin, Zhifang Sun, Jinxue Duan, Lizhi Liu, Li Pan, Zebo Peng
ACM Transactions on Embedded Computing Systems
- On Modeling and Detecting Trojans in Instruction Sets
Ying Zhang, Aodi He, Jiaying Li, Ahmed Rezine, Zebo Peng, Erik Larsson, Tao Yang, Jianhui Jiang, Huawei Li
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 43, no. 10, pp. 3226-3239
- 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
- Runtime Resource Management with Multiple-Step-Ahead Workload Prediction
Mina Niknafs, Petru Eles, Zebo Peng
ACM Transactions on Embedded Computing Systems
- 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)
- 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)
- 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)
- Verifying Safety of Parameterized Heard-Of Algorithms
Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
Networked Systems. NETYS 2020
- 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
- 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)
- 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
- 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
- Genetic Algorithm Based Estimation of Non–Functional Properties for GPGPU Programs
Adrian Horga, Sudipta Chattopadhyay, Petru Eles, Zebo Peng
Journal of Systems Architecture
- 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)
- 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
- 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
- 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
- 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
- Scheduling optimization with partitioning for mixed-criticality systems
Yuanbin Zhou, Soheil Samii, Petru Eles, Zebo Peng
Journal of Systems Architecture
- 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
- 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
- Measurement Based Execution Time Analysis of GPGPU Programs via SE+GA
Adrian Horga, Sudipta Chattopadhyay, Petru Eles, Zebo Peng
Digital System Design (DSD) 2018
- Optimization of Message Encryption for Real-Time Applications in Embedded Systems
Amir Aminifar, Petru Eles, Zebo Peng
IEEE Transactions on Computers
- 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
- Workload Prediction for Runtime Resource Management
Mina Niknafs, Ivan Ukhov, Petru Eles, Zebo Peng
IEEE Nordic Circuits and System Conference (NorCAS 2017)
- 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)
- 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
- 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
- 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.
- 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.
- 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.
- 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)
- Systematic detection of memory related performance bottlenecks in GPGPU programs
Adrian Horga, Sudipta Chattopadhyay, Petru Eles, Zebo Peng
Journal of Systems Architecture
- 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
- 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
- Counting Dynamically Synchronizing Processes
Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
International Journal on Software Tools for Technology Transfer
- 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
- 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.
- 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.
- 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
- Power-Aware Design Techniques of Secure Multi-Mode Embedded Systems
Ke Jiang, Petru Eles, Zebo Peng
ACM Transactions on Embedded Computing Systems (TECS), 2015
- 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
- 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
- Analysis and Design of Real-Time Servers for Control Applications
Amir Aminifar , Enrico Bini , Petru Eles , Zebo Peng
IEEE Transactions on Computers
- 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
- 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
- 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.
- 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.
- 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.
- 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.
- Abstracting and Counting Synchronizing Processes
Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
Technical reports in Computer and Information Science, ISSN 1654-7233, 2014.
- 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.
- 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).
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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).
- 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).
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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).
- 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).
- 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.
- 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).
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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).
- 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.
- 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.
- 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).
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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)
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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
- 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
- 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
- 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.
- 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.
- 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.
- 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.
- 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
- 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.
- 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.
- 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)
- 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.
- Real-Time Applications with Stochastic Task Execution Times
Sorin Manolache, Petru Eles, Zebo Peng
Springer, ISBN 1-4020-5505-6, 2007
- 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
- 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.
- 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.
- 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.
- 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
- 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
- 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
- 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.
- 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
- 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
- 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
- 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)
- 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
- 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
- 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
- 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
- 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
- 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)
- 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)
- 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)
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Automotive Industry
Paul Pop, Rolf Ernst, Petru Eles, Zebo Peng
- 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
- 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
- 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
- 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
- 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
- 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)
- 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)
- 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)
- 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)
- 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.
- 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)
- 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
- 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
- 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
- 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
- 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.
- 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
- 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.
- 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
- 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.
- 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
- 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)
- 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.
- 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)
- 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)
- 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)
- 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)
- 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)
- 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
- 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
- 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
- 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
- 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
- Quasi-Static Scheduling for Real-Time Systems with Hard and Soft Tasks
Luis Alejandro Cortes, Petru Eles, Zebo Peng
Design, Automation and Test in Europe (DATE 2004), Paris, France, February 16-20, 2004, pp. 1176-1181
- Static Scheduling of Monoprocessor Real-Time Systems composed of Hard and Soft Tasks
Luis Alejandro Cortes, Petru Eles, Zebo Peng
The IEEE International Workshop on Electronic Design, Test and Applications (DELTA 2004), Perth, Australia, January 28-30, 2004, pp. 115-120
- 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
- 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
- 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.
- 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
- 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
- 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
- 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
- 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
- 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
- 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.
- 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)
- 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.
- 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
- 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)
- 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)
- 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.
- 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
- 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)
- 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)
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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.
- 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.
- 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.
- 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.
- 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
- 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.
- 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
- 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
- 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.
- 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
- 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
- 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.
- 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
- 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
- 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
- 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.
- 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
- 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
- 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)
- 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
- System-on-Chip Test Parallelization Under Power Constraints
Erik Larsson, Zebo Peng
European Test Workshop, Stockholm, Sweden, May 28-June 1, 2001.
- 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
- 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.
- 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
- 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
- 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
- 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
- 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.
- Verification of Embedded Systems using a Petri Net based Representation
Luis Alejandro Cortes, Petru Eles, Zebo Peng
13th International Symposium on System Synthesis (ISSS 2000), Madrid, Spain, Sept. 20-22, 2000, pp. 149-155.
- Definitions of Equivalence for Transformational Synthesis of Embedded Systems
Luis Alejandro Cortes, Petru Eles, Zebo Peng
6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), Tokyo, Japan, Sept. 11-15, 2000, pp. 134-142.
- Formal Coverification of Embedded Systems using Model Checking
Luis Alejandro Cortes, Petru Eles, Zebo Peng
26th Euromicro Conference (Digital Systems Design), Maastricht, The Netherlands, Sept. 5-7, 2000, vol. I, pp. 106-113.
- Test Infrastructure Design and Test Scheduling Optimization
Erik Larsson, Zebo Peng
European Test Workshop, Cascais, Portugal, May 23-26, 2000.
- 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.
- 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.
- 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
- 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
- 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
- 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
- System-on-Chip Test Bus Design and Test Scheduling
Erik Larsson, Zebo Peng
International Test Synthesis Workshop, Santa Barbara, USA, March 6-8.
- 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
- 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.
- 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
- 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
- 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.
- 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
- 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
- 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
- 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
- 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
- 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.
- A Behavioral-Level Testability Enhancement Technique
Erik Larsson, Zebo Peng
IEEE European Test Workshop, Constance, Germany, May 25-28, 1999
- 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
- 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
- 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.
- 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.
- 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.
- Testability Analysis of Behavioral-Level VHDL Specifications
Erik Larsson, Zebo Peng
IEEE European Test Workshop , Barcelona, Spain, May 27-29, 1998.
- Incremental Testability Analysis for Partial Scan Selection and Design Transformations
Tianruo Yang, Zebo Peng
IEEE European Test Workshop , Barcelona, Spain, May 27-29, 1998.
- 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.
- Estimation and Consideration of Interconnection Delays during High-Level Synthesis
Jonas Hallberg, Zebo Peng
24th EUROMICRO Conference, 1998.
- An improved register-transfer level functional partitioning approach for testability
Tianruo Yang, Zebo Peng
24th EUROMICRO Conference, 1998.
- 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.
- 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.
- 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.
- 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)
- Scheduling Driven Partitioning of Heterogeneous Embedded Systems
Paul Pop, Petru Eles, Zebo Peng
Swedish Workshop on Computer Systems Architecture, pp. 99-102, 1998.
- 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
- 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
- System Synthesis with VHDL
Petru Eles, Krzysztof Kuchcinski, Zebo Peng
Kluwer Academic Publishers, Boston, Dec. 1997, 384 pages.
- Early Prediction of Testability by Analyzing Behavioral VHDL Specifications
Erik Larsson, Zebo Peng
Norchip Conference, Tallinn, November 10-11, 1997. pp. 259-266
- Incremental Testability Analysis for Design Transformations
Tianruo Yang, Zebo Peng
Norchip Conference, Tallinn, November 10-11, 1997. pp. 267-274
- 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.
- Re-Partioning for Hardware/Software Co-Synthesis
Erik Stoy, Zebo Peng
23rd Euromicro Conference (Short Contribution), Budapest, Hungrary, September 1-4, 1997.
- 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.
- 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
- 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.
- 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
- Integrated Scheduling and Allocation in High-Level Test Synthesis
Tianruo Yang, Zebo Peng
IEEE European Test Workshop (ETW-97) , Cagliari, Italy, 1997.
- An Integrated Approach to Data Path Synthesis for Testability
Tianruo Yang, Zebo Peng
Fourth International Test Synthesis Workshop (ITSW-97) , Santa Barbara, USA, 1997.
|
|