Zebo Peng - RankMe

287 papers A* 11A 57B 27C 23Misc 12Journal 86Unranked 69

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Reinforcement Learning-Based Approach for Determining Infeasible Paths of Programs. Int. J. Softw. Eng. Knowl. Eng. Peng Dai, Tang He, Zebo Peng, Chen Zhao, Yunzhan Gong
2025	J	`jnl`	A Static Analysis Framework for Investigating Tainted Data Sources in Software Systems. Int. J. Softw. Eng. Knowl. Eng. Peng Dai, Xiaoqin Ma, Zebo Peng, Chen Zhao, Qianjin Zhang
2025	J	`jnl`	An Efficient Approach for Improving Message Acceptance Rate and Link Utilization in Time-Sensitive Networking. ACM Trans. Embed. Comput. Syst. Junqiang Jiang, Shengjie Jin, Zhifang Sun, Jinxue Duan, Lizhi Liu, Li Pan, Zebo Peng
2025	J	`jnl`	Real Relative Encoding Genetic Algorithm for Workflow Scheduling in Heterogeneous Distributed Computing Systems. IEEE Trans. Parallel Distributed Syst. Junqiang Jiang, Zhifang Sun, Ruiqi Lu, Li Pan, Zebo Peng
2025	J	`jnl`	Temperature and deadline aware runtime resource management with workload prediction for heterogeneous multi-core platforms. J. Syst. Archit. Mina Niknafs, Petru Eles, Zebo Peng
2024	C	`conf`	Integrated Mapping and Scheduling Optimization with Genetic Algorithms Based on a Novel Encoding Scheme. DSD Zhifang Sun, Shengjie Jin, Jinxue Duan, Junqiang Jiang, Zebo Peng
2024	J	`jnl`	Multi-Traffic Resource Optimization for Real-Time Applications with 5G Configured Grant Scheduling. ACM Trans. Embed. Comput. Syst. Yungang Pan, Rouhollah Mahfouzi, Soheil Samii, Petru Eles, Zebo Peng
2024	J	`jnl`	On Modeling and Detecting Trojans in Instruction Sets. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Ying Zhang, Aodi He, Jiaying Li, Ahmed Rezine, Zebo Peng, Erik Larsson, Tao Yang, Jianhui Jiang, Huawei Li
2023	J	`jnl`	Parallel Software-Based Self-Testing with Bounded Model Checking for Kilo-Core Networks-on-Chip. J. Comput. Sci. Technol. Ying Zhang, Pengfei Ji, Pan-Wei Zhu, Zebo Peng, Huawei Li, Jian-Hui Jiang
2023	A	`conf`	Resource Optimization with 5G Configured Grant Scheduling for Real-Time Applications. DATE Yungang Pan, Rouhollah Mahfouzi, Soheil Samii, Petru Eles, Zebo Peng
2023	J	`jnl`	Runtime Resource Management with Multiple-Step-Ahead Workload Prediction. ACM Trans. Embed. Comput. Syst. Mina Niknafs, Petru Eles, Zebo Peng
2023	—	`conf`	Temperature-Aware Design and Optimization of Reliable Cyber-Physical Systems. ICECET Zebo Peng
2022	J	`jnl`	BMC-Based Temperature-Aware SBST for Worst-Case Delay Fault Testing Under High Temperature. IEEE Trans. Very Large Scale Integr. Syst. Ying Zhang, Yi Ding, Zebo Peng, Huawei Li, Masahiro Fujita, Jianhui Jiang
2022	J	`jnl`	Symbolic identification of shared memory based bank conflicts for GPUs. J. Syst. Archit. Adrian Horga, Ahmed Rezine, Sudipta Chattopadhyay, Petru Eles, Zebo Peng
2022	—	`conf`	Time-Triggered Scheduling for Time-Sensitive Networking with Preemption. ASP-DAC Yuanbin Zhou, Soheil Samii, Petru Eles, Zebo Peng
2021	J	`jnl`	A Deterministic-Path Routing Algorithm for Tolerating Many Faults on Very-Large-Scale Network-on-Chip. ACM Trans. Design Autom. Electr. Syst. Ying Zhang, Xinpeng Hong, Zhongsheng Chen, Zebo Peng, Jianhui Jiang
2021	A	`conf`	ASIL-Decomposition Based Routing and Scheduling in Safety-Critical Time-Sensitive Networking. RTAS Yuanbin Zhou, Soheil Samii, Petru Eles, Zebo Peng
2021	J	`jnl`	Breaking Silos to Guarantee Control Stability with Communication over Ethernet TSN. IEEE Des. Test Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Ahmed Rezine, Petru Eles, Zebo Peng
2021	J	`jnl`	Reliability-aware Scheduling and Routing for Messages in Time-sensitive Networking. ACM Trans. Embed. Comput. Syst. Yuanbin Zhou, Soheil Samii, Petru Eles, Zebo Peng
2021	—	`conf`	Secure Cloud Control Using Verifiable Computation. COINS Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Petru Eles, Zebo Peng
2020	J	`jnl`	Genetic algorithm based estimation of non-functional properties for GPGPU programs. J. Syst. Archit. Adrian Horga, Sudipta Chattopadhyay, Petru Eles, Zebo Peng
2020	J	`jnl`	Security-aware Routing and Scheduling for Control Applications on Ethernet TSN Networks. ACM Trans. Design Autom. Electr. Syst. Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Petru Eles, Zebo Peng
2020	J	`jnl`	Software-Based Self-Testing Using Bounded Model Checking for Out-of-Order Superscalar Processors. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Ying Zhang, Krishnendu Chakrabarty, Zebo Peng, Ahmed Rezine, Huawei Li, Petru Eles, Jianhui Jiang
2020	—	`conf`	Verifying Safety of Parameterized Heard-Of Algorithms. NETYS Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
2019	A	`conf`	A Deterministic-Path Routing Algorithm for Tolerating Many Faults on Wafer-Level NoC. DATE Zhongsheng Chen, Ying Zhang, Zebo Peng, Jianhui Jiang
2019	A	`conf`	Butterfly Attack: Adversarial Manipulation of Temporal Properties of Cyber-Physical Systems. RTSS Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Mathias Payer, Petru Eles, Zebo Peng
2019	A	`conf`	Cache-Aware Kernel Tiling: An Approach for System-Level Performance Optimization of GPU-Based Applications. DATE Arian Maghazeh, Sudipta Chattopadhyay, Petru Eles, Zebo Peng
2019	—	`conf`	On Reachability in Parameterized Phaser Programs. TACAS (1) Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio, Petru Eles, Zebo Peng
2019	—	`conf`	Partitioned and overhead-aware scheduling of mixed-criticality real-time systems. ASP-DAC Yuanbin Zhou, Soheil Samii, Petru Eles, Zebo Peng
2019	A*	`conf`	Runtime Resource Management with Workload Prediction. DAC Mina Niknafs, Ivan Ukhov, Petru Eles, Zebo Peng
2019	J	`jnl`	Scheduling optimization with partitioning for mixed-criticality systems. J. Syst. Archit. Yuanbin Zhou, Soheil Samii, Petru Eles, Zebo Peng
2018	J	`jnl`	Control-Quality-Driven Design of Embedded Control Systems with Stability Guarantees. IEEE Des. Test Amir Aminifar, Petru Eles, Zebo Peng, Anton Cervin, Karl-Erik Årzén
2018	C	`conf`	Measurement Based Execution Time Analysis of GPGPU Programs via SE+GA. DSD Adrian Horga, Sudipta Chattopadhyay, Petru Eles, Zebo Peng
2018	J	`jnl`	On Reachability in Parameterized Phaser Programs. CoRR Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio, Petru Eles, Zebo Peng
2018	J	`jnl`	Optimization of Message Encryption for Real-Time Applications in Embedded Systems. IEEE Trans. Computers Amir Aminifar, Petru Eles, Zebo Peng
2018	A	`conf`	Stability-aware integrated routing and scheduling for control applications in Ethernet networks. DATE Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Ahmed Rezine, Petru Eles, Zebo Peng
2017	A*	`conf`	Latency-Aware Packet Processing on CPU-GPU Heterogeneous Systems. DAC Arian Maghazeh, Unmesh D. Bordoloi, Usman Dastgeer, Alexandru Andrei, Petru Eles, Zebo Peng
2017	J	`jnl`	Probabilistic Analysis of Electronic Systems via Adaptive Hierarchical Interpolation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Ivan Ukhov, Petru Eles, Zebo Peng
2017	J	`jnl`	Safety Verification of Phaser Programs. CoRR Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
2017	B	`conf`	Safety verification of phaser programs. FMCAD Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
2017	C	`conf`	Two-Phase Interarrival Time Prediction for Runtime Resource Management. DSD Mina Niknafs, Ivan Ukhov, Petru Eles, Zebo Peng
2017	—	`conf`	Workload prediction for runtime resource management. NORCAS Mina Niknafs, Ivan Ukhov, Petru Eles, Zebo Peng
2016	J	`jnl`	A Reconfigurable Framework for Performance Enhancement With Dynamic FPGA Configuration Prefetching. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Adrian Alin Lifa, Petru Eles, Zebo Peng
2016	J	`jnl`	Analysis and Design of Real-Time Servers for Control Applications. IEEE Trans. Computers Amir Aminifar, Enrico Bini, Petru Eles, Zebo Peng
2016	J	`jnl`	Correlation-Aware Probabilistic Timing Analysis for the Dynamic Segment of FlexRay. ACM Trans. Embed. Comput. Syst. Bogdan Tanasa, Unmesh D. Bordoloi, Petru Eles, Zebo Peng
2016	J	`jnl`	Counting dynamically synchronizing processes. Int. J. Softw. Tools Technol. Transf. Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
2016	Misc	`conf`	Intrusion-Damage Assessment and Mitigation in Cyber-Physical Systems for Control Applications. RTNS Rouhollah Mahfouzi, Amir Aminifar, Petru Eles, Zebo Peng, Mattias Villani
2016	B	`conf`	Lazy Constrained Monotonic Abstraction. VMCAI Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
2016	J	`jnl`	Power-Aware Design Techniques of Secure Multimode Embedded Systems. ACM Trans. Embed. Comput. Syst. Ke Jiang, Petru Eles, Zebo Peng
2016	—	`conf`	SPARTA: A scheduling policy for thwarting differential power analysis attacks. ASP-DAC Ke Jiang, Petru Eles, Zebo Peng, Sudipta Chattopadhyay, Lejla Batina
2016	A	`conf`	Self-triggered controllers and hard real-time guarantees. DATE Amir Aminifar, Paulo Tabuada, Petru Eles, Zebo Peng
2016	J	`jnl`	Systematic detection of memory related performance bottlenecks in GPGPU programs. J. Syst. Archit. Adrian Horga, Sudipta Chattopadhyay, Petru Eles, Zebo Peng
2015	J	`jnl`	A Test-Ordering Based Temperature-Cycling Acceleration Technique for 3D Stacked ICs. J. Electron. Test. Nima Aghaee, Zebo Peng, Petru Eles
2015	B	`conf`	Abstracting and Counting Synchronizing Processes. VMCAI Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
2015	—	`conf`	An integrated temperature-cycling acceleration and test technique for 3D stacked ICs. ASP-DAC Nima Aghaee, Zebo Peng, Petru Eles
2015	—	`conf`	Efficient Test Application for Rapid Multi-Temperature Testing. ACM Great Lakes Symposium on VLSI Nima Aghaee, Zebo Peng, Petru Eles
2015	B	`conf`	Is adaptive testing the panacea for the future test problems? ETS Zebo Peng
2015	A	`conf`	Jfair: a scheduling algorithm to stabilize control applications. RTAS Amir Aminifar, Petru Eles, Zebo Peng
2015	—	`conf`	On-the-fly energy minimization for multi-mode real-time systems on heterogeneous platforms. ESTIMedia Adrian Alin Lifa, Petru Eles, Zebo Peng
2015	A	`conf`	Perception-Aware Power Management for Mobile Games via Dynamic Resolution Scaling. ICCAD Arian Maghazeh, Unmesh D. Bordoloi, Mattias Villani, Petru Eles, Zebo Peng
2015	B	`conf`	Probabilistic Response Time and Joint Analysis of Periodic Tasks. ECRTS Bogdan Tanasa, Unmesh D. Bordoloi, Petru Eles, Zebo Peng
2015	J	`jnl`	Stability of Online Resource Managers for Distributed Systems under Execution Time Variations. ACM Trans. Embed. Comput. Syst. Sergiu Rafiliu, Petru Eles, Zebo Peng, Michael Lemmon
2015	J	`jnl`	Temperature-Centric Reliability Analysis and Optimization of Electronic Systems Under Process Variation. IEEE Trans. Very Large Scale Integr. Syst. Ivan Ukhov, Petru Eles, Zebo Peng
2015	J	`jnl`	Temperature-Gradient-Based Burn-In and Test Scheduling for 3-D Stacked ICs. IEEE Trans. Very Large Scale Integr. Syst. Nima Aghaee, Zebo Peng, Petru Eles
2015	A	`conf`	Temperature-aware software-based self-testing for delay faults. DATE Ying Zhang, Zebo Peng, Jianhui Jiang, Huawei Li, Masahiro Fujita
2014	A	`conf`	An efficient temperature-gradient based burn-in technique for 3D stacked ICs. DATE Nima Aghaee, Zebo Peng, Petru Eles
2014	Misc	`conf`	Automated software testing of memory performance in embedded GPUs. EMSOFT Sudipta Chattopadhyay, Petru Eles, Zebo Peng
2014	A	`conf`	Bandwidth-efficient controller-server co-design with stability guarantees. DATE Amir Aminifar, Enrico Bini, Petru Eles, Zebo Peng
2014	—	`conf`	Day 2: Mini-tutorial: Challenges to the design and optimization of cyber-physical systems. IDT Zebo Peng
2014	J	`jnl`	Probabilistic Analysis of Power and Temperature Under Process Variation for Electronic System Design. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Ivan Ukhov, Petru Eles, Zebo Peng
2014	Misc	`conf`	Process-Variation Aware Multi-temperature Test Scheduling. VLSID Nima Aghaee, Zebo Peng, Petru Eles
2014	J	`jnl`	Quantifying Notions of Extensibility in FlexRay Schedule Synthesis. ACM Trans. Design Autom. Electr. Syst. Reinhard Schneider, Dip Goswami, Samarjit Chakraborty, Unmesh D. Bordoloi, Petru Eles, Zebo Peng
2014	—	`conf`	Robustness Analysis of Real-Time Scheduling Against Differential Power Analysis Attacks. ISVLSI Ke Jiang, Lejla Batina, Petru Eles, Zebo Peng
2014	Misc	`conf`	Saving energy without defying deadlines on mobile GPU-based heterogeneous systems. CODES+ISSS Arian Maghazeh, Unmesh D. Bordoloi, Adrian Horga, Petru Eles, Zebo Peng
2014	B	`conf`	Schedulability analysis of Ethernet AVB switches. RTCSA Unmesh D. Bordoloi, Amir Aminifar, Petru Eles, Zebo Peng
2014	—	`conf`	Statistical analysis of process variation based on indirect measurements for electronic system design. ASP-DAC Ivan Ukhov, Mattias Villani, Petru Eles, Zebo Peng
2014	—	`conf`	Thermal challenges to building reliable embedded systems. VLSI-DAT Zebo Peng
2014	J	`jnl`	Time-Predictable Embedded Software on Multi-Core Platforms: Analysis and Optimization. Found. Trends Electron. Des. Autom. Sudipta Chattopadhyay, Abhik Roychoudhury, Jakob Rosen, Petru Eles, Zebo Peng
2013	A	`conf`	Control-quality driven design of cyber-physical systems with robustness guarantees. DATE Amir Aminifar, Petru Eles, Zebo Peng, Anton Cervin
2013	A	`conf`	Designing Bandwidth-Efficient Stabilizing Control Servers. RTSS Amir Aminifar, Enrico Bini, Petru Eles, Zebo Peng
2013	A	`conf`	Dynamic configuration prefetching based on piecewise linear prediction. DATE Adrian Alin Lifa, Petru Eles, Zebo Peng
2013	Misc	`conf`	Energy-aware design of secure multi-mode real-time embedded systems with FPGA co-processors. RTNS Ke Jiang, Adrian Alin Lifa, Petru Eles, Zebo Peng, Wei Jiang
2013	—	`conf`	General purpose computing on low-power embedded GPUs: Has it come of age? ICSAMOS Arian Maghazeh, Unmesh D. Bordoloi, Petru Eles, Zebo Peng
2013	A	`conf`	Optimization of secure embedded systems with dynamic task sets. DATE Ke Jiang, Petru Eles, Zebo Peng
2013	B	`conf`	Probabilistic Timing Analysis for the Dynamic Segment of FlexRay. ECRTS Bogdan Tanasa, Unmesh D. Bordoloi, Petru Eles, Zebo Peng
2013	J	`jnl`	Process-Variation and Temperature Aware SoC Test Scheduling Technique. J. Electron. Test. Nima Aghaee, Zebo Peng, Petru Eles
2013	J	`jnl`	Stability of adaptive feedback-based resource managers for systems with execution time variations. Real Time Syst. Sergiu Rafiliu, Petru Eles, Zebo Peng
2013	Misc	`conf`	Stability-aware analysis and design of embedded control systems. EMSOFT Amir Aminifar, Petru Eles, Zebo Peng, Anton Cervin
2013	—	`conf`	Temperature-gradient based test scheduling for 3D stacked ICs. ICECS Nima Aghaee, Zebo Peng, Petru Eles
2012	—	`conf`	Automatic Test Program Generation for Out-of-Order Superscalar Processors. Asian Test Symposium Ying Zhang, Ahmed Rezine, Petru Eles, Zebo Peng
2012	A	`conf`	Co-design techniques for distributed real-time embedded systems with communication security constraints. DATE Ke Jiang, Petru Eles, Zebo Peng
2012	B	`conf`	Context-Aware Speculative Prefetch for Soft Real-Time Applications. RTCSA Adrian Alin Lifa, Petru Eles, Zebo Peng
2012	B	`conf`	Control-Quality Optimization for Distributed Embedded Systems with Adaptive Fault Tolerance. ECRTS Soheil Samii, Unmesh D. Bordoloi, Petru Eles, Zebo Peng, Anton Cervin
2012	Misc	`conf`	Customizing Instruction Set Extensible Reconfigurable Processors Using GPUs. VLSI Design Unmesh D. Bordoloi, Bharath Suri, Swaroop Nunna, Samarjit Chakraborty, Petru Eles, Zebo Peng
2012	A	`conf`	Designing High-Quality Embedded Control Systems with Guaranteed Stability. RTSS Amir Aminifar, Soheil Samii, Petru Eles, Zebo Peng, Anton Cervin
2012	—	`conf`	Minimization of average execution time based on speculative FPGA configuration prefetch. ReConFig Adrian Alin Lifa, Petru Eles, Zebo Peng
2012	—	`conf`	On the timing analysis of the dynamic segment of FlexRay. SIES Unmesh D. Bordoloi, Bogdan Tanasa, Petru Eles, Zebo Peng
2012	B	`conf`	Reliability-Aware Instruction Set Customization for ASIPs with Hardened Logic. RTCSA Unmesh D. Bordoloi, Bogdan Tanasa, Mehdi Baradaran Tahoori, Petru Eles, Zebo Peng, Syed Zafar Shazli, Samarjit Chakraborty
2012	A	`conf`	Schedulability Analysis for the Dynamic Segment of FlexRay: A Generalization to Slot Multiplexing. IEEE Real-Time and Embedded Technology and Applications Symposium Bogdan Tanasa, Unmesh D. Bordoloi, Stefanie Kosuch, Petru Eles, Zebo Peng
2012	J	`jnl`	Scheduling and Optimization of Fault-Tolerant Embedded Systems with Transparency/Performance Trade-Offs. ACM Trans. Embed. Comput. Syst. Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng
2012	A*	`conf`	Steady-state dynamic temperature analysis and reliability optimization for embedded multiprocessor systems. DAC Ivan Ukhov, Min Bao, Petru Eles, Zebo Peng
2012	J	`jnl`	Temperature-Aware Idle Time Distribution for Leakage Energy Optimization. IEEE Trans. Very Large Scale Integr. Syst. Min Bao, Alexandru Andrei, Petru Eles, Zebo Peng
2012	B	`conf`	Test tool qualification through fault injection. ETS Q. Wang, Andreas Wallin, Viacheslav Izosimov, Urban Ingelsson, Zebo Peng
2012	J	`jnl`	Time-Constraint-Aware Optimization of Assertions in Embedded Software. J. Electron. Test. Viacheslav Izosimov, Giuseppe Di Guglielmo, Michele Lora, Graziano Pravadelli, Franco Fummi, Zebo Peng, Masahiro Fujita
2011	C	`conf`	Adaptive Temperature-Aware SoC Test Scheduling Considering Process Variation. DSD Nima Aghaee, Zebo Peng, Petru Eles
2011	A	`conf`	Bus Access Design for Combined Worst and Average Case Execution Time Optimization of Predictable Real-Time Applications on Multiprocessor Systems-on-Chip. IEEE Real-Time and Embedded Technology and Applications Symposium Jakob Rosen, Carl-Fredrik Neikter, Petru Eles, Zebo Peng, Paolo Burgio, Luca Benini
2011	—	`conf`	Control-Quality Driven Task Mapping for Distributed Embedded Control Systems. RTCSA (1) Amir Aminifar, Soheil Samii, Petru Eles, Zebo Peng
2011	—	`conf`	Design Optimization and Synthesis of FlexRay Parameters for Embedded Control Applications. DELTA Soheil Samii, Petru Eles, Zebo Peng, Anton Cervin
2011	A*	`conf`	On the quantification of sustainability and extensibility of FlexRay schedules. DAC Reinhard Schneider, Dip Goswami, Samarjit Chakraborty, Unmesh D. Bordoloi, Petru Eles, Zebo Peng
2011	—	`conf`	On-line Temperature-Aware Idle Time Distribution for Leakage Energy Optimization. DELTA Min Bao, Alexandru Andrei, Petru Eles, Zebo Peng
2011	B	`conf`	Optimization of Assertion Placement in Time-Constrained Embedded Systems. ETS Viacheslav Izosimov, Michele Lora, Graziano Pravadelli, Franco Fummi, Zebo Peng, Giuseppe Di Guglielmo, Masahiro Fujita
2011	C	`conf`	Optimization of message encryption for distributed embedded systems with real-time constraints. DDECS Ke Jiang, Petru Eles, Zebo Peng
2011	A*	`conf`	Performance optimization of error detection based on speculative reconfiguration. DAC Adrian Alin Lifa, Petru Eles, Zebo Peng
2011	—	`conf`	Predictable Worst-Case Execution Time Analysis for Multiprocessor Systems-on-Chip. DELTA Jason Rosén, Petru Eles, Zebo Peng, Alexandru Andrei
2011	—	`conf`	Process-variation and temperature aware soc test scheduling using particle swarm optimization. IDT Nima Aghaee, Zebo Peng, Petru Eles
2011	J	`jnl`	Quasi-Static Voltage Scaling for Energy Minimization With Time Constraints. IEEE Trans. Very Large Scale Integr. Syst. Alexandru Andrei, Petru Eles, Olivera Jovanovic, Marcus T. Schmitz, Jens Ogniewski, Zebo Peng
2011	Misc	`conf`	Reliability-aware frame packing for the static segment of flexray. EMSOFT Bogdan Tanasa, Unmesh D. Bordoloi, Petru Eles, Zebo Peng
2011	B	`conf`	Stability Conditions of On-line Resource Managers for Systems with Execution Time Variations. ECRTS Sergiu Rafiliu, Petru Eles, Zebo Peng
2010	A	`conf`	Dynamic Scheduling and Control-Quality Optimization of Self-Triggered Control Applications. RTSS Soheil Samii, Petru Eles, Zebo Peng, Paulo Tabuada, Anton Cervin
2010	Misc	`conf`	Hardware/software optimization of error detection implementation for real-time embedded systems. CODES+ISSS Adrian Alin Lifa, Petru Eles, Zebo Peng, Viacheslav Izosimov
2010	B	`conf`	Low Overhead Dynamic QoS Optimization under Variable Task Execution Times. RTCSA Sergiu Rafiliu, Petru Eles, Zebo Peng
2010	A	`conf`	Multi-temperature testing for core-based system-on-chip. DATE Zhiyuan He, Zebo Peng, Petru Eles
2010	A	`conf`	Scheduling for Fault-Tolerant Communication on the Static Segment of FlexRay. RTSS Bogdan Tanasa, Unmesh D. Bordoloi, Petru Eles, Zebo Peng
2010	—	`conf`	Temperature-Aware SoC Test Scheduling Considering Inter-Chip Process Variation. Asian Test Symposium Nima Aghaee, Zhiyuan He, Zebo Peng, Petru Eles
2010	A	`conf`	Temperature-aware idle time distribution for energy optimization with dynamic voltage scaling. DATE Min Bao, Alexandru Andrei, Petru Eles, Zebo Peng
2010	—	`conf`	Value-based scheduling of distributed fault-tolerant real-time systems with soft and hard timing constraints. ESTIMedia Viacheslav Izosimov, Petru Eles, Zebo Peng
2009	A	`conf`	Analysis and optimization of fault-tolerant embedded systems with hardened processors. DATE Viacheslav Izosimov, Ilia Polian, Paul Pop, Petru Eles, Zebo Peng
2009	J	`jnl`	Design Optimization of Time- and Cost-Constrained Fault-Tolerant Embedded Systems With Checkpointing and Replication. IEEE Trans. Very Large Scale Integr. Syst. Paul Pop, Viacheslav Izosimov, Petru Eles, Zebo Peng
2009	B	`conf`	Immune Genetic Algorithms for Optimization of Task Priorities and FlexRay Frame Identifiers. RTCSA Soheil Samii, Yanfei Yin, Zebo Peng, Petru Eles, Yuanping Zhang
2009	A	`conf`	Integrated scheduling and synthesis of control applications on distributed embedded systems. DATE Soheil Samii, Anton Cervin, Petru Eles, Zebo Peng
2009	A*	`conf`	On-line thermal aware dynamic voltage scaling for energy optimization with frequency/temperature dependency consideration. DAC Min Bao, Alexandru Andrei, Petru Eles, Zebo Peng
2009	A*	`conf`	Quality-driven synthesis of embedded multi-mode control systems. DAC Soheil Samii, Petru Eles, Zebo Peng, Anton Cervin
2009	C	`conf`	Thermal-Aware Test Scheduling for Core-Based SoC in an Abort-on-First-Fail Test Environment. DSD Zhiyuan He, Zebo Peng, Petru Eles
2008	J	`jnl`	A Reconfigurable Power Conscious Core Wrapper and its Application to System-on-Chip Test Scheduling. J. Electron. Test. Erik Larsson, Zebo Peng
2008	A	`conf`	A Simulation Methodology for Worst-Case Response Time Estimation of Distributed Real-Time Systems. DATE Soheil Samii, Sergiu Rafiliu, Petru Eles, Zebo Peng
2008	J	`jnl`	Analysis and Optimisation of Hierarchically Scheduled Multiprocessor Embedded Systems. Int. J. Parallel Program. Traian Pop, Paul Pop, Petru Eles, Zebo Peng
2008	J	`jnl`	Cycle-Accurate Test Power Modeling and Its Application to SoC Test Architecture Design and Scheduling. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Soheil Samii, Mikko Selkälä, Erik Larsson, Krishnendu Chakrabarty, Zebo Peng
2008	J	`jnl`	Model validation for embedded systems using formal method-aided simulation. IET Comput. Digit. Tech. Daniel Karlsson, Petru Eles, Zebo Peng
2008	Misc	`conf`	Predictable Implementation of Real-Time Applications on Multiprocessor Systems-on-Chip. VLSI Design Alexandru Andrei, Petru Eles, Zebo Peng, Jakob Rosen
2008	A	`conf`	Scheduling of Fault-Tolerant Embedded Systems with Soft and Hard Timing Constraints. DATE Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng
2008	—	`conf`	Simulation-Driven Thermal-Safe Test Time Minimization for System-on-Chip. ATS Zhiyuan He, Zebo Peng, Petru Eles
2008	A	`conf`	Synthesis of Fault-Tolerant Embedded Systems. DATE Petru Eles, Viacheslav Izosimov, Paul Pop, Zebo Peng
2008	C	`conf`	Synthesis of Flexible Fault-Tolerant Schedules with Preemption for Mixed Soft and Hard Real-Time Systems. DSD Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng
2008	J	`jnl`	Task mapping and priority assignment for soft real-time applications under deadline miss ratio constraints. ACM Trans. Embed. Comput. Syst. Sorin Manolache, Petru Eles, Zebo Peng
2008	C	`conf`	Temperature-Aware Task Mapping for Energy Optimization with Dynamic Voltage Scaling. DDECS Min Bao, Alexandru Andrei, Petru Eles, Zebo Peng
2008	A	`conf`	Temperature-Aware Voltage Selection for Energy Optimization. DATE Min Bao, Alexandru Andrei, Petru Eles, Zebo Peng
2008	J	`jnl`	Test methods for crosstalk-induced delay and glitch faults in network-on-chip interconnects implementing asynchronous communication protocols. IET Comput. Digit. Tech. Tomas Bengtsson, Shashi Kumar, Raimund Ubar, Artur Jutman, Zebo Peng
2008	A	`conf`	Test-Architecture Optimization and Test Scheduling for SOCs with Core-Level Expansion of Compressed Test Patterns. DATE Anders Larsson, Erik Larsson, Krishnendu Chakrabarty, Petru Eles, Zebo Peng
2008	J	`jnl`	Thermal-Aware SoC Test Scheduling with Test Set Partitioning and Interleaving. J. Electron. Test. Zhiyuan He, Zebo Peng, Petru Eles, Paul M. Rosinger, Bashir M. Al-Hashimi
2008	J	`jnl`	Timing analysis of the FlexRay communication protocol. Real Time Syst. Traian Pop, Paul Pop, Petru Eles, Zebo Peng, Alexandru Andrei
2007	C	`conf`	A Heuristic for Concurrent SOC Test Scheduling with Compression and Sharing. DDECS Anders Larsson, Erik Larsson, Petru Eles, Zebo Peng
2007	A	`conf`	A heuristic for thermal-safe SoC test scheduling. ITC Zhiyuan He, Zebo Peng, Petru Eles
2007	A	`conf`	Bus Access Optimization for Predictable Implementation of Real-Time Applications on Multiprocessor Systems-on-Chip. RTSS Jakob Rosen, Alexandru Andrei, Petru Eles, Zebo Peng
2007	A	`conf`	Bus access optimisation for FlexRay-based distributed embedded systems. DATE Traian Pop, Paul Pop, Petru Eles, Zebo Peng
2007	J	`jnl`	Energy Optimization of Multiprocessor Systems on Chip by Voltage Selection. IEEE Trans. Very Large Scale Integr. Syst. Alexandru Andrei, Petru Eles, Zebo Peng, Marcus T. Schmitz, Bashir M. Al-Hashimi
2007	J	`jnl`	Fault-aware Communication Mapping for NoCs with Guaranteed Latency. Int. J. Parallel Program. Sorin Manolache, Petru Eles, Zebo Peng
2007	J	`jnl`	Formal verification of component-based designs. Des. Autom. Embed. Syst. Daniel Karlsson, Petru Eles, Zebo Peng
2007	A	`conf`	Optimized integration of test compression and sharing for SOC testing. DATE Anders Larsson, Erik Larsson, Petru Eles, Zebo Peng
2007	—	`book`	Real-time applications with stochastic task execution times - analysis and optimisation. Sorin Manolache, Petru Eles, Zebo Peng
2007	C	`conf`	Transactor-based Formal Verification of Real-time Embedded Systems. FDL Daniel Karlsson, Petru Eles, Zebo Peng
2006	B	`conf`	A Quasi-Static Approach to Minimizing Energy Consumption in Real-Time Systems under Reward Constraints. RTCSA Luis Alejandro Cortés, Petru Eles, Zebo Peng
2006	J	`jnl`	Analysis and optimization of distributed real-time embedded systems. ACM Trans. Design Autom. Electr. Syst. Paul Pop, Petru Eles, Zebo Peng, Traian Pop
2006	A	`conf`	Buffer space optimisation with communication synthesis and traffic shaping for NoCs. DATE Sorin Manolache, Petru Eles, Zebo Peng
2006	A	`conf`	Cycle-Accurate Test Power Modeling and its Application to SoC Test Scheduling. ITC Soheil Samii, Erik Larsson, Krishnendu Chakrabarty, Zebo Peng
2006	J	`jnl`	Dual Flow Nets: Modeling the control/data-flow relation in embedded systems. ACM Trans. Embed. Comput. Syst. Mauricio Varea, Bashir M. Al-Hashimi, Luis Alejandro Cortés, Petru Eles, Zebo Peng
2006	A	`conf`	Formal verification of systemc designs using a petri-net based representation. DATE Daniel Karlsson, Petru Eles, Zebo Peng
2006	C	`conf`	Mapping of Fault-Tolerant Applications with Transparency on Distributed Embedded Systems*. DSD Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng
2006	C	`conf`	Off-Line Testing of Delay Faults in NoC Interconnects. DSD Tomas Bengtsson, Artur Jutman, Shashi Kumar, Raimund Ubar, Zebo Peng
2006	A	`conf`	Power constrained and defect-probability driven SoC test scheduling with test set partitioning. DATE Zhiyuan He, Zebo Peng, Petru Eles
2006	J	`jnl`	Power-Aware Test Planning in the Early System-on-Chip Design Exploration Process. IEEE Trans. Computers Erik Larsson, Zebo Peng
2006	J	`jnl`	Quasi-Static Assignment of Voltages and Optional Cycles in Imprecise-Computation Systems With Energy Considerations. IEEE Trans. Very Large Scale Integr. Syst. Luis Alejandro Cortés, Petru Eles, Zebo Peng
2006	—	`conf`	Synthesis of Fault-Tolerant Embedded Systems with Checkpointing and Replication. DELTA Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng
2006	A	`conf`	Synthesis of fault-tolerant schedules with transparency/performance trade-offs for distributed embedded systems. DATE Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng
2006	J	`jnl`	Test Time Minimization for Hybrid BIST of Core-Based Systems. J. Comput. Sci. Technol. Gert Jervan, Petru Eles, Zebo Peng, Raimund Ubar, Maksim Jenihhin
2006	—	`conf`	Thermal-Aware SoC Test Scheduling with Test Set Partitioning and Interleaving. DFT Zhiyuan He, Zebo Peng, Petru Eles, Paul M. Rosinger, Bashir M. Al-Hashimi
2006	B	`conf`	Timing Analysis of the FlexRay Communication Protocol. ECRTS Traian Pop, Paul Pop, Petru Eles, Zebo Peng, Alexandru Andrei
2005	J	`jnl`	A Wiring-Aware Approach to Minimizing Built-In Self-Test Overhead. J. Comput. Sci. Technol. Abdil Rashid Mohamed, Zebo Peng, Petru Eles
2005	J	`jnl`	Abort-on-Fail Based Test Scheduling. J. Electron. Test. Erik Larsson, Julien Pouget, Zebo Peng
2005	A	`conf`	Design Optimization of Time-and Cost-Constrained Fault-Tolerant Distributed Embedded Systems. DATE Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng
2005	B	`conf`	Energy minimization for hybrid BIST in a system-on-chip test environment. ETS Raimund Ubar, Tatjana Shchenova, Gert Jervan, Zebo Peng
2005	A*	`conf`	Fault and energy-aware communication mapping with guaranteed latency for applications implemented on NoC. DAC Sorin Manolache, Petru Eles, Zebo Peng
2005	J	`jnl`	Multiple-Constraint Driven System-on-Chip Test Time Optimization. J. Electron. Test. Julien Pouget, Erik Larsson, Zebo Peng
2005	B	`conf`	Optimization of Hierarchically Scheduled Heterogeneous Embedded Systems. RTCSA Traian Pop, Paul Pop, Petru Eles, Zebo Peng
2005	C	`conf`	Optimization of a Bus-based Test Data Transportation Mechanism in System-on-Chip. DSD Anders Larsson, Erik Larsson, Petru Eles, Zebo Peng
2005	C	`conf`	Power-Constrained Hybrid BIST Test Scheduling in an Abort-on-First-Fail Test Environment. DSD Zhiyuan He, Gert Jervan, Zebo Peng, Petru Eles
2005	B	`conf`	Quasi-Static Scheduling for Multiprocessor Real-Time Systems with Hard and Soft Tasks. RTCSA Luis Alejandro Cortés, Petru Eles, Zebo Peng
2005	A	`conf`	Quasi-Static Voltage Scaling for Energy Minimization with Time Constraints. DATE Alexandru Andrei, Marcus T. Schmitz, Petru Eles, Zebo Peng, Bashir M. Al-Hashimi
2005	A*	`conf`	Quasi-static assignment of voltages and optional cycles for maximizing rewards in real-time systems with energy c-onstraints. DAC Luis Alejandro Cortés, Petru Eles, Zebo Peng
2005	—	`conf`	SOC Test Scheduling with Test Set Sharing and Broadcasting. Asian Test Symposium Anders Larsson, Erik Larsson, Petru Eles, Zebo Peng
2005	J	`jnl`	Schedulability-driven frame packing for multicluster distributed embedded systems. ACM Trans. Embed. Comput. Syst. Paul Pop, Petru Eles, Zebo Peng
2005	C	`conf`	Validation of Embedded Systems Using Formal Method Aided Simulation. DSD Daniel Karlsson, Petru Eles, Zebo Peng
2004	C	`conf`	A Formal Verification Approach for IP-based Designs. FDL Daniel Karlsson, Petru Eles, Zebo Peng
2004	C	`conf`	A Formal Verification Methodology for IP-based Designs. DSD Daniel Karlsson, Petru Eles, Zebo Peng
2004	C	`conf`	A Heuristic for Wiring-Aware Built-In Self-Test Synthesis. DSD Abdil Rashid Mohamed, Zebo Peng, Petru Eles
2004	—	`conf`	A Wiring-Aware Approach to Minimizing Built-in Self-Test Overhead. DELTA Abdil Rashid Mohamed, Zebo Peng, Petru Eles
2004	—	`book`	Analysis and synthesis of distributed real-time embedded systems. Paul Pop, Petru Eles, Zebo Peng
2004	Misc	`conf`	Defect-Aware SOC Test Scheduling. VTS Erik Larsson, Julien Pouget, Zebo Peng
2004	A	`conf`	Design Optimization of Multi-Cluster Embedded Systems for Real-Time Application. DATE Paul Pop, Petru Eles, Zebo Peng, Viacheslav Izosimov, Magnus Hellring, Olof Bridal
2004	J	`jnl`	Efficient test solutions for core-based designs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Erik Larsson, Klas Arvidsson, Hideo Fujiwara, Zebo Peng
2004	—	`conf`	Hybrid BIST Test Scheduling Based on Defect Probabilities. Asian Test Symposium Zhiyuan He, Gert Jervan, Zebo Peng, Petru Eles
2004	A	`conf`	Optimization of Soft Real-Time Systems with Deadline Miss Ratio Constraints. IEEE Real-Time and Embedded Technology and Applications Symposium Sorin Manolache, Petru Eles, Zebo Peng
2004	A	`conf`	Overhead-Conscious Voltage Selection for Dynamic and Leakage Energy Reduction of Time-Constrained Systems. DATE Alexandru Andrei, Marcus T. Schmitz, Petru Eles, Zebo Peng, Bashir M. Al-Hashimi
2004	A	`conf`	Quasi-Static Scheduling for Real-Time Systems with Hard and Soft Tasks. DATE Luis Alejandro Cortés, Petru Eles, Zebo Peng
2004	J	`jnl`	Schedulability analysis of applications with stochastic task execution times. ACM Trans. Embed. Comput. Syst. Sorin Manolache, Petru Eles, Zebo Peng
2004	J	`jnl`	Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems. Real Time Syst. Paul Pop, Petru Eles, Zebo Peng
2004	B	`conf`	Schedulability-Driven Partitioning and Mapping for Multi-Cluster Real-Time Systems. ECRTS Paul Pop, Petru Eles, Zebo Peng, Viacheslav Izosimov
2004	J	`jnl`	Scheduling and mapping in an incremental design methodology for distributed real-time embedded systems. IEEE Trans. Very Large Scale Integr. Syst. Paul Pop, Petru Eles, Zebo Peng, Traian Pop
2004	A	`conf`	Simultaneous communication and processor voltage scaling for dynamic and leakage energy reduction in time-constrained systems. ICCAD Alexandru Andrei, Marcus T. Schmitz, Petru Eles, Zebo Peng, Bashir M. Al-Hashimi
2004	—	`conf`	Static Scheduling of Monoprocessor Real-Time Systems composed of Hard and Soft Tasks. DELTA Luis Alejandro Cortés, Petru Eles, Zebo Peng
2003	A	`conf`	A Reconfigurable Power-Conscious Core Wrapper and its Application to SOC Test Scheduling. ITC Erik Larsson, Zebo Peng
2003	—	`conf`	An efficient approach to SoC wrapper design, TAM configuration and test scheduling. ETW Julien Pouget, Erik Larsson, Zebo Peng, Marie-Lise Flottes, Bruno Rouzeyre
2003	—	`conf`	Buffer and Controller Minimisation for Time-Constrained Testing of System-On-Chip. DFT Anders Larsson, Erik Larsson, Petru Eles, Zebo Peng
2003	Misc	`conf`	Design optimization of mixed time/event-triggered distributed embedded systems. CODES+ISSS Traian Pop, Petru Eles, Zebo Peng
2003	—	`conf`	Hybrid BIST Time Minimization for Core-Based Systems with STUMPS Architecture. DFT Gert Jervan, Petru Eles, Zebo Peng, Raimund Ubar, Maksim Jenihhin
2003	J	`jnl`	Modeling and formal verification of embedded systems based on a Petri net representation. J. Syst. Archit. Luis Alejandro Cortés, Petru Eles, Zebo Peng
2003	—	`conf`	SOC Test Time Minimization Under Multiple Constraints. Asian Test Symposium Julien Pouget, Erik Larsson, Zebo Peng
2003	A	`conf`	Schedulability Analysis and Optimization for the Synthesis of Multi-Cluster Distributed Embedded Systems. DATE Paul Pop, Petru Eles, Zebo Peng
2003	B	`conf`	Schedulability Analysis for Distributed Heterogeneous Time/Event Triggered Real-Time Systems. ECRTS Traian Pop, Petru Eles, Zebo Peng
2003	B	`conf`	Schedulability-driven frame packing for multi-cluster distributed embedded systems. LCTES Paul Pop, Petru Eles, Zebo Peng
2003	—	`conf`	Test Time Minimization for Hybrid BIST of Core-Based Systems. Asian Test Symposium Gert Jervan, Petru Eles, Zebo Peng, Raimund Ubar, Maksim Jenihhin
2002	—	`conf`	A Hybrid BIST Architecture and Its Optimization for SoC Testing. ISQED Gert Jervan, Zebo Peng, Raimund Ubar, Helena Kruus
2002	J	`jnl`	An Integrated Framework for the Design and Optimization of SOC Test Solutions. J. Electron. Test. Erik Larsson, Zebo Peng
2002	J	`jnl`	Editorial. Des. Autom. Embed. Syst. Petru Eles, Zebo Peng
2002	—	`conf`	Formal Verification in a Component-Based Reuse Methodology. ISSS Petru Eles, Zebo Peng, Daniel Karlsson
2002	—	`conf`	High-level and hierarchical test sequence generation. HLDVT Gert Jervan, Zebo Peng, Olga Goloubeva, Matteo Sonza Reorda, Massimo Violante
2002	—	`conf`	Holistic scheduling and analysis of mixed time/event-triggered distributed embedded systems. CODES Traian Pop, Petru Eles, Zebo Peng
2002	C	`conf`	Integrated Design and Test Generation Under Internet Based Environment MOSCITO. DSD André Schneider, Karl-Heinz Diener, Eero Ivask, Raimund Ubar, Elena Gramatová, Thomas Hollstein, Wieslaw Kuzmicz, Zebo Peng
2002	—	`conf`	Integrated Test Scheduling, Test Parallelization and TAMDesign. Asian Test Symposium Erik Larsson, Klas Arvidsson, Hideo Fujiwara, Zebo Peng
2002	A	`conf`	Schedulability analysis of multiprocessor real-time applications with stochastic task execution times. ICCAD Sorin Manolache, Petru Eles, Zebo Peng
2002	—	`conf`	Symbolic model checking of Dual Transition Petri Nets. CODES Mauricio Varea, Bashir M. Al-Hashimi, Luis Alejandro Cortés, Petru Eles, Zebo Peng
2001	A*	`conf`	An Approach to Incremental Design of Distributed Embedded Systems. DAC Paul Pop, Petru Eles, Traian Pop, Zebo Peng
2001	A	`conf`	An integrated system-on-chip test framework. DATE Erik Larsson, Zebo Peng
2001	C	`conf`	Fast Test Cost Calculation for Hybrid BIST in Digital Systems. DSD Elmet Orasson, Rein Raidma, Raimund Ubar, Gert Jervan, Zebo Peng
2001	C	`conf`	Hierarchical Modeling and Verification of Embedded Systems. DSD Luis Alejandro Cortés, Petru Eles, Zebo Peng
2001	B	`conf`	Memory and Time-Efficient Schedulability Analysis of Task Sets with Stochastic Execution Time. ECRTS Sorin Manolache, Petru Eles, Zebo Peng
2001	—	`conf`	Minimizing system modification in an incremental design approach. CODES Paul Pop, Petru Eles, Traian Pop, Zebo Peng
2001	—	`conf`	Test Scheduling and Scan-Chain Division under Power Constraint. Asian Test Symposium Erik Larsson, Zebo Peng
2001	A	`conf`	The Design and Optimization of SOC Test Solutions. ICCAD Erik Larsson, Zebo Peng, Gunnar Carlsson
2001	A	`conf`	Timing simulation of digital circuits with binary decision diagrams. DATE Raimund Ubar, Artur Jutman, Zebo Peng
2000	J	`jnl`	An improved register-transfer level functional partitioning approach for testability. J. Syst. Archit. Laurence Tianruo Yang, Zebo Peng
2000	A	`conf`	Bus Access Optimization for Distributed Embedded Systems Based on Schedulability Analysis. DATE Paul Pop, Petru Eles, Zebo Peng
2000	B	`conf`	Definitions of Equivalence for Transformational Synthesis of Embedded Systems. ICECCS Luis Alejandro Cortés, Petru Eles, Zebo Peng
2000	—	`conf`	Formal Coverification of Embedded Systems Using Model Checking. EUROMICRO Luis Alejandro Cortés, Petru Eles, Zebo Peng
2000	C	`conf`	Modeling of Real-Time Embedded Systems in an Object-Oriented Design Environment with UML. ISORC Razvan Jigorea, Sorin Manolache, Petru Eles, Zebo Peng
2000	—	`conf`	Performance estimation for embedded systems with data and control dependencies. CODES Paul Pop, Petru Eles, Zebo Peng
2000	B	`conf`	Schedulability analysis for systems with data and control dependencies. ECRTS Paul Pop, Petru Eles, Zebo Peng
2000	J	`jnl`	Scheduling with bus access optimization for distributed embedded systems. IEEE Trans. Very Large Scale Integr. Syst. Petru Eles, Alex Doboli, Paul Pop, Zebo Peng
2000	—	`conf`	Test Cost Minimization for Hybrid Bist. DFT Gert Jervan, Zebo Peng, Raimund Ubar
2000	—	`conf`	Verification of Embedded Systems using a Petri Net based Representation. ISSS Luis Alejandro Cortés, Petru Eles, Zebo Peng
1999	—	`conf`	An Improved Scheduling Technique for Time-Triggered Embedded Systems. EUROMICRO Paul Pop, Petru Eles, Zebo Peng
1999	J	`jnl`	Incremental Testability Analysis for Partial Scan Selection and Design Transformations. J. Electron. Test. Laurence Tianruo Yang, Zebo Peng
1999	B	`conf`	Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems. RTCSA Paul Pop, Petru Eles, Zebo Peng
1999	—	`conf`	Scheduling with optimized communication for time-triggered embedded systems. CODES Paul Pop, Petru Eles, Zebo Peng
1998	A	`conf`	An Efficient Algorithm to Integrate Scheduling and Allocation in High-Level Test Synthesis. DATE Laurence Tianruo Yang, Zebo Peng
1998	—	`conf`	An Improved Register-Transfer Level Functional Partitioning Approach for Testability. EUROMICRO Laurence Tianruo Yang, Zebo Peng
1998	—	`conf`	Estimation and Consideration of Interconnection Delays during High-Level Synthesis. EUROMICRO Jonas Hallberg, Zebo Peng
1998	—	`conf`	Process Scheduling for Performance Estimation and Synthesis of Hardware/Software Systems. EUROMICRO Petru Eles, Krzysztof Kuchcinski, Zebo Peng, Alexa Doboli, Paul Pop
1998	A	`conf`	Scheduling of Conditional Process Graphs for the Synthesis of Embedded Systems. DATE Petru Eles, Krzysztof Kuchcinski, Zebo Peng, Alexa Doboli, Paul Pop
1997	—	`conf`	A controller testability analysis and enhancement technique. ED&TC Xinli Gu, Erik Larsson, Krzysztof Kuchcinski, Zebo Peng
1997	J	`jnl`	Inter-domain movement of functionality as a repartitioning strategy for hardware/software co-design. J. Syst. Archit. Erik Stoy, Zebo Peng
1997	J	`jnl`	Post-synthesis back-annotation of timing information in behavioral VHDL. J. Syst. Archit. Petru Eles, Krzysztof Kuchcinski, Zebo Peng, Alexa Doboli
1997	J	`jnl`	System Level Hardware/Software Partitioning Based on Simulated Annealing and Tabu Search. Des. Autom. Embed. Syst. Petru Eles, Zebo Peng, Krzysztof Kuchcinski, Alexa Doboli
1996	—	`conf`	Automatic Parallelization of a Petri Net-Based Design Representation for High-Level Synthesis. EUROMICRO Peter Grün, Petru Eles, Krzysztof Kuchcinski, Zebo Peng
1996	—	`conf`	Hardware/Software Partitioning with Iterative Improvement Heuristics. ISSS Petru Eles, Zebo Peng, Krzysztof Kuchcinski, Alex Doboli
1996	—	`conf`	Hardware/software partitioning of VHDL system specifications. EURO-DAC Petru Eles, Krzysztof Kuchcinski, Zebo Peng, Alexa Doboli
1996	J	`jnl`	Synthesis of systems specified as interacting VHDL processes. Integr. Petru Eles, Krzysztof Kuchcinski, Zebo Peng
1995	A	`conf`	An Efficient and Economic Partitioning Approach for Testability. ITC Xinli Gu, Krzysztof Kuchcinski, Zebo Peng
1995	—	`conf`	Timing constraint specification and synthesis in behavioral VHDL. EURO-DAC Petru Eles, Krzysztof Kuchcinski, Zebo Peng, Alexa Doboli
1994	C	`conf`	An Integrated Modelling Technique for Hardware/Software Systems. ISCAS Erik Stoy, Zebo Peng
1994	J	`jnl`	Automated transformation of algorithms into register-transfer level implementations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Zebo Peng, Krzysztof Kuchcinski
1994	—	`conf`	Synthesis of VHDL concurrent processes. EURO-DAC Petru Eles, Marius Minea, Krzysztof Kuchcinski, Zebo Peng
1994	—	`conf`	Testability analysis and improvement from VHDL behavioral specifications. EURO-DAC Xinli Gu, Krzysztof Kuchcinski, Zebo Peng
1994	—	`conf`	Timing analysis and conditional scheduling in a real-time system design environment. RTS Zebo Peng, Anders Törne
1994	—	`conf`	VHDL system-level specification and partitioning in a hardware/software co-synthesis environment. CODES Petru Eles, Zebo Peng, Alexa Doboli
1993	—	`conf`	A Petri Net Based Modelling and Synthesis Technique for Real-Time Systems. RTS Zebo Peng, Anders Törne
1992	J	`jnl`	An approach to testability analysis and improvement for VLSI systems. Microprocess. Microprogramming Xinli Gu, Krzysztof Kuchcinski, Zebo Peng
1992	—	`conf`	Compiling VHDL into a high-level synthesis design representation. EURO-DAC Petru Eles, Krzysztof Kuchcinski, Zebo Peng, Marius Minea
1992	J	`jnl`	Digital system simulation with VHDL in a high-level synthesis system. Microprocess. Microprogramming Zebo Peng
1991	J	`jnl`	Design of clocking schemes in high-level synthesis. Microprocessing and Microprogramming Zebo Peng
1991	J	`jnl`	Testability measure with reconvergent fanout analysis and its applications. Microprocessing and Microprogramming Xinli Gu, Krzysztof Kuchcinski, Zebo Peng
1990	J	`jnl`	Testability analysis in a VLSI high-level synthesis system. Microprocessing and Microprogramming Krzysztof Kuchcinski, Zebo Peng
1988	J	`jnl`	Let's design asynchronous VLSI systems. Microprocess. Microprogramming Zebo Peng
1988	J	`jnl`	Parallelism extraction from sequential programs for VLSI applications. Microprocess. Microprogramming Krzysztof Kuchcinski, Zebo Peng
1988	—	`conf`	Semantics of a Parallel Computation Model and its Applications in Digital Hardware Design. ICPP (1) Zebo Peng
1987	J	`jnl`	Microprogramming implementation of timed Petri nets. Integr. Krzysztof Kuchcinski, Zebo Peng
1986	—	`conf`	Construction of Asynchronous Concurrent Systems from their Behavioral Specifications. IFIP Congress Zebo Peng
1986	A*	`conf`	Synthesis of VLSI systems with the CAMAD design aid. DAC Zebo Peng