PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Maler, Oded"

Author of the publication

copydeleteadd this publication to your clipboard
Combining the Temporal and Epistemic Dimensions for MTL Monitoring.

, , , and . FORMATS, volume 10419 of Lecture Notes in Computer Science, page 207-223. Springer, (2017)

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.

No persons found for author name Maler, Oded
add a person with the name Maler, Oded
 

Other publications of authors with the same name

Monitoring properties of analog and mixed-signal circuits., and . STTT, 15 (3): 247-268 (2013)Optimizing two-dimensional DMA transfers for scratchpad Based MPSoCs platforms., , , and . Microprocessors and Microsystems - Embedded Hardware Design, 37 (8-A): 848-857 (2013)Multi-criteria optimization for mapping programs to multi-processors., , , and . SIES, page 9-17. IEEE, (2011)A Kleene Theorem for Timed Automata., , and . LICS, page 160-171. IEEE Computer Society, (1997)Algorithmic Verification of Continuous and Hybrid Systems.. INFINITY, volume 140 of EPTCS, page 48-69. (2013)Some Progress in the Symbolic Verification of Timed Automata., , , and . CAV, volume 1254 of Lecture Notes in Computer Science, page 179-190. Springer, (1997)Approximating Continuous Systems by Timed Automata., and . FMSB, volume 5054 of Lecture Notes in Computer Science, page 77-89. Springer, (2008)On some Relations between Dynamical Systems and Transition Systems., and . ICALP, volume 820 of Lecture Notes in Computer Science, page 59-72. Springer, (1994)Checking Temporal Properties of Discrete, Timed and Continuous Behaviors., , and . Pillars of Computer Science, volume 4800 of Lecture Notes in Computer Science, page 475-505. Springer, (2008)On the Krohn-Rhodes Cascaded Decomposition Theorem.. Essays in Memory of Amir Pnueli, volume 6200 of Lecture Notes in Computer Science, page 260-278. Springer, (2010)