Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications using Reinforcement Learning.

M. Hu, J. Ding, M. Zhang, F. Mallet, and M. Chen. RTSS, page 227-239. IEEE, (2021)

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 Robin

Frédéric Ruckert

Frédéric Roux

Frédéric Leroux

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).F. Mallet. (2010)Event-Triggered vs. Time-Triggered Communications with UML MARTE.F. Mallet, R. de Simone, and L. Rioux. FDL, page 154-159. IEEE, (2008)Hybrid MARTE statecharts.J. Liu, Z. Liu, J. He, F. Mallet, and Z. Ding. Frontiers Comput. Sci., 7 (1): 95-108 (2013)A clock-based dynamic logic for schedulability analysis of CCSL specifications.Y. Zhang, F. Mallet, H. Zhu, Y. Chen, B. Liu, and Z. Liu. Sci. Comput. Program., (2021)Formally verifying consistency of sequence diagrams for safety critical systems.X. Chen, Q. Liu, F. Mallet, Q. Li, S. Cai, and Z. Jin. Sci. Comput. Program., (2022)Lazy Parallel Synchronous Composition of Infinite Transition Systems.Y. Romenska, and F. Mallet. ICTERI, volume 1000 of CEUR Workshop Proceedings, page 130-145. CEUR-WS.org, (2013)Real-Time CCSL: Application to the Mechanical Lung Ventilator.P. Tokariev, and F. Mallet. ABZ, volume 14759 of Lecture Notes in Computer Science, page 289-306. Springer, (2024)Polychronous Analysis of Timing Constraints in UML MARTE.H. Yu, J. Talpin, L. Besnard, T. Gautier, F. Mallet, C. André, and R. de Simone. ISORC Workshops, page 145-151. IEEE Computer Society, (2010)Safe CCSL specifications and marked graphs.F. Mallet, J. Millo, and R. de Simone. MEMOCODE, page 157-166. IEEE, (2013)Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications.Y. Zhang, H. Wu, Y. Chen, and F. Mallet. FTSCS, volume 1008 of Communications in Computer and Information Science, page 101-118. Springer, (2018)

BibSonomy

Disambiguation of "Mallet, Frédéric"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications using Reinforcement Learning.

Please choose a person to relate this publication to

Grégory Mallet

Frédéric Robin

Frédéric Ruckert

Frédéric Roux

Frédéric Leroux

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Mallet, Frédéric"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications using Reinforcement Learning.

Please choose a person to relate this publication to

Grégory Mallet

Frédéric Robin

Frédéric Ruckert

Frédéric Roux

Frédéric Leroux

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications using Reinforcement Learning.