Skip to Main content
Number of documents


Jalil Boukhobza

"Mourad Dridi"   

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 papers2 documents

  • 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⟩
  • Stéphane Rubini, Hai-Nam Tran, Mourad Dridi, Vincent Gaudel, Jalil Boukhobza, et al.. An example of early scheduling analysis with AADL. Présentation invitée à la Journée AADL du GDR SOC-SIP, Nov 2016, Paris, France. ⟨hal-01419160⟩