Oded Maler
#167,428
Most Influential Person Now
Oded Maler's AcademicInfluence.com Rankings
Oded Malercomputer-science Degrees
Computer Science
#10184
World Rank
#10680
Historical Rank
Software Engineering
#282
World Rank
#287
Historical Rank
Database
#7133
World Rank
#7381
Historical Rank

Download Badge
Computer Science
Why Is Oded Maler Influential?
(Suggest an Edit or Addition)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: