Oded Maler

Oded Maler's AcademicInfluence.com Rankings

Oded Maler

Computer Science

#10184

World Rank

#10680

Historical Rank

Software Engineering

#282

World Rank

#287

Historical Rank

Database

#7133

World Rank

#7381

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Why Is Oded Maler Influential?

(Suggest an Edit or Addition)

(See a Problem?)

Oded Maler's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

SpaceEx: Scalable Verification of Hybrid Systems (2011) (922)
Monitoring Temporal Properties of Continuous Signals (2004) (906)
Reachability Analysis of Pushdown Automata: Application to Model-Checking (1997) (683)
On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract) (1995) (632)
Robust Satisfaction of Temporal Logic over Real-Valued Signals (2010) (531)
From Timed to Hybrid Systems (1991) (458)
Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems (2000) (367)
Kronos: A Model-Checking Tool for Real-Time Systems (1998) (345)
Symbolic Controller Synthesis for Discrete and Timed Systems (1994) (287)
Controller Synthesis for Timed Automata 1 (1998) (264)
CONTROLLER SYNTHESIS FOR TIMED AUTOMATA (2006) (263)
Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs (2006) (255)
Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives (1995) (252)
Effective synthesis of switching controllers for linear systems (2000) (251)
Symbolic model checking with rich assertional languages (2001) (238)
Reachability Analysis via Face Lifting (1998) (225)
Timed regular expressions (2002) (212)
Scheduling with timed automata (2006) (206)
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications (2018) (201)
The d/dt Tool for Verification of Hybrid Systems (2002) (198)
Efficient Robust Monitoring for STL (2013) (195)
As Soon as Possible: Time Optimal Control for Timed Automata (1999) (170)
Systematic Simulation Using Sensitivity Analysis (2007) (153)
From MITL to Timed Automata (2006) (142)
Parametric Identification of Temporal Properties (2011) (142)
KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98) (1998) (141)
Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques (2004) (139)
Symbolic Model Checking with Rich ssertional Languages (1997) (129)
Data-Structures for the Verification of Timed Automata (1997) (123)
On the learnability of infinitary regular sets (1991) (123)
Recent progress in continuous and hybrid reachability analysis (2006) (121)
A Kleene theorem for timed automata (1997) (120)
Orthogonal Polyhedra: Representation and Computation (1999) (119)
AMT: A Property-Based Monitoring Tool for Analog Systems (2007) (118)
Job-Shop Scheduling Using Timed Automata (2001) (118)
Accurate hybridization of nonlinear systems (2010) (114)
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors (2008) (111)
Some Progress in the Symbolic Verification of Timed Automata (1997) (109)
Timing analysis of asynchronous circuits using timed automata (1995) (109)
Hybrid and Real-Time Systems (1997) (103)
Approximating the Pareto Front of Multi-criteria Optimization Problems (2010) (100)
Computing reachable states for nonlinear biological models (2009) (90)
Monitoring properties of analog and mixed-signal circuits (2013) (90)
On Temporal Logic and Signal Processing (2012) (88)
On Discretization of Delays in Timed Automata and Digital Circuits (1998) (88)
Real Time Temporal Logic: Past, Present, Future (2005) (87)
Preemptive Job-Shop Scheduling Using Stopwatch Automata (2002) (82)
Fast and Flexible Difference Constraint Propagation for DPLL(T) (2006) (80)
Verification of Timed Automata via Satisfiability Checking (2002) (67)
On Syntactic Congruences for Omega-Languages (1993) (67)
Task graph scheduling using timed automata (2003) (67)
On Systematic Simulation of Open Continuous Systems (2003) (65)
Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics (1999) (61)
On the Representation of Probabilities over Structured Domains (1999) (59)
Approximating Continuous Systems by Timed Automata (2008) (58)
Timed Pattern Matching (2014) (58)
Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy (1995) (58)
Robustness Analysis and Behavior Discrimination in Enzymatic Reaction Networks (2011) (57)
Stochastic Local Search for Falsification of Hybrid Systems (2015) (50)
On Synthesizing Controllers from Bounded-Response Properties (2007) (47)
Reachability Analysis of Planar Multi-limear Systems (1993) (46)
On Interleaving in Timed Automata (2006) (45)
Time Domain Verification of Oscillator Circuit Properties (2006) (44)
Learning Regular Languages over Large Alphabets (2014) (44)
Hardware timing verification using KRONOS (1996) (42)
Sensitive state-space exploration (2008) (42)
AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic (2018) (41)
Control from computer science (2001) (41)
Online Timed Pattern Matching Using Derivatives (2016) (40)
Verification of Asynchronous Circuits using Timed Automata (2002) (37)
On some Relations between Dynamical Systems and Transition Systems (1994) (36)
d/dt: a verification tool for hybrid systems (2001) (35)
Some Progress in Satisfiability Checking for Difference Logic (2004) (33)
On Omega-Languages Defined by Mean-Payoff Conditions (2009) (33)
An efficient automata approach to some problems on context-free grammars (2000) (33)
On Recognizable Timed Languages (2004) (32)
Trace Diagnostics Using Temporal Implicants (2015) (31)
Many-Core Scheduling of Data Parallel Applications Using SMT Solvers (2014) (30)
Tight bounds on the complexity of cascaded decomposition of automata (1990) (29)
On Zone-Based Analysis of Duration Probabilistic Automata (2010) (29)
Hybrid Systems: Computation and Control (2003) (28)
Multi-criteria optimization for mapping programs to multi-processors (2011) (28)
From Control Loops to Real-Time Programs (2005) (27)
Compositional timing analysis (2009) (26)
Optimizing explicit data transfers for data parallel applications on the cell architecture (2012) (26)
On Timed Models of Gene Networks (2007) (26)
Efficient Parametric Identification for STL (2018) (26)
On Optimal Scheduling under Uncertainty (2003) (25)
Using Redundant Constraints for Refinement (2010) (25)
Learning Regular Languages over Large Ordered Alphabets (2015) (25)
Computing Reachable Sets : An Introduction (2008) (24)
STL-based Analysis of TRAIL-induced Apoptosis Challenges the Notion of Type I/Type II Cell Line Classification (2013) (24)
d/dt: A Tool for Reachability Analysis of Continuous and Hybrid Systems (2001) (22)
Data-structures for the Veriication of Timed Automata ? (1997) (21)
A Generic Algorithm for Learning Symbolic Automata from Membership Queries (2017) (21)
On the Quantitative Semantics of Regular Expressions over Real-Valued Signals (2017) (21)
On Timing Analysis of Combinational Circuits (2003) (20)
Algorithmic Verification of Continuous and Hybrid Systems (2014) (20)
A Satisfiability Checker for Difference Logic (2007) (20)
Symmetry Breaking for Multi-criteria Mapping and Scheduling on Multicores (2013) (19)
Measuring with Timed Patterns (2015) (19)
As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty (2013) (16)
On optimal and sub-optimal control in the presence of adversaries 1 (2004) (16)
On timed components and their abstraction (2007) (16)
On the Cascaded Decomposition of Automata, its Complexity and its Application to Logic (1994) (16)
On the Representation of Timed Polyhedra (2000) (16)
A unified approach for studying discrete and continuous dynamical systems (1998) (15)
Meeting Deadlines Cheaply (2011) (15)
Some Thoughts on Runtime Verification (2016) (14)
On the Krohn-Rhodes Cascaded Decomposition Theorem (2010) (14)
A Decomposition Theorem for Probabilistic Transition Systems (1993) (14)
Strictly Periodic Scheduling of Acyclic Synchronous Dataflow Graphs using SMT Solvers (2014) (12)
On optimal and reasonable control in the presence of adversaries (2007) (12)
From Real-time Logic to Timed Automata (2019) (11)
Hybrid and real-time systems : International Workshop, HART'97, Grenoble, France, March 26-28, 1997 : proceedings (1997) (11)
Online Timed Pattern Matching Using Automata (2018) (11)
Control from Computer Science 1 (2003) (9)
Optimizing two-dimensional DMA transfers for scratchpad Based MPSoCs platforms (2013) (9)
Optimal 2D Data Partitioning for DMA Transfers on MPSoCs (2012) (9)
Guest Editorial: Verification of Hybrid Systems (2001) (9)
Amir Pnueli and the dawn of hybrid systems (2010) (9)
Data-Structures for the Veri cationof Timed Automata ? (1997) (9)
On Control with Bounded Computational Resources (2002) (9)
On Scheduling Policies for Streams of Structured Jobs (2008) (9)
Reachability Analysis of a Switched Buffer Network (2007) (8)
Specifying Timed Patterns using Temporal Logic (2018) (8)
Scheduling acyclic branching programs on parallel machines (2004) (8)
Timed Automata as an Underlying Model for Planning and Scheduling (2002) (8)
Hybrid systems : computation and control : 6th International Workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedings (2003) (8)
On the Effects of Noise and Speed on Computations (1994) (7)
On under-determined dynamical systems (2011) (7)
Learning Monotone Partitions of Partially-Ordered Domains (Work in Progress) (2017) (7)
Recent Progress in Continuoushybrid Reachability Analysis (2006) (7)
Satisfiability Modulo Theory Chains with DPLL(T) (2006) (7)
A Runtime Environment for Real-time Streaming Applications on Clustered Multi-cores (2015) (6)
On Hybrid Control of Under-Actuated Mechanical Systems (2001) (6)
Performance Evaluation of Schedulers in a Probabilistic Setting (2011) (6)
Analog Circuit Verification: a State of an Art (2006) (5)
Hybrid Systems and Real World Computations (2006) (5)
A New Approach for Intruducing Prolog to Naive Users (1986) (5)
ParetoLib: A Python Library for Parameter Synthesis (2019) (5)
On universal search strategies for multi-criteria optimization using weighted sums (2011) (5)
Optimal control for timed automata 1 (1999) (4)
Deliverable D 1 . 3 / 1 Extending PSL for Analog Circuits (2005) (4)
Combining the Temporal and Epistemic Dimensions for MTL Monitoring (2017) (4)
Cellular iron regulation in animals: need and use of suitable models (2013) (4)
Proceedings of the 21st International Conference on Computer Aided Verification (2009) (3)
Double archive Pareto local search (2016) (3)
Exploring the Dynamics of Mass Action Systems (2013) (3)
Reducing power with activity trigger analysis (2015) (3)
On the Programming of Industrial Computers (2013) (3)
Proceedings of the 6th international conference on Hybrid systems: computation and control (2003) (3)
Set-Based Analysis for Biological Modeling (2019) (3)
Mixed-Time Signal Temporal Logic (2019) (2)
Property-Based Monitoring of Analog and Mixed-Signal Systems (2010) (2)
Computer aided verification : 21th international conference, CAV 2009, Grenoble, France, June 26-July 2, 2009 : proceedings (2009) (2)
The Unmet Challenge of Timed Systems (2014) (2)
Examples of Analog Assertions (2008) (2)
An Efficient Automata Approach to Some . . . (2000) (2)
Hybrid Systems Biology (2014) (2)
Learning omega-Regular Languages from Queries and Counter-Examples (A Preliminary Report) (1989) (2)
Specific Targeted Research Project Thematic Priority : Information Society Technologies Final Proposal for PSL Analog Extensions (2006) (1)
Architecture and Code Optimization (2011) (1)
Automatic Abstraction of Timed Components (2006) (1)
Computer Aided Verification (2009) (1)
A Framework for Control Strategies in Uncertain Inference Networks (1985) (1)
On Switching Aware Synthesis for Combinational Circuits (2015) (1)
On the implementation of control loops by software (2006) (1)
Why should we build artificial worms and how (1993) (1)
Proceedings of the International Workshop on Hybrid and Real-Time Systems (1997) (1)
Hybrid Systems Applications: An Oxymoron? (2001) (1)
ISRAEL A FRAMEWORK FOR CONTROL STRATEGU : S IN UNCERTAIN INFERENCE NETWORKS (2011) (0)
On some Potential Research Contributions to the Multi-Core Enterprise a position paper (2009) (0)
Kronos : a model-checking tool for real-timesystems ? ( Tool-presentation submission for CAV ' 98 ) (2019) (0)
Specification Formalisms for Modern Cyber-Physical Systems (2019) (0)
Approximate Learning of Monotone Functions (2017) (0)
Monitoring Cyber-Physical Systems (2017) (0)
Analysis and Tools : Scheduling and Planning Algorithms (2006) (0)
Reachabil i ty Analysis of Planar Multi-l inear Systems * (2005) (0)
Data-Struc tures for the Verif ication of T imed Automata * (0)
Property-based System Design Analog Case Study (deliverable 3.4/2) Table of Revisions Version Date Description and Reason by Affected Sec- Tions Contents (2006) (0)
Diversity Oriented Local Search for Multi-criteria Optimization (2015) (0)
The Use of Logic Programming in Education (1987) (0)
On Fault-Tolerant Symbolic Computations (1992) (0)
Project Description CPM : Cyber-Physical Data Mining for Predictive Maintenance (2017) (0)
Analysis and Tools: Scheduling and Planning Algorithms A revised Version (2006) (0)
Hybrid Systems Biology: Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014 (2016) (0)
Guest Editorial Veri cation of Hybrid Systems (2006) (0)
Appendix to SpaceEx: Scalable Verification of Hybrid Systems (2011) (0)
Satisfiability Modulo Theory Chains with DPLL ( T ) Scott Cotton and (2006) (0)
Combining Formal Verification and Timing Analysis (2002) (0)
Timed Formal Languages - A Framework for Hybrid Systems (1998) (0)
Monitoring properties of analog and mixed-signal circuits (2012) (0)
Reachability for Continuous and Hybrid Systems (2009) (0)
Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071) (2019) (0)
Formal and Informal Methods for Multi-Core Design Space Exploration (2014) (0)
Modeling and Analysis of Switched Buffer Networks using Hybrid Automata (2006) (0)
Why Should We Build Artiicial Worms and How? (1992) (0)
Formal Methods for the Synthesis of Biomolecular Circuits (Dagstuhl Seminar 18082) (2018) (0)

This paper list is powered by the following services:

What Schools Are Affiliated With Oded Maler?

Oded Maler is affiliated with the following schools:

Grenoble Alpes University

Oded Maler's Academic­Influence.com Rankings

Why Is Oded Maler Influential?

Oded Maler's Published Works

Published Works

What Schools Are Affiliated With Oded Maler?

Oded Maler's AcademicInfluence.com Rankings