Author of the publication

Formal Verification of Mixed Synchronous Asynchronous Systems Using Industrial Tools.

, and . ASYNC, page 43-50. IEEE Computer Society, (2018)

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

Build Systems à La Carte, , and . Proc. ACM Program. Lang., 2 (ICFP): 79:1--79:29 (July 2018)Complexity of Linear Operators., , , and . ISAAC, volume 149 of LIPIcs, page 17:1-17:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Reconfigurable asynchronous pipelines: From formal models to silicon., , and . DATE, page 1562-1567. IEEE, (2018)Formal verification of spacecraft control programs (experience report)., , and . Haskell@ICFP, page 139-145. ACM, (2019)Selective Applicative Functors, , , and . (2019)Efficient composition of scenario-based hardware specifications., , and . IET Comput. Digit. Tech., 13 (2): 57-69 (2019)United Monoids - Finding Simplicial Sets and Labelled Algebraic Graphs in Trees.. Art Sci. Eng. Program., 6 (3): 12 (2022)Termination detection for fine-grained message-passing architectures., , , , , , , , and . ASAP, page 17-24. IEEE, (2020)Formal Verification of Mixed Synchronous Asynchronous Systems Using Industrial Tools., and . ASYNC, page 43-50. IEEE Computer Society, (2018)POETS: Distributed Event-Based Computing - Scaling Behaviour., , , , , , , and . PARCO, volume 36 of Advances in Parallel Computing, page 487-496. IOS Press, (2019)