( en | de | ru )

 

Disambiguation of "Maler, Oded"

Author of the publication

copydeleteadd this publication to your clipboard
AMT: A Property-Based Monitoring Tool for Analog Systems.

, and . FORMATS, volume 4763 of Lecture Notes in Computer Science, page 304-319. Springer, (2007)

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.

Oded Green

Oded Maron

Joachim Malert

Cornelius Malerczyk

Eduard Maler

 

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

The Unmet Challenge of Timed Systems.. FPS@ETAPS, том 8415 из Lecture Notes in Computer Science, стр. 177-192. Springer, (2014)Efficient Parametric Identification for STL., , и . HSCC, стр. 177-186. ACM, (2018)Orthogonal Polyhedra: Representation and Computation., , и . HSCC, том 1569 из Lecture Notes in Computer Science, стр. 46-60. Springer, (1999)AMT: A Property-Based Monitoring Tool for Analog Systems., и . FORMATS, том 4763 из Lecture Notes in Computer Science, стр. 304-319. Springer, (2007)Reachability for Continuous and Hybrid Systems.. RP, том 5797 из Lecture Notes in Computer Science, стр. 24-25. Springer, (2009)On Control with Bounded Computational Resources., , и . FTRTFT, том 2469 из Lecture Notes in Computer Science, стр. 147-164. Springer, (2002)Mixed-Time Signal Temporal Logic., , и . FORMATS, том 11750 из Lecture Notes in Computer Science, стр. 59-75. Springer, (2019)Tight Bounds on the Complexity of Cascaded Decomposition of Automata, и . FOCS, стр. 672-682. IEEE Computer Society, (1990)0-8186-2082-X.On Omega-Languages Defined by Mean-Payoff Conditions., , , и . FoSSaCS, том 5504 из Lecture Notes in Computer Science, стр. 333-347. Springer, (2009)From MITL to Timed Automata., , и . FORMATS, том 4202 из Lecture Notes in Computer Science, стр. 274-289. Springer, (2006)