Synthesis of VLSI systems with the CAMAD design aid. - Zebo Peng (DAC, 1986)

Construction of Asynchronous Concurrent Systems from their Behavioral Specifications. - Zebo Peng (IFIP Congress, 1986)

Microprogramming implementation of timed Petri nets. - Krzysztof Kuchcinski; Zebo Peng (Integr., 1987)

Semantics of a Parallel Computation Model and its Applications in Digital Hardware Design. - Zebo Peng (ICPP (1), 1988)

Parallelism extraction from sequential programs for VLSI applications. - Krzysztof Kuchcinski; Zebo Peng (Microprocess. Microprogramming, 1988)

Let's design asynchronous VLSI systems. - Zebo Peng (Microprocess. Microprogramming, 1988)

Testability analysis in a VLSI high-level synthesis system. - Krzysztof Kuchcinski; Zebo Peng (Microprocessing and Microprogramming, 1990)

Testability measure with reconvergent fanout analysis and its applications. - Xinli Gu; Krzysztof Kuchcinski; Zebo Peng (Microprocessing and Microprogramming, 1991)

Design of clocking schemes in high-level synthesis. - Zebo Peng (Microprocessing and Microprogramming, 1991)

Compiling VHDL into a high-level synthesis design representation. - Petru Eles; Krzysztof Kuchcinski; Zebo Peng; Marius Minea (EURO-DAC, 1992)

An approach to testability analysis and improvement for VLSI systems. - Xinli Gu; Krzysztof Kuchcinski; Zebo Peng (Microprocess. Microprogramming, 1992)

Digital system simulation with VHDL in a high-level synthesis system. - Zebo Peng (Microprocess. Microprogramming, 1992)

A Petri Net Based Modelling and Synthesis Technique for Real-Time Systems. - Zebo Peng; Anders Törne (RTS, 1993)

VHDL system-level specification and partitioning in a hardware/software co-synthesis environment. - Petru Eles; Zebo Peng; Alexa Doboli (CODES, 1994)

Timing analysis and conditional scheduling in a real-time system design environment. - Zebo Peng; Anders Törne (RTS, 1994)

Synthesis of VHDL concurrent processes. - Petru Eles; Marius Minea; Krzysztof Kuchcinski; Zebo Peng (EURO-DAC, 1994)

Testability analysis and improvement from VHDL behavioral specifications. - Xinli Gu; Krzysztof Kuchcinski; Zebo Peng (EURO-DAC, 1994)

An Integrated Modelling Technique for Hardware/Software Systems. - Erik Stoy; Zebo Peng (ISCAS, 1994)

Automated transformation of algorithms into register-transfer level implementations. - Zebo Peng; Krzysztof Kuchcinski (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1994)

Timing constraint specification and synthesis in behavioral VHDL. - Petru Eles; Krzysztof Kuchcinski; Zebo Peng; Alexa Doboli (EURO-DAC, 1995)

An Efficient and Economic Partitioning Approach for Testability. - Xinli Gu; Krzysztof Kuchcinski; Zebo Peng (ITC, 1995)

Hardware/software partitioning of VHDL system specifications. - Petru Eles; Krzysztof Kuchcinski; Zebo Peng; Alexa Doboli (EURO-DAC, 1996)

Automatic Parallelization of a Petri Net-Based Design Representation for High-Level Synthesis. - Peter Grün; Petru Eles; Krzysztof Kuchcinski; Zebo Peng (EUROMICRO, 1996)

Hardware/Software Partitioning with Iterative Improvement Heuristics. - Petru Eles; Zebo Peng; Krzysztof Kuchcinski; Alex Doboli (ISSS, 1996)

Synthesis of systems specified as interacting VHDL processes. - Petru Eles; Krzysztof Kuchcinski; Zebo Peng (Integr., 1996)

A controller testability analysis and enhancement technique. - Xinli Gu; Erik Larsson; Krzysztof Kuchcinski; Zebo Peng (ED&TC, 1997)

System Level Hardware/Software Partitioning Based on Simulated Annealing and Tabu Search. - Petru Eles; Zebo Peng; Krzysztof Kuchcinski; Alexa Doboli (Des. Autom. Embed. Syst., 1997)

Post-synthesis back-annotation of timing information in behavioral VHDL. - Petru Eles; Krzysztof Kuchcinski; Zebo Peng; Alexa Doboli (J. Syst. Archit., 1997)

Inter-domain movement of functionality as a repartitioning strategy for hardware/software co-design. - Erik Stoy; Zebo Peng (J. Syst. Archit., 1997)

Scheduling of Conditional Process Graphs for the Synthesis of Embedded Systems. - Petru Eles; Krzysztof Kuchcinski; Zebo Peng; Alexa Doboli; Paul Pop (DATE, 1998)

An Efficient Algorithm to Integrate Scheduling and Allocation in High-Level Test Synthesis. - Laurence Tianruo Yang; Zebo Peng (DATE, 1998)

Process Scheduling for Performance Estimation and Synthesis of Hardware/Software Systems. - Petru Eles; Krzysztof Kuchcinski; Zebo Peng; Alexa Doboli; Paul Pop (EUROMICRO, 1998)

Estimation and Consideration of Interconnection Delays during High-Level Synthesis. - Jonas Hallberg; Zebo Peng (EUROMICRO, 1998)

Scheduling with optimized communication for time-triggered embedded systems. - Paul Pop; Petru Eles; Zebo Peng (CODES, 1999)

An Improved Scheduling Technique for Time-Triggered Embedded Systems. - Paul Pop; Petru Eles; Zebo Peng (EUROMICRO, 1999)

Incremental Testability Analysis for Partial Scan Selection and Design Transformations. - Laurence Tianruo Yang; Zebo Peng (J. Electron. Test., 1999)

Performance estimation for embedded systems with data and control dependencies. - Paul Pop; Petru Eles; Zebo Peng (CODES, 2000)

Bus Access Optimization for Distributed Embedded Systems Based on Schedulability Analysis. - Paul Pop; Petru Eles; Zebo Peng (DATE, 2000)

Test Cost Minimization for Hybrid Bist. - Gert Jervan; Zebo Peng; Raimund Ubar (DFT, 2000)

Schedulability analysis for systems with data and control dependencies. - Paul Pop; Petru Eles; Zebo Peng (ECRTS, 2000)

