Author of the publication

Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems.

, , , , , , , , and . SIGSOFT FSE, page 711-714. ACM, (2014)

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

Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks., , , , , , and . IEEE Trans. Parallel Distrib. Syst., 26 (8): 2220-2232 (2015)Modeling a Heterogeneous Embedded System in Coloured Petri Nets., , , and . J. Applied Mathematics, (2014)An Integrated Approach to Risk Assessment for Special Line Shunting Via Fuzzy Theory., and . Symmetry, 10 (11): 599 (2018)Go-clone: graph-embedding based clone detector for Golang., , , , , , , and . ISSTA, page 374-377. ACM, (2019)Risk Assessment of Shunting Derailment Based on Coupling., and . Symmetry, 11 (11): 1359 (2019)Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems., , , , , , , , and . SIGSOFT FSE, page 711-714. ACM, (2014)Instantaneous parameter estimation based on continuous wavelet transform and some improvements., , and . ICASSP, page 2169-2172. IEEE, (1998)Modeling, optimization and control of rotary traveling-wave oscillator., , , , and . ICCAD, page 476-480. IEEE Computer Society, (2007)Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers., , , , and . FM, volume 9995 of Lecture Notes in Computer Science, page 764-771. (2016)Tsmart-BIPEX: An Integrated Graphical Design Toolkit for Software Systems., , , , and . D&P@MoDELS, volume 1725 of CEUR Workshop Proceedings, page 32-39. CEUR-WS.org, (2016)