Zebo Peng

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On Reachability in Parameterized Phaser Programs Tools and Algorithms for the Construction and Analysis of Systems	2023-11-24	Paper
Optimization of Message Encryption for Real-Time Applications in Embedded Systems IEEE Transactions on Computers	2018-09-14	Paper
Analysis and Design of Real-Time Servers for Control Applications IEEE Transactions on Computers	2017-05-16	Paper
Lazy constrained monotonic abstraction Lecture Notes in Computer Science	2016-03-23	Paper
Abstracting and counting synchronizing processes Lecture Notes in Computer Science	2015-02-04	Paper
Stability of adaptive feedback-based resource managers for systems with execution time variations Real-Time Systems	2014-12-17	Paper
Analysis and optimisation of hierarchically scheduled multiprocessor embedded systems International Journal of Parallel Programming	2008-04-11	Paper
Timing analysis of the flexRay communication protocol Real-Time Systems	2008-04-09	Paper
Fault-aware communication mapping for noCs with guaranteed latency International Journal of Parallel Programming	2007-06-07	Paper
scientific article; zbMATH DE number 5115945 (Why is no real title available?)	2007-01-15	Paper
Schedulability-driven communication synthesis for time triggered embedded systems Real-Time Systems	2005-04-07	Paper
scientific article; zbMATH DE number 1113196 (Why is no real title available?)	1998-02-04	Paper
Synthesis of systems specified as interacting VHDL processes Integration	1997-02-27	Paper

Research outcomes over time

This page was built for person: Zebo Peng