NH
102
Publications
11,419
Citations
36
h-index
58
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (45)
- Book Chapter (40)
- Preprint (11)
- Book (4)
- Dissertation (1)
Filter by Open Access Type
- Open Access (34)
- Closed Access (68)
Filter by Authors
- Nicolas Halbwachs (102)
- Pascal Raymond (22)
- Paul Caspi (8)
- Erwan Jahier (7)
- P. Caspi (7)
Filter by Topics
- Formal Methods in Verification (58)
- Embedded Systems Design Techniques (40)
- Real-Time Systems Scheduling (22)
- Parallel Computing and Optimization Techniques (21)
- Software Testing and Debugging Techniques (20)