Author of the publication

Real-time Property Preservation in Approximations of Timed Systems.

, , and . MEMOCODE, page 163-171. IEEE Computer Society, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Branching-Time Property Preservation Between Real-Time Systems., , , and . ATVA, volume 4218 of Lecture Notes in Computer Science, page 260-275. Springer, (2006)It's a Matter of Time: Modeling and Analysis of Time Dependent Systems Using Scenario-Aware Dataflow., and . MEMOCODE, page 11-21. IEEE, (2018)Dynamic data prioritization for quality-of-service differentiation in heterogeneous Wireless Sensor Networks., , , and . SECON, page 296-304. IEEE, (2011)On-demand data forwarding for automatic adaptation of data propagation in WBANs., , and . SECON, page 326-334. IEEE, (2012)Kahn Process Networks and a Reactive Extension., and . Handbook of Signal Processing Systems, Springer, (2010)Modeling and Analysis of FPGA Accelerators for Real-Time Streaming Video Processing in the Healthcare Domain., , , , , , and . J. Signal Process. Syst., 91 (1): 75-91 (2019)Task-FIFO Co-Scheduling of Streaming Applications on MPSoCs with Predictable Memory Hierarchy., , , , and . ACM Trans. Embed. Comput. Syst., 16 (2): 49:1-49:25 (2017)Parametric Scheduler Characterization., , and . ACM Trans. Embed. Comput. Syst., 18 (5s): 110:1-110:25 (2019)Multiconstraint Static Scheduling of Synchronous Dataflow Graphs Via Retiming and Unfolding., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 35 (6): 905-918 (2016)Composable and predictable dynamic loading for time-critical partitioned systems on multiprocessor architectures., , , , , , and . Microprocess. Microsystems, 39 (8): 1087-1107 (2015)