Formal Coverification of Embedded Systems Using Model Checking. - Luis Alejandro Cortés; Petru Eles; Zebo Peng (EUROMICRO, 2000)

Definitions of Equivalence for Transformational Synthesis of Embedded Systems. - Luis Alejandro Cortés; Petru Eles; Zebo Peng (ICECCS, 2000)

Modeling of Real-Time Embedded Systems in an Object-Oriented Design Environment with UML. - Razvan Jigorea; Sorin Manolache; Petru Eles; Zebo Peng (ISORC, 2000)

Verification of Embedded Systems using a Petri Net based Representation. - Luis Alejandro Cortés; Petru Eles; Zebo Peng (ISSS, 2000)

An improved register-transfer level functional partitioning approach for testability. - Laurence Tianruo Yang; Zebo Peng (J. Syst. Archit., 2000)

Scheduling with bus access optimization for distributed embedded systems. - Petru Eles; Alex Doboli; Paul Pop; Zebo Peng (IEEE Trans. Very Large Scale Integr. Syst., 2000)

Test Scheduling and Scan-Chain Division under Power Constraint. - Erik Larsson; Zebo Peng (Asian Test Symposium, 2001)

Minimizing system modification in an incremental design approach. - Paul Pop; Petru Eles; Traian Pop; Zebo Peng (CODES, 2001)

An Approach to Incremental Design of Distributed Embedded Systems. - Paul Pop; Petru Eles; Traian Pop; Zebo Peng (DAC, 2001)

An integrated system-on-chip test framework. - Erik Larsson; Zebo Peng (DATE, 2001)

Timing simulation of digital circuits with binary decision diagrams. - Raimund Ubar; Artur Jutman; Zebo Peng (DATE, 2001)

Hierarchical Modeling and Verification of Embedded Systems. - Luis Alejandro Cortés; Petru Eles; Zebo Peng (DSD, 2001)

Fast Test Cost Calculation for Hybrid BIST in Digital Systems. - Elmet Orasson; Rein Raidma; Raimund Ubar; Gert Jervan; Zebo Peng (DSD, 2001)

Memory and Time-Efficient Schedulability Analysis of Task Sets with Stochastic Execution Time. - Sorin Manolache; Petru Eles; Zebo Peng (ECRTS, 2001)

The Design and Optimization of SOC Test Solutions. - Erik Larsson; Zebo Peng; Gunnar Carlsson (ICCAD, 2001)

Integrated Test Scheduling, Test Parallelization and TAMDesign. - Erik Larsson; Klas Arvidsson; Hideo Fujiwara; Zebo Peng (Asian Test Symposium, 2002)

Holistic scheduling and analysis of mixed time/event-triggered distributed embedded systems. - Traian Pop; Petru Eles; Zebo Peng (CODES, 2002)

Symbolic model checking of Dual Transition Petri Nets. - Mauricio Varea; Bashir M. Al-Hashimi; Luis Alejandro Cortés; Petru Eles; Zebo Peng (CODES, 2002)

Integrated Design and Test Generation Under Internet Based Environment MOSCITO. - André Schneider; Karl-Heinz Diener; Eero Ivask; Raimund Ubar; Elena Gramatová; Thomas Hollstein; Wieslaw Kuzmicz; Zebo Peng (DSD, 2002)

High-level and hierarchical test sequence generation. - Gert Jervan; Zebo Peng; Olga Goloubeva; Matteo Sonza Reorda; Massimo Violante (HLDVT, 2002)

Schedulability analysis of multiprocessor real-time applications with stochastic task execution times. - Sorin Manolache; Petru Eles; Zebo Peng (ICCAD, 2002)

A Hybrid BIST Architecture and Its Optimization for SoC Testing. - Gert Jervan; Zebo Peng; Raimund Ubar; Helena Kruus (ISQED, 2002)

Formal Verification in a Component-Based Reuse Methodology. - Petru Eles; Zebo Peng; Daniel Karlsson (ISSS, 2002)

Editorial. - Petru Eles; Zebo Peng (Des. Autom. Embed. Syst., 2002)

An Integrated Framework for the Design and Optimization of SOC Test Solutions. - Erik Larsson; Zebo Peng (J. Electron. Test., 2002)

SOC Test Time Minimization Under Multiple Constraints. - Julien Pouget; Erik Larsson; Zebo Peng (Asian Test Symposium, 2003)

Design optimization of mixed time/event-triggered distributed embedded systems. - Traian Pop; Petru Eles; Zebo Peng (CODES+ISSS, 2003)

Schedulability Analysis and Optimization for the Synthesis of Multi-Cluster Distributed Embedded Systems. - Paul Pop; Petru Eles; Zebo Peng (DATE, 2003)

Hybrid BIST Time Minimization for Core-Based Systems with STUMPS Architecture. - Gert Jervan; Petru Eles; Zebo Peng; Raimund Ubar; Maksim Jenihhin (DFT, 2003)

Buffer and Controller Minimisation for Time-Constrained Testing of System-On-Chip. - Anders Larsson; Erik Larsson; Petru Eles; Zebo Peng (DFT, 2003)

Schedulability Analysis for Distributed Heterogeneous Time/Event Triggered Real-Time Systems. - Traian Pop; Petru Eles; Zebo Peng (ECRTS, 2003)

An efficient approach to SoC wrapper design, TAM configuration and test scheduling. - Julien Pouget; Erik Larsson; Zebo Peng; Marie-Lise Flottes; Bruno Rouzeyre (ETW, 2003)

A Reconfigurable Power-Conscious Core Wrapper and its Application to SOC Test Scheduling. - Erik Larsson; Zebo Peng (ITC, 2003)

Schedulability-driven frame packing for multi-cluster distributed embedded systems. - Paul Pop; Petru Eles; Zebo Peng (LCTES, 2003)

Modeling and formal verification of embedded systems based on a Petri net representation. - Luis Alejandro Cortés; Petru Eles; Zebo Peng (J. Syst. Archit., 2003)

Analysis and synthesis of distributed real-time embedded systems. - Paul Pop; Petru Eles; Zebo Peng (Springer, 2004)

Hybrid BIST Test Scheduling Based on Defect Probabilities. - Zhiyuan He 002; Gert Jervan; Zebo Peng; Petru Eles (Asian Test Symposium, 2004)

