Oded Maler

Optimal control for timed automata 1

Eugene Asarin, Oded Maler, 1999 .

Timed Formal Languages - A Framework for Hybrid Systems

Paul Caspi, Eugene Asarin, Oded Maler, 1998 .

From Real-time Logic to Timed Automata

Dejan Nickovic, Amir Pnueli, Thomas Ferrère, 2019, J. ACM.

AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic

Dogan Ulus, Thomas Ferrère, Olivier Lebeltel, 2020, International Journal on Software Tools for Technology Transfer.

d/dt: A Tool for Reachability Analysis of Continuous and Hybrid Systems

Thao Dang, Eugene Asarin, Oded Maler, 2001 .

Learning Monotone Partitions of Partially-Ordered Domains (Work in Progress)

Oded Maler, 2017 .

Architecture and Code Optimization

Francisco J. Cazorla, Yunheung Paek, Mateo Valero, 2011 .

A Runtime Environment for Real-time Streaming Applications on Clustered Multi-cores

Pranav Tendulkar, Peter Poplavko, Oded Maler, 2015 .

A Framework for Control Strategies in Uncertain Inference Networks pdf

Moshe Ben-Bassat, Oded Maler, 1985, UAI 1985.

Hybrid and Real-Time Systems

Oded Maler, O. Maler, 1997 .