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
Symbolic model checking with rich assertional languages.

, , , , and . Theor. Comput. Sci., 256 (1-2): 93-112 (2001)

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

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)Monitoring properties of analog and mixed-signal circuits., and . STTT, 15 (3): 247-268 (2013)A Kleene Theorem for Timed Automata., , and . LICS, page 160-171. IEEE Computer Society, (1997)Approximating Continuous Systems by Timed Automata., and . FMSB, volume 5054 of Lecture Notes in Computer Science, page 77-89. Springer, (2008)Some Progress in the Symbolic Verification of Timed Automata., , , and . CAV, volume 1254 of Lecture Notes in Computer Science, page 179-190. Springer, (1997)On some Relations between Dynamical Systems and Transition Systems., and . ICALP, volume 820 of Lecture Notes in Computer Science, page 59-72. Springer, (1994)On Optimal Scheduling under Uncertainty., , and . TACAS, volume 2619 of Lecture Notes in Computer Science, page 240-253. Springer, (2003)On Switching Aware Synthesis for Combinational Circuits., and . Haifa Verification Conference, volume 9434 of Lecture Notes in Computer Science, page 276-291. Springer, (2015)Learning omega-Regular Languages from Queries and Counter-Examples (A Preliminary Report)., and . AII, volume 397 of Lecture Notes in Computer Science, page 161-170. Springer, (1989)