From post

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.

 

Другие публикации лиц с тем же именем

From Lustre to Graphical Models and SCCharts., , , , и . FDL, стр. 1-8. IEEE, (2020)SyncCharts in C: a proposal for light-weight, deterministic concurrency.. EMSOFT, стр. 225-234. ACM, (2009)Slicing Analysis and Indirect Accesses to Distributed Arrays., , и . LCPC, том 768 из Lecture Notes in Computer Science, стр. 152-168. Springer, (1993)PASTA: Pragmatic Automated System-Theoretic Process Analysis., , и . DSN, стр. 559-567. IEEE, (2023)Formal Specification and Analysis of AFDX Redundancy Management Algorithms., и . SAFECOMP, том 4680 из Lecture Notes in Computer Science, стр. 436-450. Springer, (2007)Worst Case Reaction Time Analysis of Concurrent Reactive Programs., , и . SLA++P@ETAPS, том 203 из Electronic Notes in Theoretical Computer Science, стр. 65-79. Elsevier, (2007)Proceedings of the 30th International Symposium on Graph Drawing and Network Visualization (GD 2022)., и . CoRR, (2022)Extracting Mode Diagrams from Blech Code., , , , и . FDL, стр. 1-8. IEEE, (2021)GIVE-N-TAKE - A Balanced Code Placement Framework., и . PLDI, стр. 107-120. ACM, (1994)Relaxing SIMD Control Flow Constraints using Loop Transformations., и . PLDI, стр. 188-199. ACM, (1992)