( en | de | ru )

 

Disambiguation of "Mallet, Frédéric"

Author of the publication

copydeleteadd this publication to your clipboard
Polychronous Analysis of Timing Constraints in UML MARTE.

, , , , , , and . ISORC Workshops, page 145-151. IEEE Computer Society, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Grégory Mallet

Frédéric Leroux

Frédéric Robin

Frédéric Roux

Frédéric Ruckert

 

Other publications of authors with the same name

Temps Logique pour l'ingénierie dirigée par le modèles (Logical Time in Model-Driven Engineering).. (2010)Event-Triggered vs. Time-Triggered Communications with UML MARTE., , and . FDL, page 154-159. IEEE, (2008)A clock-based dynamic logic for schedulability analysis of CCSL specifications., , , , , and . Sci. Comput. Program., (2021)Formally verifying consistency of sequence diagrams for safety critical systems., , , , , and . Sci. Comput. Program., (2022)Hybrid MARTE statecharts., , , , and . Frontiers Comput. Sci., 7 (1): 95-108 (2013)Lazy Parallel Synchronous Composition of Infinite Transition Systems., and . ICTERI, volume 1000 of CEUR Workshop Proceedings, page 130-145. CEUR-WS.org, (2013)Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications., , , and . FTSCS, volume 1008 of Communications in Computer and Information Science, page 101-118. Springer, (2018)Polychronous Analysis of Timing Constraints in UML MARTE., , , , , , and . ISORC Workshops, page 145-151. IEEE Computer Society, (2010)Safe CCSL specifications and marked graphs., , and . MEMOCODE, page 157-166. IEEE, (2013)Real-Time CCSL: Application to the Mechanical Lung Ventilator., and . ABZ, volume 14759 of Lecture Notes in Computer Science, page 289-306. Springer, (2024)