Oded Maler

From MaRDI portal
Person:533350

Available identifiers

zbMath Open maler.odedMaRDI QIDQ533350

List of research outcomes

PublicationDate of PublicationType
Reachability analysis of pushdown automata: Application to model-checking2023-05-17Paper
https://portal.mardi4nfdi.de/entity/Q49947122021-06-21Paper
Mixed-time signal temporal logic2020-05-05Paper
A Generic Algorithm for Learning Symbolic Automata from Membership Queries2020-02-24Paper
From Real-time Logic to Timed Automata2020-02-11Paper
Online timed pattern matching using derivatives2019-09-17Paper
On some relations between dynamical systems and transition systems2019-04-29Paper
Online timed pattern matching using automata2018-12-06Paper
Specifying Timed Patterns using Temporal Logic2018-12-06Paper
Efficient Parametric Identification for STL2018-12-06Paper
Measuring with timed patterns2018-03-01Paper
On the synthesis of discrete controllers for timed systems2017-12-04Paper
On the quantitative semantics of regular expressions over real-valued signals2017-12-01Paper
Combining the temporal and epistemic dimensions for MTL monitoring2017-12-01Paper
Accurate hybridization of nonlinear systems2017-05-10Paper
Amir Pnueli and the dawn of hybrid systems2017-05-10Paper
Achilles and the tortoise climbing up the arithmetical hierarchy2017-01-19Paper
Trace Diagnostics Using Temporal Implicants2016-01-08Paper
Stochastic Local Search for Falsification of Hybrid Systems2016-01-08Paper
Timed regular expressions2015-10-30Paper
Learning Regular Languages over Large Ordered Alphabets2015-10-29Paper
Timed Pattern Matching2015-08-06Paper
The Unmet Challenge of Timed Systems2014-07-24Paper
Symmetry Breaking for Multi-criteria Mapping and Scheduling on Multicores2013-08-16Paper
Verification of Asynchronous Circuits using Timed Automata2013-08-15Paper
As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty2013-08-05Paper
On Temporal Logic and Signal Processing2012-11-21Paper
Performance Evaluation of Schedulers in a Probabilistic Setting2011-10-07Paper
Computing reachable states for nonlinear biological models2011-05-03Paper
Verification of Timed Automata via Satisfiability Checking2011-04-08Paper
Using Redundant Constraints for Refinement2010-10-04Paper
Robust Satisfaction of Temporal Logic over Real-Valued Signals2010-09-10Paper
On the Krohn-Rhodes Cascaded Decomposition Theorem2010-09-07Paper
Approximating the Pareto Front of Multi-criteria Optimization Problems2010-04-27Paper
On Omega-Languages Defined by Mean-Payoff Conditions2009-03-31Paper
Systematic Simulation Using Sensitivity Analysis2009-03-11Paper
On Scheduling Policies for Streams of Structured Jobs2008-12-02Paper
From MITL to Timed Automata2008-07-08Paper
On Timed Models of Gene Networks2008-07-03Paper
An efficient automata approach to some problems on context-free grammars.2008-06-27Paper
Approximating Continuous Systems by Timed Automata2008-06-17Paper
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors2008-03-25Paper
On Synthesizing Controllers from Bounded-Response Properties2007-11-29Paper
Foundations of Software Science and Computation Structures2007-09-28Paper
Fast and Flexible Difference Constraint Propagation for DPLL(T)2007-09-04Paper
On Interleaving in Timed Automata2007-09-04Paper
Hybrid Systems: Computation and Control2007-05-02Paper
Formal Modeling and Analysis of Timed Systems2006-11-14Paper
Formal Methods in Computer-Aided Design2006-10-20Paper
Scheduling with timed automata2006-04-28Paper
Formal Modeling and Analysis of Timed Systems2006-01-10Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems2005-08-19Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems2005-08-19Paper
https://portal.mardi4nfdi.de/entity/Q48175502004-09-24Paper
https://portal.mardi4nfdi.de/entity/Q44722312004-08-04Paper
https://portal.mardi4nfdi.de/entity/Q44179262003-07-30Paper
https://portal.mardi4nfdi.de/entity/Q44179972003-07-30Paper
https://portal.mardi4nfdi.de/entity/Q48062082003-05-21Paper
https://portal.mardi4nfdi.de/entity/Q45511792002-09-04Paper
https://portal.mardi4nfdi.de/entity/Q45524512002-09-03Paper
https://portal.mardi4nfdi.de/entity/Q45524582002-09-03Paper
https://portal.mardi4nfdi.de/entity/Q27541972001-11-11Paper
https://portal.mardi4nfdi.de/entity/Q42495612001-01-11Paper
https://portal.mardi4nfdi.de/entity/Q49533762000-06-21Paper
https://portal.mardi4nfdi.de/entity/Q42495631999-12-02Paper
https://portal.mardi4nfdi.de/entity/Q42519201999-09-23Paper
Discrete-continuous systems. An algorithmic aspect.1999-05-30Paper
Achilles and the tortoise climbing up the arithmetical hierarchy1999-04-26Paper
On syntactic congruences for \(\omega\)-languages1998-07-22Paper
Reachability analysis of dynamical systems having piecewise-constant derivatives1997-09-29Paper
A decomposition theorem for probabilistic transition systems1997-02-28Paper
On the effects of noise and speed on computations1995-10-09Paper
On the learnability of infinitary regular sets1995-07-10Paper
https://portal.mardi4nfdi.de/entity/Q42998651995-02-13Paper
https://portal.mardi4nfdi.de/entity/Q42815341994-11-28Paper
https://portal.mardi4nfdi.de/entity/Q42815611994-03-10Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Oded Maler