( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks.

, , , , , и . FMCAD, стр. 1-9. IEEE, (2018)

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.

Sergio Mover

Philipp Möver

Ferdinand Movers

Sergio Dellavalle

Sergio Moccia

 

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

Reaching Out Towards Fully Verified Autonomous Systems., , и . RP, том 11674 из Lecture Notes in Computer Science, стр. 22-32. Springer, (2019)Goal Space Abstraction in Hierarchical Reinforcement Learning via Reachability Analysis., , и . CoRR, (2023)Time-aware relational abstractions for hybrid systems., , , и . EMSOFT, стр. 14:1-14:10. IEEE, (2013)SMT-Based Stability Verification of an Industrial Switched PI Control Systems., , , , , , , , и . DSN-W, стр. 243-250. IEEE, (2023)Historia: Refuting Callback Reachability with Message-History Logics., , , и . Proc. ACM Program. Lang., 7 (OOPSLA2): 1905-1934 (октября 2023)Verification modulo theories., , , , и . Formal Methods Syst. Des., 60 (3): 452-481 (2022)Reconciling Spatial and Temporal Abstractions for Goal Representation., , и . CoRR, (2024)Lifestate: Event-Driven Protocols and Callback Control Flow., , и . ECOOP, том 134 из LIPIcs, стр. 1:1-1:29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Compositional Relational Abstraction for Nonlinear Hybrid Systems., , и . ACM Trans. Embed. Comput. Syst., 16 (5s): 187:1-187:19 (2017)ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics., , , , , , , , , и 3 other автор(ы). ARCH@CPSIoTWeek, том 61 из EPiC Series in Computing, стр. 1-13. EasyChair, (2019)