Overhead-Conscious Voltage Selection for Dynamic and Leakage Energy Reduction of Time-Constrained Systems. - Alexandru Andrei; Marcus T. Schmitz; Petru Eles; Zebo Peng; Bashir M. Al-Hashimi (DATE, 2004)

Quasi-Static Scheduling for Real-Time Systems with Hard and Soft Tasks. - Luis Alejandro Cortés; Petru Eles; Zebo Peng (DATE, 2004)

Design Optimization of Multi-Cluster Embedded Systems for Real-Time Application. - Paul Pop; Petru Eles; Zebo Peng; Viacheslav Izosimov; Magnus Hellring; Olof Bridal (DATE, 2004)

Static Scheduling of Monoprocessor Real-Time Systems composed of Hard and Soft Tasks. - Luis Alejandro Cortés; Petru Eles; Zebo Peng (DELTA, 2004)

A Formal Verification Methodology for IP-based Designs. - Daniel Karlsson; Petru Eles; Zebo Peng (DSD, 2004)

A Heuristic for Wiring-Aware Built-In Self-Test Synthesis. - Abdil Rashid Mohamed; Zebo Peng; Petru Eles (DSD, 2004)

Schedulability-Driven Partitioning and Mapping for Multi-Cluster Real-Time Systems. - Paul Pop; Petru Eles; Zebo Peng; Viacheslav Izosimov (ECRTS, 2004)

A Formal Verification Approach for IP-based Designs. - Daniel Karlsson; Petru Eles; Zebo Peng (FDL, 2004)

Simultaneous communication and processor voltage scaling for dynamic and leakage energy reduction in time-constrained systems. - Alexandru Andrei; Marcus T. Schmitz; Petru Eles; Zebo Peng; Bashir M. Al-Hashimi (ICCAD, 2004)

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

Defect-Aware SOC Test Scheduling. - Erik Larsson; Julien Pouget; Zebo Peng (VTS, 2004)

Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems. - Paul Pop; Petru Eles; Zebo Peng (Real Time Syst., 2004)

Efficient test solutions for core-based designs. - Erik Larsson; Klas Arvidsson; Hideo Fujiwara; Zebo Peng (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2004)

Schedulability analysis of applications with stochastic task execution times. - Sorin Manolache; Petru Eles; Zebo Peng (ACM Trans. Embed. Comput. Syst., 2004)

Scheduling and mapping in an incremental design methodology for distributed real-time embedded systems. - Paul Pop; Petru Eles; Zebo Peng; Traian Pop (IEEE Trans. Very Large Scale Integr. Syst., 2004)

SOC Test Scheduling with Test Set Sharing and Broadcasting. - Anders Larsson; Erik Larsson; Petru Eles; Zebo Peng (Asian Test Symposium, 2005)

Quasi-static assignment of voltages and optional cycles for maximizing rewards in real-time systems with energy c-onstraints. - Luis Alejandro Cortés; Petru Eles; Zebo Peng (DAC, 2005)

Fault and energy-aware communication mapping with guaranteed latency for applications implemented on NoC. - Sorin Manolache; Petru Eles; Zebo Peng (DAC, 2005)

Quasi-Static Voltage Scaling for Energy Minimization with Time Constraints. - Alexandru Andrei; Marcus T. Schmitz; Petru Eles; Zebo Peng; Bashir M. Al-Hashimi (DATE, 2005)

Design Optimization of Time-and Cost-Constrained Fault-Tolerant Distributed Embedded Systems. - Viacheslav Izosimov; Paul Pop; Petru Eles; Zebo Peng (DATE, 2005)

Power-Constrained Hybrid BIST Test Scheduling in an Abort-on-First-Fail Test Environment. - Zhiyuan He 002; Gert Jervan; Zebo Peng; Petru Eles (DSD, 2005)

Validation of Embedded Systems Using Formal Method Aided Simulation. - Daniel Karlsson; Petru Eles; Zebo Peng (DSD, 2005)

Optimization of a Bus-based Test Data Transportation Mechanism in System-on-Chip. - Anders Larsson; Erik Larsson; Petru Eles; Zebo Peng (DSD, 2005)

Energy minimization for hybrid BIST in a system-on-chip test environment. - Raimund Ubar; Tatjana Shchenova; Gert Jervan; Zebo Peng (ETS, 2005)

Quasi-Static Scheduling for Multiprocessor Real-Time Systems with Hard and Soft Tasks. - Luis Alejandro Cortés; Petru Eles; Zebo Peng (RTCSA, 2005)

Optimization of Hierarchically Scheduled Heterogeneous Embedded Systems. - Traian Pop; Paul Pop; Petru Eles; Zebo Peng (RTCSA, 2005)

Abort-on-Fail Based Test Scheduling. - Erik Larsson; Julien Pouget; Zebo Peng (J. Electron. Test., 2005)

Multiple-Constraint Driven System-on-Chip Test Time Optimization. - Julien Pouget; Erik Larsson; Zebo Peng (J. Electron. Test., 2005)

A Wiring-Aware Approach to Minimizing Built-In Self-Test Overhead. - Abdil Rashid Mohamed; Zebo Peng; Petru Eles (J. Comput. Sci. Technol., 2005)

Schedulability-driven frame packing for multicluster distributed embedded systems. - Paul Pop; Petru Eles; Zebo Peng (ACM Trans. Embed. Comput. Syst., 2005)

Power constrained and defect-probability driven SoC test scheduling with test set partitioning. - Zhiyuan He 002; Zebo Peng; Petru Eles (DATE, 2006)

Synthesis of fault-tolerant schedules with transparency/performance trade-offs for distributed embedded systems. - Viacheslav Izosimov; Paul Pop; Petru Eles; Zebo Peng (DATE, 2006)

Formal verification of systemc designs using a petri-net based representation. - Daniel Karlsson; Petru Eles; Zebo Peng (DATE, 2006)

Buffer space optimisation with communication synthesis and traffic shaping for NoCs. - Sorin Manolache; Petru Eles; Zebo Peng (DATE, 2006)

Synthesis of Fault-Tolerant Embedded Systems with Checkpointing and Replication. - Viacheslav Izosimov; Paul Pop; Petru Eles; Zebo Peng (DELTA, 2006)

Off-Line Testing of Delay Faults in NoC Interconnects. - Tomas Bengtsson; Artur Jutman; Shashi Kumar; Raimund Ubar; Zebo Peng (DSD, 2006)

