Personal information
No personal information available
Activities
Works (6)
ACM Transactions on Embedded Computing Systems
2023-05-31
|
Journal article
Contributors:
Joseph Sifakis;
David Harel
Source:
check_circle
Crossref
Source:
check_circle
Crossref
Source:
check_circle
Crossref
IEEE Design & Test
2022-02
|
Journal article
Contributors:
David Harel;
Assaf Marron;
Joseph Sifakis
Source:
check_circle
Crossref
2021-10-28
|
Preprint
Contributors:
Zachary M. Earley;
Wioletta Lisicka;
Joseph J. Sifakis;
Raúl Aguirre-Gamboa;
Anita Kowalczyk;
Jacob T. Barlow;
Dustin G. Shaw;
Valentina Discepolo;
Ineke L. Tan;
Saideep Gona
et al.
Source:
check_circle
Crossref
Proceedings of the National Academy of Sciences
2020-07-28
|
Journal article
Contributors:
David Harel;
Assaf Marron;
Joseph Sifakis
Source:
check_circle
Crossref