default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZebo Peng
Person information
- affiliation: Linköping University, Sweden
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 2007
[b2]Sorin Manolache, Petru Eles, Zebo Peng:
Real-time applications with stochastic task execution times - analysis and optimisation. Springer 2007, ISBN 978-1-4020-5505-8, pp. I-XIV, 1-152- 2004
- [b1]Paul Pop, Petru Eles, Zebo Peng:
Analysis and synthesis of distributed real-time embedded systems. Springer 2004, ISBN 978-1-4020-2872-4, pp. I-XIX, 1-326
Journal Articles
- 2024
- [j79]Ying Zhang
, Aodi He, Jiaying Li, Ahmed Rezine, Zebo Peng, Erik Larsson, Tao Yang, Jianhui Jiang, Huawei Li:
On Modeling and Detecting Trojans in Instruction Sets. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(10): 3226-3239 (2024) - [j78]Yungang Pan, Rouhollah Mahfouzi, Soheil Samii, Petru Eles, Zebo Peng:
Multi-Traffic Resource Optimization for Real-Time Applications with 5G Configured Grant Scheduling. ACM Trans. Embed. Comput. Syst. 23(4): 63:1-63:31 (2024) - 2023
- [j77]Ying Zhang, Pengfei Ji, Pan-Wei Zhu, Zebo Peng, Hua-Wei Li, Jian-Hui Jiang:
Parallel Software-Based Self-Testing with Bounded Model Checking for Kilo-Core Networks-on-Chip. J. Comput. Sci. Technol. 38(2): 405-421 (2023) - [j76]Mina Niknafs, Petru Eles, Zebo Peng:
Runtime Resource Management with Multiple-Step-Ahead Workload Prediction. ACM Trans. Embed. Comput. Syst. 22(4): 71:1-71:34 (2023) - 2022
- [j75]Adrian Horga, Ahmed Rezine, Sudipta Chattopadhyay, Petru Eles, Zebo Peng:
Symbolic identification of shared memory based bank conflicts for GPUs. J. Syst. Archit. 127: 102518 (2022) - [j74]Ying Zhang, Yi Ding, Zebo Peng, Huawei Li, Masahiro Fujita, Jianhui Jiang:
BMC-Based Temperature-Aware SBST for Worst-Case Delay Fault Testing Under High Temperature. IEEE Trans. Very Large Scale Integr. Syst. 30(11): 1677-1690 (2022) - 2021
- [j73]Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Ahmed Rezine, Petru Eles, Zebo Peng:
Breaking Silos to Guarantee Control Stability with Communication over Ethernet TSN. IEEE Des. Test 38(5): 48-56 (2021) - [j72]Yuanbin Zhou, Soheil Samii, Petru Eles, Zebo Peng:
Reliability-aware Scheduling and Routing for Messages in Time-sensitive Networking. ACM Trans. Embed. Comput. Syst. 20(5): 41:1-41:24 (2021) - [j71]Ying Zhang, Xinpeng Hong, Zhongsheng Chen, Zebo Peng, Jianhui Jiang:
A Deterministic-Path Routing Algorithm for Tolerating Many Faults on Very-Large-Scale Network-on-Chip. ACM Trans. Design Autom. Electr. Syst. 26(1): 8:1-8:26 (2021) - 2020
- [j70]Adrian Horga, Sudipta Chattopadhyay, Petru Eles, Zebo Peng:
Genetic algorithm based estimation of non-functional properties for GPGPU programs. J. Syst. Archit. 103: 101697 (2020) - [j69]Ying Zhang, Krishnendu Chakrabarty, Zebo Peng, Ahmed Rezine, Huawei Li, Petru Eles, Jianhui Jiang:
Software-Based Self-Testing Using Bounded Model Checking for Out-of-Order Superscalar Processors. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(3): 714-727 (2020) - [j68]Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Petru Eles, Zebo Peng:
Security-aware Routing and Scheduling for Control Applications on Ethernet TSN Networks. ACM Trans. Design Autom. Electr. Syst. 25(1): 1:1-1:26 (2020) - 2019
- [j67]Yuanbin Zhou, Soheil Samii, Petru Eles, Zebo Peng:
Scheduling optimization with partitioning for mixed-criticality systems. J. Syst. Archit. 98: 191-200 (2019) - 2018
- [j66]Amir Aminifar, Petru Eles, Zebo Peng, Anton Cervin, Karl-Erik Årzén:
Control-Quality-Driven Design of Embedded Control Systems with Stability Guarantees. IEEE Des. Test 35(4): 38-46 (2018) - [j65]Amir Aminifar, Petru Eles, Zebo Peng:
Optimization of Message Encryption for Real-Time Applications in Embedded Systems. IEEE Trans. Computers 67(5): 748-754 (2018) - 2017
- [j64]Ivan Ukhov, Petru Eles, Zebo Peng:
Probabilistic Analysis of Electronic Systems via Adaptive Hierarchical Interpolation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36(11): 1883-1896 (2017) - 2016
- [j63]Adrian Horga, Sudipta Chattopadhyay, Petru Eles, Zebo Peng:
Systematic detection of memory related performance bottlenecks in GPGPU programs. J. Syst. Archit. 71: 73-87 (2016) - [j62]Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng:
Counting dynamically synchronizing processes. Int. J. Softw. Tools Technol. Transf. 18(5): 517-534 (2016) - [j61]Amir Aminifar, Enrico Bini, Petru Eles, Zebo Peng:
Analysis and Design of Real-Time Servers for Control Applications. IEEE Trans. Computers 65(3): 834-846 (2016) - [j60]Adrian Alin Lifa, Petru Eles, Zebo Peng:
A Reconfigurable Framework for Performance Enhancement With Dynamic FPGA Configuration Prefetching. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35(1): 100-113 (2016) - [j59]Ke Jiang, Petru Eles, Zebo Peng:
Power-Aware Design Techniques of Secure Multimode Embedded Systems. ACM Trans. Embed. Comput. Syst. 15(1): 6:1-6:29 (2016) - [j58]Bogdan Tanasa, Unmesh D. Bordoloi, Petru Eles, Zebo Peng:
Correlation-Aware Probabilistic Timing Analysis for the Dynamic Segment of FlexRay. ACM Trans. Embed. Comput. Syst. 15(3): 54:1-54:31 (2016) - 2015
- [j57]Nima Aghaee, Zebo Peng, Petru Eles:
A Test-Ordering Based Temperature-Cycling Acceleration Technique for 3D Stacked ICs. J. Electron. Test. 31(5-6): 503-523 (2015) - [j56]Sergiu Rafiliu, Petru Eles, Zebo Peng, Michael Lemmon:
Stability of Online Resource Managers for Distributed Systems under Execution Time Variations. ACM Trans. Embed. Comput. Syst. 14(2): 21:1-21:29 (2015) - [j55]Ivan Ukhov, Petru Eles, Zebo Peng:
Temperature-Centric Reliability Analysis and Optimization of Electronic Systems Under Process Variation. IEEE Trans. Very Large Scale Integr. Syst. 23(11): 2417-2430 (2015) - [j54]Nima Aghaee, Zebo Peng, Petru Eles:
Temperature-Gradient-Based Burn-In and Test Scheduling for 3-D Stacked ICs. IEEE Trans. Very Large Scale Integr. Syst. 23(12): 2992-3005 (2015) - 2014
- [j53]Sudipta Chattopadhyay, Abhik Roychoudhury, Jakob Rosen, Petru Eles, Zebo Peng:
Time-Predictable Embedded Software on Multi-Core Platforms: Analysis and Optimization. Found. Trends Electron. Des. Autom. 8(3-4): 199-356 (2014) - [j52]Ivan Ukhov, Petru Eles, Zebo Peng:
Probabilistic Analysis of Power and Temperature Under Process Variation for Electronic System Design. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 33(6): 931-944 (2014) - [j51]Reinhard Schneider, Dip Goswami, Samarjit Chakraborty, Unmesh D. Bordoloi, Petru Eles, Zebo Peng:
Quantifying Notions of Extensibility in FlexRay Schedule Synthesis. ACM Trans. Design Autom. Electr. Syst. 19(4): 32:1-32:37 (2014) - 2013
- [j50]Nima Aghaee, Zebo Peng, Petru Eles:
Process-Variation and Temperature Aware SoC Test Scheduling Technique. J. Electron. Test. 29(4): 499-520 (2013) - [j49]Sergiu Rafiliu, Petru Eles, Zebo Peng:
Stability of adaptive feedback-based resource managers for systems with execution time variations. Real Time Syst. 49(3): 367-400 (2013) - 2012
- [j48]Viacheslav Izosimov, Giuseppe Di Guglielmo, Michele Lora, Graziano Pravadelli, Franco Fummi, Zebo Peng, Masahiro Fujita:
Time-Constraint-Aware Optimization of Assertions in Embedded Software. J. Electron. Test. 28(4): 469-486 (2012) - [j47]Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng:
Scheduling and Optimization of Fault-Tolerant Embedded Systems with Transparency/Performance Trade-Offs. ACM Trans. Embed. Comput. Syst. 11(3): 61:1-61:35 (2012) - [j46]Min Bao, Alexandru Andrei, Petru Eles, Zebo Peng:
Temperature-Aware Idle Time Distribution for Leakage Energy Optimization. IEEE Trans. Very Large Scale Integr. Syst. 20(7): 1187-1200 (2012) - 2011
- [j45]Alexandru Andrei, Petru Eles, Olivera Jovanovic, Marcus T. Schmitz, Jens Ogniewski, Zebo Peng:
Quasi-Static Voltage Scaling for Energy Minimization With Time Constraints. IEEE Trans. Very Large Scale Integr. Syst. 19(1): 10-23 (2011) - 2009
- [j44]Paul Pop, Viacheslav Izosimov, Petru Eles, Zebo Peng:
Design Optimization of Time- and Cost-Constrained Fault-Tolerant Embedded Systems With Checkpointing and Replication. IEEE Trans. Very Large Scale Integr. Syst. 17(3): 389-402 (2009) - 2008
- [j43]Zhiyuan He, Zebo Peng, Petru Eles, Paul M. Rosinger, Bashir M. Al-Hashimi:
Thermal-Aware SoC Test Scheduling with Test Set Partitioning and Interleaving. J. Electron. Test. 24(1-3): 247-257 (2008) - [j42]Erik Larsson, Zebo Peng:
A Reconfigurable Power Conscious Core Wrapper and its Application to System-on-Chip Test Scheduling. J. Electron. Test. 24(5): 497-504 (2008) - [j41]Daniel Karlsson, Petru Eles, Zebo Peng:
Model validation for embedded systems using formal method-aided simulation. IET Comput. Digit. Tech. 2(6): 413-433 (2008) - [j40]Tomas Bengtsson, Shashi Kumar, Raimund Ubar, Artur Jutman, Zebo Peng:
Test methods for crosstalk-induced delay and glitch faults in network-on-chip interconnects implementing asynchronous communication protocols. IET Comput. Digit. Tech. 2(6): 445-460 (2008) - [j39]Traian Pop, Paul Pop, Petru Eles, Zebo Peng:
Analysis and Optimisation of Hierarchically Scheduled Multiprocessor Embedded Systems. Int. J. Parallel Program. 36(1): 37-67 (2008) - [j38]Traian Pop, Paul Pop, Petru Eles, Zebo Peng, Alexandru Andrei:
Timing analysis of the FlexRay communication protocol. Real Time Syst. 39(1-3): 205-235 (2008) - [j37]Soheil Samii, Mikko Selkälä, Erik Larsson, Krishnendu Chakrabarty, Zebo Peng:
Cycle-Accurate Test Power Modeling and Its Application to SoC Test Architecture Design and Scheduling. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(5): 973-977 (2008) - [j36]Sorin Manolache, Petru Eles, Zebo Peng:
Task mapping and priority assignment for soft real-time applications under deadline miss ratio constraints. ACM Trans. Embed. Comput. Syst. 7(2): 19:1-19:35 (2008) - 2007
- [j35]Daniel Karlsson, Petru Eles, Zebo Peng:
Formal verification of component-based designs. Des. Autom. Embed. Syst. 11(1): 49-90 (2007) - [j34]Sorin Manolache, Petru Eles, Zebo Peng:
Fault-aware Communication Mapping for NoCs with Guaranteed Latency. Int. J. Parallel Program. 35(2): 125-156 (2007) - [j33]Alexandru Andrei, Petru Eles, Zebo Peng, Marcus T. Schmitz, Bashir M. Al-Hashimi:
Energy Optimization of Multiprocessor Systems on Chip by Voltage Selection. IEEE Trans. Very Large Scale Integr. Syst. 15(3): 262-275 (2007) - 2006
- [j32]Gert Jervan, Petru Eles, Zebo Peng, Raimund Ubar, Maksim Jenihhin:
Test Time Minimization for Hybrid BIST of Core-Based Systems. J. Comput. Sci. Technol. 21(6): 907-912 (2006) - [j31]Erik Larsson, Zebo Peng:
Power-Aware Test Planning in the Early System-on-Chip Design Exploration Process. IEEE Trans. Computers 55(2): 227-239 (2006) - [j30]Mauricio Varea, Bashir M. Al-Hashimi, Luis Alejandro Cortés, Petru Eles, Zebo Peng:
Dual Flow Nets: Modeling the control/data-flow relation in embedded systems. ACM Trans. Embed. Comput. Syst. 5(1): 54-81 (2006) - [j29]Paul Pop, Petru Eles, Zebo Peng, Traian Pop:
Analysis and optimization of distributed real-time embedded systems. ACM Trans. Design Autom. Electr. Syst. 11(3): 593-625 (2006) - [j28]Luis Alejandro Cortés, Petru Eles, Zebo Peng:
Quasi-Static Assignment of Voltages and Optional Cycles in Imprecise-Computation Systems With Energy Considerations. IEEE Trans. Very Large Scale Integr. Syst. 14(10): 1117-1129 (2006) - 2005
- [j27]Julien Pouget, Erik Larsson, Zebo Peng:
Multiple-Constraint Driven System-on-Chip Test Time Optimization. J. Electron. Test. 21(6): 599-611 (2005) - [j26]Erik Larsson, Julien Pouget, Zebo Peng:
Abort-on-Fail Based Test Scheduling. J. Electron. Test. 21(6): 651-658 (2005) - [j25]Abdil Rashid Mohamed, Zebo Peng, Petru Eles:
A Wiring-Aware Approach to Minimizing Built-In Self-Test Overhead. J. Comput. Sci. Technol. 20(2): 216-223 (2005) - [j24]Paul Pop, Petru Eles, Zebo Peng:
Schedulability-driven frame packing for multicluster distributed embedded systems. ACM Trans. Embed. Comput. Syst. 4(1): 112-140 (2005) - 2004
- [j23]Paul Pop, Petru Eles, Zebo Peng:
Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems. Real Time Syst. 26(3): 297-325 (2004) - [j22]Erik Larsson, Klas Arvidsson, Hideo Fujiwara, Zebo Peng:
Efficient test solutions for core-based designs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 23(5): 758-775 (2004) - [j21]Sorin Manolache, Petru Eles, Zebo Peng:
Schedulability analysis of applications with stochastic task execution times. ACM Trans. Embed. Comput. Syst. 3(4): 706-735 (2004) - [j20]Paul Pop, Petru Eles, Zebo Peng, Traian Pop:
Scheduling and mapping in an incremental design methodology for distributed real-time embedded systems. IEEE Trans. Very Large Scale Integr. Syst. 12(8): 793-811 (2004) - 2003
- [j19]Luis Alejandro Cortés, Petru Eles, Zebo Peng:
Modeling and formal verification of embedded systems based on a Petri net representation. J. Syst. Archit. 49(12-15): 571-598 (2003) - 2002
- [j18]Petru Eles, Zebo Peng:
Editorial. Des. Autom. Embed. Syst. 7(1-2): 5-6 (2002) - [j17]Erik Larsson, Zebo Peng:
An Integrated Framework for the Design and Optimization of SOC Test Solutions. J. Electron. Test. 18(4-5): 385-400 (2002) - 2000
- [j16]Laurence Tianruo Yang, Zebo Peng:
An improved register-transfer level functional partitioning approach for testability. J. Syst. Archit. 46(3): 209-223 (2000) - [j15]Petru Eles, Alex Doboli, Paul Pop, Zebo Peng:
Scheduling with bus access optimization for distributed embedded systems. IEEE Trans. Very Large Scale Integr. Syst. 8(5): 472-491 (2000) - 1999
- [j14]Laurence Tianruo Yang, Zebo Peng:
Incremental Testability Analysis for Partial Scan Selection and Design Transformations. J. Electron. Test. 14(1-2): 103-113 (1999) - 1997
- [j13]Petru Eles, Zebo Peng, Krzysztof Kuchcinski, Alexa Doboli:
System Level Hardware/Software Partitioning Based on Simulated Annealing and Tabu Search. Des. Autom. Embed. Syst. 2(1): 5-32 (1997) - [j12]Petru Eles, Krzysztof Kuchcinski, Zebo Peng, Alexa Doboli:
Post-synthesis back-annotation of timing information in behavioral VHDL. J. Syst. Archit. 42(9-10): 725-741 (1997) - [j11]Erik Stoy, Zebo Peng:
Inter-domain movement of functionality as a repartitioning strategy for hardware/software co-design. J. Syst. Archit. 43(1-5): 87-98 (1997) - 1996
- [j10]Petru Eles, Krzysztof Kuchcinski, Zebo Peng:
Synthesis of systems specified as interacting VHDL processes. Integr. 21(1-2): 113-138 (1996) - 1994
- [j9]Zebo Peng, Krzysztof Kuchcinski:
Automated transformation of algorithms into register-transfer level implementations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 13(2): 150-166 (1994) - 1992
- [j8]Zebo Peng:
Digital system simulation with VHDL in a high-level synthesis system. Microprocess. Microprogramming 35(1-5): 263-269 (1992) - [j7]Xinli Gu, Krzysztof Kuchcinski, Zebo Peng:
An approach to testability analysis and improvement for VLSI systems. Microprocess. Microprogramming 35(1-5): 485-492 (1992) - 1991
- [j6]Zebo Peng:
Design of clocking schemes in high-level synthesis. Microprocessing and Microprogramming 31(1-5): 71-74 (1991) - [j5]Xinli Gu, Krzysztof Kuchcinski, Zebo Peng:
Testability measure with reconvergent fanout analysis and its applications. Microprocessing and Microprogramming 32(1-5): 835-842 (1991) - 1990
- [j4]Krzysztof Kuchcinski, Zebo Peng:
Testability analysis in a VLSI high-level synthesis system. Microprocessing and Microprogramming 28(1-5): 295-300 (1990) - 1988
- [j3]Krzysztof Kuchcinski, Zebo Peng:
Parallelism extraction from sequential programs for VLSI applications. Microprocess. Microprogramming 23(1-5): 87-92 (1988) - [j2]Zebo Peng:
Let's design asynchronous VLSI systems. Microprocess. Microprogramming 24(1-5): 347-352 (1988) - 1987
- [j1]Krzysztof Kuchcinski, Zebo Peng:
Microprogramming implementation of timed Petri nets. Integr. 5(2): 133-144 (1987)
Conference and Workshop Papers
- 2024
- [c198]Zhifang Sun, Shengjie Jin, Jinxue Duan, Junqiang Jiang, Zebo Peng:
Integrated Mapping and Scheduling Optimization with Genetic Algorithms Based on a Novel Encoding Scheme. DSD 2024: 234-241 - 2023
- [c197]Yungang Pan, Rouhollah Mahfouzi, Soheil Samii, Petru Eles, Zebo Peng:
Resource Optimization with 5G Configured Grant Scheduling for Real-Time Applications. DATE 2023: 1-2 - 2022
- [c196]Yuanbin Zhou, Soheil Samii, Petru Eles, Zebo Peng:
Time-Triggered Scheduling for Time-Sensitive Networking with Preemption. ASP-DAC 2022: 262-267 - 2021
- [c195]Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Petru Eles, Zebo Peng:
Secure Cloud Control Using Verifiable Computation. COINS 2021: 1-6 - [c194]Yuanbin Zhou, Soheil Samii, Petru Eles, Zebo Peng:
ASIL-Decomposition Based Routing and Scheduling in Safety-Critical Time-Sensitive Networking. RTAS 2021: 184-195 - 2020
- [c193]Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng:
Verifying Safety of Parameterized Heard-Of Algorithms. NETYS 2020: 209-226 - 2019
- [c192]Yuanbin Zhou, Soheil Samii, Petru Eles, Zebo Peng:
Partitioned and overhead-aware scheduling of mixed-criticality real-time systems. ASP-DAC 2019: 39-44 - [c191]Mina Niknafs, Ivan Ukhov, Petru Eles, Zebo Peng:
Runtime Resource Management with Workload Prediction. DAC 2019: 169 - [c190]Arian Maghazeh, Sudipta Chattopadhyay, Petru Eles, Zebo Peng:
Cache-Aware Kernel Tiling: An Approach for System-Level Performance Optimization of GPU-Based Applications. DATE 2019: 570-575 - [c189]Zhongsheng Chen, Ying Zhang, Zebo Peng, Jianhui Jiang:
A Deterministic-Path Routing Algorithm for Tolerating Many Faults on Wafer-Level NoC. DATE 2019: 1337-1342 - [c188]Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Mathias Payer, Petru Eles, Zebo Peng:
Butterfly Attack: Adversarial Manipulation of Temporal Properties of Cyber-Physical Systems. RTSS 2019: 93-106 - [c187]Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio, Petru Eles, Zebo Peng:
On Reachability in Parameterized Phaser Programs. TACAS (1) 2019: 299-315 - 2018
- [c186]Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Ahmed Rezine, Petru Eles, Zebo Peng:
Stability-aware integrated routing and scheduling for control applications in Ethernet networks. DATE 2018: 682-687 - [c185]Adrian Horga, Sudipta Chattopadhyay, Petru Eles, Zebo Peng:
Measurement Based Execution Time Analysis of GPGPU Programs via SE+GA. DSD 2018: 30-37 - 2017
- [c184]Arian Maghazeh, Unmesh D. Bordoloi, Usman Dastgeer, Alexandru Andrei, Petru Eles, Zebo Peng:
Latency-Aware Packet Processing on CPU-GPU Heterogeneous Systems. DAC 2017: 41:1-41:6 - [c183]Mina Niknafs, Ivan Ukhov, Petru Eles, Zebo Peng:
Two-Phase Interarrival Time Prediction for Runtime Resource Management. DSD 2017: 524-528 - [c182]Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng:
Safety verification of phaser programs. FMCAD 2017: 68-75 - [c181]Mina Niknafs, Ivan Ukhov, Petru Eles, Zebo Peng:
Workload prediction for runtime resource management. NORCAS 2017: 1-5 - 2016
- [c180]Ke Jiang, Petru Eles, Zebo Peng, Sudipta Chattopadhyay, Lejla Batina:
SPARTA: A scheduling policy for thwarting differential power analysis attacks. ASP-DAC 2016: 667-672 - [c179]Amir Aminifar, Paulo Tabuada, Petru Eles, Zebo Peng:
Self-triggered controllers and hard real-time guarantees. DATE 2016: 636-641 - [c178]Rouhollah Mahfouzi, Amir Aminifar, Petru Eles, Zebo Peng, Mattias Villani:
Intrusion-Damage Assessment and Mitigation in Cyber-Physical Systems for Control Applications. RTNS 2016: 141-150 - [c177]Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng:
Lazy Constrained Monotonic Abstraction. VMCAI 2016: 147-165 - 2015
- [c176]Nima Aghaee, Zebo Peng, Petru Eles:
An integrated temperature-cycling acceleration and test technique for 3D stacked ICs. ASP-DAC 2015: 526-531 - [c175]Ying Zhang, Zebo Peng, Jianhui Jiang, Huawei Li, Masahiro Fujita:
Temperature-aware software-based self-testing for delay faults. DATE 2015: 423-428 - [c174]Bogdan Tanasa, Unmesh D. Bordoloi, Petru Eles, Zebo Peng:
Probabilistic Response Time and Joint Analysis of Periodic Tasks. ECRTS 2015: 235-246 - [c173]Adrian Alin Lifa, Petru Eles, Zebo Peng:
On-the-fly energy minimization for multi-mode real-time systems on heterogeneous platforms. ESTIMedia 2015: 1-10 - [c172]Zebo Peng:
Is adaptive testing the panacea for the future test problems? ETS 2015: 1 - [c171]Nima Aghaee, Zebo Peng, Petru Eles:
Efficient Test Application for Rapid Multi-Temperature Testing. ACM Great Lakes Symposium on VLSI 2015: 3-8 - [c170]Arian Maghazeh, Unmesh D. Bordoloi, Mattias Villani, Petru Eles, Zebo Peng:
Perception-Aware Power Management for Mobile Games via Dynamic Resolution Scaling. ICCAD 2015: 613-620 - [c169]Amir Aminifar, Petru Eles, Zebo Peng:
Jfair: a scheduling algorithm to stabilize control applications. RTAS 2015: 63-72 - [c168]Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng:
Abstracting and Counting Synchronizing Processes. VMCAI 2015: 227-244 - 2014
- [c167]Ivan Ukhov, Mattias Villani, Petru Eles, Zebo Peng:
Statistical analysis of process variation based on indirect measurements for electronic system design. ASP-DAC 2014: 436-442 - [c166]Arian Maghazeh, Unmesh D. Bordoloi, Adrian Horga, Petru Eles, Zebo Peng:
Saving energy without defying deadlines on mobile GPU-based heterogeneous systems. CODES+ISSS 2014: 8:1-8:10 - [c165]Nima Aghaee, Zebo Peng, Petru Eles:
An efficient temperature-gradient based burn-in technique for 3D stacked ICs. DATE 2014: 1-4 - [c164]Amir Aminifar, Enrico Bini, Petru Eles, Zebo Peng:
Bandwidth-efficient controller-server co-design with stability guarantees. DATE 2014: 1-6 - [c163]Sudipta Chattopadhyay, Petru Eles, Zebo Peng:
Automated software testing of memory performance in embedded GPUs. EMSOFT 2014: 17:1-17:10 - [c162]Zebo Peng:
Day 2: Mini-tutorial: Challenges to the design and optimization of cyber-physical systems. IDT 2014: xvii - [c161]Ke Jiang, Lejla Batina, Petru Eles, Zebo Peng:
Robustness Analysis of Real-Time Scheduling Against Differential Power Analysis Attacks. ISVLSI 2014: 450-455 - [c160]Unmesh D. Bordoloi, Amir Aminifar, Petru Eles, Zebo Peng:
Schedulability analysis of Ethernet AVB switches. RTCSA 2014: 1-10 - [c159]Zebo Peng:
Thermal challenges to building reliable embedded systems. VLSI-DAT 2014: 1-2 - [c158]Nima Aghaee, Zebo Peng, Petru Eles:
Process-Variation Aware Multi-temperature Test Scheduling. VLSID 2014: 32-37 - 2013
- [c157]Adrian Alin Lifa, Petru Eles, Zebo Peng:
Dynamic configuration prefetching based on piecewise linear prediction. DATE 2013: 815-820 - [c156]Amir Aminifar, Petru Eles, Zebo Peng, Anton Cervin:
Control-quality driven design of cyber-physical systems with robustness guarantees. DATE 2013: 1093-1098 - [c155]Ke Jiang, Petru Eles, Zebo Peng:
Optimization of secure embedded systems with dynamic task sets. DATE 2013: 1765-1770 - [c154]Bogdan Tanasa, Unmesh D. Bordoloi, Petru Eles, Zebo Peng:
Probabilistic Timing Analysis for the Dynamic Segment of FlexRay. ECRTS 2013: 135-144 - [c153]Amir Aminifar, Petru Eles, Zebo Peng, Anton Cervin:
Stability-aware analysis and design of embedded control systems. EMSOFT 2013: 23:1-23:10 - [c152]Nima Aghaee, Zebo Peng, Petru Eles:
Temperature-gradient based test scheduling for 3D stacked ICs. ICECS 2013: 405-408 - [c151]Ke Jiang, Adrian Alin Lifa, Petru Eles, Zebo Peng, Wei Jiang:
Energy-aware design of secure multi-mode real-time embedded systems with FPGA co-processors. RTNS 2013: 109-118 - [c150]Amir Aminifar, Enrico Bini, Petru Eles, Zebo Peng:
Designing Bandwidth-Efficient Stabilizing Control Servers. RTSS 2013: 298-307 - [c149]Arian Maghazeh, Unmesh D. Bordoloi, Petru Eles, Zebo Peng:
General purpose computing on low-power embedded GPUs: Has it come of age? ICSAMOS 2013: 1-10 - 2012
- [c148]Ying Zhang, Ahmed Rezine, Petru Eles, Zebo Peng:
Automatic Test Program Generation for Out-of-Order Superscalar Processors. Asian Test Symposium 2012: 338-343 - [c147]Ivan Ukhov, Min Bao, Petru Eles, Zebo Peng:
Steady-state dynamic temperature analysis and reliability optimization for embedded multiprocessor systems. DAC 2012: 197-204 - [c146]Ke Jiang, Petru Eles, Zebo Peng:
Co-design techniques for distributed real-time embedded systems with communication security constraints. DATE 2012: 947-952 - [c145]Soheil Samii, Unmesh D. Bordoloi, Petru Eles, Zebo Peng, Anton Cervin:
Control-Quality Optimization for Distributed Embedded Systems with Adaptive Fault Tolerance. ECRTS 2012: 68-77 - [c144]Q. Wang, Andreas Wallin, Viacheslav Izosimov, Urban Ingelsson, Zebo Peng:
Test tool qualification through fault injection. ETS 2012: 1 - [c143]Adrian Alin Lifa, Petru Eles, Zebo Peng:
Minimization of average execution time based on speculative FPGA configuration prefetch. ReConFig 2012: 1-8 - [c142]Bogdan Tanasa, Unmesh D. Bordoloi, Stefanie Kosuch, Petru Eles, Zebo Peng:
Schedulability Analysis for the Dynamic Segment of FlexRay: A Generalization to Slot Multiplexing. IEEE Real-Time and Embedded Technology and Applications Symposium 2012: 185-194 - [c141]Unmesh D. Bordoloi, Bogdan Tanasa, Mehdi Baradaran Tahoori, Petru Eles, Zebo Peng, Syed Zafar Shazli, Samarjit Chakraborty:
Reliability-Aware Instruction Set Customization for ASIPs with Hardened Logic. RTCSA 2012: 164-173 - [c140]Adrian Alin Lifa, Petru Eles, Zebo Peng:
Context-Aware Speculative Prefetch for Soft Real-Time Applications. RTCSA 2012: 174-183 - [c139]Amir Aminifar, Soheil Samii, Petru Eles, Zebo Peng, Anton Cervin:
Designing High-Quality Embedded Control Systems with Guaranteed Stability. RTSS 2012: 283-292 - [c138]Unmesh D. Bordoloi, Bogdan Tanasa, Petru Eles, Zebo Peng:
On the timing analysis of the dynamic segment of FlexRay. SIES 2012: 94-101 - [c137]Unmesh D. Bordoloi, Bharath Suri, Swaroop Nunna, Samarjit Chakraborty, Petru Eles, Zebo Peng:
Customizing Instruction Set Extensible Reconfigurable Processors Using GPUs. VLSI Design 2012: 418-423 - 2011
- [c136]Adrian Alin Lifa, Petru Eles, Zebo Peng:
Performance optimization of error detection based on speculative reconfiguration. DAC 2011: 369-374 - [c135]Reinhard Schneider, Dip Goswami, Samarjit Chakraborty, Unmesh D. Bordoloi, Petru Eles, Zebo Peng:
On the quantification of sustainability and extensibility of FlexRay schedules. DAC 2011: 375-380 - [c134]Ke Jiang, Petru Eles, Zebo Peng:
Optimization of message encryption for distributed embedded systems with real-time constraints. DDECS 2011: 243-248 - [c133]Soheil Samii, Petru Eles, Zebo Peng, Anton Cervin:
Design Optimization and Synthesis of FlexRay Parameters for Embedded Control Applications. DELTA 2011: 66-71 - [c132]Jason Rosén, Petru Eles, Zebo Peng, Alexandru Andrei:
Predictable Worst-Case Execution Time Analysis for Multiprocessor Systems-on-Chip. DELTA 2011: 99-104 - [c131]Min Bao, Alexandru Andrei, Petru Eles, Zebo Peng:
On-line Temperature-Aware Idle Time Distribution for Leakage Energy Optimization. DELTA 2011: 156-161 - [c130]Nima Aghaee, Zebo Peng, Petru Eles:
Adaptive Temperature-Aware SoC Test Scheduling Considering Process Variation. DSD 2011: 197-204 - [c129]Sergiu Rafiliu, Petru Eles, Zebo Peng:
Stability Conditions of On-line Resource Managers for Systems with Execution Time Variations. ECRTS 2011: 151-161 - [c128]Bogdan Tanasa, Unmesh D. Bordoloi, Petru Eles, Zebo Peng:
Reliability-aware frame packing for the static segment of flexray. EMSOFT 2011: 175-184 - [c127]Viacheslav Izosimov, Michele Lora, Graziano Pravadelli, Franco Fummi, Zebo Peng, Giuseppe Di Guglielmo, Masahiro Fujita:
Optimization of Assertion Placement in Time-Constrained Embedded Systems. ETS 2011: 171-176 - [c126]Nima Aghaee, Zebo Peng, Petru Eles:
Process-variation and temperature aware soc test scheduling using particle swarm optimization. IDT 2011: 1-6 - [c125]Jakob Rosen, Carl-Fredrik Neikter, Petru Eles, Zebo Peng, Paolo Burgio, Luca Benini:
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 2011: 291-301 - [c124]Amir Aminifar, Soheil Samii, Petru Eles, Zebo Peng:
Control-Quality Driven Task Mapping for Distributed Embedded Control Systems. RTCSA (1) 2011: 133-142 - 2010
- [c123]Nima Aghaee, Zhiyuan He, Zebo Peng, Petru Eles:
Temperature-Aware SoC Test Scheduling Considering Inter-Chip Process Variation. Asian Test Symposium 2010: 395-398 - [c122]Adrian Alin Lifa, Petru Eles, Zebo Peng, Viacheslav Izosimov:
Hardware/software optimization of error detection implementation for real-time embedded systems. CODES+ISSS 2010: 41-50 - [c121]Min Bao, Alexandru Andrei, Petru Eles, Zebo Peng:
Temperature-aware idle time distribution for energy optimization with dynamic voltage scaling. DATE 2010: 21-26 - [c120]Zhiyuan He, Zebo Peng, Petru Eles:
Multi-temperature testing for core-based system-on-chip. DATE 2010: 208-213 - [c119]Viacheslav Izosimov, Petru Eles, Zebo Peng:
Value-based scheduling of distributed fault-tolerant real-time systems with soft and hard timing constraints. ESTIMedia 2010: 31-40 - [c118]Sergiu Rafiliu, Petru Eles, Zebo Peng:
Low Overhead Dynamic QoS Optimization under Variable Task Execution Times. RTCSA 2010: 293-302 - [c117]Soheil Samii, Petru Eles, Zebo Peng, Paulo Tabuada, Anton Cervin:
Dynamic Scheduling and Control-Quality Optimization of Self-Triggered Control Applications. RTSS 2010: 95-104 - [c116]Bogdan Tanasa, Unmesh D. Bordoloi, Petru Eles, Zebo Peng:
Scheduling for Fault-Tolerant Communication on the Static Segment of FlexRay. RTSS 2010: 385-394 - 2009
- [c115]Min Bao, Alexandru Andrei, Petru Eles, Zebo Peng:
On-line thermal aware dynamic voltage scaling for energy optimization with frequency/temperature dependency consideration. DAC 2009: 490-495 - [c114]Soheil Samii, Petru Eles, Zebo Peng, Anton Cervin:
Quality-driven synthesis of embedded multi-mode control systems. DAC 2009: 864-869 - [c113]Soheil Samii, Anton Cervin, Petru Eles, Zebo Peng:
Integrated scheduling and synthesis of control applications on distributed embedded systems. DATE 2009: 57-62 - [c112]Viacheslav Izosimov, Ilia Polian, Paul Pop, Petru Eles, Zebo Peng:
Analysis and optimization of fault-tolerant embedded systems with hardened processors. DATE 2009: 682-687 - [c111]Zhiyuan He, Zebo Peng, Petru Eles:
Thermal-Aware Test Scheduling for Core-Based SoC in an Abort-on-First-Fail Test Environment. DSD 2009: 239-246 - [c110]Soheil Samii, Yanfei Yin, Zebo Peng, Petru Eles, Yuanping Zhang:
Immune Genetic Algorithms for Optimization of Task Priorities and FlexRay Frame Identifiers. RTCSA 2009: 486-493 - 2008
- [c109]Zhiyuan He, Zebo Peng, Petru Eles:
Simulation-Driven Thermal-Safe Test Time Minimization for System-on-Chip. ATS 2008: 283-288 - [c108]Anders Larsson, Erik Larsson, Krishnendu Chakrabarty, Petru Eles, Zebo Peng:
Test-Architecture Optimization and Test Scheduling for SOCs with Core-Level Expansion of Compressed Test Patterns. DATE 2008: 188-193 - [c107]Soheil Samii, Sergiu Rafiliu, Petru Eles, Zebo Peng:
A Simulation Methodology for Worst-Case Response Time Estimation of Distributed Real-Time Systems. DATE 2008: 556-561 - [c106]Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng:
Scheduling of Fault-Tolerant Embedded Systems with Soft and Hard Timing Constraints. DATE 2008: 915-920 - [c105]Min Bao, Alexandru Andrei, Petru Eles, Zebo Peng:
Temperature-Aware Voltage Selection for Energy Optimization. DATE 2008: 1083-1086 - [c104]Petru Eles, Viacheslav Izosimov, Paul Pop, Zebo Peng:
Synthesis of Fault-Tolerant Embedded Systems. DATE 2008: 1117-1122 - [c103]Min Bao, Alexandru Andrei, Petru Eles, Zebo Peng:
Temperature-Aware Task Mapping for Energy Optimization with Dynamic Voltage Scaling. DDECS 2008: 44-49 - [c102]Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng:
Synthesis of Flexible Fault-Tolerant Schedules with Preemption for Mixed Soft and Hard Real-Time Systems. DSD 2008: 71-80 - [c101]Alexandru Andrei, Petru Eles, Zebo Peng, Jakob Rosen:
Predictable Implementation of Real-Time Applications on Multiprocessor Systems-on-Chip. VLSI Design 2008: 103-110 - 2007
- [c100]Traian Pop, Paul Pop, Petru Eles, Zebo Peng:
Bus access optimisation for FlexRay-based distributed embedded systems. DATE 2007: 51-56 - [c99]Anders Larsson, Erik Larsson, Petru Eles, Zebo Peng:
Optimized integration of test compression and sharing for SOC testing. DATE 2007: 207-212 - [c98]Anders Larsson, Erik Larsson, Petru Eles, Zebo Peng:
A Heuristic for Concurrent SOC Test Scheduling with Compression and Sharing. DDECS 2007: 61-66 - [c97]Daniel Karlsson, Petru Eles, Zebo Peng:
Transactor-based Formal Verification of Real-time Embedded Systems. FDL 2007: 305-310 - [c96]Zhiyuan He, Zebo Peng, Petru Eles:
A heuristic for thermal-safe SoC test scheduling. ITC 2007: 1-10 - [c95]Jakob Rosen, Alexandru Andrei, Petru Eles, Zebo Peng:
Bus Access Optimization for Predictable Implementation of Real-Time Applications on Multiprocessor Systems-on-Chip. RTSS 2007: 49-60 - 2006
- [c94]Zhiyuan He, Zebo Peng, Petru Eles:
Power constrained and defect-probability driven SoC test scheduling with test set partitioning. DATE 2006: 291-296 - [c93]Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng:
Synthesis of fault-tolerant schedules with transparency/performance trade-offs for distributed embedded systems. DATE 2006: 706-711 - [c92]Sorin Manolache, Petru Eles, Zebo Peng:
Buffer space optimisation with communication synthesis and traffic shaping for NoCs. DATE 2006: 718-723 - [c91]Daniel Karlsson, Petru Eles, Zebo Peng:
Formal verification of systemc designs using a petri-net based representation. DATE 2006: 1228-1233 - [c90]Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng:
Synthesis of Fault-Tolerant Embedded Systems with Checkpointing and Replication. DELTA 2006: 440-447 - [c89]Zhiyuan He, Zebo Peng, Petru Eles, Paul M. Rosinger, Bashir M. Al-Hashimi:
Thermal-Aware SoC Test Scheduling with Test Set Partitioning and Interleaving. DFT 2006: 477-485 - [c88]Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng:
Mapping of Fault-Tolerant Applications with Transparency on Distributed Embedded Systems*. DSD 2006: 313-322 - [c87]Tomas Bengtsson, Artur Jutman, Shashi Kumar, Raimund Ubar, Zebo Peng:
Off-Line Testing of Delay Faults in NoC Interconnects. DSD 2006: 677-680 - [c86]Traian Pop, Paul Pop, Petru Eles, Zebo Peng, Alexandru Andrei:
Timing Analysis of the FlexRay Communication Protocol. ECRTS 2006: 203-216 - [c85]Soheil Samii, Erik Larsson, Krishnendu Chakrabarty, Zebo Peng:
Cycle-Accurate Test Power Modeling and its Application to SoC Test Scheduling. ITC 2006: 1-10 - [c84]Luis Alejandro Cortés, Petru Eles, Zebo Peng:
A Quasi-Static Approach to Minimizing Energy Consumption in Real-Time Systems under Reward Constraints. RTCSA 2006: 279-286 - 2005
- [c83]Anders Larsson, Erik Larsson, Petru Eles, Zebo Peng:
SOC Test Scheduling with Test Set Sharing and Broadcasting. Asian Test Symposium 2005: 162-169 - [c82]Sorin Manolache, Petru Eles, Zebo Peng:
Fault and energy-aware communication mapping with guaranteed latency for applications implemented on NoC. DAC 2005: 266-269 - [c81]Luis Alejandro Cortés, Petru Eles, Zebo Peng:
Quasi-static assignment of voltages and optional cycles for maximizing rewards in real-time systems with energy c-onstraints. DAC 2005: 889-894 - [c80]Alexandru Andrei, Marcus T. Schmitz, Petru Eles, Zebo Peng, Bashir M. Al-Hashimi:
Quasi-Static Voltage Scaling for Energy Minimization with Time Constraints. DATE 2005: 514-519 - [c79]Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng:
Design Optimization of Time-and Cost-Constrained Fault-Tolerant Distributed Embedded Systems. DATE 2005: 864-869 - [c78]Zhiyuan He, Gert Jervan, Zebo Peng, Petru Eles:
Power-Constrained Hybrid BIST Test Scheduling in an Abort-on-First-Fail Test Environment. DSD 2005: 83-87 - [c77]Daniel Karlsson, Petru Eles, Zebo Peng:
Validation of Embedded Systems Using Formal Method Aided Simulation. DSD 2005: 196-201 - [c76]Anders Larsson, Erik Larsson, Petru Eles, Zebo Peng:
Optimization of a Bus-based Test Data Transportation Mechanism in System-on-Chip. DSD 2005: 403-411 - [c75]Raimund Ubar, Tatjana Shchenova, Gert Jervan, Zebo Peng:
Energy minimization for hybrid BIST in a system-on-chip test environment. ETS 2005: 2-7 - [c74]Traian Pop, Paul Pop, Petru Eles, Zebo Peng:
Optimization of Hierarchically Scheduled Heterogeneous Embedded Systems. RTCSA 2005: 67-71 - [c73]Luis Alejandro Cortés, Petru Eles, Zebo Peng:
Quasi-Static Scheduling for Multiprocessor Real-Time Systems with Hard and Soft Tasks. RTCSA 2005: 422-428 - 2004
- [c72]Zhiyuan He, Gert Jervan, Zebo Peng, Petru Eles:
Hybrid BIST Test Scheduling Based on Defect Probabilities. Asian Test Symposium 2004: 230-235 - [c71]Alexandru Andrei, Marcus T. Schmitz, Petru Eles, Zebo Peng, Bashir M. Al-Hashimi:
Overhead-Conscious Voltage Selection for Dynamic and Leakage Energy Reduction of Time-Constrained Systems. DATE 2004: 518-525 - [c70]Paul Pop, Petru Eles, Zebo Peng, Viacheslav Izosimov, Magnus Hellring, Olof Bridal:
Design Optimization of Multi-Cluster Embedded Systems for Real-Time Application. DATE 2004: 1027-1033 - [c69]Luis Alejandro Cortés, Petru Eles, Zebo Peng:
Quasi-Static Scheduling for Real-Time Systems with Hard and Soft Tasks. DATE 2004: 1176-1183 - [c68]Luis Alejandro Cortés, Petru Eles, Zebo Peng:
Static Scheduling of Monoprocessor Real-Time Systems composed of Hard and Soft Tasks. DELTA 2004: 115-120 - [c67]Abdil Rashid Mohamed, Zebo Peng, Petru Eles:
A Wiring-Aware Approach to Minimizing Built-in Self-Test Overhead. DELTA 2004: 413-415 - [c66]Daniel Karlsson, Petru Eles, Zebo Peng:
A Formal Verification Methodology for IP-based Designs. DSD 2004: 372-379 - [c65]Abdil Rashid Mohamed, Zebo Peng, Petru Eles:
A Heuristic for Wiring-Aware Built-In Self-Test Synthesis. DSD 2004: 408-415 - [c64]Paul Pop, Petru Eles, Zebo Peng, Viacheslav Izosimov:
Schedulability-Driven Partitioning and Mapping for Multi-Cluster Real-Time Systems. ECRTS 2004: 91-100 - [c63]Daniel Karlsson, Petru Eles, Zebo Peng:
A Formal Verification Approach for IP-based Designs. FDL 2004: 556-568 - [c62]Alexandru Andrei, Marcus T. Schmitz, Petru Eles, Zebo Peng, Bashir M. Al-Hashimi:
Simultaneous communication and processor voltage scaling for dynamic and leakage energy reduction in time-constrained systems. ICCAD 2004: 362-369 - [c61]Sorin Manolache, Petru Eles, Zebo Peng:
Optimization of Soft Real-Time Systems with Deadline Miss Ratio Constraints. IEEE Real-Time and Embedded Technology and Applications Symposium 2004: 562-570 - [c60]Erik Larsson, Julien Pouget, Zebo Peng:
Defect-Aware SOC Test Scheduling. VTS 2004: 361-366 - 2003
- [c59]Julien Pouget, Erik Larsson, Zebo Peng:
SOC Test Time Minimization Under Multiple Constraints. Asian Test Symposium 2003: 312-317 - [c58]Gert Jervan, Petru Eles, Zebo Peng, Raimund Ubar, Maksim Jenihhin:
Test Time Minimization for Hybrid BIST of Core-Based Systems. Asian Test Symposium 2003: 318-325 - [c57]Traian Pop, Petru Eles, Zebo Peng:
Design optimization of mixed time/event-triggered distributed embedded systems. CODES+ISSS 2003: 83-89 - [c56]Paul Pop, Petru Eles, Zebo Peng:
Schedulability Analysis and Optimization for the Synthesis of Multi-Cluster Distributed Embedded Systems. DATE 2003: 10184-10189 - [c55]Gert Jervan, Petru Eles, Zebo Peng, Raimund Ubar, Maksim Jenihhin:
Hybrid BIST Time Minimization for Core-Based Systems with STUMPS Architecture. DFT 2003: 225- - [c54]Anders Larsson, Erik Larsson, Petru Eles, Zebo Peng:
Buffer and Controller Minimisation for Time-Constrained Testing of System-On-Chip. DFT 2003: 385-392 - [c53]Traian Pop, Petru Eles, Zebo Peng:
Schedulability Analysis for Distributed Heterogeneous Time/Event Triggered Real-Time Systems. ECRTS 2003: 257-266 - [c52]Julien Pouget, Erik Larsson, Zebo Peng, Marie-Lise Flottes, Bruno Rouzeyre:
An efficient approach to SoC wrapper design, TAM configuration and test scheduling. ETW 2003: 51-56 - [c51]Erik Larsson, Zebo Peng:
A Reconfigurable Power-Conscious Core Wrapper and its Application to SOC Test Scheduling. ITC 2003: 1135-1144 - [c50]Paul Pop, Petru Eles, Zebo Peng:
Schedulability-driven frame packing for multi-cluster distributed embedded systems. LCTES 2003: 113-122 - 2002
- [c49]Erik Larsson, Klas Arvidsson, Hideo Fujiwara, Zebo Peng:
Integrated Test Scheduling, Test Parallelization and TAMDesign. Asian Test Symposium 2002: 397-404 - [c48]Mauricio Varea, Bashir M. Al-Hashimi, Luis Alejandro Cortés, Petru Eles, Zebo Peng:
Symbolic model checking of Dual Transition Petri Nets. CODES 2002: 43-48 - [c47]Traian Pop, Petru Eles, Zebo Peng:
Holistic scheduling and analysis of mixed time/event-triggered distributed embedded systems. CODES 2002: 187-192 - [c46]André Schneider, Karl-Heinz Diener, Eero Ivask, Raimund Ubar, Elena Gramatová, Thomas Hollstein, Wieslaw Kuzmicz, Zebo Peng:
Integrated Design and Test Generation Under Internet Based Environment MOSCITO. DSD 2002: 187-195 - [c45]Gert Jervan, Zebo Peng, Olga Goloubeva, Matteo Sonza Reorda, Massimo Violante:
High-level and hierarchical test sequence generation. HLDVT 2002: 169-174 - [c44]Sorin Manolache, Petru Eles, Zebo Peng:
Schedulability analysis of multiprocessor real-time applications with stochastic task execution times. ICCAD 2002: 699-706 - [c43]Gert Jervan, Zebo Peng, Raimund Ubar, Helena Kruus:
A Hybrid BIST Architecture and Its Optimization for SoC Testing. ISQED 2002: 273-279 - [c42]Petru Eles, Zebo Peng, Daniel Karlsson:
Formal Verification in a Component-Based Reuse Methodology. ISSS 2002: 156-161 - 2001
- [c41]Erik Larsson, Zebo Peng:
Test Scheduling and Scan-Chain Division under Power Constraint. Asian Test Symposium 2001: 259-264 - [c40]Paul Pop, Petru Eles, Traian Pop, Zebo Peng:
Minimizing system modification in an incremental design approach. CODES 2001: 183-188 - [c39]Paul Pop, Petru Eles, Traian Pop, Zebo Peng:
An Approach to Incremental Design of Distributed Embedded Systems. DAC 2001: 450-455 - [c38]Erik Larsson, Zebo Peng:
An integrated system-on-chip test framework. DATE 2001: 138-144 - [c37]Raimund Ubar, Artur Jutman, Zebo Peng:
Timing simulation of digital circuits with binary decision diagrams. DATE 2001: 460-466 - [c36]Luis Alejandro Cortés, Petru Eles, Zebo Peng:
Hierarchical Modeling and Verification of Embedded Systems. DSD 2001: 63-71 - [c35]Elmet Orasson, Rein Raidma, Raimund Ubar, Gert Jervan, Zebo Peng:
Fast Test Cost Calculation for Hybrid BIST in Digital Systems. DSD 2001: 318-325 - [c34]Sorin Manolache, Petru Eles, Zebo Peng:
Memory and Time-Efficient Schedulability Analysis of Task Sets with Stochastic Execution Time. ECRTS 2001: 19- - [c33]Erik Larsson, Zebo Peng, Gunnar Carlsson:
The Design and Optimization of SOC Test Solutions. ICCAD 2001: 523-530 - 2000
- [c32]Paul Pop, Petru Eles, Zebo Peng:
Performance estimation for embedded systems with data and control dependencies. CODES 2000: 62-66 - [c31]Paul Pop, Petru Eles, Zebo Peng:
Bus Access Optimization for Distributed Embedded Systems Based on Schedulability Analysis. DATE 2000: 567-574 - [c30]Gert Jervan, Zebo Peng, Raimund Ubar:
Test Cost Minimization for Hybrid Bist. DFT 2000: 283-291 - [c29]Paul Pop, Petru Eles, Zebo Peng:
Schedulability analysis for systems with data and control dependencies. ECRTS 2000: 201-208 - [c28]Luis Alejandro Cortés, Petru Eles, Zebo Peng:
Formal Coverification of Embedded Systems Using Model Checking. EUROMICRO 2000: 1106-1113 - [c27]Luis Alejandro Cortés, Petru Eles, Zebo Peng:
Definitions of Equivalence for Transformational Synthesis of Embedded Systems. ICECCS 2000: 134-142 - [c26]Razvan Jigorea, Sorin Manolache, Petru Eles, Zebo Peng:
Modeling of Real-Time Embedded Systems in an Object-Oriented Design Environment with UML. ISORC 2000: 210- - [c25]Luis Alejandro Cortés, Petru Eles, Zebo Peng:
Verification of Embedded Systems using a Petri Net based Representation. ISSS 2000: 149-156 - 1999
- [c24]Paul Pop, Petru Eles, Zebo Peng:
Scheduling with optimized communication for time-triggered embedded systems. CODES 1999: 178-182 - [c23]Paul Pop, Petru Eles, Zebo Peng:
An Improved Scheduling Technique for Time-Triggered Embedded Systems. EUROMICRO 1999: 1303-1310 - [c22]Paul Pop, Petru Eles, Zebo Peng:
Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems. RTCSA 1999: 287-294 - 1998
- [c21]Laurence Tianruo Yang, Zebo Peng:
An Efficient Algorithm to Integrate Scheduling and Allocation in High-Level Test Synthesis. DATE 1998: 74-81 - [c20]Petru Eles, Krzysztof Kuchcinski, Zebo Peng, Alexa Doboli, Paul Pop:
Scheduling of Conditional Process Graphs for the Synthesis of Embedded Systems. DATE 1998: 132-138 - [c19]Laurence Tianruo Yang, Zebo Peng:
An Improved Register-Transfer Level Functional Partitioning Approach for Testability. EUROMICRO 1998: 10107- - [c18]Petru Eles, Krzysztof Kuchcinski, Zebo Peng, Alexa Doboli, Paul Pop:
Process Scheduling for Performance Estimation and Synthesis of Hardware/Software Systems. EUROMICRO 1998: 10168- - [c17]Jonas Hallberg, Zebo Peng:
Estimation and Consideration of Interconnection Delays during High-Level Synthesis. EUROMICRO 1998: 10349-10356 - 1997
- [c16]Xinli Gu, Erik Larsson, Krzysztof Kuchcinski, Zebo Peng:
A controller testability analysis and enhancement technique. ED&TC 1997: 153-157 - 1996
- [c15]Petru Eles, Krzysztof Kuchcinski, Zebo Peng, Alexa Doboli:
Hardware/software partitioning of VHDL system specifications. EURO-DAC 1996: 434-439 - [c14]Peter Grün, Petru Eles, Krzysztof Kuchcinski, Zebo Peng:
Automatic Parallelization of a Petri Net-Based Design Representation for High-Level Synthesis. EUROMICRO 1996: 185-192 - [c13]Petru Eles, Zebo Peng, Krzysztof Kuchcinski, Alex Doboli:
Hardware/Software Partitioning with Iterative Improvement Heuristics. ISSS 1996: 71-76 - 1995
- [c12]Petru Eles, Krzysztof Kuchcinski, Zebo Peng, Alexa Doboli:
Timing constraint specification and synthesis in behavioral VHDL. EURO-DAC 1995: 452-457 - [c11]Xinli Gu, Krzysztof Kuchcinski, Zebo Peng:
An Efficient and Economic Partitioning Approach for Testability. ITC 1995: 403-412 - 1994
- [c10]Petru Eles, Zebo Peng, Alexa Doboli:
VHDL system-level specification and partitioning in a hardware/software co-synthesis environment. CODES 1994: 49-55 - [c9]Zebo Peng, Anders Törne:
Timing analysis and conditional scheduling in a real-time system design environment. RTS 1994: 214-219 - [c8]Petru Eles, Marius Minea, Krzysztof Kuchcinski, Zebo Peng:
Synthesis of VHDL concurrent processes. EURO-DAC 1994: 540-545 - [c7]Xinli Gu, Krzysztof Kuchcinski, Zebo Peng:
Testability analysis and improvement from VHDL behavioral specifications. EURO-DAC 1994: 644-649 - [c6]Erik Stoy, Zebo Peng:
An Integrated Modelling Technique for Hardware/Software Systems. ISCAS 1994: 399-402 - 1993
- [c5]Zebo Peng, Anders Törne:
A Petri Net Based Modelling and Synthesis Technique for Real-Time Systems. RTS 1993: 204-209 - 1992
- [c4]Petru Eles, Krzysztof Kuchcinski, Zebo Peng, Marius Minea:
Compiling VHDL into a high-level synthesis design representation. EURO-DAC 1992: 604-609 - 1988
- [c3]Zebo Peng:
Semantics of a Parallel Computation Model and its Applications in Digital Hardware Design. ICPP (1) 1988: 69-73 - 1986
- [c2]Zebo Peng:
Synthesis of VLSI systems with the CAMAD design aid. DAC 1986: 278-284 - [c1]Zebo Peng:
Construction of Asynchronous Concurrent Systems from their Behavioral Specifications. IFIP Congress 1986: 859-864
Informal and Other Publications
- 2018
- [i2]Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio, Petru Eles, Zebo Peng:
On Reachability in Parameterized Phaser Programs. CoRR abs/1811.07142 (2018) - 2017
- [i1]Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng:
Safety Verification of Phaser Programs. CoRR abs/1708.02801 (2017)
Coauthor Index
[b2] [b1] [j78] [j76] [j75] [j73] [j72] [j70] [j69] [j68] [j67] [j66] [j65] [j64] [j63] [j62] [j61] [j60] [j59] [j58] [j57] [j56] [j55] [j54] [j53] [j52] [j51] [j50] [j49] [j47] [j46] [j45] [j44] [j43] [j41] [j39] [j38] [j36] [j35] [j34] [j33] [j32] [j30] [j29] [j28] [j25] [j24] [j23] [j21] [j20] [j19] [j18] [j15] [j13] [j12] [j10] [c197] [c196] [c195] [c194] [c193] [c192] [c191] [c190] [c188] [c187] [c186] [c185] [c184] [c183] [c182] [c181] [c180] [c179] [c178] [c177] [c176] [c174] [c173] [c171] [c170] [c169] [c168] [c167] [c166] [c165] [c164] [c163] [c161] [c160] [c158] [c157] [c156] [c155] [c154] [c153] [c152] [c151] [c150] [c149] [c148] [c147] [c146] [c145] [c143] [c142] [c141] [c140] [c139] [c138] [c137] [c136] [c135] [c134] [c133] [c132] [c131] [c130] [c129] [c128] [c126] [c125] [c124] [c123] [c122] [c121] [c120] [c119] [c118] [c117] [c116] [c115] [c114] [c113] [c112] [c111] [c110] [c109] [c108] [c107] [c106] [c105] [c104] [c103] [c102] [c101] [c100] [c99] [c98] [c97] [c96] [c95] [c94] [c93] [c92] [c91] [c90] [c89] [c88] [c86] [c84] [c83] [c82] [c81] [c80] [c79] [c78] [c77] [c76] [c74] [c73] [c72] [c71] [c70] [c69] [c68] [c67] [c66] [c65] [c64] [c63] [c62] [c61] [c58] [c57] [c56] [c55] [c54] [c53] [c50] [c48] [c47] [c44] [c42] [c40] [c39] [c36] [c34] [c32] [c31] [c29] [c28] [c27] [c26] [c25] [c24] [c23] [c22] [c20] [c18] [c15] [c14] [c13] [c12] [c10] [c8] [c4] [i2] [i1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-20 21:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