Mapping of Fault-Tolerant Applications with Transparency on Distributed Embedded Systems*. - Viacheslav Izosimov; Paul Pop; Petru Eles; Zebo Peng (DSD, 2006)

Cycle-Accurate Test Power Modeling and its Application to SoC Test Scheduling. - Soheil Samii; Erik Larsson; Krishnendu Chakrabarty; Zebo Peng (ITC, 2006)

A Quasi-Static Approach to Minimizing Energy Consumption in Real-Time Systems under Reward Constraints. - Luis Alejandro Cortés; Petru Eles; Zebo Peng (RTCSA, 2006)

Test Time Minimization for Hybrid BIST of Core-Based Systems. - Gert Jervan; Petru Eles; Zebo Peng; Raimund Ubar; Maksim Jenihhin (J. Comput. Sci. Technol., 2006)

Power-Aware Test Planning in the Early System-on-Chip Design Exploration Process. - Erik Larsson; Zebo Peng (IEEE Trans. Computers, 2006)

Dual Flow Nets: Modeling the control/data-flow relation in embedded systems. - Mauricio Varea; Bashir M. Al-Hashimi; Luis Alejandro Cortés; Petru Eles; Zebo Peng (ACM Trans. Embed. Comput. Syst., 2006)

Analysis and optimization of distributed real-time embedded systems. - Paul Pop; Petru Eles; Zebo Peng; Traian Pop (ACM Trans. Design Autom. Electr. Syst., 2006)

Quasi-Static Assignment of Voltages and Optional Cycles in Imprecise-Computation Systems With Energy Considerations. - Luis Alejandro Cortés; Petru Eles; Zebo Peng (IEEE Trans. Very Large Scale Integr. Syst., 2006)

Real-time applications with stochastic task execution times - analysis and optimisation. - Sorin Manolache; Petru Eles; Zebo Peng (Springer, 2007)

Optimized integration of test compression and sharing for SOC testing. - Anders Larsson; Erik Larsson; Petru Eles; Zebo Peng (DATE, 2007)

Bus access optimisation for FlexRay-based distributed embedded systems. - Traian Pop; Paul Pop; Petru Eles; Zebo Peng (DATE, 2007)

A Heuristic for Concurrent SOC Test Scheduling with Compression and Sharing. - Anders Larsson; Erik Larsson; Petru Eles; Zebo Peng (DDECS, 2007)

Transactor-based Formal Verification of Real-time Embedded Systems. - Daniel Karlsson; Petru Eles; Zebo Peng (FDL, 2007)

A heuristic for thermal-safe SoC test scheduling. - Zhiyuan He 002; Zebo Peng; Petru Eles (ITC, 2007)

Bus Access Optimization for Predictable Implementation of Real-Time Applications on Multiprocessor Systems-on-Chip. - Jakob Rosen; Alexandru Andrei; Petru Eles; Zebo Peng (RTSS, 2007)

Formal verification of component-based designs. - Daniel Karlsson; Petru Eles; Zebo Peng (Des. Autom. Embed. Syst., 2007)

Fault-aware Communication Mapping for NoCs with Guaranteed Latency. - Sorin Manolache; Petru Eles; Zebo Peng (Int. J. Parallel Program., 2007)

Energy Optimization of Multiprocessor Systems on Chip by Voltage Selection. - Alexandru Andrei; Petru Eles; Zebo Peng; Marcus T. Schmitz; Bashir M. Al-Hashimi (IEEE Trans. Very Large Scale Integr. Syst., 2007)

Simulation-Driven Thermal-Safe Test Time Minimization for System-on-Chip. - Zhiyuan He 002; Zebo Peng; Petru Eles (ATS, 2008)

Temperature-Aware Voltage Selection for Energy Optimization. - Min Bao; Alexandru Andrei; Petru Eles; Zebo Peng (DATE, 2008)

Synthesis of Fault-Tolerant Embedded Systems. - Petru Eles; Viacheslav Izosimov; Paul Pop; Zebo Peng (DATE, 2008)

Scheduling of Fault-Tolerant Embedded Systems with Soft and Hard Timing Constraints. - Viacheslav Izosimov; Paul Pop; Petru Eles; Zebo Peng (DATE, 2008)

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 (DATE, 2008)

A Simulation Methodology for Worst-Case Response Time Estimation of Distributed Real-Time Systems. - Soheil Samii; Sergiu Rafiliu; Petru Eles; Zebo Peng (DATE, 2008)

Temperature-Aware Task Mapping for Energy Optimization with Dynamic Voltage Scaling. - Min Bao; Alexandru Andrei; Petru Eles; Zebo Peng (DDECS, 2008)

Synthesis of Flexible Fault-Tolerant Schedules with Preemption for Mixed Soft and Hard Real-Time Systems. - Viacheslav Izosimov; Paul Pop; Petru Eles; Zebo Peng (DSD, 2008)

Predictable Implementation of Real-Time Applications on Multiprocessor Systems-on-Chip. - Alexandru Andrei; Petru Eles; Zebo Peng; Jakob Rosen (VLSI Design, 2008)

Thermal-Aware SoC Test Scheduling with Test Set Partitioning and Interleaving. - Zhiyuan He 002; Zebo Peng; Petru Eles; Paul M. Rosinger; Bashir M. Al-Hashimi (J. Electron. Test., 2008)

A Reconfigurable Power Conscious Core Wrapper and its Application to System-on-Chip Test Scheduling. - Erik Larsson; Zebo Peng (J. Electron. Test., 2008)

Test methods for crosstalk-induced delay and glitch faults in network-on-chip interconnects implementing asynchronous communication protocols. - Tomas Bengtsson; Shashi Kumar; Raimund Ubar; Artur Jutman; Zebo Peng (IET Comput. Digit. Tech., 2008)

Model validation for embedded systems using formal method-aided simulation. - Daniel Karlsson; Petru Eles; Zebo Peng (IET Comput. Digit. Tech., 2008)

Analysis and Optimisation of Hierarchically Scheduled Multiprocessor Embedded Systems. - Traian Pop; Paul Pop; Petru Eles; Zebo Peng (Int. J. Parallel Program., 2008)

Timing analysis of the FlexRay communication protocol. - Traian Pop; Paul Pop; Petru Eles; Zebo Peng; Alexandru Andrei (Real Time Syst., 2008)

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. Comput. Aided Des. Integr. Circuits Syst., 2008)

