Schedule Synthesis

Schedule Synthesis is a formal method in real-time communication protocols that systematically constructs time-triggered transmission schedules to ensure deterministic data delivery while satisfying constraints such as latency, jitter, and resource availability.

Publications

3.5K

Citations

176

Authors

Institutions

Publications per year

2017–2026

Parents

Real-time Communication Protocols

Publications

An Evaluation of SMT-Based Schedule Synthesis for Time-Triggered Multi-hop Networks

Wilfried Steiner · 2010 · 303 citations

Computing, Computer Engineering, Computer Science +14

Incremental Flow Scheduling and Routing in Time-Sensitive Software-Defined Networks

Naresh Nayak, Frank Dürr, Kurt Rothermel · IEEE Transactions on Industrial Informatics · 2017 · 223 citations

Computing, Computer Engineering, Computer Networks +16

IEEE 802.1Qbv Gate Control List Synthesis Using Array Theory Encoding

Ramón Serna Oliver, Silviu S. Craciunas, Wilfried Steiner · 2018 · 184 citations

Computing, Computer Engineering, Computer Science +17

Scheduling with bus access optimization for distributed embedded systems

Petru Eles, Alex Doboli, Paul Pop et al. · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 2000 · 140 citations · Full text

Engineering, Computer Engineering, Computer Science +17

Efficient scheduling of nonuniform packet traffic in a WDM/TDM local lightwave network with arbitrary transceiver tuning latencies

Michael S. Borella, Biswanath Mukherjee · IEEE Journal on Selected Areas in Communications · 1996 · 137 citations

Computing, Computer Science, Electrical Engineering +16

1–5 of 75

Authors

176

PP
Paul Pop
Technical University of Denmark, Denmark
9 publications · 599 citations
9
h-index
SS
Silviu S. Craciunas
TTTech Computertechnik (Austria), Austria
8 publications · 445 citations
8
h-index
WS
Wilfried Steiner
TTTech Computertechnik (Austria), Austria
7 publications · 786 citations
7
h-index
SC
Samarjit Chakraborty
Technical University of Munich, Germany
6 publications · 223 citations
6
h-index
GR
Guillermo Rodríguez-Navas
Mälardalen University, Sweden
5 publications · 159 citations
5
h-index

1–5 of 176

Institutions

1–8 of 70

Venues

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
3 publications · 88 citations
3
h-index
IEEE Transactions on Industrial Informatics
2 publications · 332 citations
2
h-index
ACM Transactions on Architecture and Code Optimization
TACO · 2 publications · 29 citations
2
h-index
Control Engineering Practice
2 publications · 63 citations
2
h-index
IEEE Access
2 publications · 193 citations
2
h-index

1–5