Skip to Main content
Number of documents


Jalil Boukhobza

"Valérie-Anne Nicolas"    Stéphane Rubini   

Journal articles1 document

  • José Rufino, António Casimiro, Antónia Lopes, Frank Singhoff, Stéphane Rubini, et al.. NORTH: Non-intrusive Observation and RunTime verification of cyber-pHysical systems.. Ada User Journal, 2018. ⟨hal-01869010⟩

Conference papers1 document

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