Task mapping and priority assignment for soft real-time applications under deadline miss ratio constraints. - Sorin Manolache; Petru Eles; Zebo Peng (ACM Trans. Embed. Comput. Syst., 2008)

On-line thermal aware dynamic voltage scaling for energy optimization with frequency/temperature dependency consideration. - Min Bao; Alexandru Andrei; Petru Eles; Zebo Peng (DAC, 2009)

Quality-driven synthesis of embedded multi-mode control systems. - Soheil Samii; Petru Eles; Zebo Peng; Anton Cervin (DAC, 2009)

Analysis and optimization of fault-tolerant embedded systems with hardened processors. - Viacheslav Izosimov; Ilia Polian; Paul Pop; Petru Eles; Zebo Peng (DATE, 2009)

Integrated scheduling and synthesis of control applications on distributed embedded systems. - Soheil Samii; Anton Cervin; Petru Eles; Zebo Peng (DATE, 2009)

Thermal-Aware Test Scheduling for Core-Based SoC in an Abort-on-First-Fail Test Environment. - Zhiyuan He 002; Zebo Peng; Petru Eles (DSD, 2009)

Immune Genetic Algorithms for Optimization of Task Priorities and FlexRay Frame Identifiers. - Soheil Samii; Yanfei Yin; Zebo Peng; Petru Eles; Yuanping Zhang (RTCSA, 2009)

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. Very Large Scale Integr. Syst., 2009)

Temperature-Aware SoC Test Scheduling Considering Inter-Chip Process Variation. - Nima Aghaee; Zhiyuan He 002; Zebo Peng; Petru Eles (Asian Test Symposium, 2010)

Hardware/software optimization of error detection implementation for real-time embedded systems. - Adrian Alin Lifa; Petru Eles; Zebo Peng; Viacheslav Izosimov (CODES+ISSS, 2010)

Temperature-aware idle time distribution for energy optimization with dynamic voltage scaling. - Min Bao; Alexandru Andrei; Petru Eles; Zebo Peng (DATE, 2010)

Multi-temperature testing for core-based system-on-chip. - Zhiyuan He 002; Zebo Peng; Petru Eles (DATE, 2010)

Value-based scheduling of distributed fault-tolerant real-time systems with soft and hard timing constraints. - Viacheslav Izosimov; Petru Eles; Zebo Peng (ESTIMedia, 2010)

Low Overhead Dynamic QoS Optimization under Variable Task Execution Times. - Sergiu Rafiliu; Petru Eles; Zebo Peng (RTCSA, 2010)

Dynamic Scheduling and Control-Quality Optimization of Self-Triggered Control Applications. - Soheil Samii; Petru Eles; Zebo Peng; Paulo Tabuada; Anton Cervin (RTSS, 2010)

Scheduling for Fault-Tolerant Communication on the Static Segment of FlexRay. - Bogdan Tanasa; Unmesh D. Bordoloi; Petru Eles; Zebo Peng (RTSS, 2010)

Performance optimization of error detection based on speculative reconfiguration. - Adrian Alin Lifa; Petru Eles; Zebo Peng (DAC, 2011)

On the quantification of sustainability and extensibility of FlexRay schedules. - Reinhard Schneider 001; Dip Goswami; Samarjit Chakraborty; Unmesh D. Bordoloi; Petru Eles; Zebo Peng (DAC, 2011)

Optimization of message encryption for distributed embedded systems with real-time constraints. - Ke Jiang; Petru Eles; Zebo Peng (DDECS, 2011)

On-line Temperature-Aware Idle Time Distribution for Leakage Energy Optimization. - Min Bao; Alexandru Andrei; Petru Eles; Zebo Peng (DELTA, 2011)

Predictable Worst-Case Execution Time Analysis for Multiprocessor Systems-on-Chip. - Jason Rosén; Petru Eles; Zebo Peng; Alexandru Andrei (DELTA, 2011)

Design Optimization and Synthesis of FlexRay Parameters for Embedded Control Applications. - Soheil Samii; Petru Eles; Zebo Peng; Anton Cervin (DELTA, 2011)

Adaptive Temperature-Aware SoC Test Scheduling Considering Process Variation. - Nima Aghaee; Zebo Peng; Petru Eles (DSD, 2011)

Stability Conditions of On-line Resource Managers for Systems with Execution Time Variations. - Sergiu Rafiliu; Petru Eles; Zebo Peng (ECRTS, 2011)

