Personal information

No personal information available

Activities

Works (6)

Trustworthy Autonomous System Development

ACM Transactions on Embedded Computing Systems
2023-05-31 | Journal article
Contributors: Joseph Sifakis; David Harel
Source: check_circle
Crossref

Correct by Design Coordination of Autonomous Driving Systems

2022 | Book chapter
Contributors: Marius Bozga; Joseph Sifakis
Source: check_circle
Crossref

Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework

2022 | Book chapter
Contributors: Marius Bozga; Joseph Sifakis
Source: check_circle
Crossref

Creating a Foundation for Next-Generation Autonomous Systems

IEEE Design & Test
2022-02 | Journal article
Contributors: David Harel; Assaf Marron; Joseph Sifakis
Source: check_circle
Crossref

GATA4 regionalizes intestinal metabolism and barrier function to prevent immunopathology

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

Autonomics: In search of a foundation for next-generation autonomous systems

Proceedings of the National Academy of Sciences
2020-07-28 | Journal article
Contributors: David Harel; Assaf Marron; Joseph Sifakis
Source: check_circle
Crossref