| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Selma Saidi, Pranav Tendulkar, Thierry Lepley, Oded Maler |
Optimizing explicit data transfers for data parallel applications on the cell architecture.  |
TACO  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thao Dang, Colas Le Guernic, Oded Maler |
Computing reachable states for nonlinear biological models. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Alexandre Donzé, Oded Maler, Dejan Nickovic |
Parametric Identification of Temporal Properties. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Maler |
On under-determined dynamical systems. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Francois Kempf, Marius Bozga, Oded Maler |
Performance Evaluation of Schedulers in a Probabilistic Setting. |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Legriel, Scott Cotton, Oded Maler |
On universal search strategies for multi-criteria optimization using weighted sums. |
IEEE Congress on Evolutionary Computation |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott Cotton, Oded Maler, Julien Legriel, Selma Saidi |
Multi-criteria optimization for mapping programs to multi-processors. |
SIES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler |
SpaceEx: Scalable Verification of Hybrid Systems. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Maler, Kim G. Larsen, Bruce H. Krogh |
On Zone-Based Analysis of Duration Probabilistic Automata |
INFINITY |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Legriel, Colas Le Guernic, Scott Cotton, Oded Maler |
Approximating the Pareto Front of Multi-criteria Optimization Problems. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Donzé, Oded Maler |
Robust Satisfaction of Temporal Logic over Real-Valued Signals. |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John Havlicek, Scott Little, Oded Maler, Dejan Nickovic |
Property-Based Monitoring of Analog and Mixed-Signal Systems. |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Thao Dang, Oded Maler, Romain Testylier |
Using Redundant Constraints for Refinement. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Maler |
On the Krohn-Rhodes Cascaded Decomposition Theorem. |
Essays in Memory of Amir Pnueli |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thao Dang, Oded Maler, Romain Testylier |
Accurate hybridization of nonlinear systems. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
reachability computation, numerical analysis, non-linear systems |
| 1 | Oded Maler |
Amir Pnueli and the dawn of hybrid systems. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
hybrid systems |
| 1 | Ramzi Ben Salah, Marius Bozga, Oded Maler |
Compositional timing analysis. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
compositional generation, abstraction, timed automata, reachability analysis |
| 1 | Oded Maler |
Reachability for Continuous and Hybrid Systems. |
RP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thao Dang, Colas Le Guernic, Oded Maler |
Computing Reachable States for Nonlinear Biological Models. |
CMSB |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Oded Maler (eds.) |
Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Aldric Degorre, Oded Maler, Gera Weiss |
On Omega-Languages Defined by Mean-Payoff Conditions. |
FOSSACS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Maler, Grégory Batt |
Approximating Continuous Systems by Timed Automata. |
FMSB |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Aldric Degorre, Oded Maler |
On Scheduling Policies for Streams of Structured Jobs. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thao Dang, Alexandre Donzé, Oded Maler, Noa Shalev |
Sensitive state-space exploration. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Maler, Dejan Nickovic, Amir Pnueli |
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Maler |
On optimal and reasonable control in the presence of adversaries. |
Annual Reviews in Control |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Grégory Batt, Ramzi Ben Salah, Oded Maler |
On Timed Models of Gene Networks. |
FORMATS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dejan Nickovic, Oded Maler |
AMT: A Property-Based Monitoring Tool for Analog Systems. |
FORMATS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Maler, Dejan Nickovic, Amir Pnueli |
On Synthesizing Controllers from Bounded-Response Properties. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Goran Frehse, Oded Maler |
Reachability Analysis of a Switched Buffer Network. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Donzé, Oded Maler |
Systematic Simulation Using Sensitivity Analysis. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramzi Ben Salah, Marius Bozga, Oded Maler |
On timed components and their abstraction. |
SAVCBS |
2007 |
DBLP DOI BibTeX RDF |
components, abstraction, timed automata |
| 1 | Yasmina Abdeddaïm, Eugene Asarin, Oded Maler |
Scheduling with timed automata. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Oded Maler |
Time Domain Verification of Oscillator Circuit Properties. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Maler |
Analog Circuit Verification: a State of an Art. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Maler |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramzi Ben Salah, Marius Bozga, Oded Maler |
On Interleaving in Timed Automata. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott Cotton, Oded Maler |
Fast and Flexible Difference Constraint Propagation for DPLL(T). |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Maler, Dejan Nickovic, Amir Pnueli |
From MITL to Timed Automata. |
FORMATS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoine Girard, Colas Le Guernic, Oded Maler |
Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Caspi, Oded Maler |
From Control Loops to Real-Time Programs. |
Handbook of Networked and Embedded Control Systems |
2005 |
DBLP BibTeX RDF |
|
| 1 | Oded Maler, Dejan Nickovic, Amir Pnueli |
Real Time Temporal Logic: Past, Present, Future. |
FORMATS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Thao Dang, Alexandre Donzé, Oded Maler |
Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques. |
FMCAD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Maler, Dejan Nickovic |
Monitoring Temporal Properties of Continuous Signals. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott Cotton, Eugene Asarin, Oded Maler, Peter Niebert |
Some Progress in Satisfiability Checking for Difference Logic. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Bozga, Abdelkarim Kerbaa, Oded Maler |
Scheduling Acyclic Branching Programs on Parallel Machines. |
RTSS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Maler, Amir Pnueli |
On Recognizable Timed Languages. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasmina Abdeddaïm, Eugene Asarin, Oded Maler |
On Optimal Scheduling under Uncertainty. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasmina Abdeddaïm, Abdelkarim Kerbaa, Oded Maler |
Task Graph Scheduling Using Timed Automata. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramzi Ben Salah, Marius Bozga, Oded Maler |
On Timing Analysis of Combinational Circuits. |
FORMATS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Maler, Amir Pnueli (eds.) |
Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings |
|
2003 |
DBLP BibTeX RDF |
|
| 1 | James Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg |
On Systematic Simulation of Open Continuous Systems. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Bozga, Jianmin Hou, Oded Maler, Sergio Yovine |
Verification of Asynchronous Circuits using Timed Automata. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Oded Maler, Sergio Yovine |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Paul Caspi, Oded Maler |
Timed regular expressions. |
J. ACM |
2002 |
DBLP DOI BibTeX RDF |
Kleene theorem, timed languages, timed automata |
| 1 | Yasmina Abdeddaïm, Oded Maler |
Preemptive Job-Shop Scheduling Using Stopwatch Automata. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Maler |
Timed Automata as an Underlying Model for Planning and Scheduling. |
AIPS Workshop on Planning for Temporal Domains |
2002 |
DBLP BibTeX RDF |
|
| 1 | Eugene Asarin, Thao Dang, Oded Maler |
The d/dt Tool for Verification of Hybrid Systems. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, Navendu Jain |
Verification of Timed Automata via Satisfiability Checking. |
FTRTFT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Maler, Bruce H. Krogh, Moez Mahfoudh |
On Control with Bounded Computational Resources. |
FTRTFT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar |
Symbolic model checking with rich assertional languages. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasmina Abdeddaïm, Oded Maler |
Job-Shop Scheduling Using Timed Automata. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Sorav Bansal, Bernard Espiau, Thao Dang, Oded Maler |
On Hybrid Control of Under-Actuated Mechanical Systems. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto L. Sangiovanni-Vincentelli, Thomas A. Henzinger, Bruce H. Krogh, Oded Maler, Manfred Morari, Costas C. Pantelides, George J. Pappas, Tunc Simsec, Janos Sztipanovits, Stavros Tripakis |
Hybrid Systems Applications: An Oxymoron? |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Javier Esparza, Alain Finkel, Oded Maler, Peter Rossmanith, Bernard Willems, Pierre Wolper |
An efficient automata approach to some problems on context-free grammars. |
Inf. Process. Lett. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Bournez, Oded Maler |
On the Representation of Timed Polyhedra. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Thao Dang, Oded Maler, Olivier Bournez |
Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Bozga, Oded Maler, Stavros Tripakis |
Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics. |
CHARME |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Bozga, Oded Maler |
On the Representation of Probabilities over Structured Domains. |
CAV |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Oded Maler |
As Soon as Possible: Time Optimal Control for Timed Automata. |
HSCC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Bournez, Oded Maler, Amir Pnueli |
Orthogonal Polyhedra: Representation and Computation. |
HSCC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Oded Maler |
Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy. |
J. Comput. Syst. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Oded Maler, Amir Pnueli |
On Discretization of Delays in Timed Automata and Digital Circuits. |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine |
Kronos: A Model-Checking Tool for Real-Time Systems. |
CAV |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Thao Dang, Oded Maler |
Reachability Analysis via Face Lifting. |
HSCC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine |
KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98). |
FTRTFT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Maler, Ludwig Staiger |
On Syntactic Congruences for Omega-Languages. |
Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Javier Esparza, Oded Maler |
Reachability Analysis of Pushdown Automata: Application to Model-Checking. |
CONCUR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar |
Symbolic Model Checking with Rich ssertional Languages. |
CAV |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Bozga, Oded Maler, Amir Pnueli, Sergio Yovine |
Some Progress in the Symbolic Verification of Timed Automata. |
CAV |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Marius Bozga, Alain Kerbrat, Oded Maler, Amir Pnueli, Anne Rasse |
Data-Structures for the Verification of Timed Automata. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Maler (eds.) |
Hybrid and Real-Time Systems, International Workshop. HART'97, Grenoble, France, March 26-28, 1997, Proceedings |
HART |
1997 |
DBLP BibTeX RDF |
|
| 1 | Eugene Asarin, Paul Caspi, Oded Maler |
A Kleene Theorem for Timed Automata. |
LICS |
1997 |
DBLP DOI BibTeX RDF |
Kleene theorem, timed regular expressions, dense-time discrete-valued signals, /spl omega/-regular expressions, timed automata, expressive power, automata theory |
| 1 | Oded Maler |
A Decomposition Theorem for Probabilistic Transition Systems. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Oded Maler, Amir Pnueli |
Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Maler, Amir Pnueli |
On the Learnability of Infinitary Regular Sets |
Inf. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Maler, Amir Pnueli, Joseph Sifakis |
On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract). |
STACS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Maler, Amir Pnueli |
Timing analysis of asynchronous circuits using timed automata. |
CHARME |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Oded Maler |
Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy. |
FSTTCS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Delyon, Oded Maler |
On the Effects of Noise and Speed on Computations. |
Theor. Comput. Sci. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Oded Maler |
On some Relations between Dynamical Systems and Transition Systems. |
ICALP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Oded Maler, Amir Pnueli |
Symbolic Controller Synthesis for Discrete and Timed Systems. |
Hybrid Systems |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Maler |
A Decomposition Theorem for Probabilistic Transition Systems. |
STACS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Maler, Ludwig Staiger |
On Syntactic Congruences for Omega-Languages. |
STACS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Maler, Amir Pnueli |
Reachability Analysis of Planar Multi-limear Systems. |
CAV |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Delyon, Oded Maler |
On Fault-Tolerant Symbolic Computations. |
FTRTFT |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Maler, Amir Pnueli |
On the Learnability of Infinitary Regular Sets. |
COLT |
1991 |
DBLP BibTeX RDF |
|
| 1 | Oded Maler, Zohar Manna, Amir Pnueli |
From Timed to Hybrid Systems. |
REX Workshop |
1991 |
DBLP DOI BibTeX RDF |
discrete and continuous systems, Real-time, hybrid systems, Statecharts, timed transitions system |
| 1 | Oded Maler, Amir Pnueli |
Tight Bounds on the Complexity of Cascaded Decomposition of Automata |
FOCS |
1990 |
DBLP DOI BibTeX RDF |
Krohn-Rhodes decomposition, cascaded decomposition, complexity, temporal logic, automata |
| 1 | Oded Maler, Amir Pnueli |
Learning omega-Regular Languages from Queries and Counter-Examples (A Preliminary Report). |
AII |
1989 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")