![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Oded Maler
Person information
- affiliation: IMAG, Grenoble, France
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j23]Dogan Ulus
, Thomas Ferrère, Eugene Asarin
, Dejan Nickovic
, Oded Maler:
Elements of Timed Pattern Matching. ACM Trans. Embed. Comput. Syst. 23(4): 59:1-59:45 (2024) - 2020
- [j22]Dejan Nickovic
, Olivier Lebeltel, Oded Maler, Thomas Ferrère, Dogan Ulus
:
AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic. Int. J. Softw. Tools Technol. Transf. 22(6): 741-758 (2020)
2010 – 2019
- 2019
- [j21]Thomas Ferrère, Oded Maler, Dejan Nickovic
, Amir Pnueli:
From Real-time Logic to Timed Automata. J. ACM 66(3): 19:1-19:31 (2019) - [c116]Thomas Ferrère, Oded Maler, Dejan Nickovic:
Mixed-Time Signal Temporal Logic. FORMATS 2019: 59-75 - [c115]Alexey Bakhirkin, Nicolas Basset, Oded Maler, José Ignacio Requeno Jarabo
:
ParetoLib: A Python Library for Parameter Synthesis. FORMATS 2019: 114-120 - [p3]Thao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza
, Alexandre Rocca:
Set-Based Analysis for Biological Modeling. Automated Reasoning for Systems Biology and Medicine 2019: 157-189 - [i3]Jyotirmoy V. Deshmukh, Oded Maler, Dejan Nickovic
:
Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071). Dagstuhl Reports 9(2): 48-72 (2019) - 2018
- [c114]Alexey Bakhirkin, Thomas Ferrère, Dejan Nickovic, Oded Maler, Eugene Asarin
:
Online Timed Pattern Matching Using Automata. FORMATS 2018: 215-232 - [c113]Dogan Ulus
, Oded Maler:
Specifying Timed Patterns using Temporal Logic. HSCC 2018: 167-176 - [c112]Alexey Bakhirkin, Thomas Ferrère, Oded Maler:
Efficient Parametric Identification for STL. HSCC 2018: 177-186 - [c111]Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrère, Dogan Ulus
:
AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic. TACAS (2) 2018: 303-319 - [p2]Ezio Bartocci
, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios Fainekos
, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan:
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications. Lectures on Runtime Verification 2018: 135-175 - [i2]Yaakov Benenson, Neil Dalchau, Heinz Koeppl, Oded Maler:
Formal Methods for the Synthesis of Biomolecular Circuits (Dagstuhl Seminar 18082). Dagstuhl Reports 8(2): 88-100 (2018) - 2017
- [c110]Oded Maler, Irini-Eleftheria Mens:
A Generic Algorithm for Learning Symbolic Automata from Membership Queries. Models, Algorithms, Logics and Tools 2017: 146-169 - [c109]Alexey Bakhirkin, Thomas Ferrère, Oded Maler, Dogan Ulus
:
On the Quantitative Semantics of Regular Expressions over Real-Valued Signals. FORMATS 2017: 189-206 - [c108]Eugene Asarin
, Oded Maler, Dejan Nickovic, Dogan Ulus
:
Combining the Temporal and Epistemic Dimensions for MTL Monitoring. FORMATS 2017: 207-223 - 2016
- [c107]Oded Maler:
Some Thoughts on Runtime Verification. RV 2016: 3-14 - [c106]Oded Maler, Abhinav Srivastav:
Double archive Pareto local search. SSCI 2016: 1-7 - [c105]Dogan Ulus
, Thomas Ferrère, Eugene Asarin
, Oded Maler:
Online Timed Pattern Matching Using Derivatives. TACAS 2016: 736-751 - 2015
- [j20]Irini-Eleftheria Mens, Oded Maler:
Learning Regular Languages over Large Ordered Alphabets. Log. Methods Comput. Sci. 11(3) (2015) - [c104]Thomas Ferrère, Oded Maler, Dejan Nickovic:
Trace Diagnostics Using Temporal Implicants. ATVA 2015: 241-258 - [c103]Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski, Oded Maler:
Stochastic Local Search for Falsification of Hybrid Systems. ATVA 2015: 500-517 - [c102]Thomas Ferrère, Oded Maler, Dejan Nickovic, Dogan Ulus
:
Measuring with Timed Patterns. CAV (2) 2015: 322-337 - [c101]Jan Láník, Oded Maler:
On Switching Aware Synthesis for Combinational Circuits. Haifa Verification Conference 2015: 276-291 - [c100]Jan Láník, Julien Legriel, Erwan Piriou, Emmanuel Viaud, Fahim Rahim, Oded Maler, Solaiman Rahim:
Reducing power with activity trigger analysis. MEMOCODE 2015: 169-178 - [e6]Oded Maler, Ádám M. Halász, Thao Dang, Carla Piazza
:
Hybrid Systems Biology - Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers. Lecture Notes in Computer Science 7699, Springer 2015, ISBN 978-3-319-27655-7 [contents] - 2014
- [c99]Pranav Tendulkar, Peter Poplavko, Ioannis Galanommatis, Oded Maler:
Many-Core Scheduling of Data Parallel Applications Using SMT Solvers. DSD 2014: 615-622 - [c98]Oded Maler:
The Unmet Challenge of Timed Systems. FPS@ETAPS 2014: 177-192 - [c97]Dogan Ulus
, Thomas Ferrère, Eugene Asarin
, Oded Maler:
Timed Pattern Matching. FORMATS 2014: 222-236 - [c96]Oded Maler, Ádám M. Halász, Olivier Lebeltel, Ouri Maler:
Exploring Synthetic Mass Action Models. HSB 2014: 97-110 - [c95]Oded Maler, Irini-Eleftheria Mens:
Learning Regular Languages over Large Alphabets. TACAS 2014: 485-499 - [c94]Jean-Francois Kempf, Olivier Lebeltel, Oded Maler:
Formal and Informal Methods for Multi-Core Design Space Exploration. QAPL 2014: 78-92 - 2013
- [j19]Selma Saidi, Pranav Tendulkar, Thierry Lepley, Oded Maler:
Optimizing two-dimensional DMA transfers for scratchpad Based MPSoCs platforms. Microprocess. Microsystems 37(8-A): 848-857 (2013) - [j18]Szymon Stoma, Alexandre Donzé
, François Bertaux
, Oded Maler, Grégory Batt:
STL-based Analysis of TRAIL-induced Apoptosis Challenges the Notion of Type I/Type II Cell Line Classification. PLoS Comput. Biol. 9(5) (2013) - [j17]Oded Maler, Dejan Nickovic:
Monitoring properties of analog and mixed-signal circuits. Int. J. Softw. Tools Technol. Transf. 15(3): 247-268 (2013) - [c93]Alexandre Donzé, Thomas Ferrère, Oded Maler:
Efficient Robust Monitoring for STL. CAV 2013: 264-279 - [c92]Pranav Tendulkar, Peter Poplavko, Oded Maler:
Symmetry Breaking for Multi-criteria Mapping and Scheduling on Multicores. FORMATS 2013: 228-242 - [c91]Jean-Francois Kempf, Marius Bozga, Oded Maler:
As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty. TACAS 2013: 385-400 - [c90]Oded Maler:
Algorithmic Verification of Continuous and Hybrid Systems. INFINITY 2013: 48-69 - [c89]Oded Maler, Ádám M. Halász, Olivier Lebeltel, Ouri Maler:
Exploring the Dynamics of Mass Action Systems. HSB 2013: 84-91 - [i1]Moshe Ben-Bassat, Oded Maler:
A Framework for Control Strategies in Uncertain Inference Networks. CoRR abs/1304.3435 (2013) - 2012
- [j16]Selma Saidi, Pranav Tendulkar, Thierry Lepley, Oded Maler:
Optimizing explicit data transfers for data parallel applications on the cell architecture. ACM Trans. Archit. Code Optim. 8(4): 37:1-37:20 (2012) - [c88]Alexandre Donzé, Oded Maler, Ezio Bartocci
, Dejan Nickovic, Radu Grosu, Scott A. Smolka:
On Temporal Logic and Signal Processing. ATVA 2012: 92-106 - [c87]Selma Saidi, Pranav Tendulkar, Thierry Lepley, Oded Maler:
Optimal 2D Data Partitioning for DMA Transfers on MPSoCs. DSD 2012: 584-591 - 2011
- [j15]Thao Dang, Colas Le Guernic, Oded Maler:
Computing reachable states for nonlinear biological models. Theor. Comput. Sci. 412(21): 2095-2107 (2011) - [c86]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: 379-395 - [c85]Julien Legriel, Scott Cotton, Oded Maler:
On universal search strategies for multi-criteria optimization using weighted sums. IEEE Congress on Evolutionary Computation 2011: 2351-2358 - [c84]Julien Legriel, Oded Maler:
Meeting Deadlines Cheaply. ECRTS 2011: 185-194 - [c83]Oded Maler:
On under-determined dynamical systems. EMSOFT 2011: 89-96 - [c82]Jean-Francois Kempf, Marius Bozga, Oded Maler:
Performance Evaluation of Schedulers in a Probabilistic Setting. FORMATS 2011: 1-17 - [c81]Eugene Asarin
, Alexandre Donzé, Oded Maler, Dejan Nickovic:
Parametric Identification of Temporal Properties. RV 2011: 147-160 - [c80]Scott Cotton
, Oded Maler, Julien Legriel, Selma Saidi:
Multi-criteria optimization for mapping programs to multi-processors. SIES 2011: 9-17 - 2010
- [c79]Eugene Asarin
, Thao Dang, Oded Maler, Romain Testylier:
Using Redundant Constraints for Refinement. ATVA 2010: 37-51 - [c78]Oded Maler:
On the Krohn-Rhodes Cascaded Decomposition Theorem. Essays in Memory of Amir Pnueli 2010: 260-278 - [c77]John Havlicek, Scott Little, Oded Maler, Dejan Nickovic:
Property-Based Monitoring of Analog and Mixed-Signal Systems. FORMATS 2010: 23-24 - [c76]Alexandre Donzé, Oded Maler:
Robust Satisfaction of Temporal Logic over Real-Valued Signals. FORMATS 2010: 92-106 - [c75]Thao Dang, Oded Maler, Romain Testylier:
Accurate hybridization of nonlinear systems. HSCC 2010: 11-20 - [c74]Oded Maler:
Amir Pnueli and the dawn of hybrid systems. HSCC 2010: 293-295 - [c73]Julien Legriel, Colas Le Guernic, Scott Cotton
, Oded Maler:
Approximating the Pareto Front of Multi-criteria Optimization Problems. TACAS 2010: 69-83 - [c72]Oded Maler, Kim G. Larsen, Bruce H. Krogh:
On Zone-Based Analysis of Duration Probabilistic Automata. INFINITY 2010: 33-46
2000 – 2009
- 2009
- [c71]Thao Dang, Colas Le Guernic, Oded Maler:
Computing Reachable States for Nonlinear Biological Models. CMSB 2009: 126-141 - [c70]Ramzi Ben Salah, Marius Bozga, Oded Maler:
Compositional timing analysis. EMSOFT 2009: 39-48 - [c69]Rajeev Alur, Aldric Degorre, Oded Maler, Gera Weiss
:
On Omega-Languages Defined by Mean-Payoff Conditions. FoSSaCS 2009: 333-347 - [c68]Oded Maler:
Reachability for Continuous and Hybrid Systems. RP 2009: 24-25 - [e5]Ahmed Bouajjani, Oded Maler:
Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings. Lecture Notes in Computer Science 5643, Springer 2009, ISBN 978-3-642-02657-7 [contents] - 2008
- [c67]Oded Maler, Dejan Nickovic, Amir Pnueli:
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors. Pillars of Computer Science 2008: 475-505 - [c66]Thao Dang, Alexandre Donzé, Oded Maler, Noa Shalev:
Sensitive state-space exploration. CDC 2008: 4049-4054 - [c65]Oded Maler, Grégory Batt:
Approximating Continuous Systems by Timed Automata. FMSB 2008: 77-89 - [c64]Aldric Degorre, Oded Maler:
On Scheduling Policies for Streams of Structured Jobs. FORMATS 2008: 141-154 - 2007
- [j14]Oded Maler:
On optimal and reasonable control in the presence of adversaries. Annu. Rev. Control. 31(1): 1-15 (2007) - [c63]Oded Maler, Dejan Nickovic, Amir Pnueli:
On Synthesizing Controllers from Bounded-Response Properties. CAV 2007: 95-107 - [c62]Grégory Batt, Ramzi Ben Salah, Oded Maler:
On Timed Models of Gene Networks. FORMATS 2007: 38-52 - [c61]Dejan Nickovic, Oded Maler:
AMT: A Property-Based Monitoring Tool for Analog Systems. FORMATS 2007: 304-319 - [c60]Alexandre Donzé, Oded Maler:
Systematic Simulation Using Sensitivity Analysis. HSCC 2007: 174-189 - [c59]Goran Frehse
, Oded Maler:
Reachability Analysis of a Switched Buffer Network. HSCC 2007: 698-701 - [c58]Ramzi Ben Salah, Marius Bozga, Oded Maler:
On timed components and their abstraction. SAVCBS 2007: 63-71 - 2006
- [j13]Yasmina Abdeddaïm, Eugene Asarin
, Oded Maler:
Scheduling with timed automata. Theor. Comput. Sci. 354(2): 272-300 (2006) - [c57]Ramzi Ben Salah, Marius Bozga, Oded Maler:
On Interleaving in Timed Automata. CONCUR 2006: 465-476 - [c56]Oded Maler, Dejan Nickovic, Amir Pnueli:
From MITL to Timed Automata. FORMATS 2006: 274-289 - [c55]Antoine Girard
, Colas Le Guernic, Oded Maler:
Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs. HSCC 2006: 257-271 - [c54]Scott Cotton
, Oded Maler:
Fast and Flexible Difference Constraint Propagation for DPLL(T). SAT 2006: 170-183 - [e4]Oded Maler:
Proceedings of the First Workshop on Formal Verification of Analog Circuits, FAC 2005, Edinburgh, UK, April 9, 2005. Electronic Notes in Theoretical Computer Science 153(3), Elsevier 2006 [contents] - 2005
- [c53]Oded Maler, Dejan Nickovic, Amir Pnueli:
Real Time Temporal Logic: Past, Present, Future. FORMATS 2005: 2-16 - [c52]Oded Maler:
Preface. FAC 2005: 1-2 - [c51]Oded Maler:
Analog Circuit Verification: a State of an Art. FAC 2005: 3-7 - [c50]Goran Frehse
, Bruce H. Krogh, Rob A. Rutenbar
, Oded Maler:
Time Domain Verification of Oscillator Circuit Properties. FAC 2005: 9-22 - [p1]Paul Caspi, Oded Maler:
From Control Loops to Real-Time Programs. Handbook of Networked and Embedded Control Systems 2005: 395-418 - 2004
- [c49]Thao Dang, Alexandre Donzé, Oded Maler:
Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques. FMCAD 2004: 21-36 - [c48]Oded Maler, Dejan Nickovic:
Monitoring Temporal Properties of Continuous Signals. FORMATS/FTRTFT 2004: 152-166 - [c47]Scott Cotton, Eugene Asarin
, Oded Maler, Peter Niebert:
Some Progress in Satisfiability Checking for Difference Logic. FORMATS/FTRTFT 2004: 263-276 - [c46]Oded Maler, Amir Pnueli:
On Recognizable Timed Languages. FoSSaCS 2004: 348-362 - [c45]Marius Bozga, Abdelkarim Kerbaa, Oded Maler:
Scheduling Acyclic Branching Programs on Parallel Machines. RTSS 2004: 208-217 - 2003
- [c44]Ramzi Ben Salah, Marius Bozga, Oded Maler:
On Timing Analysis of Combinational Circuits. FORMATS 2003: 204-219 - [c43]James Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg
:
On Systematic Simulation of Open Continuous Systems. HSCC 2003: 283-297 - [c42]Yasmina Abdeddaïm, Abdelkarim Kerbaa, Oded Maler:
Task Graph Scheduling Using Timed Automata. IPDPS 2003: 237 - [c41]Yasmina Abdeddaïm, Eugene Asarin
, Oded Maler:
On Optimal Scheduling under Uncertainty. TACAS 2003: 240-253 - [e3]Oded Maler, Amir Pnueli:
Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings. Lecture Notes in Computer Science 2623, Springer 2003, ISBN 3-540-00913-2 [contents] - 2002
- [j12]Oded Maler:
Control from computer science. Annu. Rev. Control. 26(2): 175-187 (2002) - [j11]Eugene Asarin
, Paul Caspi, Oded Maler:
Timed regular expressions. J. ACM 49(2): 172-206 (2002) - [c40]Oded Maler:
Timed Automata as an Underlying Model for Planning and Scheduling. AIPS Workshop on Planning for Temporal Domains 2002: 67-70 - [c39]Eugene Asarin
, Thao Dang, Oded Maler:
The d/dt Tool for Verification of Hybrid Systems. CAV 2002: 365-370 - [c38]Oded Maler, Bruce H. Krogh, Moez Mahfoudh:
On Control with Bounded Computational Resources. FTRTFT 2002: 147-164 - [c37]Peter Niebert, Moez Mahfoudh, Eugene Asarin
, Marius Bozga, Oded Maler, Navendu Jain:
Verification of Timed Automata via Satisfiability Checking. FTRTFT 2002: 225-244 - [c36]Yasmina Abdeddaïm, Oded Maler:
Preemptive Job-Shop Scheduling Using Stopwatch Automata. TACAS 2002: 113-126 - [c35]Marius Bozga, Jianmin Hou, Oded Maler, Sergio Yovine
:
Verification of Asynchronous Circuits using Timed Automata. Theory and Practice of Timed Systems @ ETAPS 2002: 47-59 - [c34]Eugene Asarin
, Oded Maler, Sergio Yovine
:
Preface. Theory and Practice of Timed Systems @ ETAPS 2002: 273-274 - [e2]Eugene Asarin, Oded Maler, Sergio Yovine:
Theory and Practice of Timed Systems, Satellite Event of ETAPS 2002, Grenoble, France, April 6-7, 2002. Electronic Notes in Theoretical Computer Science 65(6), Elsevier 2002 [contents] - 2001
- [j10]Oded Maler:
Guest Editorial: Verification of Hybrid Systems. Eur. J. Control 7(4): 357-365 (2001) - [j9]Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar:
Symbolic model checking with rich assertional languages. Theor. Comput. Sci. 256(1-2): 93-112 (2001) - [c33]Yasmina Abdeddaïm, Oded Maler:
Job-Shop Scheduling Using Timed Automata. CAV 2001: 478-492 - [c32]Eugene Asarin, Thao Dang, Oded Maler:
d/dt: a verification tool for hybrid systems. CDC 2001: 2893-2898 - [c31]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: 5-6 - [c30]Eugene Asarin
, Sorav Bansal, Bernard Espiau, Thao Dang, Oded Maler:
On Hybrid Control of Under-Actuated Mechanical Systems. HSCC 2001: 77-88 - 2000
- [j8]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. 74(5-6): 221-227 (2000) - [j7]Eugene Asarin
, Olivier Bournez, Thao Dang, Oded Maler, Amir Pnueli:
Effective synthesis of switching controllers for linear systems. Proc. IEEE 88(7): 1011-1025 (2000) - [c29]Eugene Asarin
, Thao Dang, Oded Maler, Olivier Bournez:
Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems. HSCC 2000: 20-31 - [c28]Olivier Bournez, Oded Maler:
On the Representation of Timed Polyhedra. ICALP 2000: 793-807
1990 – 1999
- 1999
- [c27]Marius Bozga, Oded Maler:
On the Representation of Probabilities over Structured Domains. CAV 1999: 261-273 - [c26]Marius Bozga, Oded Maler, Stavros Tripakis
:
Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics. CHARME 1999: 125-141 - [c25]Eugene Asarin
, Oded Maler:
As Soon as Possible: Time Optimal Control for Timed Automata. HSCC 1999: 19-30 - [c24]Olivier Bournez, Oded Maler, Amir Pnueli:
Orthogonal Polyhedra: Representation and Computation. HSCC 1999: 46-60 - 1998
- [j6]Eugene Asarin
, Oded Maler:
Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy. J. Comput. Syst. Sci. 57(3): 389-398 (1998) - [c23]Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
:
Kronos: A Model-Checking Tool for Real-Time Systems. CAV 1998: 546-550 - [c22]Eugene Asarin
, Oded Maler, Amir Pnueli:
On Discretization of Delays in Timed Automata and Digital Circuits. CONCUR 1998: 470-484 - [c21]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: 298-302 - [c20]Thao Dang, Oded Maler:
Reachability Analysis via Face Lifting. HSCC 1998: 96-109 - 1997
- [j5]Oded Maler, Ludwig Staiger
:
On Syntactic Congruences for Omega-Languages. Theor. Comput. Sci. 183(1): 93-112 (1997) - [c19]Marius Bozga, Oded Maler, Amir Pnueli, Sergio Yovine
:
Some Progress in the Symbolic Verification of Timed Automata. CAV 1997: 179-190 - [c18]Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar:
Symbolic Model Checking with Rich ssertional Languages. CAV 1997: 424-435 - [c17]Ahmed Bouajjani, Javier Esparza
, Oded Maler:
Reachability Analysis of Pushdown Automata: Application to Model-Checking. CONCUR 1997: 135-150 - [c16]Eugene Asarin
, Marius Bozga, Alain Kerbrat, Oded Maler, Amir Pnueli, Anne Rasse:
Data-Structures for the Verification of Timed Automata. HART 1997: 346-360 - [c15]Eugene Asarin
, Paul Caspi, Oded Maler:
A Kleene Theorem for Timed Automata. LICS 1997: 160-171 - [e1]Oded Maler:
Hybrid and Real-Time Systems, International Workshop. HART'97, Grenoble, France, March 26-28, 1997, Proceedings. Lecture Notes in Computer Science 1201, Springer 1997, ISBN 3-540-62600-X [contents] - 1995
- [j4]Oded Maler, Amir Pnueli:
On the Learnability of Infinitary Regular Sets. Inf. Comput. 118(2): 316-326 (1995) - [j3]Eugene Asarin
, Oded Maler, Amir Pnueli:
Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives. Theor. Comput. Sci. 138(1): 35-65 (1995) - [j2]Oded Maler:
A Decomposition Theorem for Probabilistic Transition Systems. Theor. Comput. Sci. 145(1&2): 391-396 (1995) - [c14]Oded Maler, Amir Pnueli:
Timing analysis of asynchronous circuits using timed automata. CHARME 1995: 189-205 - [c13]Eugene Asarin
, Oded Maler:
Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy. FSTTCS 1995: 471-483 - [c12]Oded Maler, Amir Pnueli, Joseph Sifakis:
On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract). STACS 1995: 229-242 - 1994
- [j1]Bernard Delyon, Oded Maler:
On the Effects of Noise and Speed on Computations. Theor. Comput. Sci. 129(2): 279-291 (1994) - [c11]Eugene Asarin
, Oded Maler, Amir Pnueli:
Symbolic Controller Synthesis for Discrete and Timed Systems. Hybrid Systems 1994: 1-20 - [c10]Eugene Asarin
, Oded Maler:
On some Relations between Dynamical Systems and Transition Systems. ICALP 1994: 59-72 - 1993
- [c9]Oded Maler, Amir Pnueli:
Reachability Analysis of Planar Multi-limear Systems. CAV 1993: 194-209 - [c8]Oded Maler:
A Decomposition Theorem for Probabilistic Transition Systems. STACS 1993: 323-332 - [c7]Oded Maler, Ludwig Staiger:
On Syntactic Congruences for Omega-Languages. STACS 1993: 586-594 - 1992
- [c6]Bernard Delyon, Oded Maler:
On Fault-Tolerant Symbolic Computations. FTRTFT 1992: 259-269 - 1991
- [c5]Oded Maler, Amir Pnueli:
On the Learnability of Infinitary Regular Sets. COLT 1991: 128-136 - [c4]Oded Maler, Zohar Manna, Amir Pnueli:
From Timed to Hybrid Systems. REX Workshop 1991: 447-484 - 1990
- [c3]Oded Maler, Amir Pnueli:
Tight Bounds on the Complexity of Cascaded Decomposition of Automata. FOCS 1990: 672-682
1980 – 1989
- 1989
- [c2]Oded Maler, Amir Pnueli:
Learning omega-Regular Languages from Queries and Counter-Examples (A Preliminary Report). AII 1989: 161-170 - 1986
- [c1]Oded Maler, Zahava Scherz, Ehud Shapiro:
A New Approach for Intruducing Prolog to Naive Users. ICLP 1986: 544-551
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-23 18:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint