( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Real-time MTL with durations as SMT with applications to schedulability analysis.

, , , и . TASE, стр. 49-56. IEEE, (2020)

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.

Martin Leucker

Thorsten Martin Leucker

Roland Leucker

Hermann Josef Leucker

Jean-Joseph Leucker

 

Другие публикации лиц с тем же именем

A Survey of Model Learning Techniques for Recurrent Neural Networks., , и . A Journey from Process Algebra via Timed Automata to Model Learning, том 13560 из Lecture Notes in Computer Science, стр. 81-97. Springer, (2022)Anticipatory Recurrent Monitoring with Uncertainty and Assumptions., , , и . RV, том 13498 из Lecture Notes in Computer Science, стр. 181-199. Springer, (2022)Optimizing Trans-Compilers in Runtime Verification Makes Sense - Sometimes., , , и . TASE, том 13299 из Lecture Notes in Computer Science, стр. 197-204. Springer, (2022)TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems., , , и . ICTAC, том 14446 из Lecture Notes in Computer Science, стр. 388-398. Springer, (2023)Lightweight Verification 2008., и . GI Jahrestagung (2), том P-134 из LNI, стр. 965-966. GI, (2008)A Comparative Analysis of Multi-agent Simulation Platforms for Energy and Mobility Management., , , , и . EUMAS, том 14282 из Lecture Notes in Computer Science, стр. 295-311. Springer, (2023)Parallel Model Checking for the Alternation Free µ-Calculus., , и . TACAS, том 2031 из Lecture Notes in Computer Science, стр. 543-558. Springer, (2001)Local Parallel Model Checking for the Alternation-Free µ-Calculus., , и . SPIN, том 2318 из Lecture Notes in Computer Science, стр. 128-147. Springer, (2002)Runtime Verification of Timed Petri Nets., , , , , , и . PNSE@Petri Nets, том 3730 из CEUR Workshop Proceedings, стр. 122-131. CEUR-WS.org, (2024)A Case Study on Data Protection for a Cloud- and AI-based Homecare Medical Device., , , , и . HEDA@Petri Nets, том 3264 из CEUR Workshop Proceedings, CEUR-WS.org, (2022)