default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Oded Maler
@article{DBLP:journals/tecs/UlusFANM24,
author = {Dogan Ulus and
Thomas Ferr{\`{e}}re and
Eugene Asarin and
Dejan Nickovic and
Oded Maler},
title = {Elements of Timed Pattern Matching},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {23},
number = {4},
pages = {59:1--59:45},
year = {2024},
url = {https://doi.org/10.1145/3645114},
doi = {10.1145/3645114},
timestamp = {Sun, 08 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/UlusFANM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/NickovicLMFU20,
author = {Dejan Nickovic and
Olivier Lebeltel and
Oded Maler and
Thomas Ferr{\`{e}}re and
Dogan Ulus},
title = {{AMT} 2.0: qualitative and quantitative trace analysis with extended
signal temporal logic},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {6},
pages = {741--758},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00582-z},
doi = {10.1007/S10009-020-00582-Z},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/NickovicLMFU20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/FerrereMNP19,
author = {Thomas Ferr{\`{e}}re and
Oded Maler and
Dejan Nickovic and
Amir Pnueli},
title = {From Real-time Logic to Timed Automata},
journal = {J. {ACM}},
volume = {66},
number = {3},
pages = {19:1--19:31},
year = {2019},
url = {https://doi.org/10.1145/3286976},
doi = {10.1145/3286976},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/FerrereMNP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/FerrereMN19,
author = {Thomas Ferr{\`{e}}re and
Oded Maler and
Dejan Nickovic},
editor = {{\'{E}}tienne Andr{\'{e}} and
Mari{\"{e}}lle Stoelinga},
title = {Mixed-Time Signal Temporal Logic},
booktitle = {Formal Modeling and Analysis of Timed Systems - 17th International
Conference, {FORMATS} 2019, Amsterdam, The Netherlands, August 27-29,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11750},
pages = {59--75},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29662-9\_4},
doi = {10.1007/978-3-030-29662-9\_4},
timestamp = {Tue, 20 Aug 2019 11:03:06 +0200},
biburl = {https://dblp.org/rec/conf/formats/FerrereMN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BakhirkinBMJ19,
author = {Alexey Bakhirkin and
Nicolas Basset and
Oded Maler and
Jos{\'{e}} Ignacio Requeno Jarabo},
editor = {{\'{E}}tienne Andr{\'{e}} and
Mari{\"{e}}lle Stoelinga},
title = {ParetoLib: {A} Python Library for Parameter Synthesis},
booktitle = {Formal Modeling and Analysis of Timed Systems - 17th International
Conference, {FORMATS} 2019, Amsterdam, The Netherlands, August 27-29,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11750},
pages = {114--120},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29662-9\_7},
doi = {10.1007/978-3-030-29662-9\_7},
timestamp = {Tue, 11 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/BakhirkinBMJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/cb/DangDFMPR19,
author = {Thao Dang and
Tommaso Dreossi and
Eric Fanchon and
Oded Maler and
Carla Piazza and
Alexandre Rocca},
editor = {Pietro Li{\`{o}} and
Paolo Zuliani},
title = {Set-Based Analysis for Biological Modeling},
booktitle = {Automated Reasoning for Systems Biology and Medicine},
series = {Computational Biology},
volume = {30},
pages = {157--189},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17297-8\_6},
doi = {10.1007/978-3-030-17297-8\_6},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/cb/DangDFMPR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/DeshmukhMN19,
author = {Jyotirmoy V. Deshmukh and
Oded Maler and
Dejan Nickovic},
title = {Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl
Seminar 19071)},
journal = {Dagstuhl Reports},
volume = {9},
number = {2},
pages = {48--72},
year = {2019},
url = {https://doi.org/10.4230/DagRep.9.2.48},
doi = {10.4230/DAGREP.9.2.48},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/DeshmukhMN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BakhirkinFNMA18,
author = {Alexey Bakhirkin and
Thomas Ferr{\`{e}}re and
Dejan Nickovic and
Oded Maler and
Eugene Asarin},
editor = {David N. Jansen and
Pavithra Prabhakar},
title = {Online Timed Pattern Matching Using Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems - 16th International
Conference, {FORMATS} 2018, Beijing, China, September 4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11022},
pages = {215--232},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00151-3\_13},
doi = {10.1007/978-3-030-00151-3\_13},
timestamp = {Sat, 09 Apr 2022 12:48:56 +0200},
biburl = {https://dblp.org/rec/conf/formats/BakhirkinFNMA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/UlusM18,
author = {Dogan Ulus and
Oded Maler},
editor = {Maria Prandini and
Jyotirmoy V. Deshmukh},
title = {Specifying Timed Patterns using Temporal Logic},
booktitle = {Proceedings of the 21st International Conference on Hybrid Systems:
Computation and Control (part of {CPS} Week), {HSCC} 2018, Porto,
Portugal, April 11-13, 2018},
pages = {167--176},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3178126.3178129},
doi = {10.1145/3178126.3178129},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/UlusM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BakhirkinFM18,
author = {Alexey Bakhirkin and
Thomas Ferr{\`{e}}re and
Oded Maler},
editor = {Maria Prandini and
Jyotirmoy V. Deshmukh},
title = {Efficient Parametric Identification for {STL}},
booktitle = {Proceedings of the 21st International Conference on Hybrid Systems:
Computation and Control (part of {CPS} Week), {HSCC} 2018, Porto,
Portugal, April 11-13, 2018},
pages = {177--186},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3178126.3178132},
doi = {10.1145/3178126.3178132},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/BakhirkinFM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/NickovicLMFU18,
author = {Dejan Nickovic and
Olivier Lebeltel and
Oded Maler and
Thomas Ferr{\`{e}}re and
Dogan Ulus},
editor = {Dirk Beyer and
Marieke Huisman},
title = {{AMT} 2.0: Qualitative and Quantitative Trace Analysis with Extended
Signal Temporal Logic},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 24th International Conference, {TACAS} 2018, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10806},
pages = {303--319},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89963-3\_18},
doi = {10.1007/978-3-319-89963-3\_18},
timestamp = {Fri, 09 Apr 2021 18:45:36 +0200},
biburl = {https://dblp.org/rec/conf/tacas/NickovicLMFU18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/BartocciDDFMNS18,
author = {Ezio Bartocci and
Jyotirmoy V. Deshmukh and
Alexandre Donz{\'{e}} and
Georgios Fainekos and
Oded Maler and
Dejan Nickovic and
Sriram Sankaranarayanan},
editor = {Ezio Bartocci and
Yli{\`{e}}s Falcone},
title = {Specification-Based Monitoring of Cyber-Physical Systems: {A} Survey
on Theory, Tools and Applications},
booktitle = {Lectures on Runtime Verification - Introductory and Advanced Topics},
series = {Lecture Notes in Computer Science},
volume = {10457},
pages = {135--175},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-75632-5\_5},
doi = {10.1007/978-3-319-75632-5\_5},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/BartocciDDFMNS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BenensonDKM18,
author = {Yaakov Benenson and
Neil Dalchau and
Heinz Koeppl and
Oded Maler},
title = {Formal Methods for the Synthesis of Biomolecular Circuits (Dagstuhl
Seminar 18082)},
journal = {Dagstuhl Reports},
volume = {8},
number = {2},
pages = {88--100},
year = {2018},
url = {https://doi.org/10.4230/DagRep.8.2.88},
doi = {10.4230/DAGREP.8.2.88},
timestamp = {Wed, 25 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BenensonDKM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MalerM17,
author = {Oded Maler and
Irini{-}Eleftheria Mens},
editor = {Luca Aceto and
Giorgio Bacci and
Giovanni Bacci and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Axel Legay and
Radu Mardare},
title = {A Generic Algorithm for Learning Symbolic Automata from Membership
Queries},
booktitle = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand
Larsen on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10460},
pages = {146--169},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63121-9\_8},
doi = {10.1007/978-3-319-63121-9\_8},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MalerM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BakhirkinFMU17,
author = {Alexey Bakhirkin and
Thomas Ferr{\`{e}}re and
Oded Maler and
Dogan Ulus},
editor = {Alessandro Abate and
Gilles Geeraerts},
title = {On the Quantitative Semantics of Regular Expressions over Real-Valued
Signals},
booktitle = {Formal Modeling and Analysis of Timed Systems - 15th International
Conference, {FORMATS} 2017, Berlin, Germany, September 5-7, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10419},
pages = {189--206},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65765-3\_11},
doi = {10.1007/978-3-319-65765-3\_11},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/BakhirkinFMU17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/AsarinMNU17,
author = {Eugene Asarin and
Oded Maler and
Dejan Nickovic and
Dogan Ulus},
editor = {Alessandro Abate and
Gilles Geeraerts},
title = {Combining the Temporal and Epistemic Dimensions for {MTL} Monitoring},
booktitle = {Formal Modeling and Analysis of Timed Systems - 15th International
Conference, {FORMATS} 2017, Berlin, Germany, September 5-7, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10419},
pages = {207--223},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65765-3\_12},
doi = {10.1007/978-3-319-65765-3\_12},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/AsarinMNU17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/Maler16,
author = {Oded Maler},
editor = {Yli{\`{e}}s Falcone and
C{\'{e}}sar S{\'{a}}nchez},
title = {Some Thoughts on Runtime Verification},
booktitle = {Runtime Verification - 16th International Conference, {RV} 2016, Madrid,
Spain, September 23-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10012},
pages = {3--14},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46982-9\_1},
doi = {10.1007/978-3-319-46982-9\_1},
timestamp = {Wed, 28 Dec 2022 16:42:42 +0100},
biburl = {https://dblp.org/rec/conf/rv/Maler16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssci/MalerS16,
author = {Oded Maler and
Abhinav Srivastav},
title = {Double archive Pareto local search},
booktitle = {2016 {IEEE} Symposium Series on Computational Intelligence, {SSCI}
2016, Athens, Greece, December 6-9, 2016},
pages = {1--7},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/SSCI.2016.7850227},
doi = {10.1109/SSCI.2016.7850227},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/ssci/MalerS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/UlusFAM16,
author = {Dogan Ulus and
Thomas Ferr{\`{e}}re and
Eugene Asarin and
Oded Maler},
editor = {Marsha Chechik and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Online Timed Pattern Matching Using Derivatives},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 22nd International Conference, {TACAS} 2016, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9636},
pages = {736--751},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49674-9\_47},
doi = {10.1007/978-3-662-49674-9\_47},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/UlusFAM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MensM15,
author = {Irini{-}Eleftheria Mens and
Oded Maler},
title = {Learning Regular Languages over Large Ordered Alphabets},
journal = {Log. Methods Comput. Sci.},
volume = {11},
number = {3},
year = {2015},
url = {https://doi.org/10.2168/LMCS-11(3:13)2015},
doi = {10.2168/LMCS-11(3:13)2015},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MensM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/FerrereMN15,
author = {Thomas Ferr{\`{e}}re and
Oded Maler and
Dejan Nickovic},
editor = {Bernd Finkbeiner and
Geguang Pu and
Lijun Zhang},
title = {Trace Diagnostics Using Temporal Implicants},
booktitle = {Automated Technology for Verification and Analysis - 13th International
Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9364},
pages = {241--258},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24953-7\_20},
doi = {10.1007/978-3-319-24953-7\_20},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/FerrereMN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DeshmukhJKM15,
author = {Jyotirmoy V. Deshmukh and
Xiaoqing Jin and
James Kapinski and
Oded Maler},
editor = {Bernd Finkbeiner and
Geguang Pu and
Lijun Zhang},
title = {Stochastic Local Search for Falsification of Hybrid Systems},
booktitle = {Automated Technology for Verification and Analysis - 13th International
Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9364},
pages = {500--517},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24953-7\_35},
doi = {10.1007/978-3-319-24953-7\_35},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/DeshmukhJKM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FerrereMNU15,
author = {Thomas Ferr{\`{e}}re and
Oded Maler and
Dejan Nickovic and
Dogan Ulus},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Measuring with Timed Patterns},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {9207},
pages = {322--337},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21668-3\_19},
doi = {10.1007/978-3-319-21668-3\_19},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/FerrereMNU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/LanikM15,
author = {Jan L{\'{a}}n{\'{\i}}k and
Oded Maler},
editor = {Nir Piterman},
title = {On Switching Aware Synthesis for Combinational Circuits},
booktitle = {Hardware and Software: Verification and Testing - 11th International
Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
17-19, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9434},
pages = {276--291},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26287-1\_17},
doi = {10.1007/978-3-319-26287-1\_17},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/LanikM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/LanikLPVRMR15,
author = {Jan L{\'{a}}n{\'{\i}}k and
Julien Legriel and
Erwan Piriou and
Emmanuel Viaud and
Fahim Rahim and
Oded Maler and
Solaiman Rahim},
title = {Reducing power with activity trigger analysis},
booktitle = {13. {ACM/IEEE} International Conference on Formal Methods and Models
for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
pages = {169--178},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/MEMCOD.2015.7340484},
doi = {10.1109/MEMCOD.2015.7340484},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/memocode/LanikLPVRMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hsb/2014,
editor = {Oded Maler and
{\'{A}}d{\'{a}}m M. Hal{\'{a}}sz and
Thao Dang and
Carla Piazza},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {7699},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27656-4},
doi = {10.1007/978-3-319-27656-4},
isbn = {978-3-319-27655-7},
timestamp = {Tue, 03 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hsb/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/TendulkarPGM14,
author = {Pranav Tendulkar and
Peter Poplavko and
Ioannis Galanommatis and
Oded Maler},
title = {Many-Core Scheduling of Data Parallel Applications Using {SMT} Solvers},
booktitle = {17th Euromicro Conference on Digital System Design, {DSD} 2014, Verona,
Italy, August 27-29, 2014},
pages = {615--622},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/DSD.2014.10},
doi = {10.1109/DSD.2014.10},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/TendulkarPGM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etaps/Maler14,
author = {Oded Maler},
editor = {Saddek Bensalem and
Yassine Lakhnech and
Axel Legay},
title = {The Unmet Challenge of Timed Systems},
booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS}
Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France,
April 6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8415},
pages = {177--192},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54848-2\_12},
doi = {10.1007/978-3-642-54848-2\_12},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/etaps/Maler14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/UlusFAM14,
author = {Dogan Ulus and
Thomas Ferr{\`{e}}re and
Eugene Asarin and
Oded Maler},
editor = {Axel Legay and
Marius Bozga},
title = {Timed Pattern Matching},
booktitle = {Formal Modeling and Analysis of Timed Systems - 12th International
Conference, {FORMATS} 2014, Florence, Italy, September 8-10, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8711},
pages = {222--236},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10512-3\_16},
doi = {10.1007/978-3-319-10512-3\_16},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/UlusFAM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hsb/MalerHLM14,
author = {Oded Maler and
{\'{A}}d{\'{a}}m M. Hal{\'{a}}sz and
Olivier Lebeltel and
Ouri Maler},
editor = {Oded Maler and
{\'{A}}d{\'{a}}m M. Hal{\'{a}}sz and
Thao Dang and
Carla Piazza},
title = {Exploring Synthetic Mass Action Models},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {7699},
pages = {97--110},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-27656-4\_6},
doi = {10.1007/978-3-319-27656-4\_6},
timestamp = {Tue, 03 Aug 2021 16:22:18 +0200},
biburl = {https://dblp.org/rec/conf/hsb/MalerHLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MalerM14,
author = {Oded Maler and
Irini{-}Eleftheria Mens},
editor = {Erika {\'{A}}brah{\'{a}}m and
Klaus Havelund},
title = {Learning Regular Languages over Large Alphabets},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 20th International Conference, {TACAS} 2014, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2014, Grenoble, France, April 5-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8413},
pages = {485--499},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54862-8\_41},
doi = {10.1007/978-3-642-54862-8\_41},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/MalerM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KempfLM14,
author = {Jean{-}Francois Kempf and
Olivier Lebeltel and
Oded Maler},
editor = {Nathalie Bertrand and
Luca Bortolussi},
title = {Formal and Informal Methods for Multi-Core Design Space Exploration},
booktitle = {Proceedings Twelfth International Workshop on Quantitative Aspects
of Programming Languages and Systems, {QAPL} 2014, Grenoble, France,
12-13 April 2014},
series = {{EPTCS}},
volume = {154},
pages = {78--92},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.154.6},
doi = {10.4204/EPTCS.154.6},
timestamp = {Tue, 29 Dec 2020 18:21:13 +0100},
biburl = {https://dblp.org/rec/journals/corr/KempfLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/SaidiTLM13,
author = {Selma Saidi and
Pranav Tendulkar and
Thierry Lepley and
Oded Maler},
title = {Optimizing two-dimensional {DMA} transfers for scratchpad Based MPSoCs
platforms},
journal = {Microprocess. Microsystems},
volume = {37},
number = {8-A},
pages = {848--857},
year = {2013},
url = {https://doi.org/10.1016/j.micpro.2013.04.006},
doi = {10.1016/J.MICPRO.2013.04.006},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/SaidiTLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ploscb/StomaDBMB13,
author = {Szymon Stoma and
Alexandre Donz{\'{e}} and
Fran{\c{c}}ois Bertaux and
Oded Maler and
Gr{\'{e}}gory Batt},
title = {STL-based Analysis of TRAIL-induced Apoptosis Challenges the Notion
of Type I/Type {II} Cell Line Classification},
journal = {PLoS Comput. Biol.},
volume = {9},
number = {5},
year = {2013},
url = {https://doi.org/10.1371/journal.pcbi.1003056},
doi = {10.1371/JOURNAL.PCBI.1003056},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ploscb/StomaDBMB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/MalerN13,
author = {Oded Maler and
Dejan Nickovic},
title = {Monitoring properties of analog and mixed-signal circuits},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {15},
number = {3},
pages = {247--268},
year = {2013},
url = {https://doi.org/10.1007/s10009-012-0247-9},
doi = {10.1007/S10009-012-0247-9},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/MalerN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DonzeFM13,
author = {Alexandre Donz{\'{e}} and
Thomas Ferr{\`{e}}re and
Oded Maler},
editor = {Natasha Sharygina and
Helmut Veith},
title = {Efficient Robust Monitoring for {STL}},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {264--279},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_19},
doi = {10.1007/978-3-642-39799-8\_19},
timestamp = {Wed, 07 Dec 2022 23:12:58 +0100},
biburl = {https://dblp.org/rec/conf/cav/DonzeFM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/TendulkarPM13,
author = {Pranav Tendulkar and
Peter Poplavko and
Oded Maler},
editor = {V{\'{\i}}ctor A. Braberman and
Laurent Fribourg},
title = {Symmetry Breaking for Multi-criteria Mapping and Scheduling on Multicores},
booktitle = {Formal Modeling and Analysis of Timed Systems - 11th International
Conference, {FORMATS} 2013, Buenos Aires, Argentina, August 29-31,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8053},
pages = {228--242},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40229-6\_16},
doi = {10.1007/978-3-642-40229-6\_16},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/TendulkarPM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KempfBM13,
author = {Jean{-}Francois Kempf and
Marius Bozga and
Oded Maler},
editor = {Nir Piterman and
Scott A. Smolka},
title = {As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 19th International Conference, {TACAS} 2013, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2013, Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7795},
pages = {385--400},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36742-7\_27},
doi = {10.1007/978-3-642-36742-7\_27},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KempfBM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Maler14,
author = {Oded Maler},
editor = {Luk{\'{a}}s Hol{\'{\i}}k and
Lorenzo Clemente},
title = {Algorithmic Verification of Continuous and Hybrid Systems},
booktitle = {Proceedings 15th International Workshop on Verification of Infinite-State
Systems, {INFINITY} 2013, Hanoi, Vietnam, 14th October 2013},
series = {{EPTCS}},
volume = {140},
pages = {48--69},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.140.4},
doi = {10.4204/EPTCS.140.4},
timestamp = {Mon, 26 Oct 2020 08:44:08 +0100},
biburl = {https://dblp.org/rec/journals/corr/Maler14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/MalerHLM13,
author = {Oded Maler and
{\'{A}}d{\'{a}}m M. Hal{\'{a}}sz and
Olivier Lebeltel and
Ouri Maler},
editor = {Thao Dang and
Carla Piazza},
title = {Exploring the Dynamics of Mass Action Systems},
booktitle = {Proceedings Second International Workshop on Hybrid Systems and Biology,
{HSB} 2013, Taormina, Italy, 2nd September 2013},
series = {{EPTCS}},
volume = {125},
pages = {84--91},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.125.6},
doi = {10.4204/EPTCS.125.6},
timestamp = {Tue, 21 Mar 2023 21:05:20 +0100},
biburl = {https://dblp.org/rec/journals/corr/MalerHLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-3435,
author = {Moshe Ben{-}Bassat and
Oded Maler},
title = {A Framework for Control Strategies in Uncertain Inference Networks},
journal = {CoRR},
volume = {abs/1304.3435},
year = {2013},
url = {http://arxiv.org/abs/1304.3435},
eprinttype = {arXiv},
eprint = {1304.3435},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-3435.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taco/SaidiTLM12,
author = {Selma Saidi and
Pranav Tendulkar and
Thierry Lepley and
Oded Maler},
title = {Optimizing explicit data transfers for data parallel applications
on the cell architecture},
journal = {{ACM} Trans. Archit. Code Optim.},
volume = {8},
number = {4},
pages = {37:1--37:20},
year = {2012},
url = {https://doi.org/10.1145/2086696.2086716},
doi = {10.1145/2086696.2086716},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/taco/SaidiTLM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DonzeMBNGS12,
author = {Alexandre Donz{\'{e}} and
Oded Maler and
Ezio Bartocci and
Dejan Nickovic and
Radu Grosu and
Scott A. Smolka},
editor = {Supratik Chakraborty and
Madhavan Mukund},
title = {On Temporal Logic and Signal Processing},
booktitle = {Automated Technology for Verification and Analysis - 10th International
Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7561},
pages = {92--106},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33386-6\_9},
doi = {10.1007/978-3-642-33386-6\_9},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/DonzeMBNGS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/SaidiTLM12,
author = {Selma Saidi and
Pranav Tendulkar and
Thierry Lepley and
Oded Maler},
title = {Optimal 2D Data Partitioning for {DMA} Transfers on MPSoCs},
booktitle = {15th Euromicro Conference on Digital System Design, {DSD} 2012, Cesme,
Izmir, Turkey, September 5-8, 2012},
pages = {584--591},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/DSD.2012.99},
doi = {10.1109/DSD.2012.99},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/SaidiTLM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DangGM11,
author = {Thao Dang and
Colas Le Guernic and
Oded Maler},
title = {Computing reachable states for nonlinear biological models},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {21},
pages = {2095--2107},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.01.014},
doi = {10.1016/J.TCS.2011.01.014},
timestamp = {Tue, 03 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/DangGM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FrehseGDCRLRGDM11,
author = {Goran Frehse and
Colas Le Guernic and
Alexandre Donz{\'{e}} and
Scott Cotton and
Rajarshi Ray and
Olivier Lebeltel and
Rodolfo Ripado and
Antoine Girard and
Thao Dang and
Oded Maler},
editor = {Ganesh Gopalakrishnan and
Shaz Qadeer},
title = {SpaceEx: Scalable Verification of Hybrid Systems},
booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}
2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6806},
pages = {379--395},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22110-1\_30},
doi = {10.1007/978-3-642-22110-1\_30},
timestamp = {Tue, 03 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/FrehseGDCRLRGDM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/LegrielCM11,
author = {Julien Legriel and
Scott Cotton and
Oded Maler},
title = {On universal search strategies for multi-criteria optimization using
weighted sums},
booktitle = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
2011, New Orleans, LA, USA, 5-8 June, 2011},
pages = {2351--2358},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/CEC.2011.5949908},
doi = {10.1109/CEC.2011.5949908},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/cec/LegrielCM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/LegrielM11,
author = {Julien Legriel and
Oded Maler},
editor = {Karl{-}Erik {\AA}rz{\'{e}}n},
title = {Meeting Deadlines Cheaply},
booktitle = {23rd Euromicro Conference on Real-Time Systems, {ECRTS} 2011, Porto,
Portugal, 5-8 July, 2011},
pages = {185--194},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ECRTS.2011.25},
doi = {10.1109/ECRTS.2011.25},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/LegrielM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/Maler11,
author = {Oded Maler},
editor = {Samarjit Chakraborty and
Ahmed Jerraya and
Sanjoy K. Baruah and
Sebastian Fischmeister},
title = {On under-determined dynamical systems},
booktitle = {Proceedings of the 11th International Conference on Embedded Software,
{EMSOFT} 2011, part of the Seventh Embedded Systems Week, ESWeek 2011,
Taipei, Taiwan, October 9-14, 2011},
pages = {89--96},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2038642.2038658},
doi = {10.1145/2038642.2038658},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/Maler11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/KempfBM11,
author = {Jean{-}Francois Kempf and
Marius Bozga and
Oded Maler},
editor = {Uli Fahrenberg and
Stavros Tripakis},
title = {Performance Evaluation of Schedulers in a Probabilistic Setting},
booktitle = {Formal Modeling and Analysis of Timed Systems - 9th International
Conference, {FORMATS} 2011, Aalborg, Denmark, September 21-23, 2011.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6919},
pages = {1--17},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24310-3\_1},
doi = {10.1007/978-3-642-24310-3\_1},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/KempfBM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/AsarinDMN11,
author = {Eugene Asarin and
Alexandre Donz{\'{e}} and
Oded Maler and
Dejan Nickovic},
editor = {Sarfraz Khurshid and
Koushik Sen},
title = {Parametric Identification of Temporal Properties},
booktitle = {Runtime Verification - Second International Conference, {RV} 2011,
San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7186},
pages = {147--160},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29860-8\_12},
doi = {10.1007/978-3-642-29860-8\_12},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/AsarinDMN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/CottonMLS11,
author = {Scott Cotton and
Oded Maler and
Julien Legriel and
Selma Saidi},
title = {Multi-criteria optimization for mapping programs to multi-processors},
booktitle = {Industrial Embedded Systems (SIES), 2011 6th {IEEE} International
Symposium on, {SIES} 2011. Vasteras, Sweden, June 15-17, 2011},
pages = {9--17},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/SIES.2011.5953650},
doi = {10.1109/SIES.2011.5953650},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/sies/CottonMLS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/AsarinDMT10,
author = {Eugene Asarin and
Thao Dang and
Oded Maler and
Romain Testylier},
editor = {Ahmed Bouajjani and
Wei{-}Ngan Chin},
title = {Using Redundant Constraints for Refinement},
booktitle = {Automated Technology for Verification and Analysis - 8th International
Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6252},
pages = {37--51},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15643-4\_5},
doi = {10.1007/978-3-642-15643-4\_5},
timestamp = {Tue, 03 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/AsarinDMT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Maler10,
author = {Oded Maler},
editor = {Zohar Manna and
Doron A. Peled},
title = {On the Krohn-Rhodes Cascaded Decomposition Theorem},
booktitle = {Time for Verification, Essays in Memory of Amir Pnueli},
series = {Lecture Notes in Computer Science},
volume = {6200},
pages = {260--278},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13754-9\_12},
doi = {10.1007/978-3-642-13754-9\_12},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Maler10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/HavlicekLMN10,
author = {John Havlicek and
Scott Little and
Oded Maler and
Dejan Nickovic},
editor = {Krishnendu Chatterjee and
Thomas A. Henzinger},
title = {Property-Based Monitoring of Analog and Mixed-Signal Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems - 8th International
Conference, {FORMATS} 2010, Klosterneuburg, Austria, September 8-10,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6246},
pages = {23--24},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15297-9\_3},
doi = {10.1007/978-3-642-15297-9\_3},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/HavlicekLMN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/DonzeM10,
author = {Alexandre Donz{\'{e}} and
Oded Maler},
editor = {Krishnendu Chatterjee and
Thomas A. Henzinger},
title = {Robust Satisfaction of Temporal Logic over Real-Valued Signals},
booktitle = {Formal Modeling and Analysis of Timed Systems - 8th International
Conference, {FORMATS} 2010, Klosterneuburg, Austria, September 8-10,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6246},
pages = {92--106},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15297-9\_9},
doi = {10.1007/978-3-642-15297-9\_9},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/DonzeM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/DangMT10,
author = {Thao Dang and
Oded Maler and
Romain Testylier},
editor = {Karl Henrik Johansson and
Wang Yi},
title = {Accurate hybridization of nonlinear systems},
booktitle = {Proceedings of the 13th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2010, Stockholm, Sweden, April 12-15,
2010},
pages = {11--20},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1755952.1755956},
doi = {10.1145/1755952.1755956},
timestamp = {Tue, 03 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/DangMT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Maler10,
author = {Oded Maler},
editor = {Karl Henrik Johansson and
Wang Yi},
title = {Amir Pnueli and the dawn of hybrid systems},
booktitle = {Proceedings of the 13th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2010, Stockholm, Sweden, April 12-15,
2010},
pages = {293--295},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1755952.1755953},
doi = {10.1145/1755952.1755953},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/Maler10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LegrielGCM10,
author = {Julien Legriel and
Colas Le Guernic and
Scott Cotton and
Oded Maler},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Approximating the Pareto Front of Multi-criteria Optimization Problems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {69--83},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_6},
doi = {10.1007/978-3-642-12002-2\_6},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LegrielGCM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1011-0219,
author = {Oded Maler and
Kim G. Larsen and
Bruce H. Krogh},
editor = {Yu{-}Fang Chen and
Ahmed Rezine},
title = {On Zone-Based Analysis of Duration Probabilistic Automata},
booktitle = {Proceedings 12th International Workshop on Verification of Infinite-State
Systems, {INFINITY} 2010, Singapore, Singapore, 21st September 2010},
series = {{EPTCS}},
volume = {39},
pages = {33--46},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.39.3},
doi = {10.4204/EPTCS.39.3},
timestamp = {Mon, 03 Jan 2022 17:11:33 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-0219.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/DangGM09,
author = {Thao Dang and
Colas Le Guernic and
Oded Maler},
editor = {Pierpaolo Degano and
Roberto Gorrieri},
title = {Computing Reachable States for Nonlinear Biological Models},
booktitle = {Computational Methods in Systems Biology, 7th International Conference,
{CMSB} 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5688},
pages = {126--141},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03845-7\_9},
doi = {10.1007/978-3-642-03845-7\_9},
timestamp = {Tue, 03 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/DangGM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/SalahBM09,
author = {Ramzi Ben Salah and
Marius Bozga and
Oded Maler},
editor = {Samarjit Chakraborty and
Nicolas Halbwachs},
title = {Compositional timing analysis},
booktitle = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
2009},
pages = {39--48},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1629335.1629342},
doi = {10.1145/1629335.1629342},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/SalahBM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AlurDMW09,
author = {Rajeev Alur and
Aldric Degorre and
Oded Maler and
Gera Weiss},
editor = {Luca de Alfaro},
title = {On Omega-Languages Defined by Mean-Payoff Conditions},
booktitle = {Foundations of Software Science and Computational Structures, 12th
International Conference, {FOSSACS} 2009, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2009,
York, UK, March 22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5504},
pages = {333--347},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00596-1\_24},
doi = {10.1007/978-3-642-00596-1\_24},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/AlurDMW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Maler09,
author = {Oded Maler},
editor = {Olivier Bournez and
Igor Potapov},
title = {Reachability for Continuous and Hybrid Systems},
booktitle = {Reachability Problems, 3rd International Workshop, {RP} 2009, Palaiseau,
France, September 23-25, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5797},
pages = {24--25},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04420-5\_3},
doi = {10.1007/978-3-642-04420-5\_3},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rp/Maler09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2009,
editor = {Ahmed Bouajjani and
Oded Maler},
title = {Computer Aided Verification, 21st International Conference, {CAV}
2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5643},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4},
doi = {10.1007/978-3-642-02658-4},
isbn = {978-3-642-02657-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MalerNP08,
author = {Oded Maler and
Dejan Nickovic and
Amir Pnueli},
editor = {Arnon Avron and
Nachum Dershowitz and
Alexander Rabinovich},
title = {Checking Temporal Properties of Discrete, Timed and Continuous Behaviors},
booktitle = {Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot
on the Occasion of His 85th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4800},
pages = {475--505},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78127-1\_26},
doi = {10.1007/978-3-540-78127-1\_26},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MalerNP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/DangDMS08,
author = {Thao Dang and
Alexandre Donz{\'{e}} and
Oded Maler and
Noa Shalev},
title = {Sensitive state-space exploration},
booktitle = {Proceedings of the 47th {IEEE} Conference on Decision and Control,
{CDC} 2008, December 9-11, 2008, Canc{\'{u}}n, Mexico},
pages = {4049--4054},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/CDC.2008.4739371},
doi = {10.1109/CDC.2008.4739371},
timestamp = {Fri, 04 Mar 2022 13:27:23 +0100},
biburl = {https://dblp.org/rec/conf/cdc/DangDMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmsb/MalerB08,
author = {Oded Maler and
Gr{\'{e}}gory Batt},
editor = {Jasmin Fisher},
title = {Approximating Continuous Systems by Timed Automata},
booktitle = {Formal Methods in Systems Biology, First International Workshop, {FMSB}
2008, Cambridge, UK, June 4-5, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5054},
pages = {77--89},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68413-8\_6},
doi = {10.1007/978-3-540-68413-8\_6},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/fmsb/MalerB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/DegorreM08,
author = {Aldric Degorre and
Oded Maler},
editor = {Franck Cassez and
Claude Jard},
title = {On Scheduling Policies for Streams of Structured Jobs},
booktitle = {Formal Modeling and Analysis of Timed Systems, 6th International Conference,
{FORMATS} 2008, Saint Malo, France, September 15-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5215},
pages = {141--154},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85778-5\_11},
doi = {10.1007/978-3-540-85778-5\_11},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/DegorreM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/arc/Maler07,
author = {Oded Maler},
title = {On optimal and reasonable control in the presence of adversaries},
journal = {Annu. Rev. Control.},
volume = {31},
number = {1},
pages = {1--15},
year = {2007},
url = {https://doi.org/10.1016/j.arcontrol.2007.02.001},
doi = {10.1016/J.ARCONTROL.2007.02.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/arc/Maler07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MalerNP07,
author = {Oded Maler and
Dejan Nickovic and
Amir Pnueli},
editor = {Werner Damm and
Holger Hermanns},
title = {On Synthesizing Controllers from Bounded-Response Properties},
booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
2007, Berlin, Germany, July 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {95--107},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_12},
doi = {10.1007/978-3-540-73368-3\_12},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/MalerNP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BattSM07,
author = {Gr{\'{e}}gory Batt and
Ramzi Ben Salah and
Oded Maler},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
P. S. Thiagarajan},
title = {On Timed Models of Gene Networks},
booktitle = {Formal Modeling and Analysis of Timed Systems, 5th International Conference,
{FORMATS} 2007, Salzburg, Austria, October 3-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4763},
pages = {38--52},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75454-1\_5},
doi = {10.1007/978-3-540-75454-1\_5},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/BattSM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/NickovicM07,
author = {Dejan Nickovic and
Oded Maler},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
P. S. Thiagarajan},
title = {{AMT:} {A} Property-Based Monitoring Tool for Analog Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems, 5th International Conference,
{FORMATS} 2007, Salzburg, Austria, October 3-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4763},
pages = {304--319},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75454-1\_22},
doi = {10.1007/978-3-540-75454-1\_22},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/NickovicM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/DonzeM07,
author = {Alexandre Donz{\'{e}} and
Oded Maler},
editor = {Alberto Bemporad and
Antonio Bicchi and
Giorgio C. Buttazzo},
title = {Systematic Simulation Using Sensitivity Analysis},
booktitle = {Hybrid Systems: Computation and Control, 10th International Workshop,
{HSCC} 2007, Pisa, Italy, April 3-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4416},
pages = {174--189},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71493-4\_16},
doi = {10.1007/978-3-540-71493-4\_16},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/DonzeM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/FrehseM07,
author = {Goran Frehse and
Oded Maler},
editor = {Alberto Bemporad and
Antonio Bicchi and
Giorgio C. Buttazzo},
title = {Reachability Analysis of a Switched Buffer Network},
booktitle = {Hybrid Systems: Computation and Control, 10th International Workshop,
{HSCC} 2007, Pisa, Italy, April 3-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4416},
pages = {698--701},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71493-4\_64},
doi = {10.1007/978-3-540-71493-4\_64},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/FrehseM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SalahBM07,
author = {Ramzi Ben Salah and
Marius Bozga and
Oded Maler},
editor = {Arnd Poetzsch{-}Heffter},
title = {On timed components and their abstraction},
booktitle = {Proceedings of the 2007 Conference Specification and Verification
of Component-Based Systems, {SAVCBS} 2007, Dubrovnik, Croatia, September
3-4, 2007},
pages = {63--71},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292316.1292324},
doi = {10.1145/1292316.1292324},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/SalahBM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AbdeddaimAM06,
author = {Yasmina Abdedda{\"{\i}}m and
Eugene Asarin and
Oded Maler},
title = {Scheduling with timed automata},
journal = {Theor. Comput. Sci.},
volume = {354},
number = {2},
pages = {272--300},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2005.11.018},
doi = {10.1016/J.TCS.2005.11.018},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AbdeddaimAM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/SalahBM06,
author = {Ramzi Ben Salah and
Marius Bozga and
Oded Maler},
editor = {Christel Baier and
Holger Hermanns},
title = {On Interleaving in Timed Automata},
booktitle = {{CONCUR} 2006 - Concurrency Theory, 17th International Conference,
{CONCUR} 2006, Bonn, Germany, August 27-30, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4137},
pages = {465--476},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817949\_31},
doi = {10.1007/11817949\_31},
timestamp = {Sat, 30 Sep 2023 09:37:42 +0200},
biburl = {https://dblp.org/rec/conf/concur/SalahBM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/MalerNP06,
author = {Oded Maler and
Dejan Nickovic and
Amir Pnueli},
editor = {Eugene Asarin and
Patricia Bouyer},
title = {From {MITL} to Timed Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
{FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4202},
pages = {274--289},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11867340\_20},
doi = {10.1007/11867340\_20},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/MalerNP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/GirardGM06,
author = {Antoine Girard and
Colas Le Guernic and
Oded Maler},
editor = {Jo{\~{a}}o P. Hespanha and
Ashish Tiwari},
title = {Efficient Computation of Reachable Sets of Linear Time-Invariant Systems
with Inputs},
booktitle = {Hybrid Systems: Computation and Control, 9th International Workshop,
{HSCC} 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3927},
pages = {257--271},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11730637\_21},
doi = {10.1007/11730637\_21},
timestamp = {Wed, 30 Aug 2023 16:03:58 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/GirardGM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/CottonM06,
author = {Scott Cotton and
Oded Maler},
editor = {Armin Biere and
Carla P. Gomes},
title = {Fast and Flexible Difference Constraint Propagation for {DPLL(T)}},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2006, 9th
International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4121},
pages = {170--183},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11814948\_19},
doi = {10.1007/11814948\_19},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/CottonM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fac/2005,
editor = {Oded Maler},
title = {Proceedings of the First Workshop on Formal Verification of Analog
Circuits, {FAC} 2005, Edinburgh, UK, April 9, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {153},
number = {3},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/153/issue/3},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fac/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/MalerNP05,
author = {Oded Maler and
Dejan Nickovic and
Amir Pnueli},
editor = {Paul Pettersson and
Wang Yi},
title = {Real Time Temporal Logic: Past, Present, Future},
booktitle = {Formal Modeling and Analysis of Timed Systems, Third International
Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3829},
pages = {2--16},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603009\_2},
doi = {10.1007/11603009\_2},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/MalerNP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Maler06,
author = {Oded Maler},
editor = {Oded Maler},
title = {Preface},
booktitle = {Proceedings of the First Workshop on Formal Verification of Analog
Circuits, {FAC} 2005, Edinburgh, UK, April 9, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {153},
number = {3},
pages = {1--2},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.02.021},
doi = {10.1016/J.ENTCS.2006.02.021},
timestamp = {Fri, 20 Jan 2023 10:54:35 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Maler06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Maler06a,
author = {Oded Maler},
editor = {Oded Maler},
title = {Analog Circuit Verification: a State of an Art},
booktitle = {Proceedings of the First Workshop on Formal Verification of Analog
Circuits, {FAC} 2005, Edinburgh, UK, April 9, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {153},
number = {3},
pages = {3--7},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.02.020},
doi = {10.1016/J.ENTCS.2006.02.020},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Maler06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FrehseKRM06,
author = {Goran Frehse and
Bruce H. Krogh and
Rob A. Rutenbar and
Oded Maler},
editor = {Oded Maler},
title = {Time Domain Verification of Oscillator Circuit Properties},
booktitle = {Proceedings of the First Workshop on Formal Verification of Analog
Circuits, {FAC} 2005, Edinburgh, UK, April 9, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {153},
number = {3},
pages = {9--22},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.02.019},
doi = {10.1016/J.ENTCS.2006.02.019},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FrehseKRM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/necs2005/CaspiM05,
author = {Paul Caspi and
Oded Maler},
editor = {Dimitrios Hristu{-}Varsakelis and
William S. Levine},
title = {From Control Loops to Real-Time Programs},
booktitle = {Handbook of Networked and Embedded Control Systems},
pages = {395--418},
publisher = {Birkh{\"{a}}user},
year = {2005},
timestamp = {Thu, 21 Jul 2005 14:19:27 +0200},
biburl = {https://dblp.org/rec/books/sp/necs2005/CaspiM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/DangDM04,
author = {Thao Dang and
Alexandre Donz{\'{e}} and
Oded Maler},
editor = {Alan J. Hu and
Andrew K. Martin},
title = {Verification of Analog and Mixed-Signal Circuits Using Hybrid System
Techniques},
booktitle = {Formal Methods in Computer-Aided Design, 5th International Conference,
{FMCAD} 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3312},
pages = {21--36},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30494-4\_3},
doi = {10.1007/978-3-540-30494-4\_3},
timestamp = {Wed, 04 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/DangDM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/MalerN04,
author = {Oded Maler and
Dejan Nickovic},
editor = {Yassine Lakhnech and
Sergio Yovine},
title = {Monitoring Temporal Properties of Continuous Signals},
booktitle = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
Systems, Joint International Conferences on Formal Modelling and Analysis
of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3253},
pages = {152--166},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30206-3\_12},
doi = {10.1007/978-3-540-30206-3\_12},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/MalerN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/CottonAMN04,
author = {Scott Cotton and
Eugene Asarin and
Oded Maler and
Peter Niebert},
editor = {Yassine Lakhnech and
Sergio Yovine},
title = {Some Progress in Satisfiability Checking for Difference Logic},
booktitle = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
Systems, Joint International Conferences on Formal Modelling and Analysis
of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3253},
pages = {263--276},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30206-3\_19},
doi = {10.1007/978-3-540-30206-3\_19},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/CottonAMN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/MalerP04,
author = {Oded Maler and
Amir Pnueli},
editor = {Igor Walukiewicz},
title = {On Recognizable Timed Languages},
booktitle = {Foundations of Software Science and Computation Structures, 7th International
Conference, {FOSSACS} 2004, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2004, Barcelona, Spain,
March 29 - April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2987},
pages = {348--362},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24727-2\_25},
doi = {10.1007/978-3-540-24727-2\_25},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/MalerP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/BozgaKM04,
author = {Marius Bozga and
Abdelkarim Kerbaa and
Oded Maler},
title = {Scheduling Acyclic Branching Programs on Parallel Machines},
booktitle = {Proceedings of the 25th {IEEE} Real-Time Systems Symposium {(RTSS}
2004), 5-8 December 2004, Lisbon, Portugal},
pages = {208--217},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/REAL.2004.50},
doi = {10.1109/REAL.2004.50},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/BozgaKM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/SalahBM03,
author = {Ramzi Ben Salah and
Marius Bozga and
Oded Maler},
editor = {Kim Guldstrand Larsen and
Peter Niebert},
title = {On Timing Analysis of Combinational Circuits},
booktitle = {Formal Modeling and Analysis of Timed Systems: First International
Workshop, {FORMATS} 2003, Marseille, France, September 6-7, 2003.
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2791},
pages = {204--219},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40903-8\_17},
doi = {10.1007/978-3-540-40903-8\_17},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/SalahBM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/KapinskiKMS03,
author = {James Kapinski and
Bruce H. Krogh and
Oded Maler and
Olaf Stursberg},
editor = {Oded Maler and
Amir Pnueli},
title = {On Systematic Simulation of Open Continuous Systems},
booktitle = {Hybrid Systems: Computation and Control, 6th International Workshop,
{HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2623},
pages = {283--297},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36580-X\_22},
doi = {10.1007/3-540-36580-X\_22},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/KapinskiKMS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/AbdeddaimKM03,
author = {Yasmina Abdedda{\"{\i}}m and
Abdelkarim Kerbaa and
Oded Maler},
title = {Task Graph Scheduling Using Timed Automata},
booktitle = {17th International Parallel and Distributed Processing Symposium {(IPDPS}
2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings},
pages = {237},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/IPDPS.2003.1213431},
doi = {10.1109/IPDPS.2003.1213431},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/AbdeddaimKM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AbdeddaimAM03,
author = {Yasmina Abdedda{\"{\i}}m and
Eugene Asarin and
Oded Maler},
editor = {Hubert Garavel and
John Hatcliff},
title = {On Optimal Scheduling under Uncertainty},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
9th International Conference, {TACAS} 2003, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2619},
pages = {240--253},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36577-X\_17},
doi = {10.1007/3-540-36577-X\_17},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AbdeddaimAM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hybrid/2003,
editor = {Oded Maler and
Amir Pnueli},
title = {Hybrid Systems: Computation and Control, 6th International Workshop,
{HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2623},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36580-X},
doi = {10.1007/3-540-36580-X},
isbn = {3-540-00913-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/arc/Maler02,
author = {Oded Maler},
title = {Control from computer science},
journal = {Annu. Rev. Control.},
volume = {26},
number = {2},
pages = {175--187},
year = {2002},
url = {https://doi.org/10.1016/S1367-5788(02)00030-5},
doi = {10.1016/S1367-5788(02)00030-5},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/arc/Maler02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/AsarinCM02,
author = {Eugene Asarin and
Paul Caspi and
Oded Maler},
title = {Timed regular expressions},
journal = {J. {ACM}},
volume = {49},
number = {2},
pages = {172--206},
year = {2002},
url = {https://doi.org/10.1145/506147.506151},
doi = {10.1145/506147.506151},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/AsarinCM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/Maler02,
author = {Oded Maler},
editor = {Maria Fox and
Alexandra M. Coddington},
title = {Timed Automata as an Underlying Model for Planning and Scheduling},
booktitle = {{AIPS} 2002 Workshop on Planning for Temporal Domains, Toulous, France,
April 24, 2002},
pages = {67--70},
year = {2002},
timestamp = {Tue, 02 Nov 2021 15:59:06 +0100},
biburl = {https://dblp.org/rec/conf/aips/Maler02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AsarinDM02,
author = {Eugene Asarin and
Thao Dang and
Oded Maler},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {The d/dt Tool for Verification of Hybrid Systems},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {365--370},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_30},
doi = {10.1007/3-540-45657-0\_30},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AsarinDM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/MalerKM02,
author = {Oded Maler and
Bruce H. Krogh and
Moez Mahfoudh},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {On Control with Bounded Computational Resources},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {147--164},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_11},
doi = {10.1007/3-540-45739-9\_11},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/MalerKM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/NiebertMABMJ02,
author = {Peter Niebert and
Moez Mahfoudh and
Eugene Asarin and
Marius Bozga and
Oded Maler and
Navendu Jain},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {Verification of Timed Automata via Satisfiability Checking},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {225--244},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_15},
doi = {10.1007/3-540-45739-9\_15},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/NiebertMABMJ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AbdeddaimM02,
author = {Yasmina Abdedda{\"{\i}}m and
Oded Maler},
editor = {Joost{-}Pieter Katoen and
Perdita Stevens},
title = {Preemptive Job-Shop Scheduling Using Stopwatch Automata},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
8th International Conference, {TACAS} 2002, Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2002,
Grenoble, France, April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2280},
pages = {113--126},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46002-0\_9},
doi = {10.1007/3-540-46002-0\_9},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AbdeddaimM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BozgaJMY02,
author = {Marius Bozga and
Jianmin Hou and
Oded Maler and
Sergio Yovine},
editor = {Eugene Asarin and
Oded Maler and
Sergio Yovine},
title = {Verification of Asynchronous Circuits using Timed Automata},
booktitle = {Theory and Practice of Timed Systems, Satellite Event of {ETAPS} 2002,
Grenoble, France, April 6-7, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {6},
pages = {47--59},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80468-7},
doi = {10.1016/S1571-0661(04)80468-7},
timestamp = {Mon, 05 Dec 2022 15:10:47 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BozgaJMY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AsarinMY02,
author = {Eugene Asarin and
Oded Maler and
Sergio Yovine},
editor = {Eugene Asarin and
Oded Maler and
Sergio Yovine},
title = {Preface},
booktitle = {Theory and Practice of Timed Systems, Satellite Event of {ETAPS} 2002,
Grenoble, France, April 6-7, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {6},
pages = {273--274},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80481-5},
doi = {10.1016/S1571-0661(05)80481-5},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AsarinMY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/etaps/2002tpts,
editor = {Eugene Asarin and
Oded Maler and
Sergio Yovine},
title = {Theory and Practice of Timed Systems, Satellite Event of {ETAPS} 2002,
Grenoble, France, April 6-7, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {6},
publisher = {Elsevier},
year = {2002},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/65/issue/6},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etaps/2002tpts.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejcon/Maler01,
author = {Oded Maler},
title = {Guest Editorial: Verification of Hybrid Systems},
journal = {Eur. J. Control},
volume = {7},
number = {4},
pages = {357--365},
year = {2001},
url = {https://doi.org/10.3166/ejc.7.357-365},
doi = {10.3166/EJC.7.357-365},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ejcon/Maler01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KestenMMPS01,
author = {Yonit Kesten and
Oded Maler and
Monica Marcus and
Amir Pnueli and
Elad Shahar},
title = {Symbolic model checking with rich assertional languages},
journal = {Theor. Comput. Sci.},
volume = {256},
number = {1-2},
pages = {93--112},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00103-1},
doi = {10.1016/S0304-3975(00)00103-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KestenMMPS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AbdeddaimM01,
author = {Yasmina Abdedda{\"{\i}}m and
Oded Maler},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Job-Shop Scheduling Using Timed Automata},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {478--492},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_46},
doi = {10.1007/3-540-44585-4\_46},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/AbdeddaimM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/AsarinDM01,
author = {Eugene Asarin and
Thao Dang and
Oded Maler},
title = {d/dt: a verification tool for hybrid systems},
booktitle = {40th {IEEE} Conference on Decision and Control, {CDC} 2001, Orlando,
FL, USA, 4-7 Dec., 2001},
pages = {2893--2898},
publisher = {{IEEE}},
year = {2001},
url = {https://doi.org/10.1109/.2001.980715},
doi = {10.1109/.2001.980715},
timestamp = {Thu, 13 Oct 2022 17:08:41 +0200},
biburl = {https://dblp.org/rec/conf/cdc/AsarinDM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Sangiovanni-VincentelliHKMMPPSST01,
author = {Alberto L. Sangiovanni{-}Vincentelli and
Thomas A. Henzinger and
Bruce H. Krogh and
Oded Maler and
Manfred Morari and
Costas C. Pantelides and
George J. Pappas and
Tunc Simsec and
Janos Sztipanovits and
Stavros Tripakis},
editor = {Maria Domenica Di Benedetto and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Hybrid Systems Applications: An Oxymoron?},
booktitle = {Hybrid Systems: Computation and Control, 4th International Workshop,
{HSCC} 2001, Rome, Italy, March 28-30, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2034},
pages = {5--6},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45351-2\_4},
doi = {10.1007/3-540-45351-2\_4},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/Sangiovanni-VincentelliHKMMPPSST01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AsarinBEDM01,
author = {Eugene Asarin and
Sorav Bansal and
Bernard Espiau and
Thao Dang and
Oded Maler},
editor = {Maria Domenica Di Benedetto and
Alberto L. Sangiovanni{-}Vincentelli},
title = {On Hybrid Control of Under-Actuated Mechanical Systems},
booktitle = {Hybrid Systems: Computation and Control, 4th International Workshop,
{HSCC} 2001, Rome, Italy, March 28-30, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2034},
pages = {77--88},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45351-2\_10},
doi = {10.1007/3-540-45351-2\_10},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AsarinBEDM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BouajjaniEFMRWW00,
author = {Ahmed Bouajjani and
Javier Esparza and
Alain Finkel and
Oded Maler and
Peter Rossmanith and
Bernard Willems and
Pierre Wolper},
title = {An efficient automata approach to some problems on context-free grammars},
journal = {Inf. Process. Lett.},
volume = {74},
number = {5-6},
pages = {221--227},
year = {2000},
url = {https://doi.org/10.1016/S0020-0190(00)00055-7},
doi = {10.1016/S0020-0190(00)00055-7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/BouajjaniEFMRWW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/AsarinBDMP00,
author = {Eugene Asarin and
Olivier Bournez and
Thao Dang and
Oded Maler and
Amir Pnueli},
title = {Effective synthesis of switching controllers for linear systems},
journal = {Proc. {IEEE}},
volume = {88},
number = {7},
pages = {1011--1025},
year = {2000},
url = {https://doi.org/10.1109/5.871306},
doi = {10.1109/5.871306},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/AsarinBDMP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AsarinDMB00,
author = {Eugene Asarin and
Thao Dang and
Oded Maler and
Olivier Bournez},
editor = {Nancy A. Lynch and
Bruce H. Krogh},
title = {Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems},
booktitle = {Hybrid Systems: Computation and Control, Third International Workshop,
{HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1790},
pages = {20--31},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46430-1\_6},
doi = {10.1007/3-540-46430-1\_6},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AsarinDMB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BournezM00,
author = {Olivier Bournez and
Oded Maler},
editor = {Ugo Montanari and
Jos{\'{e}} D. P. Rolim and
Emo Welzl},
title = {On the Representation of Timed Polyhedra},
booktitle = {Automata, Languages and Programming, 27th International Colloquium,
{ICALP} 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1853},
pages = {793--807},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45022-X\_66},
doi = {10.1007/3-540-45022-X\_66},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BournezM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BozgaM99,
author = {Marius Bozga and
Oded Maler},
editor = {Nicolas Halbwachs and
Doron A. Peled},
title = {On the Representation of Probabilities over Structured Domains},
booktitle = {Computer Aided Verification, 11th International Conference, {CAV}
'99, Trento, Italy, July 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1633},
pages = {261--273},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48683-6\_24},
doi = {10.1007/3-540-48683-6\_24},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BozgaM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/BozgaMT99,
author = {Marius Bozga and
Oded Maler and
Stavros Tripakis},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Efficient Verification of Timed Automata Using Dense and Discrete
Time Semantics},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {125--141},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_11},
doi = {10.1007/3-540-48153-2\_11},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/BozgaMT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AsarinM99,
author = {Eugene Asarin and
Oded Maler},
editor = {Frits W. Vaandrager and
Jan H. van Schuppen},
title = {As Soon as Possible: Time Optimal Control for Timed Automata},
booktitle = {Hybrid Systems: Computation and Control, Second International Workshop,
HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1569},
pages = {19--30},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48983-5\_6},
doi = {10.1007/3-540-48983-5\_6},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AsarinM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BournezMP99,
author = {Olivier Bournez and
Oded Maler and
Amir Pnueli},
editor = {Frits W. Vaandrager and
Jan H. van Schuppen},
title = {Orthogonal Polyhedra: Representation and Computation},
booktitle = {Hybrid Systems: Computation and Control, Second International Workshop,
HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1569},
pages = {46--60},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48983-5\_8},
doi = {10.1007/3-540-48983-5\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BournezMP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/AsarinM98,
author = {Eugene Asarin and
Oded Maler},
title = {Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy},
journal = {J. Comput. Syst. Sci.},
volume = {57},
number = {3},
pages = {389--398},
year = {1998},
url = {https://doi.org/10.1006/jcss.1998.1601},
doi = {10.1006/JCSS.1998.1601},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/AsarinM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BozgaDMOTY98,
author = {Marius Bozga and
Conrado Daws and
Oded Maler and
Alfredo Olivero and
Stavros Tripakis and
Sergio Yovine},
editor = {Alan J. Hu and
Moshe Y. Vardi},
title = {Kronos: {A} Model-Checking Tool for Real-Time Systems},
booktitle = {Computer Aided Verification, 10th International Conference, {CAV}
'98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1427},
pages = {546--550},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0028779},
doi = {10.1007/BFB0028779},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/BozgaDMOTY98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AsarinMP98,
author = {Eugene Asarin and
Oded Maler and
Amir Pnueli},
editor = {Davide Sangiorgi and
Robert de Simone},
title = {On Discretization of Delays in Timed Automata and Digital Circuits},
booktitle = {{CONCUR} '98: Concurrency Theory, 9th International Conference, Nice,
France, September 8-11, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1466},
pages = {470--484},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055642},
doi = {10.1007/BFB0055642},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AsarinMP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BozgaDMOTY98,
author = {Marius Bozga and
Conrado Daws and
Oded Maler and
Alfredo Olivero and
Stavros Tripakis and
Sergio Yovine},
editor = {Anders P. Ravn and
Hans Rischel},
title = {{KRONOS:} {A} Model-Checking Tool for Real-Time Systems (Tool-Presentation
for {FTRTFT} '98)},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {298--302},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055357},
doi = {10.1007/BFB0055357},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/BozgaDMOTY98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/DangM98,
author = {Thao Dang and
Oded Maler},
editor = {Thomas A. Henzinger and
Shankar Sastry},
title = {Reachability Analysis via Face Lifting},
booktitle = {Hybrid Systems: Computation and Control, First International Workshop,
HSCC'98, Berkeley, California, USA, April 13-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1386},
pages = {96--109},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-64358-3\_34},
doi = {10.1007/3-540-64358-3\_34},
timestamp = {Mon, 25 Jul 2022 16:36:55 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/DangM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MalerS97,
author = {Oded Maler and
Ludwig Staiger},
title = {On Syntactic Congruences for Omega-Languages},
journal = {Theor. Comput. Sci.},
volume = {183},
number = {1},
pages = {93--112},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00312-X},
doi = {10.1016/S0304-3975(96)00312-X},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/MalerS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BozgaMPY97,
author = {Marius Bozga and
Oded Maler and
Amir Pnueli and
Sergio Yovine},
editor = {Orna Grumberg},
title = {Some Progress in the Symbolic Verification of Timed Automata},
booktitle = {Computer Aided Verification, 9th International Conference, {CAV} '97,
Haifa, Israel, June 22-25, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1254},
pages = {179--190},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63166-6\_19},
doi = {10.1007/3-540-63166-6\_19},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/BozgaMPY97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KestenMMPS97,
author = {Yonit Kesten and
Oded Maler and
Monica Marcus and
Amir Pnueli and
Elad Shahar},
editor = {Orna Grumberg},
title = {Symbolic Model Checking with Rich ssertional Languages},
booktitle = {Computer Aided Verification, 9th International Conference, {CAV} '97,
Haifa, Israel, June 22-25, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1254},
pages = {424--435},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63166-6\_41},
doi = {10.1007/3-540-63166-6\_41},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KestenMMPS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BouajjaniEM97,
author = {Ahmed Bouajjani and
Javier Esparza and
Oded Maler},
editor = {Antoni W. Mazurkiewicz and
J{\'{o}}zef Winkowski},
title = {Reachability Analysis of Pushdown Automata: Application to Model-Checking},
booktitle = {{CONCUR} '97: Concurrency Theory, 8th International Conference, Warsaw,
Poland, July 1-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1243},
pages = {135--150},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63141-0\_10},
doi = {10.1007/3-540-63141-0\_10},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BouajjaniEM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AsarinBKMPR97,
author = {Eugene Asarin and
Marius Bozga and
Alain Kerbrat and
Oded Maler and
Amir Pnueli and
Anne Rasse},
editor = {Oded Maler},
title = {Data-Structures for the Verification of Timed Automata},
booktitle = {Hybrid and Real-Time Systems, International Workshop. HART'97, Grenoble,
France, March 26-28, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1201},
pages = {346--360},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014737},
doi = {10.1007/BFB0014737},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AsarinBKMPR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AsarinCM97,
author = {Eugene Asarin and
Paul Caspi and
Oded Maler},
title = {A Kleene Theorem for Timed Automata},
booktitle = {Proceedings, 12th Annual {IEEE} Symposium on Logic in Computer Science,
Warsaw, Poland, June 29 - July 2, 1997},
pages = {160--171},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/LICS.1997.614944},
doi = {10.1109/LICS.1997.614944},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AsarinCM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hybrid/1997hart,
editor = {Oded Maler},
title = {Hybrid and Real-Time Systems, International Workshop. HART'97, Grenoble,
France, March 26-28, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1201},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014706},
doi = {10.1007/BFB0014706},
isbn = {3-540-62600-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/1997hart.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MalerP95,
author = {Oded Maler and
Amir Pnueli},
title = {On the Learnability of Infinitary Regular Sets},
journal = {Inf. Comput.},
volume = {118},
number = {2},
pages = {316--326},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1070},
doi = {10.1006/INCO.1995.1070},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/MalerP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AsarinMP95,
author = {Eugene Asarin and
Oded Maler and
Amir Pnueli},
title = {Reachability Analysis of Dynamical Systems Having Piecewise-Constant
Derivatives},
journal = {Theor. Comput. Sci.},
volume = {138},
number = {1},
pages = {35--65},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(94)00228-B},
doi = {10.1016/0304-3975(94)00228-B},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AsarinMP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Maler95,
author = {Oded Maler},
title = {A Decomposition Theorem for Probabilistic Transition Systems},
journal = {Theor. Comput. Sci.},
volume = {145},
number = {1{\&}2},
pages = {391--396},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(95)00004-G},
doi = {10.1016/0304-3975(95)00004-G},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Maler95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/MalerP95,
author = {Oded Maler and
Amir Pnueli},
editor = {Paolo Camurati and
Hans Eveking},
title = {Timing analysis of asynchronous circuits using timed automata},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
Germany, October 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {987},
pages = {189--205},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60385-9\_12},
doi = {10.1007/3-540-60385-9\_12},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/MalerP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AsarinM95,
author = {Eugene Asarin and
Oded Maler},
editor = {P. S. Thiagarajan},
title = {Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
15th Conference, Bangalore, India, December 18-20, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1026},
pages = {471--483},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60692-0\_68},
doi = {10.1007/3-540-60692-0\_68},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/AsarinM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/MalerPS95,
author = {Oded Maler and
Amir Pnueli and
Joseph Sifakis},
editor = {Ernst W. Mayr and
Claude Puech},
title = {On the Synthesis of Discrete Controllers for Timed Systems (An Extended
Abstract)},
booktitle = {{STACS} 95, 12th Annual Symposium on Theoretical Aspects of Computer
Science, Munich, Germany, March 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {900},
pages = {229--242},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59042-0\_76},
doi = {10.1007/3-540-59042-0\_76},
timestamp = {Sat, 07 Sep 2019 11:59:26 +0200},
biburl = {https://dblp.org/rec/conf/stacs/MalerPS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DelyonM94,
author = {Bernard Delyon and
Oded Maler},
title = {On the Effects of Noise and Speed on Computations},
journal = {Theor. Comput. Sci.},
volume = {129},
number = {2},
pages = {279--291},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90029-9},
doi = {10.1016/0304-3975(94)90029-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DelyonM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AsarinMP94,
author = {Eugene Asarin and
Oded Maler and
Amir Pnueli},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {Symbolic Controller Synthesis for Discrete and Timed Systems},
booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1994},
series = {Lecture Notes in Computer Science},
volume = {999},
pages = {1--20},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60472-3\_1},
doi = {10.1007/3-540-60472-3\_1},
timestamp = {Fri, 29 Apr 2022 09:17:30 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AsarinMP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AsarinM94,
author = {Eugene Asarin and
Oded Maler},
editor = {Serge Abiteboul and
Eli Shamir},
title = {On some Relations between Dynamical Systems and Transition Systems},
booktitle = {Automata, Languages and Programming, 21st International Colloquium,
ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {820},
pages = {59--72},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58201-0\_58},
doi = {10.1007/3-540-58201-0\_58},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AsarinM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MalerP93,
author = {Oded Maler and
Amir Pnueli},
editor = {Costas Courcoubetis},
title = {Reachability Analysis of Planar Multi-limear Systems},
booktitle = {Computer Aided Verification, 5th International Conference, {CAV} '93,
Elounda, Greece, June 28 - July 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {697},
pages = {194--209},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56922-7\_17},
doi = {10.1007/3-540-56922-7\_17},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/MalerP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Maler93,
author = {Oded Maler},
editor = {Patrice Enjalbert and
Alain Finkel and
Klaus W. Wagner},
title = {A Decomposition Theorem for Probabilistic Transition Systems},
booktitle = {{STACS} 93, 10th Annual Symposium on Theoretical Aspects of Computer
Science, W{\"{u}}rzburg, Germany, February 25-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {665},
pages = {323--332},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56503-5\_33},
doi = {10.1007/3-540-56503-5\_33},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Maler93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/MalerS93,
author = {Oded Maler and
Ludwig Staiger},
editor = {Patrice Enjalbert and
Alain Finkel and
Klaus W. Wagner},
title = {On Syntactic Congruences for Omega-Languages},
booktitle = {{STACS} 93, 10th Annual Symposium on Theoretical Aspects of Computer
Science, W{\"{u}}rzburg, Germany, February 25-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {665},
pages = {586--594},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56503-5\_58},
doi = {10.1007/3-540-56503-5\_58},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/MalerS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/DeylonM92,
author = {Bernard Delyon and
Oded Maler},
editor = {Jan Vytopil},
title = {On Fault-Tolerant Symbolic Computations},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {259--269},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_14},
doi = {10.1007/3-540-55092-5\_14},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/DeylonM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colt/MalerP91,
author = {Oded Maler and
Amir Pnueli},
editor = {Manfred K. Warmuth and
Leslie G. Valiant},
title = {On the Learnability of Infinitary Regular Sets},
booktitle = {Proceedings of the Fourth Annual Workshop on Computational Learning
Theory, {COLT} 1991, Santa Cruz, California, USA, August 5-7, 1991},
pages = {128--136},
publisher = {Morgan Kaufmann},
year = {1991},
url = {http://dl.acm.org/citation.cfm?id=114848},
timestamp = {Fri, 23 Dec 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/colt/MalerP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/MalerMP91,
author = {Oded Maler and
Zohar Manna and
Amir Pnueli},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {From Timed to Hybrid Systems},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {447--484},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0032003},
doi = {10.1007/BFB0032003},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/rex/MalerMP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/MalerP90,
author = {Oded Maler and
Amir Pnueli},
title = {Tight Bounds on the Complexity of Cascaded Decomposition of Automata},
booktitle = {31st Annual Symposium on Foundations of Computer Science, St. Louis,
Missouri, USA, October 22-24, 1990, Volume {II}},
pages = {672--682},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/FSCS.1990.89589},
doi = {10.1109/FSCS.1990.89589},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/MalerP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/MalerP89,
author = {Oded Maler and
Amir Pnueli},
editor = {Klaus P. Jantke},
title = {Learning omega-Regular Languages from Queries and Counter-Examples
{(A} Preliminary Report)},
booktitle = {Analogical and Inductive Inference, International Workshop {AII} '89,
Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {397},
pages = {161--170},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51734-0\_58},
doi = {10.1007/3-540-51734-0\_58},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/aii/MalerP89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MahlerSS86,
author = {Oded Maler and
Zahava Scherz and
Ehud Shapiro},
editor = {Ehud Shapiro},
title = {A New Approach for Intruducing Prolog to Naive Users},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {544--551},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_102},
doi = {10.1007/3-540-16492-8\_102},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/MahlerSS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-09-10 02:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