Reliability-aware frame packing for the static segment of flexray. - Bogdan Tanasa; Unmesh D. Bordoloi; Petru Eles; Zebo Peng (EMSOFT, 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 (ETS, 2011)

Process-variation and temperature aware soc test scheduling using particle swarm optimization. - Nima Aghaee; Zebo Peng; Petru Eles (IDT, 2011)

Bus Access Design for Combined Worst and Average Case Execution Time Optimization of Predictable Real-Time Applications on Multiprocessor Systems-on-Chip. - Jakob Rosen; Carl-Fredrik Neikter; Petru Eles; Zebo Peng; Paolo Burgio; Luca Benini (IEEE Real-Time and Embedded Technology and Applications Symposium, 2011)

Control-Quality Driven Task Mapping for Distributed Embedded Control Systems. - Amir Aminifar; Soheil Samii; Petru Eles; Zebo Peng (RTCSA (1), 2011)

Quasi-Static Voltage Scaling for Energy Minimization With Time Constraints. - Alexandru Andrei; Petru Eles; Olivera Jovanovic; Marcus T. Schmitz; Jens Ogniewski; Zebo Peng (IEEE Trans. Very Large Scale Integr. Syst., 2011)

Automatic Test Program Generation for Out-of-Order Superscalar Processors. - Ying Zhang 040; Ahmed Rezine; Petru Eles; Zebo Peng (Asian Test Symposium, 2012)

Steady-state dynamic temperature analysis and reliability optimization for embedded multiprocessor systems. - Ivan Ukhov; Min Bao; Petru Eles; Zebo Peng (DAC, 2012)

Co-design techniques for distributed real-time embedded systems with communication security constraints. - Ke Jiang; Petru Eles; Zebo Peng (DATE, 2012)

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

Test tool qualification through fault injection. - Q. Wang; Andreas Wallin; Viacheslav Izosimov; Urban Ingelsson; Zebo Peng (ETS, 2012)

Minimization of average execution time based on speculative FPGA configuration prefetch. - Adrian Alin Lifa; Petru Eles; Zebo Peng (ReConFig, 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 (IEEE Real-Time and Embedded Technology and Applications Symposium, 2012)

Reliability-Aware Instruction Set Customization for ASIPs with Hardened Logic. - Unmesh D. Bordoloi; Bogdan Tanasa; Mehdi Baradaran Tahoori; Petru Eles; Zebo Peng; Syed Zafar Shazli; Samarjit Chakraborty (RTCSA, 2012)

Context-Aware Speculative Prefetch for Soft Real-Time Applications. - Adrian Alin Lifa; Petru Eles; Zebo Peng (RTCSA, 2012)

Designing High-Quality Embedded Control Systems with Guaranteed Stability. - Amir Aminifar; Soheil Samii; Petru Eles; Zebo Peng; Anton Cervin (RTSS, 2012)

On the timing analysis of the dynamic segment of FlexRay. - Unmesh D. Bordoloi; Bogdan Tanasa; Petru Eles; Zebo Peng (SIES, 2012)

Customizing Instruction Set Extensible Reconfigurable Processors Using GPUs. - Unmesh D. Bordoloi; Bharath Suri; Swaroop Nunna; Samarjit Chakraborty; Petru Eles; Zebo Peng (VLSI Design, 2012)

Time-Constraint-Aware Optimization of Assertions in Embedded Software. - Viacheslav Izosimov; Giuseppe Di Guglielmo; Michele Lora; Graziano Pravadelli; Franco Fummi; Zebo Peng; Masahiro Fujita (J. Electron. Test., 2012)

Scheduling and Optimization of Fault-Tolerant Embedded Systems with Transparency/Performance Trade-Offs. - Viacheslav Izosimov; Paul Pop; Petru Eles; Zebo Peng (ACM Trans. Embed. Comput. Syst., 2012)

Temperature-Aware Idle Time Distribution for Leakage Energy Optimization. - Min Bao; Alexandru Andrei; Petru Eles; Zebo Peng (IEEE Trans. Very Large Scale Integr. Syst., 2012)

Control-quality driven design of cyber-physical systems with robustness guarantees. - Amir Aminifar; Petru Eles; Zebo Peng; Anton Cervin (DATE, 2013)

Optimization of secure embedded systems with dynamic task sets. - Ke Jiang; Petru Eles; Zebo Peng (DATE, 2013)

Dynamic configuration prefetching based on piecewise linear prediction. - Adrian Alin Lifa; Petru Eles; Zebo Peng (DATE, 2013)

Probabilistic Timing Analysis for the Dynamic Segment of FlexRay. - Bogdan Tanasa; Unmesh D. Bordoloi; Petru Eles; Zebo Peng (ECRTS, 2013)

Stability-aware analysis and design of embedded control systems. - Amir Aminifar; Petru Eles; Zebo Peng; Anton Cervin (EMSOFT, 2013)

Temperature-gradient based test scheduling for 3D stacked ICs. - Nima Aghaee; Zebo Peng; Petru Eles (ICECS, 2013)

Energy-aware design of secure multi-mode real-time embedded systems with FPGA co-processors. - Ke Jiang; Adrian Alin Lifa; Petru Eles; Zebo Peng; Wei Jiang 016 (RTNS, 2013)

Designing Bandwidth-Efficient Stabilizing Control Servers. - Amir Aminifar; Enrico Bini; Petru Eles; Zebo Peng (RTSS, 2013)

General purpose computing on low-power embedded GPUs: Has it come of age? - Arian Maghazeh; Unmesh D. Bordoloi; Petru Eles; Zebo Peng (ICSAMOS, 2013)

Process-Variation and Temperature Aware SoC Test Scheduling Technique. - Nima Aghaee; Zebo Peng; Petru Eles (J. Electron. Test., 2013)

Stability of adaptive feedback-based resource managers for systems with execution time variations. - Sergiu Rafiliu; Petru Eles; Zebo Peng (Real Time Syst., 2013)

Statistical analysis of process variation based on indirect measurements for electronic system design. - Ivan Ukhov; Mattias Villani; Petru Eles; Zebo Peng (ASP-DAC, 2014)

Saving energy without defying deadlines on mobile GPU-based heterogeneous systems. - Arian Maghazeh; Unmesh D. Bordoloi; Adrian Horga; Petru Eles; Zebo Peng (CODES+ISSS, 2014)

An efficient temperature-gradient based burn-in technique for 3D stacked ICs. - Nima Aghaee; Zebo Peng; Petru Eles (DATE, 2014)

Bandwidth-efficient controller-server co-design with stability guarantees. - Amir Aminifar; Enrico Bini; Petru Eles; Zebo Peng (DATE, 2014)

Automated software testing of memory performance in embedded GPUs. - Sudipta Chattopadhyay 001; Petru Eles; Zebo Peng (EMSOFT, 2014)

Day 2: Mini-tutorial: Challenges to the design and optimization of cyber-physical systems. - Zebo Peng (IDT, 2014)

Robustness Analysis of Real-Time Scheduling Against Differential Power Analysis Attacks. - Ke Jiang; Lejla Batina; Petru Eles; Zebo Peng (ISVLSI, 2014)

Schedulability analysis of Ethernet AVB switches. - Unmesh D. Bordoloi; Amir Aminifar; Petru Eles; Zebo Peng (RTCSA, 2014)

Thermal challenges to building reliable embedded systems. - Zebo Peng (VLSI-DAT, 2014)

Process-Variation Aware Multi-temperature Test Scheduling. - Nima Aghaee; Zebo Peng; Petru Eles (VLSID, 2014)

Time-Predictable Embedded Software on Multi-Core Platforms: Analysis and Optimization. - Sudipta Chattopadhyay 001; Abhik Roychoudhury; Jakob Rosen; Petru Eles; Zebo Peng (Found. Trends Electron. Des. Autom., 2014)

Probabilistic Analysis of Power and Temperature Under Process Variation for Electronic System Design. - Ivan Ukhov; Petru Eles; Zebo Peng (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014)

Quantifying Notions of Extensibility in FlexRay Schedule Synthesis. - Reinhard Schneider 001; Dip Goswami; Samarjit Chakraborty; Unmesh D. Bordoloi; Petru Eles; Zebo Peng (ACM Trans. Design Autom. Electr. Syst., 2014)

An integrated temperature-cycling acceleration and test technique for 3D stacked ICs. - Nima Aghaee; Zebo Peng; Petru Eles (ASP-DAC, 2015)

Temperature-aware software-based self-testing for delay faults. - Ying Zhang 040; Zebo Peng; Jianhui Jiang; Huawei Li 001; Masahiro Fujita (DATE, 2015)

Probabilistic Response Time and Joint Analysis of Periodic Tasks. - Bogdan Tanasa; Unmesh D. Bordoloi; Petru Eles; Zebo Peng (ECRTS, 2015)

On-the-fly energy minimization for multi-mode real-time systems on heterogeneous platforms. - Adrian Alin Lifa; Petru Eles; Zebo Peng (ESTIMedia, 2015)

Is adaptive testing the panacea for the future test problems? - Zebo Peng (ETS, 2015)

Efficient Test Application for Rapid Multi-Temperature Testing. - Nima Aghaee; Zebo Peng; Petru Eles (ACM Great Lakes Symposium on VLSI, 2015)

Perception-Aware Power Management for Mobile Games via Dynamic Resolution Scaling. - Arian Maghazeh; Unmesh D. Bordoloi; Mattias Villani; Petru Eles; Zebo Peng (ICCAD, 2015)

Jfair: a scheduling algorithm to stabilize control applications. - Amir Aminifar; Petru Eles; Zebo Peng (RTAS, 2015)

Abstracting and Counting Synchronizing Processes. - Zeinab Ganjei; Ahmed Rezine; Petru Eles; Zebo Peng (VMCAI, 2015)

A Test-Ordering Based Temperature-Cycling Acceleration Technique for 3D Stacked ICs. - Nima Aghaee; Zebo Peng; Petru Eles (J. Electron. Test., 2015)

Stability of Online Resource Managers for Distributed Systems under Execution Time Variations. - Sergiu Rafiliu; Petru Eles; Zebo Peng; Michael Lemmon 001 (ACM Trans. Embed. Comput. Syst., 2015)

Temperature-Gradient-Based Burn-In and Test Scheduling for 3-D Stacked ICs. - Nima Aghaee; Zebo Peng; Petru Eles (IEEE Trans. Very Large Scale Integr. Syst., 2015)

Temperature-Centric Reliability Analysis and Optimization of Electronic Systems Under Process Variation. - Ivan Ukhov; Petru Eles; Zebo Peng (IEEE Trans. Very Large Scale Integr. Syst., 2015)

SPARTA: A scheduling policy for thwarting differential power analysis attacks. - Ke Jiang; Petru Eles; Zebo Peng; Sudipta Chattopadhyay 001; Lejla Batina (ASP-DAC, 2016)

Self-triggered controllers and hard real-time guarantees. - Amir Aminifar; Paulo Tabuada; Petru Eles; Zebo Peng (DATE, 2016)

Intrusion-Damage Assessment and Mitigation in Cyber-Physical Systems for Control Applications. - Rouhollah Mahfouzi; Amir Aminifar; Petru Eles; Zebo Peng; Mattias Villani (RTNS, 2016)

Lazy Constrained Monotonic Abstraction. - Zeinab Ganjei; Ahmed Rezine; Petru Eles; Zebo Peng (VMCAI, 2016)

Systematic detection of memory related performance bottlenecks in GPGPU programs. - Adrian Horga; Sudipta Chattopadhyay 001; Petru Eles; Zebo Peng (J. Syst. Archit., 2016)

Counting dynamically synchronizing processes. - Zeinab Ganjei; Ahmed Rezine; Petru Eles; Zebo Peng (Int. J. Softw. Tools Technol. Transf., 2016)

Analysis and Design of Real-Time Servers for Control Applications. - Amir Aminifar; Enrico Bini; Petru Eles; Zebo Peng (IEEE Trans. Computers, 2016)

A Reconfigurable Framework for Performance Enhancement With Dynamic FPGA Configuration Prefetching. - Adrian Alin Lifa; Petru Eles; Zebo Peng (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016)

Power-Aware Design Techniques of Secure Multimode Embedded Systems. - Ke Jiang; Petru Eles; Zebo Peng (ACM Trans. Embed. Comput. Syst., 2016)

Correlation-Aware Probabilistic Timing Analysis for the Dynamic Segment of FlexRay. - Bogdan Tanasa; Unmesh D. Bordoloi; Petru Eles; Zebo Peng (ACM Trans. Embed. Comput. Syst., 2016)

Latency-Aware Packet Processing on CPU-GPU Heterogeneous Systems. - Arian Maghazeh; Unmesh D. Bordoloi; Usman Dastgeer; Alexandru Andrei; Petru Eles; Zebo Peng (DAC, 2017)

Two-Phase Interarrival Time Prediction for Runtime Resource Management. - Mina Niknafs; Ivan Ukhov; Petru Eles; Zebo Peng (DSD, 2017)

Safety verification of phaser programs. - Zeinab Ganjei; Ahmed Rezine; Petru Eles; Zebo Peng (FMCAD, 2017)

Workload prediction for runtime resource management. - Mina Niknafs; Ivan Ukhov; Petru Eles; Zebo Peng (NORCAS, 2017)

Probabilistic Analysis of Electronic Systems via Adaptive Hierarchical Interpolation. - Ivan Ukhov; Petru Eles; Zebo Peng (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017)

Stability-aware integrated routing and scheduling for control applications in Ethernet networks. - Rouhollah Mahfouzi; Amir Aminifar; Soheil Samii; Ahmed Rezine; Petru Eles; Zebo Peng (DATE, 2018)

Measurement Based Execution Time Analysis of GPGPU Programs via SE+GA. - Adrian Horga; Sudipta Chattopadhyay 001; Petru Eles; Zebo Peng (DSD, 2018)

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

Optimization of Message Encryption for Real-Time Applications in Embedded Systems. - Amir Aminifar; Petru Eles; Zebo Peng (IEEE Trans. Computers, 2018)

Partitioned and overhead-aware scheduling of mixed-criticality real-time systems. - Yuanbin Zhou; Soheil Samii; Petru Eles; Zebo Peng (ASP-DAC, 2019)

Runtime Resource Management with Workload Prediction. - Mina Niknafs; Ivan Ukhov; Petru Eles; Zebo Peng (DAC, 2019)

A Deterministic-Path Routing Algorithm for Tolerating Many Faults on Wafer-Level NoC. - Zhongsheng Chen; Ying Zhang 040; Zebo Peng; Jianhui Jiang (DATE, 2019)

Cache-Aware Kernel Tiling: An Approach for System-Level Performance Optimization of GPU-Based Applications. - Arian Maghazeh; Sudipta Chattopadhyay 001; Petru Eles; Zebo Peng (DATE, 2019)

Butterfly Attack: Adversarial Manipulation of Temporal Properties of Cyber-Physical Systems. - Rouhollah Mahfouzi; Amir Aminifar; Soheil Samii; Mathias Payer; Petru Eles; Zebo Peng (RTSS, 2019)

On Reachability in Parameterized Phaser Programs. - Zeinab Ganjei; Ahmed Rezine; Ludovic Henrio; Petru Eles; Zebo Peng (TACAS (1), 2019)

Scheduling optimization with partitioning for mixed-criticality systems. - Yuanbin Zhou; Soheil Samii; Petru Eles; Zebo Peng (J. Syst. Archit., 2019)

Verifying Safety of Parameterized Heard-Of Algorithms. - Zeinab Ganjei; Ahmed Rezine; Petru Eles; Zebo Peng (NETYS, 2020)

Genetic algorithm based estimation of non-functional properties for GPGPU programs. - Adrian Horga; Sudipta Chattopadhyay 001; Petru Eles; Zebo Peng (J. Syst. Archit., 2020)

Software-Based Self-Testing Using Bounded Model Checking for Out-of-Order Superscalar Processors. - Ying Zhang 040; Krishnendu Chakrabarty; Zebo Peng; Ahmed Rezine; Huawei Li 001; Petru Eles; Jianhui Jiang (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Security-aware Routing and Scheduling for Control Applications on Ethernet TSN Networks. - Rouhollah Mahfouzi; Amir Aminifar; Soheil Samii; Petru Eles; Zebo Peng (ACM Trans. Design Autom. Electr. Syst., 2020)

Secure Cloud Control Using Verifiable Computation. - Rouhollah Mahfouzi; Amir Aminifar; Soheil Samii; Petru Eles; Zebo Peng (COINS, 2021)

ASIL-Decomposition Based Routing and Scheduling in Safety-Critical Time-Sensitive Networking. - Yuanbin Zhou; Soheil Samii; Petru Eles; Zebo Peng (RTAS, 2021)

Breaking Silos to Guarantee Control Stability with Communication over Ethernet TSN. - Rouhollah Mahfouzi; Amir Aminifar; Soheil Samii; Ahmed Rezine; Petru Eles; Zebo Peng (IEEE Des. Test, 2021)

Reliability-aware Scheduling and Routing for Messages in Time-sensitive Networking. - Yuanbin Zhou; Soheil Samii; Petru Eles; Zebo Peng (ACM Trans. Embed. Comput. Syst., 2021)

A Deterministic-Path Routing Algorithm for Tolerating Many Faults on Very-Large-Scale Network-on-Chip. - Ying Zhang 040; Xinpeng Hong; Zhongsheng Chen; Zebo Peng; Jianhui Jiang (ACM Trans. Design Autom. Electr. Syst., 2021)

Time-Triggered Scheduling for Time-Sensitive Networking with Preemption. - Yuanbin Zhou; Soheil Samii; Petru Eles; Zebo Peng (ASP-DAC, 2022)

Symbolic identification of shared memory based bank conflicts for GPUs. - Adrian Horga; Ahmed Rezine; Sudipta Chattopadhyay 001; Petru Eles; Zebo Peng (J. Syst. Archit., 2022)

BMC-Based Temperature-Aware SBST for Worst-Case Delay Fault Testing Under High Temperature. - Ying Zhang 040; Yi Ding; Zebo Peng; Huawei Li 001; Masahiro Fujita; Jianhui Jiang (IEEE Trans. Very Large Scale Integr. Syst., 2022)

Resource Optimization with 5G Configured Grant Scheduling for Real-Time Applications. - Yungang Pan; Rouhollah Mahfouzi; Soheil Samii; Petru Eles; Zebo Peng (DATE, 2023)

Temperature-Aware Design and Optimization of Reliable Cyber-Physical Systems. - Zebo Peng (ICECET, 2023)

Parallel Software-Based Self-Testing with Bounded Model Checking for Kilo-Core Networks-on-Chip. - Ying Zhang 040; Pengfei Ji; Pan-Wei Zhu; Zebo Peng; Huawei Li 001; Jian-Hui Jiang (J. Comput. Sci. Technol., 2023)

Runtime Resource Management with Multiple-Step-Ahead Workload Prediction. - Mina Niknafs; Petru Eles; Zebo Peng (ACM Trans. Embed. Comput. Syst., 2023)

Integrated Mapping and Scheduling Optimization with Genetic Algorithms Based on a Novel Encoding Scheme. - Zhifang Sun; Shengjie Jin; Jinxue Duan; Junqiang Jiang; Zebo Peng (DSD, 2024)

Multi-Traffic Resource Optimization for Real-Time Applications with 5G Configured Grant Scheduling. - Yungang Pan; Rouhollah Mahfouzi; Soheil Samii; Petru Eles; Zebo Peng (ACM Trans. Embed. Comput. Syst., 2024)

On Modeling and Detecting Trojans in Instruction Sets. - Ying Zhang 040; Aodi He; Jiaying Li; Ahmed Rezine; Zebo Peng; Erik Larsson; Tao Yang; Jianhui Jiang; Huawei Li 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

A Static Analysis Framework for Investigating Tainted Data Sources in Software Systems. - Peng Dai; Xiaoqin Ma; Zebo Peng; Chen Zhao; Qianjin Zhang (Int. J. Softw. Eng. Knowl. Eng., 2025)

Temperature and deadline aware runtime resource management with workload prediction for heterogeneous multi-core platforms. - Mina Niknafs; Petru Eles; Zebo Peng (J. Syst. Archit., 2025)

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 003; Zebo Peng (ACM Trans. Embed. Comput. Syst., 2025)

Real Relative Encoding Genetic Algorithm for Workflow Scheduling in Heterogeneous Distributed Computing Systems. - Junqiang Jiang; Zhifang Sun; Ruiqi Lu; Li Pan 003; Zebo Peng (IEEE Trans. Parallel Distributed Syst., 2025)