CV Accueil - Archive ouverte HAL

	Design and Multi-Abstraction Level Evaluation of a NoC Router for Mixed-Criticality Real-Time Systems Mourad Dridi , Stéphane Rubini , Mounir Lallali , Martha Johanna Sepulveda Florez , Frank Singhoff ACM Journal on Emerging Technologies in Computing Systems, 2019, 15 (1), pp.2:1--2:37. ⟨10.1145/3264818⟩ Article dans une revue hal-01867949v1
	Verification of Scheduling Properties Based on Execution Traces Valérie-Anne Nicolas , Mounir Lallali , Stéphane Rubini , Frank Singhoff Ada User Journal, 2018 Article dans une revue hal-01868846v1
	Design and Multi-Abstraction Level Evaluation of a NoC Router for Mixed-Criticality Real-Time Systems Mourad Dridi , Stéphane Rubini , Mounir Lallali , Martha Johanna Sepulveda Florez , Frank Singhoff ACM Journal on Emerging Technologies in Computing Systems, 2018 Article dans une revue hal-01867673v1
	NORTH: Non-intrusive Observation and RunTime verification of cyber-pHysical systems. José Rufino , António Casimiro , Antónia Lopes , Frank Singhoff , Stéphane Rubini Ada User Journal, 2018 Article dans une revue hal-01869010v1

	DAS: An Efficient NoC Router for Mixed-Criticality Real-Time Systems Mourad Dridi , Stéphane Rubini , Mounir Lallali , Martha Johanna Sepulveda Florez , Frank Singhoff 2017 IEEE 35th International Conference on Computer Design (ICCD), Nov 2017, Boston, United States. ⟨10.1109/ICCD.2017.42⟩ Communication dans un congrès hal-01713312v1
	Modeling and Validation of a Mixed-Criticality NoC Router Using the IF Language Mourad Dridi , Mounir Lallali , Stéphane Rubini , Frank Singhoff , Jean-Philippe Diguet the 10th International Workshop on Network on Chip Architectures, Oct 2017, Boston, United States. ⟨10.1145/3139540.3139543⟩ Communication dans un congrès hal-01713333v1

	NoC and Mixed-criticality Systems Mourad Dridi , Stéphane Rubini , Mounir Lallali , Frank Singhoff , Jean-Philippe Diguet 2017 Autre publication scientifique hal-01716934v1

Frank Singhoff