Zebo Peng

Available identifiers

zbMath Open peng.zeboMaRDI QIDQ483964

List of research outcomes

Publication	Date of Publication	Type
On Reachability in Parameterized Phaser Programs	2023-11-24	Paper
Optimization of Message Encryption for Real-Time Applications in Embedded Systems	2018-09-14	Paper
Analysis and Design of Real-Time Servers for Control Applications	2017-05-16	Paper
Lazy Constrained Monotonic Abstraction	2016-03-23	Paper
Abstracting and Counting Synchronizing Processes	2015-02-04	Paper
Stability of adaptive feedback-based resource managers for systems with execution time variations	2014-12-17	Paper
Analysis and optimisation of hierarchically scheduled multiprocessor embedded systems	2008-04-11	Paper
Timing analysis of the flexRay communication protocol	2008-04-09	Paper
Fault-aware communication mapping for noCs with guaranteed latency	2007-06-07	Paper
https://portal.mardi4nfdi.de/entity/Q3415034	2007-01-15	Paper
Schedulability-driven communication synthesis for time triggered embedded systems	2005-04-07	Paper
https://portal.mardi4nfdi.de/entity/Q4375384	1998-02-04	Paper
Synthesis of systems specified as interacting VHDL processes	1997-02-27	Paper

Research outcomes over time

This page was built for person: Zebo Peng