Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDOded Maler
Person information
- affiliation: IMAG, Grenoble, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
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]