Accéder directement au contenu

Frank Singhoff

2
Documents

Publications

alain-plantec
"jean-philippe-diguet"

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

Synchronization of Models of Rich Languages with Triple Graph Grammars

Dominique Blouin , Pierre Dissaux , Frank Singhoff , Alain Plantec , Jean-Philippe Diguet
International Conference on Model Transformation (ICMT), Jul 2014, York, United Kingdom
Communication dans un congrès hal-01083267v1