CV Accueil - Archive ouverte HAL

	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
	A Real-Time System Monitoring driven by Scheduling Analysis Stéphane Rubini , Valérie-Anne Nicolas , Frank Singhoff , José Rufino Ada User Journal, 2018, 39 (4), pp.282--286 Article dans une revue hal-01868845v1
	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

	About Early Scheduling Verification Of Embedded Real-Time Critical Systems: An Example With AADL Frank Singhoff , Stéphane Rubini , Hai Nam Tran , Jalil Boukhobza , Laurent Lemarchand Invited speaker at SYRCoSE 2018 - 12th Spring/Summer Young Researchers’ Colloquium on Software Engineering, May 2018, Novgorod the Great, Russia Communication dans un congrès hal-01825157v1

	Increasing the autonomy of an underwater ROV Marko Vukšić , Tonko Kovacevic , Barbara Džaja , Predrag Đukić , Slaven Šitić Sea Tech Week, Sep 2022, Brest, France Poster de conférence hal-03778490v1

Frank Singhoff