( en | de | ru )

 

Disambiguation of "Cleophas, Loek"

Author of the publication

copydeleteadd this publication to your clipboard
Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY.

, , , , , and . The Logic of Software. A Tasting Menu of Formal Methods, volume 13360 of Lecture Notes in Computer Science, page 80-104. Springer, (2022)

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.

Loek Geeraedts

Cleophas Pelzer

Catherine Cleophas

Lutz Cleophas

Soebiakto Loekman

 

Other publications of authors with the same name

Semi-automatic Architectural Suggestions for the Functional Safety of Cooperative Driving Systems., , , , and . ICSA Companion, page 55-58. IEEE, (2020)X-by-Construction Meets Runtime Verification., , , and . ISoLA (1), volume 13701 of Lecture Notes in Computer Science, page 141-148. Springer, (2022)Using n-grams for the Automated Clustering of Structural Models., and . SOFSEM, volume 10139 of Lecture Notes in Computer Science, page 510-524. Springer, (2017)Improving Model Inference in Industry by Combining Active and Passive Learning., , , , , , and . SANER, page 253-263. IEEE, (2019)Summary: A Functional Safety Assessment Method for Cooperative Automotive Architecture (short paper)., , , , , and . ECSA (Companion), volume 2978 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Model analytics for feature models: case studies for S.P.L.O.T. repository., , and . MoDELS (Workshops), volume 2245 of CEUR Workshop Proceedings, page 787-792. CEUR-WS.org, (2018)A community-sourced view on engineering digital twins: a report from the EDT.Community., , , , , , , , and . MoDELS (Companion), page 481-485. ACM, (2022)Co-Evolving Meta-Models and View Types in View-Based Development., , , , and . MoDELS (Companion), page 954-963. IEEE, (2023)Interface protocol inference to aid understanding legacy software components., , , and . Softw. Syst. Model., 19 (6): 1519-1540 (2020)Model-Driven Engineering of Digital Twins (Dagstuhl Seminar 22362)., , , , , , and . Dagstuhl Reports, 12 (9): 20-40 (September 2022)