( en | de | ru )

 

Disambiguation of "Mallet, Frédéric"

Author of the publication

copydeleteadd this publication to your clipboard
MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks.

, , , , and . FACS, volume 10231 of Lecture Notes in Computer Science, page 111-133. (2016)

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 Ruckert

Frédéric Robin

Frédéric Roux

Frédéric Leroux

 

Other publications of authors with the same name

pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in Cyber Physical Systems., , , and . Sci. Comput. Program., (2018)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)TRAP: trace runtime analysis of properties., , and . Frontiers Comput. Sci., 14 (3): 143201 (2020)Hybrid MARTE statecharts., , , , and . Frontiers Comput. Sci., 7 (1): 95-108 (2013)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)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)