Algorithmic Verification of Continuous and Hybrid Systems

by Oded Maler
Published 2014-02-01

Formal and Informal Methods for Multi-Core Design Space Exploration

by Jean-Francois Kempf, Olivier Lebeltel, Oded Maler
Published 2014-06-01

On Zone-Based Analysis of Duration Probabilistic Automata

by Bruce H. Krogh, Kim G. Larsen, Oded Maler
Published 2010-10-01

Exploring the Dynamics of Mass Action Systems

by Oded Maler, Ádám M. Halász, Olivier Lebeltel, Ouri Maler
Published 2013-08-01

STL-based analysis of TRAIL-induced apoptosis challenges the notion of type I/type II cell line classification.

by Szymon Stoma, Alexandre Donzé, François Bertaux, Oded Maler, Gregory Batt
Published 2013-01-01

Robustness analysis and behavior discrimination in enzymatic reaction networks.

by Alexandre Donzé, Eric Fanchon, Lucie Martine Gattepaille, Oded Maler, Philippe Tracqui
Published 2011-01-01