default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Rajeev Alur
@article{DBLP:journals/automatica/XueLA24,
author = {Anton Xue and
Lars Lindemann and
Rajeev Alur},
title = {Chordal sparsity for SDP-based neural network verification},
journal = {Autom.},
volume = {161},
pages = {111487},
year = {2024},
url = {https://doi.org/10.1016/j.automatica.2023.111487},
doi = {10.1016/J.AUTOMATICA.2023.111487},
timestamp = {Fri, 26 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/automatica/XueLA24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LiHLZZDVAN24,
author = {Ziyang Li and
Jiani Huang and
Jason Liu and
Felix Zhu and
Eric Zhao and
William Dodds and
Neelay Velingker and
Rajeev Alur and
Mayur Naik},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {Relational Programming with Foundational Models},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {10635--10644},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i9.28934},
doi = {10.1609/AAAI.V38I9.28934},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LiHLZZDVAN24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/ZhangKPAA024,
author = {Haoran Zhang and
Konstantinos Kallas and
Spyros Pavlatos and
Rajeev Alur and
Sebastian Angel and
Vincent Liu},
editor = {Laurent Vanbever and
Irene Zhang},
title = {MuCache: {A} General Framework for Caching in Microservice Graphs},
booktitle = {21st {USENIX} Symposium on Networked Systems Design and Implementation,
{NSDI} 2024, Santa Clara, CA, April 15-17, 2024},
pages = {221--238},
publisher = {{USENIX} Association},
year = {2024},
url = {https://www.usenix.org/conference/nsdi24/presentation/zhang-haoran},
timestamp = {Fri, 19 Apr 2024 11:29:16 +0200},
biburl = {https://dblp.org/rec/conf/nsdi/ZhangKPAA024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/ZhuLXBGLABDDNS024,
author = {Chang Zhu and
Ziyang Li and
Anton Xue and
Ati Priya Bajaj and
Wil Gibbs and
Yibo Liu and
Rajeev Alur and
Tiffany Bao and
Hanjun Dai and
Adam Doup{\'{e}} and
Mayur Naik and
Yan Shoshitaishvili and
Ruoyu Wang and
Aravind Machiry},
editor = {Davide Balzarotti and
Wenyuan Xu},
title = {{TYGR:} Type Inference on Stripped Binaries using Graph Neural Networks},
booktitle = {33rd {USENIX} Security Symposium, {USENIX} Security 2024, Philadelphia,
PA, USA, August 14-16, 2024},
publisher = {{USENIX} Association},
year = {2024},
url = {https://www.usenix.org/conference/usenixsecurity24/presentation/zhu-chang},
timestamp = {Mon, 22 Jul 2024 17:10:49 +0200},
biburl = {https://dblp.org/rec/conf/uss/ZhuLXBGLABDDNS024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2406-06246,
author = {Alaia Solko{-}Breslin and
Seewon Choi and
Ziyang Li and
Neelay Velingker and
Rajeev Alur and
Mayur Naik and
Eric Wong},
title = {Data-Efficient Learning with Neural Programs},
journal = {CoRR},
volume = {abs/2406.06246},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2406.06246},
doi = {10.48550/ARXIV.2406.06246},
eprinttype = {arXiv},
eprint = {2406.06246},
timestamp = {Sat, 13 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2406-06246.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2407-00075,
author = {Anton Xue and
Avishree Khare and
Rajeev Alur and
Surbhi Goel and
Eric Wong},
title = {Logicbreaks: {A} Framework for Understanding Subversion of Rule-based
Inference},
journal = {CoRR},
volume = {abs/2407.00075},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2407.00075},
doi = {10.48550/ARXIV.2407.00075},
eprinttype = {arXiv},
eprint = {2407.00075},
timestamp = {Fri, 09 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2407-00075.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ThakkarSPANR23,
author = {Aalok Thakkar and
Nathaniel Sands and
George Petrou and
Rajeev Alur and
Mayur Naik and
Mukund Raghothaman},
title = {Mobius: Synthesizing Relational Queries with Recursive and Invented
Predicates},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA2}},
pages = {1394--1417},
year = {2023},
url = {https://doi.org/10.1145/3622847},
doi = {10.1145/3622847},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ThakkarSPANR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/KallasZAAL23,
author = {Konstantinos Kallas and
Haoran Zhang and
Rajeev Alur and
Sebastian Angel and
Vincent Liu},
title = {Executing Microservice Applications on Serverless, Correctly},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{POPL}},
pages = {367--395},
year = {2023},
url = {https://doi.org/10.1145/3571206},
doi = {10.1145/3571206},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/KallasZAAL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/AlurSW23,
author = {Rajeev Alur and
Caleb Stanford and
Christopher Watson},
title = {A Robust Theory of Series Parallel Graphs},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{POPL}},
pages = {1058--1088},
year = {2023},
url = {https://doi.org/10.1145/3571230},
doi = {10.1145/3571230},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/AlurSW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/NaikTSAN23,
author = {Aaditya Naik and
Aalok Thakkar and
Adam Stein and
Rajeev Alur and
Mayur Naik},
title = {Relational Query Synthesis {\(\bowtie\)} Decision Tree Learning},
journal = {Proc. {VLDB} Endow.},
volume = {17},
number = {2},
pages = {250--263},
year = {2023},
url = {https://www.vldb.org/pvldb/vol17/p250-naik.pdf},
timestamp = {Mon, 27 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pvldb/NaikTSAN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlurBJPST23,
author = {Rajeev Alur and
Osbert Bastani and
Kishor Jothimurugan and
Mateo Perez and
Fabio Somenzi and
Ashutosh Trivedi},
editor = {Constantin Enea and
Akash Lal},
title = {Policy Synthesis and Reinforcement Learning for Discounted {LTL}},
booktitle = {Computer Aided Verification - 35th International Conference, {CAV}
2023, Paris, France, July 17-22, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13964},
pages = {415--435},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37706-8\_21},
doi = {10.1007/978-3-031-37706-8\_21},
timestamp = {Tue, 12 Sep 2023 07:57:21 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlurBJPST23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/JothimuruganHBA23,
author = {Kishor Jothimurugan and
Steve Hsu and
Osbert Bastani and
Rajeev Alur},
editor = {Andreas Krause and
Emma Brunskill and
Kyunghyun Cho and
Barbara Engelhardt and
Sivan Sabato and
Jonathan Scarlett},
title = {Robust Subtask Learning for Compositional Generalization},
booktitle = {International Conference on Machine Learning, {ICML} 2023, 23-29 July
2023, Honolulu, Hawaii, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {202},
pages = {15371--15387},
publisher = {{PMLR}},
year = {2023},
url = {https://proceedings.mlr.press/v202/jothimurugan23a.html},
timestamp = {Mon, 28 Aug 2023 17:23:08 +0200},
biburl = {https://dblp.org/rec/conf/icml/JothimuruganHBA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/XueA023,
author = {Anton Xue and
Rajeev Alur and
Eric Wong},
editor = {Alice Oh and
Tristan Naumann and
Amir Globerson and
Kate Saenko and
Moritz Hardt and
Sergey Levine},
title = {Stability Guarantees for Feature Attributions with Multiplicative
Smoothing},
booktitle = {Advances in Neural Information Processing Systems 36: Annual Conference
on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans,
LA, USA, December 10 - 16, 2023},
year = {2023},
url = {http://papers.nips.cc/paper\_files/paper/2023/hash/c4889bd7f7ce643003746526da2c2fc4-Abstract-Conference.html},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/XueA023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-02984,
author = {Kishor Jothimurugan and
Steve Hsu and
Osbert Bastani and
Rajeev Alur},
title = {Robust Subtask Learning for Compositional Generalization},
journal = {CoRR},
volume = {abs/2302.02984},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.02984},
doi = {10.48550/ARXIV.2302.02984},
eprinttype = {arXiv},
eprint = {2302.02984},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-02984.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-17115,
author = {Rajeev Alur and
Osbert Bastani and
Kishor Jothimurugan and
Mateo Perez and
Fabio Somenzi and
Ashutosh Trivedi},
title = {Policy Synthesis and Reinforcement Learning for Discounted {LTL}},
journal = {CoRR},
volume = {abs/2305.17115},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.17115},
doi = {10.48550/ARXIV.2305.17115},
eprinttype = {arXiv},
eprint = {2305.17115},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-17115.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-05902,
author = {Anton Xue and
Rajeev Alur and
Eric Wong},
title = {Stability Guarantees for Feature Attributions with Multiplicative
Smoothing},
journal = {CoRR},
volume = {abs/2307.05902},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.05902},
doi = {10.48550/ARXIV.2307.05902},
eprinttype = {arXiv},
eprint = {2307.05902},
timestamp = {Tue, 07 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-05902.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-16169,
author = {Avishree Khare and
Saikat Dutta and
Ziyang Li and
Alaia Solko{-}Breslin and
Rajeev Alur and
Mayur Naik},
title = {Understanding the Effectiveness of Large Language Models in Detecting
Security Vulnerabilities},
journal = {CoRR},
volume = {abs/2311.16169},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.16169},
doi = {10.48550/ARXIV.2311.16169},
eprinttype = {arXiv},
eprint = {2311.16169},
timestamp = {Mon, 04 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-16169.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/AlurBFMW23,
author = {Rajeev Alur and
Mikolaj Bojanczyk and
Emmanuel Filiot and
Anca Muscholl and
Sarah Winter},
title = {Regular Transformations (Dagstuhl Seminar 23202)},
journal = {Dagstuhl Reports},
volume = {13},
number = {5},
pages = {96--113},
year = {2023},
url = {https://doi.org/10.4230/DagRep.13.5.96},
doi = {10.4230/DAGREP.13.5.96},
timestamp = {Thu, 14 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/AlurBFMW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/AlurDLS22,
author = {Rajeev Alur and
Joseph Devietti and
Omar S. Navarro Leija and
Nimit Singhania},
title = {Static detection of uncoalesced accesses in {GPU} programs},
journal = {Formal Methods Syst. Des.},
volume = {60},
number = {1},
pages = {1--32},
year = {2022},
url = {https://doi.org/10.1007/s10703-021-00362-8},
doi = {10.1007/S10703-021-00362-8},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/AlurDLS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AlurBBJ22,
author = {Rajeev Alur and
Suguman Bansal and
Osbert Bastani and
Kishor Jothimurugan},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Krishnendu Chatterjee and
Laurent Doyen and
Rupak Majumdar},
title = {A Framework for Transforming Specifications in Reinforcement Learning},
booktitle = {Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13660},
pages = {604--624},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22337-2\_29},
doi = {10.1007/978-3-031-22337-2\_29},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AlurBBJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JothimuruganBBA22,
author = {Kishor Jothimurugan and
Suguman Bansal and
Osbert Bastani and
Rajeev Alur},
editor = {Sharon Shoham and
Yakir Vizel},
title = {Specification-Guided Learning of Nash Equilibria with High Social
Welfare},
booktitle = {Computer Aided Verification - 34th International Conference, {CAV}
2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13372},
pages = {343--363},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-13188-2\_17},
doi = {10.1007/978-3-031-13188-2\_17},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/JothimuruganBBA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/XueLRHPA22,
author = {Anton Xue and
Lars Lindemann and
Alexander Robey and
Hamed Hassani and
George J. Pappas and
Rajeev Alur},
title = {Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural
Networks},
booktitle = {61st {IEEE} Conference on Decision and Control, {CDC} 2022, Cancun,
Mexico, December 6-9, 2022},
pages = {3389--3396},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CDC51059.2022.9993136},
doi = {10.1109/CDC51059.2022.9993136},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/XueLRHPA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cidr/StanfordKA22,
author = {Caleb Stanford and
Konstantinos Kallas and
Rajeev Alur},
title = {Correctness in Stream Processing: Challenges and Opportunities},
booktitle = {12th Conference on Innovative Data Systems Research, {CIDR} 2022,
Chaminade, CA, USA, January 9-12, 2022},
publisher = {www.cidrdb.org},
year = {2022},
url = {https://www.cidrdb.org/cidr2022/papers/p103-stanford.pdf},
timestamp = {Mon, 18 Jul 2022 17:13:00 +0200},
biburl = {https://dblp.org/rec/conf/cidr/StanfordKA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/KallasNSA22,
author = {Konstantinos Kallas and
Filip Niksic and
Caleb Stanford and
Rajeev Alur},
editor = {Jaejin Lee and
Kunal Agrawal and
Michael F. Spear},
title = {Stream processing with dependency-guided synchronization},
booktitle = {PPoPP '22: 27th {ACM} {SIGPLAN} Symposium on Principles and Practice
of Parallel Programming, Seoul, Republic of Korea, April 2 - 6, 2022},
pages = {1--16},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3503221.3508413},
doi = {10.1145/3503221.3508413},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/KallasNSA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ShiWAL22,
author = {Lei Shi and
Yuepeng Wang and
Rajeev Alur and
Boon Thau Loo},
editor = {Dana Fisman and
Grigore Rosu},
title = {Automatic Repair for Network Programs},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 28th International Conference, {TACAS} 2022, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13244},
pages = {353--372},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99527-0\_19},
doi = {10.1007/978-3-030-99527-0\_19},
timestamp = {Fri, 29 Apr 2022 14:50:32 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ShiWAL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-00846,
author = {Anton Xue and
Lars Lindemann and
Alexander Robey and
Hamed Hassani and
George J. Pappas and
Rajeev Alur},
title = {Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural
Networks},
journal = {CoRR},
volume = {abs/2204.00846},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.00846},
doi = {10.48550/ARXIV.2204.00846},
eprinttype = {arXiv},
eprint = {2204.00846},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-00846.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-03348,
author = {Kishor Jothimurugan and
Suguman Bansal and
Osbert Bastani and
Rajeev Alur},
title = {Specification-Guided Learning of Nash Equilibria with High Social
Welfare},
journal = {CoRR},
volume = {abs/2206.03348},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.03348},
doi = {10.48550/ARXIV.2206.03348},
eprinttype = {arXiv},
eprint = {2206.03348},
timestamp = {Tue, 14 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-03348.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-03482,
author = {Anton Xue and
Lars Lindemann and
Rajeev Alur},
title = {Parametric Chordal Sparsity for SDP-based Neural Network Verification},
journal = {CoRR},
volume = {abs/2206.03482},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.03482},
doi = {10.48550/ARXIV.2206.03482},
eprinttype = {arXiv},
eprint = {2206.03482},
timestamp = {Tue, 14 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-03482.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-05448,
author = {Rajeev Alur and
Taylor Dohmen and
Ashutosh Trivedi},
title = {Composing Copyless Streaming String Transducers},
journal = {CoRR},
volume = {abs/2209.05448},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.05448},
doi = {10.48550/ARXIV.2209.05448},
eprinttype = {arXiv},
eprint = {2209.05448},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-05448.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/AlurF21,
author = {Rajeev Alur and
Dana Fisman},
title = {Colored nested words},
journal = {Formal Methods Syst. Des.},
volume = {58},
number = {3},
pages = {347--374},
year = {2021},
url = {https://doi.org/10.1007/s10703-021-00384-2},
doi = {10.1007/S10703-021-00384-2},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/AlurF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/IvanovCWAPL21,
author = {Radoslav Ivanov and
Taylor J. Carpenter and
James Weimer and
Rajeev Alur and
George J. Pappas and
Insup Lee},
title = {Verifying the Safety of Autonomous Systems with Neural Network Controllers},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {20},
number = {1},
pages = {7:1--7:26},
year = {2021},
url = {https://doi.org/10.1145/3419742},
doi = {10.1145/3419742},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/IvanovCWAPL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/IvanovJHVAB21,
author = {Radoslav Ivanov and
Kishor Jothimurugan and
Steve Hsu and
Shaan Vaidya and
Rajeev Alur and
Osbert Bastani},
title = {Compositional Learning and Verification of Neural Network Controllers},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {20},
number = {5s},
pages = {92:1--92:26},
year = {2021},
url = {https://doi.org/10.1145/3477023},
doi = {10.1145/3477023},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/IvanovJHVAB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aistats/JothimuruganBA21,
author = {Kishor Jothimurugan and
Osbert Bastani and
Rajeev Alur},
editor = {Arindam Banerjee and
Kenji Fukumizu},
title = {Abstract Value Iteration for Hierarchical Reinforcement Learning},
booktitle = {The 24th International Conference on Artificial Intelligence and Statistics,
{AISTATS} 2021, April 13-15, 2021, Virtual Event},
series = {Proceedings of Machine Learning Research},
volume = {130},
pages = {1162--1170},
publisher = {{PMLR}},
year = {2021},
url = {http://proceedings.mlr.press/v130/jothimurugan21a.html},
timestamp = {Wed, 14 Apr 2021 16:51:37 +0200},
biburl = {https://dblp.org/rec/conf/aistats/JothimuruganBA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/IvanovCWAPL21,
author = {Radoslav Ivanov and
Taylor J. Carpenter and
James Weimer and
Rajeev Alur and
George J. Pappas and
Insup Lee},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Verisig 2.0: Verification of Neural Network Controllers Using Taylor
Model Preconditioning},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {249--262},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_11},
doi = {10.1007/978-3-030-81685-8\_11},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/IvanovCWAPL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/JothimuruganBBA21,
author = {Kishor Jothimurugan and
Suguman Bansal and
Osbert Bastani and
Rajeev Alur},
editor = {Marc'Aurelio Ranzato and
Alina Beygelzimer and
Yann N. Dauphin and
Percy Liang and
Jennifer Wortman Vaughan},
title = {Compositional Reinforcement Learning from Logical Specifications},
booktitle = {Advances in Neural Information Processing Systems 34: Annual Conference
on Neural Information Processing Systems 2021, NeurIPS 2021, December
6-14, 2021, virtual},
pages = {10026--10039},
year = {2021},
url = {https://proceedings.neurips.cc/paper/2021/hash/531db99cb00833bcd414459069dc7387-Abstract.html},
timestamp = {Tue, 03 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nips/JothimuruganBBA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ThakkarNSANR21,
author = {Aalok Thakkar and
Aaditya Naik and
Nathaniel Sands and
Rajeev Alur and
Mayur Naik and
Mukund Raghothaman},
editor = {Stephen N. Freund and
Eran Yahav},
title = {Example-guided synthesis of relational queries},
booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, Virtual Event, Canada, June 20-25,
2021},
pages = {1110--1125},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3453483.3454098},
doi = {10.1145/3453483.3454098},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/ThakkarNSANR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/AlurHIKMNSTX21,
author = {Rajeev Alur and
Phillip Hilliard and
Zachary G. Ives and
Konstantinos Kallas and
Konstantinos Mamouras and
Filip Niksic and
Caleb Stanford and
Val Tannen and
Anton Xue},
editor = {Leonid Libkin and
Reinhard Pichler and
Paolo Guagliardo},
title = {Synchronization Schemas},
booktitle = {PODS'21: Proceedings of the 40th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium
on Principles of Database Systems, Virtual Event, China, June 20-25,
2021},
pages = {1--18},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3452021.3458317},
doi = {10.1145/3452021.3458317},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/AlurHIKMNSTX21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ShiLLA21,
author = {Lei Shi and
Yahui Li and
Boon Thau Loo and
Rajeev Alur},
editor = {Jan Friso Groote and
Kim Guldstrand Larsen},
title = {Network Traffic Classification by Program Synthesis},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 27th International Conference, {TACAS} 2021, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12651},
pages = {430--448},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72016-2\_23},
doi = {10.1007/978-3-030-72016-2\_23},
timestamp = {Fri, 14 May 2021 08:34:19 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ShiLLA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-04512,
author = {Konstantinos Kallas and
Filip Niksic and
Caleb Stanford and
Rajeev Alur},
title = {Stream Processing With Dependency-Guided Synchronization},
journal = {CoRR},
volume = {abs/2104.04512},
year = {2021},
url = {https://arxiv.org/abs/2104.04512},
eprinttype = {arXiv},
eprint = {2104.04512},
timestamp = {Tue, 13 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-04512.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-13906,
author = {Kishor Jothimurugan and
Suguman Bansal and
Osbert Bastani and
Rajeev Alur},
title = {Compositional Reinforcement Learning from Logical Specifications},
journal = {CoRR},
volume = {abs/2106.13906},
year = {2021},
url = {https://arxiv.org/abs/2106.13906},
eprinttype = {arXiv},
eprint = {2106.13906},
timestamp = {Wed, 30 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-13906.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-06303,
author = {Lei Shi and
Yuepeng Wang and
Rajeev Alur and
Boon Thau Loo},
title = {Orion: Automatic Repair for Network Programs},
journal = {CoRR},
volume = {abs/2110.06303},
year = {2021},
url = {https://arxiv.org/abs/2110.06303},
eprinttype = {arXiv},
eprint = {2110.06303},
timestamp = {Fri, 22 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-06303.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-00272,
author = {Rajeev Alur and
Suguman Bansal and
Osbert Bastani and
Kishor Jothimurugan},
title = {A Framework for Transforming Specifications in Reinforcement Learning},
journal = {CoRR},
volume = {abs/2111.00272},
year = {2021},
url = {https://arxiv.org/abs/2111.00272},
eprinttype = {arXiv},
eprint = {2111.00272},
timestamp = {Fri, 05 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-00272.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/KallasNSA20,
author = {Konstantinos Kallas and
Filip Niksic and
Caleb Stanford and
Rajeev Alur},
title = {DiffStream: differential output testing for stream processing programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {153:1--153:29},
year = {2020},
url = {https://doi.org/10.1145/3428221},
doi = {10.1145/3428221},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/KallasNSA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlurFMRS20,
author = {Rajeev Alur and
Dana Fisman and
Konstantinos Mamouras and
Mukund Raghothaman and
Caleb Stanford},
title = {Streamable regular transductions},
journal = {Theor. Comput. Sci.},
volume = {807},
pages = {15--41},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2019.11.018},
doi = {10.1016/J.TCS.2019.11.018},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AlurFMRS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/IvanovCWAPL20,
author = {Radoslav Ivanov and
Taylor J. Carpenter and
James Weimer and
Rajeev Alur and
George J. Pappas and
Insup Lee},
editor = {Aaron D. Ames and
Sanjit A. Seshia and
Jyotirmoy Deshmukh},
title = {Case study: verifying the safety of an autonomous racing car with
a neural network controller},
booktitle = {{HSCC} '20: 23rd {ACM} International Conference on Hybrid Systems:
Computation and Control, Sydney, New South Wales, Australia, April
21-24, 2020},
pages = {28:1--28:7},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3365365.3382216},
doi = {10.1145/3365365.3382216},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/IvanovCWAPL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AlurCJK20,
author = {Rajeev Alur and
Yu Chen and
Kishor Jothimurugan and
Sanjeev Khanna},
editor = {Holger Hermanns and
Lijun Zhang and
Naoki Kobayashi and
Dale Miller},
title = {Space-efficient Query Evaluation over Probabilistic Event Streams},
booktitle = {{LICS} '20: 35th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Saarbr{\"{u}}cken, Germany, July 8-11, 2020},
pages = {74--87},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373718.3394747},
doi = {10.1145/3373718.3394747},
timestamp = {Sat, 30 Sep 2023 09:52:07 +0200},
biburl = {https://dblp.org/rec/conf/lics/AlurCJK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/NguyenMWSLA20,
author = {Luan Viet Nguyen and
Gautam Mohan and
James Weimer and
Oleg Sokolsky and
Insup Lee and
Rajeev Alur},
title = {{REAFFIRM:} Model-Based Repair of Hybrid Systems for Improving Resiliency},
booktitle = {18th {ACM/IEEE} International Conference on Formal Methods and Models
for System Design, {MEMOCODE} 2020, Jaipur, India, December 2-4, 2020},
pages = {1--12},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/MEMOCODE51338.2020.9315153},
doi = {10.1109/MEMOCODE51338.2020.9315153},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/NguyenMWSLA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-03704,
author = {Rajeev Alur and
Richard G. Baraniuk and
Rastislav Bod{\'{\i}}k and
Ann W. Drobnis and
Sumit Gulwani and
Bjoern Hartmann and
Yasmin B. Kafai and
Jeff Karpicke and
Ran Libeskind{-}Hadas and
Debra J. Richardson and
Armando Solar{-}Lezama and
Candace Thille and
Moshe Y. Vardi},
title = {Computer-Aided Personalized Education},
journal = {CoRR},
volume = {abs/2007.03704},
year = {2020},
url = {https://arxiv.org/abs/2007.03704},
eprinttype = {arXiv},
eprint = {2007.03704},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-03704.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-09293,
author = {Kishor Jothimurugan and
Rajeev Alur and
Osbert Bastani},
title = {A Composable Specification Language for Reinforcement Learning Tasks},
journal = {CoRR},
volume = {abs/2008.09293},
year = {2020},
url = {https://arxiv.org/abs/2008.09293},
eprinttype = {arXiv},
eprint = {2008.09293},
timestamp = {Fri, 28 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-09293.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-06135,
author = {Lei Shi and
Yahui Li and
Rajeev Alur and
Boon Thau Loo},
title = {Session-layer Attack Traffic Classification by Program Synthesis},
journal = {CoRR},
volume = {abs/2010.06135},
year = {2020},
url = {https://arxiv.org/abs/2010.06135},
eprinttype = {arXiv},
eprint = {2010.06135},
timestamp = {Tue, 20 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-06135.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-15638,
author = {Kishor Jothimurugan and
Osbert Bastani and
Rajeev Alur},
title = {Abstract Value Iteration for Hierarchical Reinforcement Learning},
journal = {CoRR},
volume = {abs/2010.15638},
year = {2020},
url = {https://arxiv.org/abs/2010.15638},
eprinttype = {arXiv},
eprint = {2010.15638},
timestamp = {Tue, 03 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-15638.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/AlurMS19,
author = {Rajeev Alur and
Konstantinos Mamouras and
Caleb Stanford},
title = {Modular quantitative monitoring},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{POPL}},
pages = {50:1--50:31},
year = {2019},
url = {https://doi.org/10.1145/3290363},
doi = {10.1145/3290363},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/AlurMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/IvanovWAPL19,
author = {Radoslav Ivanov and
James Weimer and
Rajeev Alur and
George J. Pappas and
Insup Lee},
editor = {Necmiye Ozay and
Pavithra Prabhakar},
title = {Verisig: verifying safety properties of hybrid systems with neural
network controllers},
booktitle = {Proceedings of the 22nd {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2019, Montreal, QC, Canada, April
16-18, 2019},
pages = {169--178},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3302504.3311806},
doi = {10.1145/3302504.3311806},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/IvanovWAPL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/NguyenMWSLA19,
author = {Luan Viet Nguyen and
Gautam Mohan and
James Weimer and
Oleg Sokolsky and
Insup Lee and
Rajeev Alur},
editor = {Partha S. Roop and
Naijun Zhan and
Sicun Gao and
Pierluigi Nuzzo},
title = {Detecting security leaks in hybrid systems with information flow analysis},
booktitle = {Proceedings of the 17th {ACM-IEEE} International Conference on Formal
Methods and Models for System Design, {MEMOCODE} 2019, La Jolla, CA,
USA, October 9-11, 2019},
pages = {14:1--14:11},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3359986.3361212},
doi = {10.1145/3359986.3361212},
timestamp = {Sat, 20 May 2023 11:52:14 +0200},
biburl = {https://dblp.org/rec/conf/memocode/NguyenMWSLA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/JothimuruganAB19,
author = {Kishor Jothimurugan and
Rajeev Alur and
Osbert Bastani},
editor = {Hanna M. Wallach and
Hugo Larochelle and
Alina Beygelzimer and
Florence d'Alch{\'{e}}{-}Buc and
Emily B. Fox and
Roman Garnett},
title = {A Composable Specification Language for Reinforcement Learning Tasks},
booktitle = {Advances in Neural Information Processing Systems 32: Annual Conference
on Neural Information Processing Systems 2019, NeurIPS 2019, December
8-14, 2019, Vancouver, BC, Canada},
pages = {13021--13030},
year = {2019},
url = {https://proceedings.neurips.cc/paper/2019/hash/f5aa4bd09c07d8b2f65bad6c7cd3358f-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/JothimuruganAB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MamourasSAIT19,
author = {Konstantinos Mamouras and
Caleb Stanford and
Rajeev Alur and
Zachary G. Ives and
Val Tannen},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Data-trace types for distributed stream processing systems},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {670--685},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314580},
doi = {10.1145/3314221.3314580},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MamourasSAIT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/AlurGHLM19,
author = {Rajeev Alur and
Mirco Giacobbe and
Thomas A. Henzinger and
Kim G. Larsen and
Marius Mikucionis},
editor = {Bernhard Steffen and
Gerhard J. Woeginger},
title = {Continuous-Time Models for System Design and Analysis},
booktitle = {Computing and Software Science - State of the Art and Perspectives},
series = {Lecture Notes in Computer Science},
volume = {10000},
pages = {452--477},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-91908-9\_22},
doi = {10.1007/978-3-319-91908-9\_22},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/AlurGHLM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-04064,
author = {Luan Viet Nguyen and
Gautam Mohan and
James Weimer and
Oleg Sokolsky and
Insup Lee and
Rajeev Alur},
title = {{REAFFIRM:} Model-Based Repair of Hybrid Systems for Improving Resiliency},
journal = {CoRR},
volume = {abs/1902.04064},
year = {2019},
url = {http://arxiv.org/abs/1902.04064},
eprinttype = {arXiv},
eprint = {1902.04064},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-04064.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-07146,
author = {Rajeev Alur and
Dana Fisman and
Saswat Padhi and
Rishabh Singh and
Abhishek Udupa},
title = {SyGuS-Comp 2018: Results and Analysis},
journal = {CoRR},
volume = {abs/1904.07146},
year = {2019},
url = {http://arxiv.org/abs/1904.07146},
eprinttype = {arXiv},
eprint = {1904.07146},
timestamp = {Thu, 25 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-07146.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-11309,
author = {Radoslav Ivanov and
Taylor J. Carpenter and
James Weimer and
Rajeev Alur and
George J. Pappas and
Insup Lee},
title = {Case Study: Verifying the Safety of an Autonomous Racing Car with
a Neural Network Controller},
journal = {CoRR},
volume = {abs/1910.11309},
year = {2019},
url = {http://arxiv.org/abs/1910.11309},
eprinttype = {arXiv},
eprint = {1910.11309},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-11309.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/AlurSFS18,
author = {Rajeev Alur and
Rishabh Singh and
Dana Fisman and
Armando Solar{-}Lezama},
title = {Search-based program synthesis},
journal = {Commun. {ACM}},
volume = {61},
number = {12},
pages = {84--93},
year = {2018},
url = {https://doi.org/10.1145/3208071},
doi = {10.1145/3208071},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/AlurSFS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AlurMT18,
author = {Rajeev Alur and
Salar Moarref and
Ufuk Topcu},
title = {Compositional and symbolic synthesis of reactive controllers for multi-agent
systems},
journal = {Inf. Comput.},
volume = {261},
pages = {616--633},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2018.02.021},
doi = {10.1016/J.IC.2018.02.021},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/AlurMT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/AbbasAMMR18,
author = {Houssam Abbas and
Rajeev Alur and
Konstantinos Mamouras and
Rahul Mangharam and
Al{\"{e}}na Rodionova},
title = {Real-Time Decision Policies With Predictable Performance},
journal = {Proc. {IEEE}},
volume = {106},
number = {9},
pages = {1593--1615},
year = {2018},
url = {https://doi.org/10.1109/JPROC.2018.2853608},
doi = {10.1109/JPROC.2018.2853608},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/AbbasAMMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ton/YuanLAVCAL18,
author = {Yifei Yuan and
Dong Lin and
Siri Anil and
Harsh Verma and
Anirudh Chelluri and
Rajeev Alur and
Boon Thau Loo},
title = {NetEgg: {A} Scenario-Based Programming Toolkit for {SDN} Policies},
journal = {{IEEE/ACM} Trans. Netw.},
volume = {26},
number = {5},
pages = {2104--2117},
year = {2018},
url = {http://doi.ieeecomputersociety.org/10.1109/TNET.2018.2861919},
doi = {10.1109/TNET.2018.2861919},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ton/YuanLAVCAL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AlurMST18,
author = {Rajeev Alur and
Konstantinos Mamouras and
Caleb Stanford and
Val Tannen},
editor = {Marten Lohstroh and
Patricia Derler and
Marjan Sirjani},
title = {Interfaces for Stream Processing Systems},
booktitle = {Principles of Modeling - Essays Dedicated to Edward A. Lee on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10760},
pages = {38--60},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95246-8\_3},
doi = {10.1007/978-3-319-95246-8\_3},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AlurMST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/AbbasAMMR18,
author = {Houssam Abbas and
Rajeev Alur and
Konstantinos Mamouras and
Rahul Mangharam and
Al{\"{e}}na Rodionova},
title = {Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias},
booktitle = {3rd Workshop on Monitoring and Testing of Cyber-Physical Systems,
MT@CPSWeek 2018, Porto, Portugal, April 10, 2018},
pages = {1--2},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/MT-CPS.2018.00007},
doi = {10.1109/MT-CPS.2018.00007},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpsweek/AbbasAMMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LeeHAN18,
author = {Woosuk Lee and
Kihong Heo and
Rajeev Alur and
Mayur Naik},
editor = {Jeffrey S. Foster and
Dan Grossman},
title = {Accelerating search-based program synthesis using learned probabilistic
models},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
USA, June 18-22, 2018},
pages = {436--449},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3192366.3192410},
doi = {10.1145/3192366.3192410},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LeeHAN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/AlurDS18,
author = {Rajeev Alur and
Joseph Devietti and
Nimit Singhania},
editor = {Andreas Podelski},
title = {Block-Size Independence for {GPU} Programs},
booktitle = {Static Analysis - 25th International Symposium, {SAS} 2018, Freiburg,
Germany, August 29-31, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11002},
pages = {107--126},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99725-4\_9},
doi = {10.1007/978-3-319-99725-4\_9},
timestamp = {Mon, 28 Aug 2023 21:17:53 +0200},
biburl = {https://dblp.org/rec/conf/sas/AlurDS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/mc/AlurBE18,
author = {Rajeev Alur and
Ahmed Bouajjani and
Javier Esparza},
editor = {Edmund M. Clarke and
Thomas A. Henzinger and
Helmut Veith and
Roderick Bloem},
title = {Model Checking Procedural Programs},
booktitle = {Handbook of Model Checking},
pages = {541--572},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-10575-8\_17},
doi = {10.1007/978-3-319-10575-8\_17},
timestamp = {Mon, 03 Jan 2022 22:13:30 +0100},
biburl = {https://dblp.org/rec/reference/mc/AlurBE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-03865,
author = {Rajeev Alur and
Dana Fisman and
Konstantinos Mamouras and
Mukund Raghothaman and
Caleb Stanford},
title = {Streamable Regular Transductions},
journal = {CoRR},
volume = {abs/1807.03865},
year = {2018},
url = {http://arxiv.org/abs/1807.03865},
eprinttype = {arXiv},
eprint = {1807.03865},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-03865.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-10503,
author = {Shaull Almagor and
Rajeev Alur and
Suguman Bansal},
title = {Equilibria in Quantitative Concurrent Games},
journal = {CoRR},
volume = {abs/1809.10503},
year = {2018},
url = {http://arxiv.org/abs/1809.10503},
eprinttype = {arXiv},
eprint = {1809.10503},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-10503.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-01828,
author = {Radoslav Ivanov and
James Weimer and
Rajeev Alur and
George J. Pappas and
Insup Lee},
title = {Verisig: verifying safety properties of hybrid systems with neural
network controllers},
journal = {CoRR},
volume = {abs/1811.01828},
year = {2018},
url = {http://arxiv.org/abs/1811.01828},
eprinttype = {arXiv},
eprint = {1811.01828},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-01828.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/AlurD17,
author = {Rajeev Alur and
Loris D'Antoni},
title = {Streaming Tree Transducers},
journal = {J. {ACM}},
volume = {64},
number = {5},
pages = {31:1--31:55},
year = {2017},
url = {https://doi.org/10.1145/3092842},
doi = {10.1145/3092842},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/AlurD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/AlurT17,
author = {Rajeev Alur and
Stavros Tripakis},
title = {Automatic Synthesis of Distributed Protocols},
journal = {{SIGACT} News},
volume = {48},
number = {1},
pages = {55--90},
year = {2017},
url = {https://doi.org/10.1145/3061640.3061652},
doi = {10.1145/3061640.3061652},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/AlurT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/AlurFMT17,
author = {Rajeev Alur and
Vojtech Forejt and
Salar Moarref and
Ashutosh Trivedi},
title = {Schedulability of Bounded-Rate Multimode Systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {16},
number = {3},
pages = {85:1--85:27},
year = {2017},
url = {https://doi.org/10.1145/2996797},
doi = {10.1145/2996797},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/AlurFMT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AlurMU17,
author = {Rajeev Alur and
Konstantinos Mamouras and
Dogan Ulus},
editor = {Luca Aceto and
Giorgio Bacci and
Giovanni Bacci and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Axel Legay and
Radu Mardare},
title = {Derivatives of Quantitative Regular Expressions},
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 = {75--95},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63121-9\_4},
doi = {10.1007/978-3-319-63121-9\_4},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/AlurMU17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlurDLS17,
author = {Rajeev Alur and
Joseph Devietti and
Omar S. Navarro Leija and
Nimit Singhania},
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {GPUDrano: Detecting Uncoalesced Accesses in {GPU} Programs},
booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10426},
pages = {507--525},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63387-9\_25},
doi = {10.1007/978-3-319-63387-9\_25},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlurDLS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlurMS17,
author = {Rajeev Alur and
Konstantinos Mamouras and
Caleb Stanford},
editor = {Ioannis Chatzigiannakis and
Piotr Indyk and
Fabian Kuhn and
Anca Muscholl},
title = {Automata-Based Stream Processing},
booktitle = {44th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2017, July 10-14, 2017, Warsaw, Poland},
series = {LIPIcs},
volume = {80},
pages = {112:1--112:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2017.112},
doi = {10.4230/LIPICS.ICALP.2017.112},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AlurMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MamourasRAIK17,
author = {Konstantinos Mamouras and
Mukund Raghothaman and
Rajeev Alur and
Zachary G. Ives and
Sanjeev Khanna},
editor = {Albert Cohen and
Martin T. Vechev},
title = {StreamQRE: modular specification and efficient evaluation of quantitative
queries over streaming data},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2017, Barcelona, Spain,
June 18-23, 2017},
pages = {693--708},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3062341.3062369},
doi = {10.1145/3062341.3062369},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MamourasRAIK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/YuanLMMAL17,
author = {Yifei Yuan and
Dong Lin and
Ankit Mishra and
Sajal Marwaha and
Rajeev Alur and
Boon Thau Loo},
title = {Quantitative Network Monitoring with NetQRE},
booktitle = {Proceedings of the Conference of the {ACM} Special Interest Group
on Data Communication, {SIGCOMM} 2017, Los Angeles, CA, USA, August
21-25, 2017},
pages = {99--112},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3098822.3098830},
doi = {10.1145/3098822.3098830},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcomm/YuanLMMAL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AlurRU17,
author = {Rajeev Alur and
Arjun Radhakrishna and
Abhishek Udupa},
editor = {Axel Legay and
Tiziana Margaria},
title = {Scaling Enumerative Program Synthesis via Divide and Conquer},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, {TACAS} 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10205},
pages = {319--336},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54577-5\_18},
doi = {10.1007/978-3-662-54577-5\_18},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AlurRU17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1711-11438,
author = {Rajeev Alur and
Dana Fisman and
Rishabh Singh and
Armando Solar{-}Lezama},
editor = {Dana Fisman and
Swen Jacobs},
title = {SyGuS-Comp 2017: Results and Analysis},
booktitle = {Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg,
Germany, 22nd July 2017},
series = {{EPTCS}},
volume = {260},
pages = {97--115},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.260.9},
doi = {10.4204/EPTCS.260.9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-11438.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/AlurM17,
author = {Rajeev Alur and
Konstantinos Mamouras},
editor = {Alexander Pretschner and
Doron Peled and
Thomas Hutzelmann},
title = {An Introduction to the StreamQRE Language},
booktitle = {Dependable Software Systems Engineering},
series = {{NATO} Science for Peace and Security Series - {D:} Information and
Communication Security},
volume = {50},
pages = {1--24},
publisher = {{IOS} Press},
year = {2017},
url = {https://doi.org/10.3233/978-1-61499-810-5-1},
doi = {10.3233/978-1-61499-810-5-1},
timestamp = {Tue, 06 Aug 2019 09:52:02 +0200},
biburl = {https://dblp.org/rec/series/natosec/AlurM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlurMT16,
author = {Rajeev Alur and
Salar Moarref and
Ufuk Topcu},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Compositional Synthesis of Reactive Controllers for Multi-agent Systems},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {251--269},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_14},
doi = {10.1007/978-3-319-41540-6\_14},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlurMT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AlurFKS16,
author = {Rajeev Alur and
Marco Faella and
Sampath Kannan and
Nimit Singhania},
editor = {Jean{-}Marc Talbot and
Laurent Regnier},
title = {Hedging Bets in Markov Decision Processes},
booktitle = {25th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2016,
August 29 - September 1, 2016, Marseille, France},
series = {LIPIcs},
volume = {62},
pages = {29:1--29:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CSL.2016.29},
doi = {10.4230/LIPICS.CSL.2016.29},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/AlurFKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/AlurFR16,
author = {Rajeev Alur and
Dana Fisman and
Mukund Raghothaman},
editor = {Peter Thiemann},
title = {Regular Programming for Quantitative Properties of Data Streams},
booktitle = {Programming Languages and Systems - 25th European Symposium on Programming,
{ESOP} 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 = {9632},
pages = {15--40},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49498-1\_2},
doi = {10.1007/978-3-662-49498-1\_2},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/AlurFR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AlurMT16,
author = {Rajeev Alur and
Salar Moarref and
Ufuk Topcu},
editor = {Alessandro Abate and
Georgios Fainekos},
title = {Compositional Synthesis with Parametric Reactive Controllers},
booktitle = {Proceedings of the 19th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
2016},
pages = {215--224},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2883817.2883842},
doi = {10.1145/2883817.2883842},
timestamp = {Fri, 13 Aug 2021 11:37:40 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AlurMT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/AlurF16,
author = {Rajeev Alur and
Dana Fisman},
editor = {Adrian{-}Horia Dediu and
Jan Janousek and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {Colored Nested Words},
booktitle = {Language and Automata Theory and Applications - 10th International
Conference, {LATA} 2016, Prague, Czech Republic, March 14-18, 2016,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9618},
pages = {143--155},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30000-9\_11},
doi = {10.1007/978-3-319-30000-9\_11},
timestamp = {Mon, 16 Sep 2019 15:27:03 +0200},
biburl = {https://dblp.org/rec/conf/lata/AlurF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AlurFSS16a,
author = {Rajeev Alur and
Dana Fisman and
Rishabh Singh and
Armando Solar{-}Lezama},
editor = {Ruzica Piskac and
Rayna Dimitrova},
title = {SyGuS-Comp 2016: Results and Analysis},
booktitle = {Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada,
July 17-18, 2016},
series = {{EPTCS}},
volume = {229},
pages = {178--202},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.229.13},
doi = {10.4204/EPTCS.229.13},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlurFSS16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlurBDFFHLNMPRS16,
author = {Rajeev Alur and
Emery D. Berger and
Ann W. Drobnis and
Limor Fix and
Kevin Fu and
Gregory D. Hager and
Daniel P. Lopresti and
Klara Nahrstedt and
Elizabeth D. Mynatt and
Shwetak N. Patel and
Jennifer Rexford and
John A. Stankovic and
Benjamin G. Zorn},
title = {Systems Computing Challenges in the Internet of Things},
journal = {CoRR},
volume = {abs/1604.02980},
year = {2016},
url = {http://arxiv.org/abs/1604.02980},
eprinttype = {arXiv},
eprint = {1604.02980},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlurBDFFHLNMPRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/DAntoniWWA15,
author = {Loris D'Antoni and
Matthew Weavery and
Alexander Weinert and
Rajeev Alur},
title = {Automata Tutor and what we learned from building an online teaching
tool},
journal = {Bull. {EATCS}},
volume = {117},
year = {2015},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/365},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/DAntoniWWA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/AlurHV15,
author = {Rajeev Alur and
Thomas A. Henzinger and
Moshe Y. Vardi},
title = {Theory in practice for system design and verification},
journal = {{ACM} {SIGLOG} News},
volume = {2},
number = {1},
pages = {46--51},
year = {2015},
url = {https://doi.org/10.1145/2728816.2728827},
doi = {10.1145/2728816.2728827},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/AlurHV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tochi/DAntoniKAG0H15,
author = {Loris D'Antoni and
Dileep Kini and
Rajeev Alur and
Sumit Gulwani and
Mahesh Viswanathan and
Bj{\"{o}}rn Hartmann},
title = {How Can Automatic Feedback Help Students Construct Automata?},
journal = {{ACM} Trans. Comput. Hum. Interact.},
volume = {22},
number = {2},
pages = {9:1--9:24},
year = {2015},
url = {https://doi.org/10.1145/2723163},
doi = {10.1145/2723163},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tochi/DAntoniKAG0H15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlurCR15,
author = {Rajeev Alur and
Pavol Cern{\'{y}} and
Arjun Radhakrishna},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Synthesis Through Unification},
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 = {163--179},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21668-3\_10},
doi = {10.1007/978-3-319-21668-3\_10},
timestamp = {Fri, 27 Mar 2020 08:45:57 +0100},
biburl = {https://dblp.org/rec/conf/cav/AlurCR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlurRSTU15,
author = {Rajeev Alur and
Mukund Raghothaman and
Christos Stergiou and
Stavros Tripakis and
Abhishek Udupa},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Automatic Completion of Distributed Protocols with Symmetry},
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 = {395--412},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21668-3\_23},
doi = {10.1007/978-3-319-21668-3\_23},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/AlurRSTU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conext/YuanLAL15,
author = {Yifei Yuan and
Dong Lin and
Rajeev Alur and
Boon Thau Loo},
editor = {Felipe Huici and
Giuseppe Bianchi},
title = {Scenario-based programming for {SDN} policies},
booktitle = {Proceedings of the 11th {ACM} Conference on Emerging Networking Experiments
and Technologies, CoNEXT 2015, Heidelberg, Germany, December 1-4,
2015},
pages = {34:1--34:13},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2716281.2836119},
doi = {10.1145/2716281.2836119},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/conext/YuanLAL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Alur15,
author = {Rajeev Alur},
title = {Keynote talk {I:} Syntax-guided synthesis},
booktitle = {13. {ACM/IEEE} International Conference on Formal Methods and Models
for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
pages = {1},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/MEMCOD.2015.7340460},
doi = {10.1109/MEMCOD.2015.7340460},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/memocode/Alur15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AlurDR15,
author = {Rajeev Alur and
Loris D'Antoni and
Mukund Raghothaman},
editor = {Sriram K. Rajamani and
David Walker},
title = {DReX: {A} Declarative Language for Efficiently Evaluating Regular
String Transformations},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {125--137},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676981},
doi = {10.1145/2676726.2676981},
timestamp = {Mon, 08 Apr 2024 08:19:10 +0200},
biburl = {https://dblp.org/rec/conf/popl/AlurDR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AlurMT15,
author = {Rajeev Alur and
Salar Moarref and
Ufuk Topcu},
editor = {Christel Baier and
Cesare Tinelli},
title = {Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive
Synthesis},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 21st International Conference, {TACAS} 2015, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2015, London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9035},
pages = {501--516},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46681-0\_49},
doi = {10.1007/978-3-662-46681-0\_49},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AlurMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AlurFSS16,
author = {Rajeev Alur and
Dana Fisman and
Rishabh Singh and
Armando Solar{-}Lezama},
editor = {Pavol Cern{\'{y}} and
Viktor Kuncak and
Parthasarathy Madhusudan},
title = {Results and Analysis of SyGuS-Comp'15},
booktitle = {Proceedings Fourth Workshop on Synthesis, {SYNT} 2015, San Francisco,
CA, USA, 18th July 2015},
series = {{EPTCS}},
volume = {202},
pages = {3--26},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.202.3},
doi = {10.4204/EPTCS.202.3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlurFSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/AlurBDF0JKMMRSSSSTU15,
author = {Rajeev Alur and
Rastislav Bod{\'{\i}}k and
Eric Dallal and
Dana Fisman and
Pranav Garg and
Garvit Juniwal and
Hadas Kress{-}Gazit and
P. Madhusudan and
Milo M. K. Martin and
Mukund Raghothaman and
Shambwaditya Saha and
Sanjit A. Seshia and
Rishabh Singh and
Armando Solar{-}Lezama and
Emina Torlak and
Abhishek Udupa},
editor = {Maximilian Irlbeck and
Doron A. Peled and
Alexander Pretschner},
title = {Syntax-Guided Synthesis},
booktitle = {Dependable Software Systems Engineering},
series = {{NATO} Science for Peace and Security Series, {D:} Information and
Communication Security},
volume = {40},
pages = {1--25},
publisher = {{IOS} Press},
year = {2015},
url = {https://doi.org/10.3233/978-1-61499-495-4-1},
doi = {10.3233/978-1-61499-495-4-1},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/natosec/AlurBDF0JKMMRSSSSTU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlurRSTU15,
author = {Rajeev Alur and
Mukund Raghothaman and
Christos Stergiou and
Stavros Tripakis and
Abhishek Udupa},
title = {Automatic Completion of Distributed Protocols with Symmetry},
journal = {CoRR},
volume = {abs/1505.04409},
year = {2015},
url = {http://arxiv.org/abs/1505.04409},
eprinttype = {arXiv},
eprint = {1505.04409},
timestamp = {Mon, 29 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlurRSTU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlurCR15,
author = {Rajeev Alur and
Pavol Cern{\'{y}} and
Arjun Radhakrishna},
title = {Synthesis through Unification},
journal = {CoRR},
volume = {abs/1505.05868},
year = {2015},
url = {http://arxiv.org/abs/1505.05868},
eprinttype = {arXiv},
eprint = {1505.05868},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlurCR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/JiangPAM14,
author = {Zhihao Jiang and
Miroslav Pajic and
Rajeev Alur and
Rahul Mangharam},
title = {Closed-loop verification of medical devices with model abstraction
and refinement},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {2},
pages = {191--213},
year = {2014},
url = {https://doi.org/10.1007/s10009-013-0289-7},
doi = {10.1007/S10009-013-0289-7},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/JiangPAM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DAntoniA14,
author = {Loris D'Antoni and
Rajeev Alur},
editor = {Armin Biere and
Roderick Bloem},
title = {Symbolic Visibly Pushdown Automata},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {209--225},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_14},
doi = {10.1007/978-3-319-08867-9\_14},
timestamp = {Mon, 03 Jan 2022 22:13:44 +0100},
biburl = {https://dblp.org/rec/conf/cav/DAntoniA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AlurFR14,
author = {Rajeev Alur and
Adam Freilich and
Mukund Raghothaman},
editor = {Thomas A. Henzinger and
Dale Miller},
title = {Regular combinators for string transformations},
booktitle = {Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer
Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium
on Logic in Computer Science (LICS), {CSL-LICS} '14, Vienna, Austria,
July 14 - 18, 2014},
pages = {9:1--9:10},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2603088.2603151},
doi = {10.1145/2603088.2603151},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/AlurFR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/AlurS14,
author = {Rajeev Alur and
Nimit Singhania},
editor = {Tulika Mitra and
Jan Reineke},
title = {Precise piecewise affine models from input-output data},
booktitle = {2014 International Conference on Embedded Software, {EMSOFT} 2014,
New Delhi, India, October 12-17, 2014},
pages = {3:1--3:10},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2656045.2656064},
doi = {10.1145/2656045.2656064},
timestamp = {Wed, 04 Jan 2023 16:50:45 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/AlurS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotnets/YuanAL14,
author = {Yifei Yuan and
Rajeev Alur and
Boon Thau Loo},
editor = {Ethan Katz{-}Bassett and
John S. Heidemann and
Brighten Godfrey and
Anja Feldmann},
title = {NetEgg: Programming Network Policies by Examples},
booktitle = {Proceedings of the 13th {ACM} Workshop on Hot Topics in Networks,
HotNets-XIII, Los Angeles, CA, USA, October 27-28, 2014},
pages = {20:1--20:7},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2670518.2673879},
doi = {10.1145/2670518.2673879},
timestamp = {Sat, 30 Sep 2023 09:42:36 +0200},
biburl = {https://dblp.org/rec/conf/hotnets/YuanAL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/AlurMRSTU14,
author = {Rajeev Alur and
Milo M. K. Martin and
Mukund Raghothaman and
Christos Stergiou and
Stavros Tripakis and
Abhishek Udupa},
editor = {Eran Yahav},
title = {Synthesizing Finite-State Protocols from Scenarios and Requirements},
booktitle = {Hardware and Software: Verification and Testing - 10th International
Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November
18-20, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8855},
pages = {75--91},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13338-6\_7},
doi = {10.1007/978-3-319-13338-6\_7},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hvc/AlurMRSTU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlurFR14,
author = {Rajeev Alur and
Adam Freilich and
Mukund Raghothaman},
title = {Regular Combinators for String Transformations},
journal = {CoRR},
volume = {abs/1402.3021},
year = {2014},
url = {http://arxiv.org/abs/1402.3021},
eprinttype = {arXiv},
eprint = {1402.3021},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlurFR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlurMRSTU14,
author = {Rajeev Alur and
Milo M. K. Martin and
Mukund Raghothaman and
Christos Stergiou and
Stavros Tripakis and
Abhishek Udupa},
title = {Synthesizing Finite-state Protocols from Scenarios and Requirements},
journal = {CoRR},
volume = {abs/1402.7150},
year = {2014},
url = {http://arxiv.org/abs/1402.7150},
eprinttype = {arXiv},
eprint = {1402.7150},
timestamp = {Mon, 29 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlurMRSTU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Alur13,
author = {Rajeev Alur},
title = {Can we verify cyber-physical systems?: technical perspective},
journal = {Commun. {ACM}},
volume = {56},
number = {10},
pages = {96},
year = {2013},
url = {https://doi.org/10.1145/2507771.2507782},
doi = {10.1145/2507771.2507782},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Alur13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/AlurBJMRSSSTU13,
author = {Rajeev Alur and
Rastislav Bod{\'{\i}}k and
Garvit Juniwal and
Milo M. K. Martin and
Mukund Raghothaman and
Sanjit A. Seshia and
Rishabh Singh and
Armando Solar{-}Lezama and
Emina Torlak and
Abhishek Udupa},
title = {Syntax-guided synthesis},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {1--8},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679385/},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/AlurBJMRSSSTU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/AlurMT13,
author = {Rajeev Alur and
Salar Moarref and
Ufuk Topcu},
title = {Counter-strategy guided refinement of {GR(1)} temporal logic specifications},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {26--33},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679387/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/AlurMT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/YuanWAL13,
author = {Yifei Yuan and
Anduo Wang and
Rajeev Alur and
Boon Thau Loo},
title = {On the feasibility of automation for bandwidth allocation problems
in data centers},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {42--45},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679389/},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/YuanWAL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ThakkarKA13,
author = {Jay Thakkar and
Aditya Kanade and
Rajeev Alur},
editor = {Dirk Beyer and
Michele Boreale},
title = {Transducer-Based Algorithmic Verification of Retransmission Protocols
over Noisy Channels},
booktitle = {Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1
International Conference, {FMOODS/FORTE} 2013, Held as Part of the
8th International Federated Conference on Distributed Computing Techniques,
DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7892},
pages = {209--224},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38592-6\_15},
doi = {10.1007/978-3-642-38592-6\_15},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/ThakkarKA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicons/PajicBWAMMPSTWL13,
author = {Miroslav Pajic and
Nicola Bezzo and
James Weimer and
Rajeev Alur and
Rahul Mangharam and
Nathan Michael and
George J. Pappas and
Oleg Sokolsky and
Paulo Tabuada and
Stephanie Weirich and
Insup Lee},
editor = {Linda Bushnell and
Larry Rohrbough and
Saurabh Amin and
Xenofon D. Koutsoukos},
title = {Towards synthesis of platform-aware attack-resilient control systems:
extended abstract},
booktitle = {2nd {ACM} International Conference on High Confidence Networked Systems
(part of {CPS} Week), HiCoNS 2013, Philadelphia, PA, USA, April 9-11,
2013},
pages = {75--76},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2461446.2461457},
doi = {10.1145/2461446.2461457},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hicons/PajicBWAMMPSTWL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AlurFMT13,
author = {Rajeev Alur and
Vojtech Forejt and
Salar Moarref and
Ashutosh Trivedi},
editor = {Calin Belta and
Franjo Ivancic},
title = {Safe schedulability of bounded-rate multi-mode systems},
booktitle = {Proceedings of the 16th international conference on Hybrid systems:
computation and control, {HSCC} 2013, April 8-11, 2013, Philadelphia,
PA, {USA}},
pages = {243--252},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2461328.2461366},
doi = {10.1145/2461328.2461366},
timestamp = {Sat, 01 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/AlurFMT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlurR13,
author = {Rajeev Alur and
Mukund Raghothaman},
editor = {Fedor V. Fomin and
Rusins Freivalds and
Marta Z. Kwiatkowska and
David Peleg},
title = {Decision Problems for Additive Regular Functions},
booktitle = {Automata, Languages, and Programming - 40th International Colloquium,
{ICALP} 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7966},
pages = {37--48},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39212-2\_7},
doi = {10.1007/978-3-642-39212-2\_7},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/AlurR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AlurDGKV13,
author = {Rajeev Alur and
Loris D'Antoni and
Sumit Gulwani and
Dileep Kini and
Mahesh Viswanathan},
editor = {Francesca Rossi},
title = {Automated Grading of {DFA} Constructions},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {1976--1982},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6759},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/AlurDGKV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/AlurKTY13,
author = {Rajeev Alur and
Sampath Kannan and
Kevin Tian and
Yifei Yuan},
editor = {Adrian{-}Horia Dediu and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {On the Complexity of Shortest Path Problems on Discounted Cost Graphs},
booktitle = {Language and Automata Theory and Applications - 7th International
Conference, {LATA} 2013, Bilbao, Spain, April 2-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7810},
pages = {44--55},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37064-9\_6},
doi = {10.1007/978-3-642-37064-9\_6},
timestamp = {Tue, 02 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lata/AlurKTY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AlurDDRY13,
author = {Rajeev Alur and
Loris D'Antoni and
Jyotirmoy V. Deshmukh and
Mukund Raghothaman and
Yifei Yuan},
title = {Regular Functions and Cost Register Automata},
booktitle = {28th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2013, New Orleans, LA, USA, June 25-28, 2013},
pages = {13--22},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LICS.2013.65},
doi = {10.1109/LICS.2013.65},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AlurDDRY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AlurDT13,
author = {Rajeev Alur and
Antoine Durand{-}Gasselin and
Ashutosh Trivedi},
title = {From Monadic Second-Order Definable String Transformations to Transducers},
booktitle = {28th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2013, New Orleans, LA, USA, June 25-28, 2013},
pages = {458--467},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LICS.2013.52},
doi = {10.1109/LICS.2013.52},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AlurDT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Alur13,
author = {Rajeev Alur},
title = {Tutorial {I:} Syntax-guided synthesis},
booktitle = {11th {ACM/IEEE} International Conference on Formal Methods and Models
for Codesign, {MEMCODE} 2013, Portland, OR, USA, October 18-20, 2013},
pages = {189--194},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6670958/},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/Alur13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/UdupaRDMMA13,
author = {Abhishek Udupa and
Arun Raghavan and
Jyotirmoy V. Deshmukh and
Sela Mador{-}Haim and
Milo M. K. Martin and
Rajeev Alur},
editor = {Hans{-}Juergen Boehm and
Cormac Flanagan},
title = {{TRANSIT:} specifying protocols with concolic snippets},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
pages = {287--296},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491956.2462174},
doi = {10.1145/2491956.2462174},
timestamp = {Fri, 30 Nov 2018 12:21:40 +0100},
biburl = {https://dblp.org/rec/conf/pldi/UdupaRDMMA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-0745,
author = {Rajeev Alur and
Vojtech Forejt and
Salar Moarref and
Ashutosh Trivedi},
title = {Safe Schedulability of Bounded-Rate Multi-Mode Systems},
journal = {CoRR},
volume = {abs/1302.0745},
year = {2013},
url = {http://arxiv.org/abs/1302.0745},
eprinttype = {arXiv},
eprint = {1302.0745},
timestamp = {Sat, 01 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-0745.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-7029,
author = {Rajeev Alur and
Mukund Raghothaman},
title = {Decision Problems for Additive Regular Functions},
journal = {CoRR},
volume = {abs/1304.7029},
year = {2013},
url = {http://arxiv.org/abs/1304.7029},
eprinttype = {arXiv},
eprint = {1304.7029},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-7029.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlurMT13,
author = {Rajeev Alur and
Salar Moarref and
Ufuk Topcu},
title = {Counter-Strategy Guided Refinement of {GR(1)} Temporal Logic Specifications},
journal = {CoRR},
volume = {abs/1308.4113},
year = {2013},
url = {http://arxiv.org/abs/1308.4113},
eprinttype = {arXiv},
eprint = {1308.4113},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlurMT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/GrumbergVSA12,
author = {Orna Grumberg and
Moshe Y. Vardi and
Joseph Sifakis and
Rajeev Alur},
title = {2010 {CAV} award announcement},
journal = {Formal Methods Syst. Des.},
volume = {40},
number = {2},
pages = {117--120},
year = {2012},
url = {https://doi.org/10.1007/s10703-011-0125-1},
doi = {10.1007/S10703-011-0125-1},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/GrumbergVSA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/VardiHAK12,
author = {Moshe Y. Vardi and
Thomas A. Henzinger and
Rajeev Alur and
Marta Z. Kwiatkowska},
title = {2011 {CAV} award announcement},
journal = {Formal Methods Syst. Des.},
volume = {41},
number = {1},
pages = {1--2},
year = {2012},
url = {https://doi.org/10.1007/s10703-012-0154-4},
doi = {10.1007/S10703-012-0154-4},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/VardiHAK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/NghiemPAG12,
author = {Truong Nghiem and
George J. Pappas and
Rajeev Alur and
Antoine Girard},
title = {Time-Triggered Implementations of Dynamic Controllers},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {11},
number = {{S2}},
pages = {58:1--58:24},
year = {2012},
url = {https://doi.org/10.1145/2331147.2331168},
doi = {10.1145/2331147.2331168},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/NghiemPAG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/AlurCW12,
author = {Rajeev Alur and
Pavol Cern{\'{y}} and
Scott Weinstein},
title = {Algorithmic analysis of array-accessing programs},
journal = {{ACM} Trans. Comput. Log.},
volume = {13},
number = {3},
pages = {27:1--27:29},
year = {2012},
url = {https://doi.org/10.1145/2287718.2287727},
doi = {10.1145/2287718.2287727},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/AlurCW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Mador-HaimMSMAOAMSW12,
author = {Sela Mador{-}Haim and
Luc Maranget and
Susmit Sarkar and
Kayvan Memarian and
Jade Alglave and
Scott Owens and
Rajeev Alur and
Milo M. K. Martin and
Peter Sewell and
Derek Williams},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {An Axiomatic Memory Model for {POWER} Multiprocessors},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {495--512},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_36},
doi = {10.1007/978-3-642-31424-7\_36},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Mador-HaimMSMAOAMSW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AlurTW12,
author = {Rajeev Alur and
Ashutosh Trivedi and
Dominik Wojtczak},
editor = {Thao Dang and
Ian M. Mitchell},
title = {Optimal scheduling for constant-rate multi-mode systems},
booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012),
HSCC'12, Beijing, China, April 17-19, 2012},
pages = {75--84},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2185632.2185647},
doi = {10.1145/2185632.2185647},
timestamp = {Tue, 03 Aug 2021 16:22:20 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AlurTW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlurD12,
author = {Rajeev Alur and
Loris D'Antoni},
editor = {Artur Czumaj and
Kurt Mehlhorn and
Andrew M. Pitts and
Roger Wattenhofer},
title = {Streaming Tree Transducers},
booktitle = {Automata, Languages, and Programming - 39th International Colloquium,
{ICALP} 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7392},
pages = {42--53},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31585-5\_8},
doi = {10.1007/978-3-642-31585-5\_8},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AlurD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AlurFT12,
author = {Rajeev Alur and
Emmanuel Filiot and
Ashutosh Trivedi},
title = {Regular Transformations of Infinite Strings},
booktitle = {Proceedings of the 27th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2012, Dubrovnik, Croatia, June 25-28, 2012},
pages = {65--74},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/LICS.2012.18},
doi = {10.1109/LICS.2012.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AlurFT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/JiangPMAM12,
author = {Zhihao Jiang and
Miroslav Pajic and
Salar Moarref and
Rajeev Alur and
Rahul Mangharam},
editor = {Cormac Flanagan and
Barbara K{\"{o}}nig},
title = {Modeling and Verification of a Dual Chamber Implantable Pacemaker},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 18th International Conference, {TACAS} 2012, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7214},
pages = {188--203},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28756-5\_14},
doi = {10.1007/978-3-642-28756-5\_14},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/JiangPMAM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/AlurDJPW11,
author = {Rajeev Alur and
Alessandro D'Innocenzo and
Karl Henrik Johansson and
George J. Pappas and
Gera Weiss},
title = {Compositional Modeling and Analysis of Multi-Hop Control Networks},
journal = {{IEEE} Trans. Autom. Control.},
volume = {56},
number = {10},
pages = {2345--2357},
year = {2011},
url = {https://doi.org/10.1109/TAC.2011.2163873},
doi = {10.1109/TAC.2011.2163873},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/AlurDJPW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/AlurCM11,
author = {Rajeev Alur and
Swarat Chaudhuri and
P. Madhusudan},
title = {Software model checking using languages of nested trees},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {33},
number = {5},
pages = {15:1--15:45},
year = {2011},
url = {https://doi.org/10.1145/2039346.2039347},
doi = {10.1145/2039346.2039347},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/AlurCM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Mador-HaimAM11,
author = {Sela Mador{-}Haim and
Rajeev Alur and
Milo M. K. Martin},
editor = {Leon Stok and
Nikil D. Dutt and
Soha Hassoun},
title = {Litmus tests for comparing memory consistency models: how long do
they need to be?},
booktitle = {Proceedings of the 48th Design Automation Conference, {DAC} 2011,
San Diego, California, USA, June 5-10, 2011},
pages = {504--509},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2024724.2024842},
doi = {10.1145/2024724.2024842},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Mador-HaimAM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/AlurT11,
author = {Rajeev Alur and
Ashutosh Trivedi},
editor = {Samarjit Chakraborty and
Ahmed Jerraya and
Sanjoy K. Baruah and
Sebastian Fischmeister},
title = {Relating average and discounted costs for quantitative analysis of
timed 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 = {165--174},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2038642.2038668},
doi = {10.1145/2038642.2038668},
timestamp = {Sat, 01 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/AlurT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/Alur11,
author = {Rajeev Alur},
editor = {Samarjit Chakraborty and
Ahmed Jerraya and
Sanjoy K. Baruah and
Sebastian Fischmeister},
title = {Formal verification of hybrid 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 = {273--278},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2038642.2038685},
doi = {10.1145/2038642.2038685},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/Alur11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Alur11,
author = {Rajeev Alur},
editor = {Uli Fahrenberg and
Stavros Tripakis},
title = {Interfaces for Control Components},
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 = {25},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24310-3\_3},
doi = {10.1007/978-3-642-24310-3\_3},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/Alur11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlurD11,
author = {Rajeev Alur and
Jyotirmoy V. Deshmukh},
editor = {Luca Aceto and
Monika Henzinger and
Jir{\'{\i}} Sgall},
title = {Nondeterministic Streaming String Transducers},
booktitle = {Automata, Languages and Programming - 38th International Colloquium,
{ICALP} 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {6756},
pages = {1--20},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22012-8\_1},
doi = {10.1007/978-3-642-22012-8\_1},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AlurD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AlurC11,
author = {Rajeev Alur and
Pavol Cern{\'{y}}},
editor = {Thomas Ball and
Mooly Sagiv},
title = {Streaming transducers for algorithmic verification of single-pass
list-processing programs},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
2011},
pages = {599--610},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1926385.1926454},
doi = {10.1145/1926385.1926454},
timestamp = {Tue, 09 Jul 2024 07:54:49 +0200},
biburl = {https://dblp.org/rec/conf/popl/AlurC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Alur11,
author = {Rajeev Alur},
editor = {Lev D. Beklemishev and
Ruy J. G. B. de Queiroz},
title = {Streaming String Transducers},
booktitle = {Logic, Language, Information and Computation - 18th International
Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6642},
pages = {1},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20920-8\_1},
doi = {10.1007/978-3-642-20920-8\_1},
timestamp = {Tue, 01 Jun 2021 15:22:31 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Alur11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-2599,
author = {Rajeev Alur and
Loris D'Antoni},
title = {Streaming Tree Transducers},
journal = {CoRR},
volume = {abs/1104.2599},
year = {2011},
url = {http://arxiv.org/abs/1104.2599},
eprinttype = {arXiv},
eprint = {1104.2599},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1104-2599.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1111-0670,
author = {Rajeev Alur and
Loris D'Antoni and
Jyotirmoy V. Deshmukh and
Mukund Raghothaman and
Yifei Yuan},
title = {Regular Functions, Cost Register Automata, and Generalized Min-Cost
Problems},
journal = {CoRR},
volume = {abs/1111.0670},
year = {2011},
url = {http://arxiv.org/abs/1111.0670},
eprinttype = {arXiv},
eprint = {1111.0670},
timestamp = {Tue, 02 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-0670.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/NamA10,
author = {Wonhong Nam and
Rajeev Alur},
title = {Active Learning of Plans for Safety and Reachability Goals With Partial
Observability},
journal = {{IEEE} Trans. Syst. Man Cybern. Part {B}},
volume = {40},
number = {2},
pages = {412--420},
year = {2010},
url = {https://doi.org/10.1109/TSMCB.2009.2025657},
doi = {10.1109/TSMCB.2009.2025657},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/NamA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Mador-HaimAM10,
author = {Sela Mador{-}Haim and
Rajeev Alur and
Milo M. K. Martin},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {Generating Litmus Tests for Contrasting Memory Consistency Models},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {273--287},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_26},
doi = {10.1007/978-3-642-14295-6\_26},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Mador-HaimAM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CernyRZCA10,
author = {Pavol Cern{\'{y}} and
Arjun Radhakrishna and
Damien Zufferey and
Swarat Chaudhuri and
Rajeev Alur},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {Model Checking of Linearizability of Concurrent List Implementations},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {465--479},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_41},
doi = {10.1007/978-3-642-14295-6\_41},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CernyRZCA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AlurC10,
author = {Rajeev Alur and
Pavol Cern{\'{y}}},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Expressiveness of streaming string transducers},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2010, December 15-18, 2010,
Chennai, India},
series = {LIPIcs},
volume = {8},
pages = {1--12},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1},
doi = {10.4230/LIPICS.FSTTCS.2010.1},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/AlurC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KanadeARR10,
author = {Aditya Kanade and
Rajeev Alur and
Sriram K. Rajamani and
Ganesan Ramalingam},
editor = {Gruia{-}Catalin Roman and
Andr{\'{e}} van der Hoek},
title = {Representation dependence testing using program inversion},
booktitle = {Proceedings of the 18th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
7-11, 2010},
pages = {277--286},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882291.1882332},
doi = {10.1145/1882291.1882332},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/KanadeARR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/AlurC10,
author = {Rajeev Alur and
Swarat Chaudhuri},
editor = {Gilles Barthe and
Manuel V. Hermenegildo},
title = {Temporal Reasoning for Procedural Programs},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 11th International
Conference, {VMCAI} 2010, Madrid, Spain, January 17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5944},
pages = {45--60},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11319-2\_7},
doi = {10.1007/978-3-642-11319-2\_7},
timestamp = {Sat, 19 Oct 2019 20:29:32 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/AlurC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-4958,
author = {Rajeev Alur and
Pavol Cern{\'{y}}},
title = {Algorithmic Verification of Single-Pass List Processing Programs},
journal = {CoRR},
volume = {abs/1007.4958},
year = {2010},
url = {http://arxiv.org/abs/1007.4958},
eprinttype = {arXiv},
eprint = {1007.4958},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-4958.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/AlurM09,
author = {Rajeev Alur and
P. Madhusudan},
title = {Adding nesting structure to words},
journal = {J. {ACM}},
volume = {56},
number = {3},
pages = {16:1--16:43},
year = {2009},
url = {https://doi.org/10.1145/1516512.1516518},
doi = {10.1145/1516512.1516518},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/AlurM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/DInnocenzoWAIJP09,
author = {Alessandro D'Innocenzo and
Gera Weiss and
Rajeev Alur and
Alf J. Isaksson and
Karl Henrik Johansson and
George J. Pappas},
title = {Scalable scheduling algorithms for wireless networked control systems},
booktitle = {{IEEE} Conference on Automation Science and Engineering, {CASE} 2009,
Bangalore, India, 22-25 August, 2011},
pages = {409--414},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/COASE.2009.5234106},
doi = {10.1109/COASE.2009.5234106},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/case/DInnocenzoWAIJP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CernyA09,
author = {Pavol Cern{\'{y}} and
Rajeev Alur},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {Automated Analysis of Java Methods for Confidentiality},
booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5643},
pages = {173--187},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_16},
doi = {10.1007/978-3-642-02658-4\_16},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/CernyA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KanadeAIRSS09,
author = {Aditya Kanade and
Rajeev Alur and
Franjo Ivancic and
S. Ramesh and
Sriram Sankaranarayanan and
K. C. Shashidhar},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models},
booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5643},
pages = {430--445},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_33},
doi = {10.1007/978-3-642-02658-4\_33},
timestamp = {Mon, 03 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KanadeAIRSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/WeissDAJP09,
author = {Gera Weiss and
Alessandro D'Innocenzo and
Rajeev Alur and
Karl Henrik Johansson and
George J. Pappas},
title = {Robust stability of multi-hop control networks},
booktitle = {Proceedings of the 48th {IEEE} Conference on Decision and Control,
{CDC} 2009, combined withe the 28th Chinese Control Conference, December
16-18, 2009, Shanghai, China},
pages = {2210--2215},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/CDC.2009.5400552},
doi = {10.1109/CDC.2009.5400552},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/WeissDAJP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AlurCW09,
author = {Rajeev Alur and
Pavol Cern{\'{y}} and
Scott Weinstein},
editor = {Erich Gr{\"{a}}del and
Reinhard Kahle},
title = {Algorithmic Analysis of Array-Accessing Programs},
booktitle = {Computer Science Logic, 23rd international Workshop, {CSL} 2009, 18th
Annual Conference of the EACSL, Coimbra, Portugal, September 7-11,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5771},
pages = {86--101},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04027-6\_9},
doi = {10.1007/978-3-642-04027-6\_9},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/AlurCW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Alur09,
author = {Rajeev Alur},
editor = {Luca de Alfaro},
title = {Temporal Reasoning about Program Executions},
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 = {15},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00596-1\_2},
doi = {10.1007/978-3-642-00596-1\_2},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Alur09.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 = {Thu, 07 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/AlurDMW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/WeissFAA09,
author = {Gera Weiss and
Sebastian Fischmeister and
Madhukar Anand and
Rajeev Alur},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Specification and Analysis of Network Resource Requirements of Control
Systems},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {381--395},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_27},
doi = {10.1007/978-3-642-00602-9\_27},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/WeissFAA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/AlurDJPW09,
author = {Rajeev Alur and
Alessandro D'Innocenzo and
Karl Henrik Johansson and
George J. Pappas and
Gera Weiss},
title = {Modeling and Analysis of Multi-hop Control Networks},
booktitle = {15th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
{RTAS} 2009, San Francisco, CA, USA, 13-16 April 2009},
pages = {223--232},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/RTAS.2009.40},
doi = {10.1109/RTAS.2009.40},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/AlurDJPW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/AlurP08,
author = {Rajeev Alur and
George J. Pappas},
title = {Introduction},
journal = {Formal Methods Syst. Des.},
volume = {32},
number = {1},
pages = {1},
year = {2008},
url = {https://doi.org/10.1007/s10703-007-0047-0},
doi = {10.1007/S10703-007-0047-0},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/AlurP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/NamMA08,
author = {Wonhong Nam and
P. Madhusudan and
Rajeev Alur},
title = {Automatic symbolic compositional verification by learning assumptions},
journal = {Formal Methods Syst. Des.},
volume = {32},
number = {3},
pages = {207--234},
year = {2008},
url = {https://doi.org/10.1007/s10703-008-0055-8},
doi = {10.1007/S10703-008-0055-8},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/NamMA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/AlurABEIL08,
author = {Rajeev Alur and
Marcelo Arenas and
Pablo Barcel{\'{o}} and
Kousha Etessami and
Neil Immerman and
Leonid Libkin},
title = {First-Order and Temporal Logics for Nested Words},
journal = {Log. Methods Comput. Sci.},
volume = {4},
number = {4},
year = {2008},
url = {https://doi.org/10.2168/LMCS-4(4:11)2008},
doi = {10.2168/LMCS-4(4:11)2008},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/AlurABEIL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Alur08,
author = {Rajeev Alur},
editor = {Jos{\'{e}} Meseguer and
Grigore Rosu},
title = {Marrying Words and Trees},
booktitle = {Algebraic Methodology and Software Technology, 12th International
Conference, {AMAST} 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5140},
pages = {1},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79980-1\_1},
doi = {10.1007/978-3-540-79980-1\_1},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/amast/Alur08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlurKW08,
author = {Rajeev Alur and
Aditya Kanade and
Gera Weiss},
editor = {Aarti Gupta and
Sharad Malik},
title = {Ranking Automata and Games for Prioritized Requirements},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {240--253},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_23},
doi = {10.1007/978-3-540-70545-1\_23},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlurKW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/AlurKRS08,
author = {Rajeev Alur and
Aditya Kanade and
S. Ramesh and
K. C. Shashidhar},
editor = {Luca de Alfaro and
Jens Palsberg},
title = {Symbolic analysis for improving simulation coverage of Simulink/Stateflow
models},
booktitle = {Proceedings of the 8th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2008, Atlanta, GA, USA, October 19-24,
2008},
pages = {89--98},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1450058.1450071},
doi = {10.1145/1450058.1450071},
timestamp = {Mon, 03 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/AlurKRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/AlurW08,
author = {Rajeev Alur and
Gera Weiss},
editor = {Luca de Alfaro and
Jens Palsberg},
title = {RTComposer: a framework for real-time components with scheduling interfaces},
booktitle = {Proceedings of the 8th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2008, Atlanta, GA, USA, October 19-24,
2008},
pages = {159--168},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1450058.1450080},
doi = {10.1145/1450058.1450080},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/AlurW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/AlurW08,
author = {Rajeev Alur and
Gera Weiss},
title = {Regular Specifications of Resource Requirements for Embedded Control
Software},
booktitle = {Proceedings of the 14th {IEEE} Real-Time and Embedded Technology and
Applications Symposium, {RTAS} 2008, April 22-24, 2008, St. Louis,
Missouri, {USA}},
pages = {159--168},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/RTAS.2008.13},
doi = {10.1109/RTAS.2008.13},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/AlurW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Alur08,
author = {Rajeev Alur},
editor = {Orna Grumberg and
Helmut Veith},
title = {Model Checking: From Tools to Theory},
booktitle = {25 Years of Model Checking - History, Achievements, Perspectives},
series = {Lecture Notes in Computer Science},
volume = {5000},
pages = {89--106},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69850-0\_6},
doi = {10.1007/978-3-540-69850-0\_6},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/Alur08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0811-0537,
author = {Rajeev Alur and
Marcelo Arenas and
Pablo Barcel{\'{o}} and
Kousha Etessami and
Neil Immerman and
Leonid Libkin},
title = {First-Order and Temporal Logics for Nested Words},
journal = {CoRR},
volume = {abs/0811.0537},
year = {2008},
url = {http://arxiv.org/abs/0811.0537},
eprinttype = {arXiv},
eprint = {0811.0537},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0811-0537.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/AlurC07,
author = {Rajeev Alur and
Arun Chandrashekharapuram},
title = {Dispatch sequences for embedded control models},
journal = {J. Comput. Syst. Sci.},
volume = {73},
number = {2},
pages = {156--170},
year = {2007},
url = {https://doi.org/10.1016/j.jcss.2006.04.003},
doi = {10.1016/J.JCSS.2006.04.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/AlurC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/Alur07,
author = {Rajeev Alur},
editor = {Volker Diekert and
Mikhail V. Volkov and
Andrei Voronkov},
title = {Marrying Words and Trees},
booktitle = {Computer Science - Theory and Applications, Second International Symposium
on Computer Science in Russia, {CSR} 2007, Ekaterinburg, Russia, September
3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4649},
pages = {5},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74510-5\_3},
doi = {10.1007/978-3-540-74510-5\_3},
timestamp = {Thu, 09 Nov 2023 20:20:35 +0100},
biburl = {https://dblp.org/rec/conf/csr/Alur07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BernadskyA07,
author = {Mikhail Bernadsky and
Rajeev Alur},
editor = {Alberto Bemporad and
Antonio Bicchi and
Giorgio C. Buttazzo},
title = {Symbolic Analysis for {GSMP} Models with One Stateful Clock},
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 = {90--103},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71493-4\_10},
doi = {10.1007/978-3-540-71493-4\_10},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BernadskyA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/WeissA07,
author = {Gera Weiss and
Rajeev Alur},
editor = {Alberto Bemporad and
Antonio Bicchi and
Giorgio C. Buttazzo},
title = {Automata Based Interfaces for Control and Scheduling},
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 = {601--613},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71493-4\_46},
doi = {10.1007/978-3-540-71493-4\_46},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/WeissA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AlurABEIL07,
author = {Rajeev Alur and
Marcelo Arenas and
Pablo Barcel{\'{o}} and
Kousha Etessami and
Neil Immerman and
Leonid Libkin},
title = {First-Order and Temporal Logics for Nested Words},
booktitle = {22nd {IEEE} Symposium on Logic in Computer Science {(LICS} 2007),
10-12 July 2007, Wroclaw, Poland, Proceedings},
pages = {151--160},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/LICS.2007.19},
doi = {10.1109/LICS.2007.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AlurABEIL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BurckhardtAM07,
author = {Sebastian Burckhardt and
Rajeev Alur and
Milo M. K. Martin},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {CheckFence: checking consistency of concurrent data types on relaxed
memory models},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {12--21},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250737},
doi = {10.1145/1250734.1250737},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BurckhardtAM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/Alur07,
author = {Rajeev Alur},
editor = {Leonid Libkin},
title = {Marrying words and trees},
booktitle = {Proceedings of the Twenty-Sixth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 11-13, 2007, Beijing, China},
pages = {233--242},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1265530.1265564},
doi = {10.1145/1265530.1265564},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/Alur07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/ChaudhuriA07,
author = {Swarat Chaudhuri and
Rajeev Alur},
editor = {Dragan Bosnacki and
Stefan Edelkamp},
title = {Instrumenting {C} Programs with Nested Word Monitors},
booktitle = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
Germany, July 1-3, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4595},
pages = {279--283},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73370-6\_20},
doi = {10.1007/978-3-540-73370-6\_20},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/ChaudhuriA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AlurCC07,
author = {Rajeev Alur and
Pavol Cern{\'{y}} and
Swarat Chaudhuri},
editor = {Orna Grumberg and
Michael Huth},
title = {Model Checking on Trees with Path Equivalences},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
13th International Conference, {TACAS} 2007, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2007
Braga, Portugal, March 24 - April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4424},
pages = {664--678},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71209-1\_51},
doi = {10.1007/978-3-540-71209-1\_51},
timestamp = {Mon, 11 Sep 2023 15:43:49 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AlurCC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AlurGLS06,
author = {Rajeev Alur and
Radu Grosu and
Insup Lee and
Oleg Sokolsky},
title = {Compositional modeling and refinement for hierarchical hybrid systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {68},
number = {1-2},
pages = {105--128},
year = {2006},
url = {https://doi.org/10.1016/j.jlap.2005.10.004},
doi = {10.1016/J.JLAP.2005.10.004},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AlurGLS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlurTM06,
author = {Rajeev Alur and
Salvatore {La Torre} and
P. Madhusudan},
title = {Modular strategies for recursive game graphs},
journal = {Theor. Comput. Sci.},
volume = {354},
number = {2},
pages = {230--249},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2005.11.017},
doi = {10.1016/J.TCS.2005.11.017},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AlurTM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlurDI06,
author = {Rajeev Alur and
Thao Dang and
Franjo Ivancic},
title = {Counterexample-guided predicate abstraction of hybrid systems},
journal = {Theor. Comput. Sci.},
volume = {354},
number = {2},
pages = {250--271},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2005.11.026},
doi = {10.1016/J.TCS.2005.11.026},
timestamp = {Wed, 04 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AlurDI06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/AlurDI06,
author = {Rajeev Alur and
Thao Dang and
Franjo Ivancic},
title = {Predicate abstraction for reachability analysis of hybrid systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {5},
number = {1},
pages = {152--199},
year = {2006},
url = {https://doi.org/10.1145/1132357.1132363},
doi = {10.1145/1132357.1132363},
timestamp = {Wed, 04 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/AlurDI06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/NamA06,
author = {Wonhong Nam and
Rajeev Alur},
editor = {Susanne Graf and
Wenhui Zhang},
title = {Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic
Decomposition},
booktitle = {Automated Technology for Verification and Analysis, 4th International
Symposium, {ATVA} 2006, Beijing, China, October 23-26, 2006},
series = {Lecture Notes in Computer Science},
volume = {4218},
pages = {170--185},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901914\_15},
doi = {10.1007/11901914\_15},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/NamA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlurCM06,
author = {Rajeev Alur and
Swarat Chaudhuri and
P. Madhusudan},
editor = {Thomas Ball and
Robert B. Jones},
title = {Languages of Nested Trees},
booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4144},
pages = {329--342},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_31},
doi = {10.1007/11817963\_31},
timestamp = {Tue, 09 Jul 2024 07:54:49 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlurCM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BurckhardtAM06,
author = {Sebastian Burckhardt and
Rajeev Alur and
Milo M. K. Martin},
editor = {Thomas Ball and
Robert B. Jones},
title = {Bounded Model Checking of Concurrent Data Types on Relaxed Memory
Models: {A} Case Study},
booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4144},
pages = {489--502},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_45},
doi = {10.1007/11817963\_45},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BurckhardtAM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/AlurM06,
author = {Rajeev Alur and
P. Madhusudan},
editor = {Oscar H. Ibarra and
Zhe Dang},
title = {Adding Nesting Structure to Words},
booktitle = {Developments in Language Theory, 10th International Conference, {DLT}
2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4036},
pages = {1--13},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11779148\_1},
doi = {10.1007/11779148\_1},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dlt/AlurM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/NghiemPAG06,
author = {Truong Nghiem and
George J. Pappas and
Rajeev Alur and
Antoine Girard},
editor = {Sang Lyul Min and
Wang Yi},
title = {Time-triggered implementations of dynamic controllers},
booktitle = {Proceedings of the 6th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2006, October 22-25, 2006, Seoul, Korea},
pages = {2--11},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1176887.1176890},
doi = {10.1145/1176887.1176890},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/NghiemPAG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AlurC06,
author = {Rajeev Alur and
Swarat Chaudhuri},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {Branching Pushdown Tree Automata},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {393--404},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_36},
doi = {10.1007/11944836\_36},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/AlurC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AlurB06,
author = {Rajeev Alur and
Mikhail Bernadsky},
editor = {Jo{\~{a}}o P. Hespanha and
Ashish Tiwari},
title = {Bounded Model Checking for {GSMP} Models of Stochastic Real-Time Systems},
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 = {19--33},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11730637\_5},
doi = {10.1007/11730637\_5},
timestamp = {Wed, 30 Aug 2023 16:03:58 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AlurB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlurCZ06,
author = {Rajeev Alur and
Pavol Cern{\'{y}} and
Steve Zdancewic},
editor = {Michele Bugliesi and
Bart Preneel and
Vladimiro Sassone and
Ingo Wegener},
title = {Preserving Secrecy Under Refinement},
booktitle = {Automata, Languages and Programming, 33rd International Colloquium,
{ICALP} 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {4052},
pages = {107--118},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11787006\_10},
doi = {10.1007/11787006\_10},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AlurCZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Alur06,
author = {Rajeev Alur},
title = {Games for formal design and verification of reactive systems},
booktitle = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
Suites, Napa, California, {USA}},
pages = {3},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/MEMCOD.2006.1695893},
doi = {10.1109/MEMCOD.2006.1695893},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/Alur06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AlurCM06,
author = {Rajeev Alur and
Swarat Chaudhuri and
P. Madhusudan},
editor = {J. Gregory Morrisett and
Simon L. Peyton Jones},
title = {A fixpoint calculus for local and global program flows},
booktitle = {Proceedings of the 33rd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2006, Charleston, South Carolina,
USA, January 11-13, 2006},
pages = {153--165},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1111037.1111051},
doi = {10.1145/1111037.1111051},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/AlurCM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/AlurMP05,
author = {Rajeev Alur and
Kenneth L. McMillan and
Doron A. Peled},
title = {Deciding Global Partial-Order Properties},
journal = {Formal Methods Syst. Des.},
volume = {26},
number = {1},
pages = {7--25},
year = {2005},
url = {https://doi.org/10.1007/s10703-005-4592-0},
doi = {10.1007/S10703-005-4592-0},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/AlurMP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AlurMN05,
author = {Rajeev Alur and
P. Madhusudan and
Wonhong Nam},
title = {Symbolic computational techniques for solving games},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {2},
pages = {118--128},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0179-0},
doi = {10.1007/S10009-004-0179-0},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/AlurMN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlurEY05,
author = {Rajeev Alur and
Kousha Etessami and
Mihalis Yannakakis},
title = {Realizability and verification of {MSC} graphs},
journal = {Theor. Comput. Sci.},
volume = {331},
number = {1},
pages = {97--114},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2004.09.034},
doi = {10.1016/J.TCS.2004.09.034},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AlurEY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/AlurL05,
author = {Rajeev Alur and
Insup Lee},
title = {Preface},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {4},
pages = {707},
year = {2005},
url = {https://doi.org/10.1145/1113830.1113831},
doi = {10.1145/1113830.1113831},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/AlurL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/AlurBEGRY05,
author = {Rajeev Alur and
Michael Benedikt and
Kousha Etessami and
Patrice Godefroid and
Thomas W. Reps and
Mihalis Yannakakis},
title = {Analysis of recursive state machines},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {4},
pages = {786--818},
year = {2005},
url = {https://doi.org/10.1145/1075382.1075387},
doi = {10.1145/1075382.1075387},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/AlurBEGRY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlurMN05,
author = {Rajeev Alur and
P. Madhusudan and
Wonhong Nam},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {Symbolic Compositional Verification by Learning Assumptions},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {548--562},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_52},
doi = {10.1007/11513988\_52},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlurMN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Alur05,
author = {Rajeev Alur},
editor = {Mart{\'{\i}}n Abadi and
Luca de Alfaro},
title = {The Benefits of Exposing Calls and Returns},
booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference,
{CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3653},
pages = {2--3},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11539452\_2},
doi = {10.1007/11539452\_2},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Alur05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AlurTM05,
author = {Rajeev Alur and
Salvatore {La Torre} and
P. Madhusudan},
editor = {Manfred Morari and
Lothar Thiele},
title = {Perturbed Timed Automata},
booktitle = {Hybrid Systems: Computation and Control, 8th International Workshop,
{HSCC} 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3414},
pages = {70--85},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31954-2\_5},
doi = {10.1007/978-3-540-31954-2\_5},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AlurTM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlurKMV05,
author = {Rajeev Alur and
Viraj Kumar and
P. Madhusudan and
Mahesh Viswanathan},
editor = {Lu{\'{\i}}s Caires and
Giuseppe F. Italiano and
Lu{\'{\i}}s Monteiro and
Catuscia Palamidessi and
Moti Yung},
title = {Congruences for Visibly Pushdown Languages},
booktitle = {Automata, Languages and Programming, 32nd International Colloquium,
{ICALP} 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3580},
pages = {1102--1114},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11523468\_89},
doi = {10.1007/11523468\_89},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AlurKMV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AlurCMN05,
author = {Rajeev Alur and
Pavol Cern{\'{y}} and
P. Madhusudan and
Wonhong Nam},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {Synthesis of interface specifications for Java classes},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {98--109},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040314},
doi = {10.1145/1040305.1040314},
timestamp = {Sat, 31 Jul 2021 17:22:14 +0200},
biburl = {https://dblp.org/rec/conf/popl/AlurCMN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/AlurC05,
author = {Rajeev Alur and
Arun Chandrashekharapuram},
title = {Dispatch Sequences for Embedded Control Models},
booktitle = {11th {IEEE} Real-Time and Embedded Technology and Applications Symposium
{(RTAS} 2005), 7-10 March 2005, San Francisco, CA, {USA}},
pages = {508--518},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/RTAS.2005.19},
doi = {10.1109/RTAS.2005.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/AlurC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/YazarelGPA05,
author = {Hakan Yazarel and
Antoine Girard and
George J. Pappas and
Rajeev Alur},
title = {Quantifying the Gap between Embedded Control Models and Time-Triggered
Implementations},
booktitle = {Proceedings of the 26th {IEEE} Real-Time Systems Symposium {(RTSS}
2005), 6-8 December 2005, Miami, FL, {USA}},
pages = {111--120},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/RTSS.2005.35},
doi = {10.1109/RTSS.2005.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/YazarelGPA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AlurCEM05,
author = {Rajeev Alur and
Swarat Chaudhuri and
Kousha Etessami and
P. Madhusudan},
editor = {Nicolas Halbwachs and
Lenore D. Zuck},
title = {On-the-Fly Reachability and Cycle Detection for Recursive State Machines},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
11th International Conference, {TACAS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3440},
pages = {61--76},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31980-1\_5},
doi = {10.1007/978-3-540-31980-1\_5},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AlurCEM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BurckhardtAM05,
author = {Sebastian Burckhardt and
Rajeev Alur and
Milo M. K. Martin},
editor = {Radhia Cousot},
title = {Verifying Safety of a Token Coherence Implementation by Parametric
Compositional Refinement},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 6th International
Conference, {VMCAI} 2005, Paris, France, January 17-19, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3385},
pages = {130--145},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30579-8\_9},
doi = {10.1007/978-3-540-30579-8\_9},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BurckhardtAM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/Alur05,
author = {Rajeev Alur},
editor = {Bertrand Meyer and
Jim Woodcock},
title = {Trends and Challenges in Algorithmic Software Verification},
booktitle = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC}
2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13,
2005, Revised Selected Papers and Discussions},
series = {Lecture Notes in Computer Science},
volume = {4171},
pages = {245--250},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-69149-5\_26},
doi = {10.1007/978-3-540-69149-5\_26},
timestamp = {Fri, 17 Feb 2023 09:02:02 +0100},
biburl = {https://dblp.org/rec/conf/vstte/Alur05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/AlurKT04,
author = {Rajeev Alur and
Sampath Kannan and
Salvatore {La Torre}},
title = {Polyhedral Flows in Hybrid Automata},
journal = {Formal Methods Syst. Des.},
volume = {24},
number = {3},
pages = {261--280},
year = {2004},
url = {https://doi.org/10.1023/B:FORM.0000026092.11691.96},
doi = {10.1023/B:FORM.0000026092.11691.96},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/AlurKT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AlurAGLLNPAZ04,
author = {Rajeev Alur and
David Arney and
Elsa L. Gunter and
Insup Lee and
Jaime Lee and
Wonhong Nam and
Frederick Pearce and
Stephen Van Albert and
Jiaxiang Zhou},
title = {Formal specifications and analysis of the computer-assisted resuscitation
algorithm {(CARA)} Infusion Pump Control System},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {5},
number = {4},
pages = {308--319},
year = {2004},
url = {https://doi.org/10.1007/s10009-003-0132-7},
doi = {10.1007/S10009-003-0132-7},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/AlurAGLLNPAZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlurTP04,
author = {Rajeev Alur and
Salvatore {La Torre} and
George J. Pappas},
title = {Optimal paths in weighted timed automata},
journal = {Theor. Comput. Sci.},
volume = {318},
number = {3},
pages = {297--322},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2003.10.038},
doi = {10.1016/J.TCS.2003.10.038},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AlurTP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/AlurT04,
author = {Rajeev Alur and
Salvatore {La Torre}},
title = {Deterministic generators and games for Ltl fragments},
journal = {{ACM} Trans. Comput. Log.},
volume = {5},
number = {1},
pages = {1--25},
year = {2004},
url = {https://doi.org/10.1145/963927.963928},
doi = {10.1145/963927.963928},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/AlurT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/AlurG04,
author = {Rajeev Alur and
Radu Grosu},
title = {Modular refinement of hierarchic reactive machines},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {26},
number = {2},
pages = {339--369},
year = {2004},
url = {https://doi.org/10.1145/973097.973101},
doi = {10.1145/973097.973101},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/AlurG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/Alur04,
author = {Rajeev Alur},
editor = {Farn Wang},
title = {Games for Formal Design and Verification of Reactive Systems},
booktitle = {Automated Technology for Verification and Analysis: Second International
Conference, {ATVA} 2004, Taipei, Taiwan, ROC, October 31-November
3, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3299},
pages = {1},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30476-0\_1},
doi = {10.1007/978-3-540-30476-0\_1},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/Alur04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/McDougallAG04,
author = {Michael McDougall and
Rajeev Alur and
Carl A. Gunter},
editor = {Giorgio C. Buttazzo},
title = {A model-based approach to integrating security policies for embedded
devices},
booktitle = {{EMSOFT} 2004, September 27-29, 2004, Pisa, Italy, Fourth {ACM} International
Conference On Embedded Software, Proceedings},
pages = {211--219},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1017753.1017789},
doi = {10.1145/1017753.1017789},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/McDougallAG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/YangA04,
author = {Zijiang Yang and
Rajeev Alur},
editor = {Alan J. Hu and
Andrew K. Martin},
title = {Variable Reuse for Efficient Image Computation},
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 = {430--444},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30494-4\_30},
doi = {10.1007/978-3-540-30494-4\_30},
timestamp = {Thu, 11 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/YangA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BernadskySA04,
author = {Mikhail Bernadsky and
Raman Sharykin and
Rajeev Alur},
editor = {Yassine Lakhnech and
Sergio Yovine},
title = {Structured Modeling of Concurrent Stochastic Hybrid Systems},
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 = {309--324},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30206-3\_22},
doi = {10.1007/978-3-540-30206-3\_22},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/BernadskySA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlurBM04,
author = {Rajeev Alur and
Mikhail Bernadsky and
P. Madhusudan},
editor = {Josep D{\'{\i}}az and
Juhani Karhum{\"{a}}ki and
Arto Lepist{\"{o}} and
Donald Sannella},
title = {Optimal Reachability for Weighted Timed Games},
booktitle = {Automata, Languages and Programming: 31st International Colloquium,
{ICALP} 2004, Turku, Finland, July 12-16, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3142},
pages = {122--133},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27836-8\_13},
doi = {10.1007/978-3-540-27836-8\_13},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AlurBM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/AlurM04,
author = {Rajeev Alur and
P. Madhusudan},
editor = {Marco Bernardo and
Flavio Corradini},
title = {Decision Problems for Timed Automata: {A} Survey},
booktitle = {Formal Methods for the Design of Real-Time Systems, International
School on Formal Methods for the Design of Computer, Communication
and Software Systems, {SFM-RT} 2004, Bertinoro, Italy, September 13-18,
2004, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {3185},
pages = {1--24},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30080-9\_1},
doi = {10.1007/978-3-540-30080-9\_1},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/AlurM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/AlurM04,
author = {Rajeev Alur and
P. Madhusudan},
editor = {L{\'{a}}szl{\'{o}} Babai},
title = {Visibly pushdown languages},
booktitle = {Proceedings of the 36th Annual {ACM} Symposium on Theory of Computing,
Chicago, IL, USA, June 13-16, 2004},
pages = {202--211},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1007352.1007390},
doi = {10.1145/1007352.1007390},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/AlurM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AlurEM04,
author = {Rajeev Alur and
Kousha Etessami and
P. Madhusudan},
editor = {Kurt Jensen and
Andreas Podelski},
title = {A Temporal Logic of Nested Calls and Returns},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
10th International Conference, {TACAS} 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 = {2988},
pages = {467--481},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24730-2\_35},
doi = {10.1007/978-3-540-24730-2\_35},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AlurEM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2004,
editor = {Rajeev Alur and
Doron A. Peled},
title = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b98490},
doi = {10.1007/B98490},
isbn = {3-540-22342-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hybrid/2004,
editor = {Rajeev Alur and
George J. Pappas},
title = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b96398},
doi = {10.1007/B96398},
isbn = {3-540-21259-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/AlurDEHIKMPS03,
author = {Rajeev Alur and
Thao Dang and
Joel M. Esposito and
Yerang Hur and
Franjo Ivancic and
Vijay Kumar and
Insup Lee and
Pradyumna Mishra and
George J. Pappas and
Oleg Sokolsky},
title = {Hierarchical modeling and analysis of embedded systems},
journal = {Proc. {IEEE}},
volume = {91},
number = {1},
pages = {11--28},
year = {2003},
url = {https://doi.org/10.1109/JPROC.2002.805817},
doi = {10.1109/JPROC.2002.805817},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pieee/AlurDEHIKMPS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AlurEY03,
author = {Rajeev Alur and
Kousha Etessami and
Mihalis Yannakakis},
title = {Inference of Message Sequence Charts},
journal = {{IEEE} Trans. Software Eng.},
volume = {29},
number = {7},
pages = {623--633},
year = {2003},
url = {https://doi.org/10.1109/TSE.2003.1214326},
doi = {10.1109/TSE.2003.1214326},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/AlurEY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Alur03,
author = {Rajeev Alur},
editor = {Nachum Dershowitz},
title = {Formal Analysis of Hierarchical State Machines},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {42--66},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_3},
doi = {10.1007/978-3-540-39910-0\_3},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Alur03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlurTM03,
author = {Rajeev Alur and
Salvatore {La Torre} and
P. Madhusudan},
editor = {Warren A. Hunt Jr. and
Fabio Somenzi},
title = {Modular Strategies for Infinite Games on Recursive Graphs},
booktitle = {Computer Aided Verification, 15th International Conference, {CAV}
2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2725},
pages = {67--79},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45069-6\_6},
doi = {10.1007/978-3-540-45069-6\_6},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlurTM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlurCEGY03,
author = {Rajeev Alur and
Swarat Chaudhuri and
Kousha Etessami and
Sudipto Guha and
Mihalis Yannakakis},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Compression of Partially Ordered Strings},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {42--56},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_3},
doi = {10.1007/978-3-540-45187-7\_3},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/AlurCEGY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlurTM03,
author = {Rajeev Alur and
Salvatore {La Torre} and
P. Madhusudan},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Playing Games with Boxes and Diamonds},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {127--141},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_8},
doi = {10.1007/978-3-540-45187-7\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AlurTM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AlurDI03,
author = {Rajeev Alur and
Thao Dang and
Franjo Ivancic},
editor = {Oded Maler and
Amir Pnueli},
title = {Progress on Reachability Analysis of Hybrid Systems Using Predicate
Abstraction},
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 = {4--19},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36580-X\_4},
doi = {10.1007/3-540-36580-X\_4},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AlurDI03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/AlurIKLS03,
author = {Rajeev Alur and
Franjo Ivancic and
Jesung Kim and
Insup Lee and
Oleg Sokolsky},
editor = {Frank Mueller and
Ulrich Kremer},
title = {Generating embedded software from hierarchical hybrid models},
booktitle = {Proceedings of the 2003 Conference on Languages, Compilers, and Tools
for Embedded Systems (LCTES'03). San Diego, California, USA, June
11-13, 2003},
pages = {171--182},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/780732.780756},
doi = {10.1145/780732.780756},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lctrts/AlurIKLS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AlurDI03,
author = {Rajeev Alur and
Thao Dang and
Franjo Ivancic},
editor = {Hubert Garavel and
John Hatcliff},
title = {Counter-Example Guided Predicate Abstraction of Hybrid Systems},
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 = {208--223},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36577-X\_15},
doi = {10.1007/3-540-36577-X\_15},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AlurDI03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AlurTM03,
author = {Rajeev Alur and
Salvatore {La Torre} and
P. Madhusudan},
editor = {Hubert Garavel and
John Hatcliff},
title = {Modular Strategies for Recursive Game Graphs},
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 = {363--378},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36577-X\_26},
doi = {10.1007/3-540-36577-X\_26},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AlurTM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MadhusudanNA03,
author = {P. Madhusudan and
Wonhong Nam and
Rajeev Alur},
editor = {Ofer Strichman and
Armin Biere},
title = {Symbolic computational techniques for solving games},
booktitle = {First International Workshop on Bounded Model Checking, BMC@CAV 2003,
Boulder, Colorado, USA, July 13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {4},
pages = {578--592},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)82544-7},
doi = {10.1016/S1571-0661(05)82544-7},
timestamp = {Tue, 13 Dec 2022 11:40:46 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MadhusudanNA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/emsoft/2003,
editor = {Rajeev Alur and
Insup Lee},
title = {Embedded Software, Third International Conference, {EMSOFT} 2003,
Philadelphia, PA, USA, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2855},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b13983},
doi = {10.1007/B13983},
isbn = {3-540-20223-4},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cse/AlurBKMPRS02,
author = {Rajeev Alur and
Calin Belta and
Vijay Kumar and
Max Mintz and
George J. Pappas and
Harvey Rubin and
Jonathan Schug},
title = {Modeling and analyzing biomolecular networks},
journal = {Comput. Sci. Eng.},
volume = {4},
number = {1},
pages = {20--31},
year = {2002},
url = {https://doi.org/10.1109/5992.976434},
doi = {10.1109/5992.976434},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cse/AlurBKMPRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijrr/FierroDSEKOPTHALGS02,
author = {Rafael Fierro and
Aveek K. Das and
John R. Spletzer and
Joel M. Esposito and
Vijay Kumar and
James P. Ostrowski and
George J. Pappas and
Camillo J. Taylor and
Yerang Hur and
Rajeev Alur and
Insup Lee and
Gregory Z. Grudic and
Ben Southall},
title = {A Framework and Architecture for Multi-Robot Coordination},
journal = {Int. J. Robotics Res.},
volume = {21},
number = {10-11},
pages = {977--998},
year = {2002},
url = {https://doi.org/10.1177/0278364902021010981},
doi = {10.1177/0278364902021010981},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijrr/FierroDSEKOPTHALGS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/AlurHK02,
author = {Rajeev Alur and
Thomas A. Henzinger and
Orna Kupferman},
title = {Alternating-time temporal logic},
journal = {J. {ACM}},
volume = {49},
number = {5},
pages = {672--713},
year = {2002},
url = {https://doi.org/10.1145/585265.585270},
doi = {10.1145/585265.585270},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/AlurHK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cases/GoodloeMGA02,
author = {Alwyn Goodloe and
Michael McDougall and
Carl A. Gunter and
Rajeev Alur},
editor = {Shuvra S. Bhattacharyya and
Trevor N. Mudge and
Wayne H. Wolf and
Ahmed Amine Jerraya},
title = {Predictable programs in barcodes},
booktitle = {Proceedings of the International Conference on Compilers, Architectures
and Synthesis for Embedded Systems, {CASES} 2002, Greenoble, France,
October 8-11, 2002},
pages = {298--303},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/581630.581679},
doi = {10.1145/581630.581679},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cases/GoodloeMGA02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlurMY02,
author = {Rajeev Alur and
Michael McDougall and
Zijiang Yang},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Exploiting Behavioral Hierarchy for Efficient Model Checking},
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 = {338--342},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_25},
doi = {10.1007/3-540-45657-0\_25},
timestamp = {Tue, 13 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlurMY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hipc/AlurBIKRSSW02,
author = {Rajeev Alur and
Calin Belta and
Franjo Ivancic and
Vijay Kumar and
Harvey Rubin and
Jonathan Schug and
Oleg Sokolsky and
Jonathan Webb},
editor = {Sartaj Sahni and
Viktor K. Prasanna and
Uday Shukla},
title = {Visual Programming for Modeling and Simulation of Biomolecular Regulatory
Networks},
booktitle = {High Performance Computing - HiPC 2002, 9th International Conference,
Bangalore, India, December 18-21, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2552},
pages = {702--712},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36265-7\_67},
doi = {10.1007/3-540-36265-7\_67},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/hipc/AlurBIKRSSW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AlurDI02,
author = {Rajeev Alur and
Thao Dang and
Franjo Ivancic},
editor = {Claire J. Tomlin and
Mark R. Greenstreet},
title = {Reachability Analysis of Hybrid Systems via Predicate Abstraction},
booktitle = {Hybrid Systems: Computation and Control, 5th International Workshop,
{HSCC} 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2289},
pages = {35--48},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45873-5\_6},
doi = {10.1007/3-540-45873-5\_6},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AlurDI02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/AlurBHQR01,
author = {Rajeev Alur and
Robert K. Brayton and
Thomas A. Henzinger and
Shaz Qadeer and
Sriram K. Rajamani},
title = {Partial-Order Reduction in Symbolic State-Space Exploration},
journal = {Formal Methods Syst. Des.},
volume = {18},
number = {2},
pages = {97--116},
year = {2001},
url = {https://doi.org/10.1023/A:1008767206905},
doi = {10.1023/A:1008767206905},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/AlurBHQR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AlurH01,
author = {Rajeev Alur and
Thomas A. Henzinger},
title = {Introduction},
journal = {Inf. Comput.},
volume = {164},
number = {2},
pages = {233},
year = {2001},
url = {https://doi.org/10.1006/inco.2000.2892},
doi = {10.1006/INCO.2000.2892},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AlurH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/AlurETP01,
author = {Rajeev Alur and
Kousha Etessami and
Salvatore {La Torre} and
Doron A. Peled},
title = {Parametric temporal logic for "model measuring"},
journal = {{ACM} Trans. Comput. Log.},
volume = {2},
number = {3},
pages = {388--407},
year = {2001},
url = {https://doi.org/10.1145/377978.377990},
doi = {10.1145/377978.377990},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/AlurETP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/AlurY01,
author = {Rajeev Alur and
Mihalis Yannakakis},
title = {Model checking of hierarchical state machines},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {23},
number = {3},
pages = {273--303},
year = {2001},
url = {https://doi.org/10.1145/503502.503503},
doi = {10.1145/503502.503503},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/AlurY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlurW01,
author = {Rajeev Alur and
Bow{-}Yaw Wang},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Verifying Network Protocol Implementations by Symbolic Refinement
Checking},
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 = {169--181},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_15},
doi = {10.1007/3-540-44585-4\_15},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlurW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlurEY01,
author = {Rajeev Alur and
Kousha Etessami and
Mihalis Yannakakis},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Analysis of Recursive State Machines},
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 = {207--220},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_18},
doi = {10.1007/3-540-44585-4\_18},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlurEY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/MollerA01,
author = {M. Oliver M{\"{o}}ller and
Rajeev Alur},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Heuristics for Hierarchical Partitioning with Application to Model
Checking},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {71--85},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_5},
doi = {10.1007/3-540-44798-9\_5},
timestamp = {Sun, 02 Jun 2019 21:23:48 +0200},
biburl = {https://dblp.org/rec/conf/charme/MollerA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/AlurDEFHIKLMPS01,
author = {Rajeev Alur and
Thao Dang and
Joel M. Esposito and
Rafael Fierro and
Yerang Hur and
Franjo Ivancic and
Vijay Kumar and
Insup Lee and
Pradyumna Mishra and
George J. Pappas and
Oleg Sokolsky},
editor = {Thomas A. Henzinger and
Christoph M. Kirsch},
title = {Hierarchical Hybrid Modeling of Embedded Systems},
booktitle = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
City, CA, USA, October, 8-10, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2211},
pages = {14--31},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45449-7\_2},
doi = {10.1007/3-540-45449-7\_2},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/AlurDEFHIKLMPS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AlurBI01,
author = {Rajeev Alur and
Calin Belta and
Franjo Ivancic},
editor = {Maria Domenica Di Benedetto and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Hybrid Modeling and Simulation of Biomolecular Networks},
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 = {19--32},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45351-2\_6},
doi = {10.1007/3-540-45351-2\_6},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AlurBI01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AlurGLS01,
author = {Rajeev Alur and
Radu Grosu and
Insup Lee and
Oleg Sokolsky},
editor = {Maria Domenica Di Benedetto and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Compositional Refinement for Hierarchical Hybrid 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 = {33--48},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45351-2\_7},
doi = {10.1007/3-540-45351-2\_7},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/AlurGLS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AlurTP01,
author = {Rajeev Alur and
Salvatore {La Torre} and
George J. Pappas},
editor = {Maria Domenica Di Benedetto and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Optimal Paths in Weighted Timed Automata},
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 = {49--62},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45351-2\_8},
doi = {10.1007/3-540-45351-2\_8},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AlurTP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlurEY01,
author = {Rajeev Alur and
Kousha Etessami and
Mihalis Yannakakis},
editor = {Fernando Orejas and
Paul G. Spirakis and
Jan van Leeuwen},
title = {Realizability and Verification of {MSC} Graphs},
booktitle = {Automata, Languages and Programming, 28th International Colloquium,
{ICALP} 2001, Crete, Greece, July 8-12, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2076},
pages = {797--808},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-48224-5\_65},
doi = {10.1007/3-540-48224-5\_65},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AlurEY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AlurAGHKKMMW01,
author = {Rajeev Alur and
Luca de Alfaro and
Radu Grosu and
Thomas A. Henzinger and
M. Kang and
Christoph M. Kirsch and
Rupak Majumdar and
Freddy Y. C. Mang and
Bow{-}Yaw Wang},
editor = {Hausi A. M{\"{u}}ller and
Mary Jean Harrold and
Wilhelm Sch{\"{a}}fer},
title = {{JMOCHA:} {A} Model Checking Tool that Exploits Design Structure},
booktitle = {Proceedings of the 23rd International Conference on Software Engineering,
{ICSE} 2001, 12-19 May 2001, Toronto, Ontario, Canada},
pages = {835--836},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ICSE.2001.919196},
doi = {10.1109/ICSE.2001.919196},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/AlurAGHKKMMW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AlurG01,
author = {Rajeev Alur and
Radu Grosu},
title = {Shared Variables Interaction Diagrams},
booktitle = {16th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2001), 26-29 November 2001, Coronado Island, San Diego, CA,
{USA}},
pages = {281--288},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ASE.2001.989814},
doi = {10.1109/ASE.2001.989814},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/AlurG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AlurT01,
author = {Rajeev Alur and
Salvatore {La Torre}},
title = {Deterministic Generators and Games for {LTL} Fragments},
booktitle = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
Massachusetts, USA, June 16-19, 2001, Proceedings},
pages = {291--300},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/LICS.2001.932505},
doi = {10.1109/LICS.2001.932505},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AlurT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AlurMP00,
author = {Rajeev Alur and
Kenneth L. McMillan and
Doron A. Peled},
title = {Model-Checking of Correctness Conditions for Concurrent Objects},
journal = {Inf. Comput.},
volume = {160},
number = {1-2},
pages = {167--188},
year = {2000},
url = {https://doi.org/10.1006/inco.1999.2847},
doi = {10.1006/INCO.1999.2847},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AlurMP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/AlurHLP00,
author = {Rajeev Alur and
Thomas A. Henzinger and
Gerardo Lafferriere and
George J. Pappas},
title = {Discrete abstractions of hybrid systems},
journal = {Proc. {IEEE}},
volume = {88},
number = {7},
pages = {971--984},
year = {2000},
url = {https://doi.org/10.1109/5.871304},
doi = {10.1109/5.871304},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/AlurHLP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Alur00,
author = {Rajeev Alur},
title = {Computer-aided verification of reactive systems},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {25},
number = {1},
pages = {32--33},
year = {2000},
url = {https://doi.org/10.1145/340855.340861},
doi = {10.1145/340855.340861},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Alur00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlurGM00,
author = {Rajeev Alur and
Radu Grosu and
Michael McDougall},
editor = {E. Allen Emerson and
A. Prasad Sistla},
title = {Efficient Reachability Analysis of Hierarchical Reactive Machines},
booktitle = {Computer Aided Verification, 12th International Conference, {CAV}
2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1855},
pages = {280--295},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722167\_23},
doi = {10.1007/10722167\_23},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlurGM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Alur00,
author = {Rajeev Alur},
editor = {Catuscia Palamidessi},
title = {Exploiting Hierarchical Structure for Efficient Formal Verification},
booktitle = {{CONCUR} 2000 - Concurrency Theory, 11th International Conference,
University Park, PA, USA, August 22-25, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1877},
pages = {66--68},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44618-4\_6},
doi = {10.1007/3-540-44618-4\_6},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Alur00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/AlurGW00,
author = {Rajeev Alur and
Radu Grosu and
Bow{-}Yaw Wang},
editor = {Warren A. Hunt Jr. and
Steven D. Johnson},
title = {Automated Refinement Checking for Asynchronous Processes},
booktitle = {Formal Methods in Computer-Aided Design, Third International Conference,
{FMCAD} 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1954},
pages = {55--72},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40922-X\_5},
doi = {10.1007/3-540-40922-X\_5},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/AlurGW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AlurGHKL00,
author = {Rajeev Alur and
Radu Grosu and
Yerang Hur and
Vijay Kumar and
Insup Lee},
editor = {Nancy A. Lynch and
Bruce H. Krogh},
title = {Modular Specification of Hybrid Systems in {CHARON}},
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 = {6--19},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46430-1\_5},
doi = {10.1007/3-540-46430-1\_5},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/AlurGHKL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AlurEY00,
author = {Rajeev Alur and
Kousha Etessami and
Mihalis Yannakakis},
editor = {Carlo Ghezzi and
Mehdi Jazayeri and
Alexander L. Wolf},
title = {Inference of message sequence charts},
booktitle = {Proceedings of the 22nd International Conference on on Software Engineering,
{ICSE} 2000, Limerick Ireland, June 4-11, 2000},
pages = {304--313},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/337180.337215},
doi = {10.1145/337180.337215},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/AlurEY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iser/AlurDEFGHKLLOPSST00,
author = {Rajeev Alur and
Aveek K. Das and
Joel M. Esposito and
Rafael Fierro and
Gregory Z. Grudic and
Yerang Hur and
Vijay Kumar and
Insup Lee and
J. P. Lee and
James P. Ostrowski and
George J. Pappas and
Ben Southall and
John R. Spletzer and
Camillo J. Taylor},
editor = {Daniela Rus and
Sanjiv Singh},
title = {A Framework and Architecture for Multirobot Coordination},
booktitle = {Experimental Robotics {VII} {[ISER} 2000, Waikiki, Hawaii, USA, December
11-13, 2000]},
series = {Lecture Notes in Control and Information Sciences},
volume = {271},
pages = {303--312},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45118-8\_31},
doi = {10.1007/3-540-45118-8\_31},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iser/AlurDEFGHKLLOPSST00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AlurG00,
author = {Rajeev Alur and
Radu Grosu},
editor = {Mark N. Wegman and
Thomas W. Reps},
title = {Modular Refinement of Hierarchic Reactive Machines},
booktitle = {{POPL} 2000, Proceedings of the 27th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Boston, Massachusetts, USA,
January 19-21, 2000},
pages = {390--402},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/325694.325746},
doi = {10.1145/325694.325746},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/AlurG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/AlurH99,
author = {Rajeev Alur and
Thomas A. Henzinger},
title = {Introduction},
journal = {Formal Methods Syst. Des.},
volume = {14},
number = {3},
pages = {235},
year = {1999},
url = {https://doi.org/10.1023/A:1008751407402},
doi = {10.1023/A:1008751407402},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/AlurH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/AlurH99a,
author = {Rajeev Alur and
Thomas A. Henzinger},
title = {Introduction},
journal = {Formal Methods Syst. Des.},
volume = {15},
number = {1},
pages = {5},
year = {1999},
url = {https://doi.org/10.1023/A:1008749012643},
doi = {10.1023/A:1008749012643},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/AlurH99a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/AlurH99b,
author = {Rajeev Alur and
Thomas A. Henzinger},
title = {Reactive Modules},
journal = {Formal Methods Syst. Des.},
volume = {15},
number = {1},
pages = {7--48},
year = {1999},
url = {https://doi.org/10.1023/A:1008739929481},
doi = {10.1023/A:1008739929481},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/AlurH99b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/AlurP99,
author = {Rajeev Alur and
Doron A. Peled},
title = {Undecidability of Partial Order Logics},
journal = {Inf. Process. Lett.},
volume = {69},
number = {3},
pages = {137--143},
year = {1999},
url = {https://doi.org/10.1016/S0020-0190(99)00005-8},
doi = {10.1016/S0020-0190(99)00005-8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/AlurP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlurFH99,
author = {Rajeev Alur and
Limor Fix and
Thomas A. Henzinger},
title = {Event-Clock Automata: {A} Determinizable Class of Timed Automata},
journal = {Theor. Comput. Sci.},
volume = {211},
number = {1-2},
pages = {253--273},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(97)00173-4},
doi = {10.1016/S0304-3975(97)00173-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AlurFH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Alur99,
author = {Rajeev Alur},
editor = {Nicolas Halbwachs and
Doron A. Peled},
title = {Timed Automata},
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 = {8--22},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48683-6\_3},
doi = {10.1007/3-540-48683-6\_3},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Alur99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlurAHM99,
author = {Rajeev Alur and
Luca de Alfaro and
Thomas A. Henzinger and
Freddy Y. C. Mang},
editor = {Jos C. M. Baeten and
Sjouke Mauw},
title = {Automating Modular Verification},
booktitle = {{CONCUR} '99: Concurrency Theory, 10th International Conference, Eindhoven,
The Netherlands, August 24-27, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1664},
pages = {82--97},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48320-9\_8},
doi = {10.1007/3-540-48320-9\_8},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/AlurAHM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlurW99,
author = {Rajeev Alur and
Bow{-}Yaw Wang},
editor = {Jos C. M. Baeten and
Sjouke Mauw},
title = {"Next" Heuristic for On-the-Fly Model Checking},
booktitle = {{CONCUR} '99: Concurrency Theory, 10th International Conference, Eindhoven,
The Netherlands, August 24-27, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1664},
pages = {98--113},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48320-9\_9},
doi = {10.1007/3-540-48320-9\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AlurW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlurY99,
author = {Rajeev Alur and
Mihalis Yannakakis},
editor = {Jos C. M. Baeten and
Sjouke Mauw},
title = {Model Checking of Message Sequence Charts},
booktitle = {{CONCUR} '99: Concurrency Theory, 10th International Conference, Eindhoven,
The Netherlands, August 24-27, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1664},
pages = {114--129},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48320-9\_10},
doi = {10.1007/3-540-48320-9\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AlurY99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AlurEKKL99,
author = {Rajeev Alur and
Joel M. Esposito and
Moonjoo Kim and
Vijay Kumar and
Insup Lee},
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {Formal Modeling and Analysis of Hybrid Systems: {A} Case Study in
Multi-robot Coordination},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {I}},
series = {Lecture Notes in Computer Science},
volume = {1708},
pages = {212--232},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48119-2\_14},
doi = {10.1007/3-540-48119-2\_14},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/AlurEKKL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AlurKT99,
author = {Rajeev Alur and
Sampath Kannan and
Salvatore {La Torre}},
editor = {Frits W. Vaandrager and
Jan H. van Schuppen},
title = {Polyhedral Flows in Hybrid 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 = {5--18},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48983-5\_5},
doi = {10.1007/3-540-48983-5\_5},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AlurKT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlurTEP99,
author = {Rajeev Alur and
Kousha Etessami and
Salvatore {La Torre} and
Doron A. Peled},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Parametric Temporal Logic for "Model Measuring"},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {159--168},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_13},
doi = {10.1007/3-540-48523-6\_13},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AlurTEP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlurKY99,
author = {Rajeev Alur and
Sampath Kannan and
Mihalis Yannakakis},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Communicating Hierarchical State Machines},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {169--178},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_14},
doi = {10.1007/3-540-48523-6\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AlurKY99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/AlurH98,
author = {Rajeev Alur and
Thomas A. Henzinger},
title = {Finitary Fairness},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {20},
number = {6},
pages = {1171--1194},
year = {1998},
url = {https://doi.org/10.1145/295656.295659},
doi = {10.1145/295656.295659},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/AlurH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlurHMQRT98,
author = {Rajeev Alur and
Thomas A. Henzinger and
Freddy Y. C. Mang and
Shaz Qadeer and
Sriram K. Rajamani and
Serdar Tasiran},
editor = {Alan J. Hu and
Moshe Y. Vardi},
title = {{MOCHA:} Modularity in Model Checking},
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 = {521--525},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0028774},
doi = {10.1007/BFB0028774},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlurHMQRT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlurHKV98,
author = {Rajeev Alur and
Thomas A. Henzinger and
Orna Kupferman and
Moshe Y. Vardi},
editor = {Davide Sangiorgi and
Robert de Simone},
title = {Alternating Refinement Relations},
booktitle = {{CONCUR} '98: Concurrency Theory, 9th International Conference, Nice,
France, September 8-11, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1466},
pages = {163--178},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055622},
doi = {10.1007/BFB0055622},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/AlurHKV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/MalonyA98,
author = {Allen D. Malony and
Rajeev Alur},
editor = {David J. Pritchard and
Jeff Reeve},
title = {Performance Evaluation and Prediction},
booktitle = {Euro-Par '98 Parallel Processing, 4th International Euro-Par Conference,
Southampton, UK, September 1-4, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1470},
pages = {191--192},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0057852},
doi = {10.1007/BFB0057852},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/MalonyA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Alur98,
author = {Rajeev Alur},
editor = {Vikraman Arvind and
Ramaswamy Ramanujam},
title = {Efficient Formal Verification of Hierarchical Descriptions},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
18th Conference, Chennai, India, December 17-19, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1530},
pages = {269},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-540-49382-2\_24},
doi = {10.1007/978-3-540-49382-2\_24},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Alur98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlurMP98,
author = {Rajeev Alur and
Kenneth L. McMillan and
Doron A. Peled},
editor = {Kim Guldstrand Larsen and
Sven Skyum and
Glynn Winskel},
title = {Deciding Global Partial-Order Properties},
booktitle = {Automata, Languages and Programming, 25th International Colloquium,
ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1443},
pages = {41--52},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055039},
doi = {10.1007/BFB0055039},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AlurMP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/AlurKV98,
author = {Rajeev Alur and
Robert P. Kurshan and
Mahesh Viswanathan},
title = {Membership Questions for Timed and Hybrid Automata},
booktitle = {Proceedings of the 19th {IEEE} Real-Time Systems Symposium, Madrid,
Spain, December 2-4, 1998},
pages = {254--263},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/REAL.1998.739751},
doi = {10.1109/REAL.1998.739751},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/AlurKV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/AlurY98,
author = {Rajeev Alur and
Mihalis Yannakakis},
editor = {Leon J. Osterweil and
William L. Scherlis},
title = {Model Checking of Hierarchical State Machines},
booktitle = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
USA, November 3-5, 1998},
pages = {175--188},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/288195.288305},
doi = {10.1145/288195.288305},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/AlurY98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AlurHR98,
author = {Rajeev Alur and
Thomas A. Henzinger and
Sriram K. Rajamani},
editor = {Bernhard Steffen},
title = {Symbolic Exploration of transition Hierarchies},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 4th
International Conference, {TACAS} '98, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, ETAPS'98,
Lisbon, Portugal, March 28 - April 4, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1384},
pages = {330--344},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054181},
doi = {10.1007/BFB0054181},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AlurHR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/AlurCH97,
author = {Rajeev Alur and
Costas Courcoubetis and
Thomas A. Henzinger},
title = {Computing Accumulated Delays in Real-time Systems},
journal = {Formal Methods Syst. Des.},
volume = {11},
number = {2},
pages = {137--155},
year = {1997},
url = {https://doi.org/10.1023/A:1008626013578},
doi = {10.1023/A:1008626013578},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/AlurCH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/AlurAT97,
author = {Rajeev Alur and
Hagit Attiya and
Gadi Taubenfeld},
title = {Time-Adaptive Algorithms for Synchronization},
journal = {{SIAM} J. Comput.},
volume = {26},
number = {2},
pages = {539--556},
year = {1997},
url = {https://doi.org/10.1137/S0097539794265244},
doi = {10.1137/S0097539794265244},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/AlurAT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AlurH97,
author = {Rajeev Alur and
Thomas A. Henzinger},
title = {Real-Time System = Discrete System + Clock Variables},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {1},
number = {1-2},
pages = {86--109},
year = {1997},
url = {https://doi.org/10.1007/s100090050007},
doi = {10.1007/S100090050007},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/AlurH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlurBHQR97,
author = {Rajeev Alur and
Robert K. Brayton and
Thomas A. Henzinger and
Shaz Qadeer and
Sriram K. Rajamani},
editor = {Orna Grumberg},
title = {Partial-Order Reduction in Symbolic State Space Exploration},
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 = {340--351},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63166-6\_34},
doi = {10.1007/3-540-63166-6\_34},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlurBHQR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compos/AlurHK97,
author = {Rajeev Alur and
Thomas A. Henzinger and
Orna Kupferman},
editor = {Willem P. de Roever and
Hans Langmaack and
Amir Pnueli},
title = {Alternating-Time Temporal Logic},
booktitle = {Compositionality: The Significant Difference, International Symposium,
COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {1536},
pages = {23--60},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-49213-5\_2},
doi = {10.1007/3-540-49213-5\_2},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/compos/AlurHK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlurH97,
author = {Rajeev Alur and
Thomas A. Henzinger},
editor = {Antoni W. Mazurkiewicz and
J{\'{o}}zef Winkowski},
title = {Modularity for Timed and Hybrid Systems},
booktitle = {{CONCUR} '97: Concurrency Theory, 8th International Conference, Warsaw,
Poland, July 1-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1243},
pages = {74--88},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63141-0\_6},
doi = {10.1007/3-540-63141-0\_6},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/AlurH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/AlurHK97,
author = {Rajeev Alur and
Thomas A. Henzinger and
Orna Kupferman},
title = {Alternating-time Temporal Logic},
booktitle = {38th Annual Symposium on Foundations of Computer Science, {FOCS} '97,
Miami Beach, Florida, USA, October 19-22, 1997},
pages = {100--109},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/SFCS.1997.646098},
doi = {10.1109/SFCS.1997.646098},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/AlurHK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AlurJKO97,
author = {Rajeev Alur and
Lalita Jategaonkar Jagadeesan and
Joseph J. Kott and
James Von Olnhausen},
editor = {W. Richards Adrion and
Alfonso Fuggetta and
Richard N. Taylor and
Anthony I. Wasserman},
title = {Model-Checking of Real-Time Systems: {A} Telecommunications Application
(Experience Report)},
booktitle = {Pulling Together, Proceedings of the 19th International Conference
on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997},
pages = {514--524},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/253228.253434},
doi = {10.1145/253228.253434},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/AlurJKO97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Alur96,
author = {Rajeev Alur},
title = {Next Steps in Formal Verification},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4es},
pages = {115},
year = {1996},
url = {https://doi.org/10.1145/242224.242373},
doi = {10.1145/242224.242373},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Alur96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/AlurT96,
author = {Rajeev Alur and
Gadi Taubenfeld},
title = {Fast Timing-Based Algorithms},
journal = {Distributed Comput.},
volume = {10},
number = {1},
pages = {1--10},
year = {1996},
url = {https://doi.org/10.1007/s004460050020},
doi = {10.1007/S004460050020},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/AlurT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AlurT96,
author = {Rajeev Alur and
Gadi Taubenfeld},
title = {Contention-Free Complexity of Shared Memory Algorithms},
journal = {Inf. Comput.},
volume = {126},
number = {1},
pages = {62--73},
year = {1996},
url = {https://doi.org/10.1006/inco.1996.0034},
doi = {10.1006/INCO.1996.0034},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AlurT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/AlurFH96,
author = {Rajeev Alur and
Tom{\'{a}}s Feder and
Thomas A. Henzinger},
title = {The Benefits of Relaxing Punctuality},
journal = {J. {ACM}},
volume = {43},
number = {1},
pages = {116--146},
year = {1996},
url = {https://doi.org/10.1145/227595.227602},
doi = {10.1145/227595.227602},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/AlurFH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/AlurHP96,
author = {Rajeev Alur and
Gerard J. Holzmann and
Doron A. Peled},
title = {An Analyzer for Message Sequence Charts},
journal = {Softw. Concepts Tools},
volume = {17},
number = {2},
pages = {70--77},
year = {1996},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stp/AlurHP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AlurHH96,
author = {Rajeev Alur and
Thomas A. Henzinger and
Pei{-}Hsin Ho},
title = {Automatic Symbolic Verification of Embedded Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {22},
number = {3},
pages = {181--201},
year = {1996},
url = {https://doi.org/10.1109/32.489079},
doi = {10.1109/32.489079},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/AlurHH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/TasiranAKB96,
author = {Serdar Tasiran and
Rajeev Alur and
Robert P. Kurshan and
Robert K. Brayton},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Verifying Abstractions of Timed Systems},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {546--562},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_75},
doi = {10.1007/3-540-61604-7\_75},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/TasiranAKB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AlurH96,
author = {Rajeev Alur and
Thomas A. Henzinger},
title = {Reactive Modules},
booktitle = {Proceedings, 11th Annual {IEEE} Symposium on Logic in Computer Science,
New Brunswick, New Jersey, USA, July 27-30, 1996},
pages = {207--218},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/LICS.1996.561320},
doi = {10.1109/LICS.1996.561320},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AlurH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AlurMP96,
author = {Rajeev Alur and
Kenneth L. McMillan and
Doron A. Peled},
title = {Model-Checking of Correctness Conditions for Concurrent Objects},
booktitle = {Proceedings, 11th Annual {IEEE} Symposium on Logic in Computer Science,
New Brunswick, New Jersey, USA, July 27-30, 1996},
pages = {219--228},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/LICS.1996.561322},
doi = {10.1109/LICS.1996.561322},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AlurMP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AlurHP96,
author = {Rajeev Alur and
Gerard J. Holzmann and
Doron A. Peled},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {An Analyser for Mesage Sequence Charts},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, Second
International Workshop, {TACAS} '96, Passau, Germany, March 27-29,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1055},
pages = {35--48},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61042-1\_37},
doi = {10.1007/3-540-61042-1\_37},
timestamp = {Sun, 02 Jun 2019 21:19:27 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AlurHP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/1996,
editor = {Rajeev Alur and
Thomas A. Henzinger},
title = {Computer Aided Verification, 8th International Conference, {CAV} '96,
New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1102},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61474-5},
doi = {10.1007/3-540-61474-5},
isbn = {3-540-61474-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hybrid/1995,
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0020931},
doi = {10.1007/BFB0020931},
isbn = {3-540-61155-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AlurIKY95,
author = {Rajeev Alur and
Alon Itai and
Robert P. Kurshan and
Mihalis Yannakakis},
title = {Timing Verification by Successive Approximation},
journal = {Inf. Comput.},
volume = {118},
number = {1},
pages = {142--157},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1059},
doi = {10.1006/INCO.1995.1059},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AlurIKY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlurCHHHNOSY95,
author = {Rajeev Alur and
Costas Courcoubetis and
Nicolas Halbwachs and
Thomas A. Henzinger and
Pei{-}Hsin Ho and
Xavier Nicollin and
Alfredo Olivero and
Joseph Sifakis and
Sergio Yovine},
title = {The Algorithmic Analysis of Hybrid Systems},
journal = {Theor. Comput. Sci.},
volume = {138},
number = {1},
pages = {3--34},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(94)00202-T},
doi = {10.1016/0304-3975(94)00202-T},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AlurCHHHNOSY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlurH95,
author = {Rajeev Alur and
Thomas A. Henzinger},
editor = {Pierre Wolper},
title = {Local Liveness for Compositional Modeling of Fair Reactive Systems},
booktitle = {Computer Aided Verification, 7th International Conference, Li{\`{e}}ge,
Belgium, July, 3-5, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {939},
pages = {166--179},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60045-0\_49},
doi = {10.1007/3-540-60045-0\_49},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlurH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AlurK95,
author = {Rajeev Alur and
Robert P. Kurshan},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Timing Analysis in {COSPAN}},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {220--231},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020948},
doi = {10.1007/BFB0020948},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AlurK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AlurPP95,
author = {Rajeev Alur and
Doron A. Peled and
Wojciech Penczek},
title = {Model-Checking of Causality Properties},
booktitle = {Proceedings, 10th Annual {IEEE} Symposium on Logic in Computer Science,
San Diego, California, USA, June 26-29, 1995},
pages = {90--100},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/LICS.1995.523247},
doi = {10.1109/LICS.1995.523247},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AlurPP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/AlurCY95,
author = {Rajeev Alur and
Costas Courcoubetis and
Mihalis Yannakakis},
editor = {Frank Thomson Leighton and
Allan Borodin},
title = {Distinguishing tests for nondeterministic and probabilistic machines},
booktitle = {Proceedings of the Twenty-Seventh Annual {ACM} Symposium on Theory
of Computing, 29 May-1 June 1995, Las Vegas, Nevada, {USA}},
pages = {363--372},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/225058.225161},
doi = {10.1145/225058.225161},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/AlurCY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/AlurH94,
author = {Rajeev Alur and
Thomas A. Henzinger},
title = {A Really Temporal Logic},
journal = {J. {ACM}},
volume = {41},
number = {1},
pages = {181--204},
year = {1994},
url = {https://doi.org/10.1145/174644.174651},
doi = {10.1145/174644.174651},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/AlurH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlurD94,
author = {Rajeev Alur and
David L. Dill},
title = {A Theory of Timed Automata},
journal = {Theor. Comput. Sci.},
volume = {126},
number = {2},
pages = {183--235},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90010-8},
doi = {10.1016/0304-3975(94)90010-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AlurD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlurFH94,
author = {Rajeev Alur and
Limor Fix and
Thomas A. Henzinger},
editor = {David L. Dill},
title = {A Determinizable Class of Timed Automata},
booktitle = {Computer Aided Verification, 6th International Conference, {CAV} '94,
Stanford, California, USA, June 21-23, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {818},
pages = {1--13},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58179-0\_39},
doi = {10.1007/3-540-58179-0\_39},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlurFH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlurCH94,
author = {Rajeev Alur and
Costas Courcoubetis and
Thomas A. Henzinger},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {The Observational Power of Clocks},
booktitle = {{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala,
Sweden, August 22-25, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {836},
pages = {162--177},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-3-540-48654-1\_16},
doi = {10.1007/978-3-540-48654-1\_16},
timestamp = {Tue, 31 Aug 2021 12:07:11 +0200},
biburl = {https://dblp.org/rec/conf/concur/AlurCH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AlurH94,
author = {Rajeev Alur and
Thomas A. Henzinger},
title = {Finitary Fairness},
booktitle = {Proceedings of the Ninth Annual Symposium on Logic in Computer Science
{(LICS} '94), Paris, France, July 4-7, 1994},
pages = {52--61},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/LICS.1994.316087},
doi = {10.1109/LICS.1994.316087},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AlurH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/AlurT94,
author = {Rajeev Alur and
Gadi Taubenfeld},
editor = {James H. Anderson and
David Peleg and
Elizabeth Borowsky},
title = {Contention-free Complexity of Shared Memory Algorithms},
booktitle = {Proceedings of the Thirteenth Annual {ACM} Symposium on Principles
of Distributed Computing, Los Angeles, California, USA, August 14-17,
1994},
pages = {61--70},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/197917.197953},
doi = {10.1145/197917.197953},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/AlurT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/AlurAT94,
author = {Rajeev Alur and
Hagit Attiya and
Gadi Taubenfeld},
editor = {Frank Thomson Leighton and
Michael T. Goodrich},
title = {Time-adaptive algorithms for synchronization},
booktitle = {Proceedings of the Twenty-Sixth Annual {ACM} Symposium on Theory of
Computing, 23-25 May 1994, Montr{\'{e}}al, Qu{\'{e}}bec,
Canada},
pages = {800--809},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/195058.195464},
doi = {10.1145/195058.195464},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stoc/AlurAT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AlurCD93,
author = {Rajeev Alur and
Costas Courcoubetis and
David L. Dill},
title = {Model-Checking in Dense Real-time},
journal = {Inf. Comput.},
volume = {104},
number = {1},
pages = {2--34},
year = {1993},
url = {https://doi.org/10.1006/inco.1993.1024},
doi = {10.1006/INCO.1993.1024},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AlurCD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AlurH93,
author = {Rajeev Alur and
Thomas A. Henzinger},
title = {Real-Time Logics: Complexity and Expressiveness},
journal = {Inf. Comput.},
volume = {104},
number = {1},
pages = {35--77},
year = {1993},
url = {https://doi.org/10.1006/inco.1993.1025},
doi = {10.1006/INCO.1993.1025},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AlurH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlurCH93,
author = {Rajeev Alur and
Costas Courcoubetis and
Thomas A. Henzinger},
editor = {Costas Courcoubetis},
title = {Computing Accumulated Delays in Real-time 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 = {181--193},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56922-7\_16},
doi = {10.1007/3-540-56922-7\_16},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlurCH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/AlurHH93,
author = {Rajeev Alur and
Thomas A. Henzinger and
Pei{-}Hsin Ho},
title = {Automatic Symbolic Verification of Embedded Systems},
booktitle = {Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC,
USA, December 1993},
pages = {2--11},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/REAL.1993.393520},
doi = {10.1109/REAL.1993.393520},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/AlurHH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spdp/AlurT93,
author = {Rajeev Alur and
Gadi Taubenfeld},
title = {How to Share an Object: {A} Fast Timing-Based Solution},
booktitle = {Proceedings of the Fifth {IEEE} Symposium on Parallel and Distributed
Processing, {SPDP} 1993, Dallas, Texas, USA, December 2-5, 1993},
pages = {470--477},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/SPDP.1993.395496},
doi = {10.1109/SPDP.1993.395496},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spdp/AlurT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/AlurHV93,
author = {Rajeev Alur and
Thomas A. Henzinger and
Moshe Y. Vardi},
editor = {S. Rao Kosaraju and
David S. Johnson and
Alok Aggarwal},
title = {Parametric real-time reasoning},
booktitle = {Proceedings of the Twenty-Fifth Annual {ACM} Symposium on Theory of
Computing, May 16-18, 1993, San Diego, CA, {USA}},
pages = {592--601},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/167088.167242},
doi = {10.1145/167088.167242},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/AlurHV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlurIKY92,
author = {Rajeev Alur and
Alon Itai and
Robert P. Kurshan and
Mihalis Yannakakis},
editor = {Gregor von Bochmann and
David K. Probst},
title = {Timing Verification by Successive Approximation},
booktitle = {Computer Aided Verification, Fourth International Workshop, {CAV}
'92, Montreal, Canada, June 29 - July 1, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {663},
pages = {137--150},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56496-9\_12},
doi = {10.1007/3-540-56496-9\_12},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlurIKY92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlurCHDW92,
author = {Rajeev Alur and
Costas Courcoubetis and
Nicolas Halbwachs and
David L. Dill and
Howard Wong{-}Toi},
editor = {Rance Cleaveland},
title = {Minimization of Timed Transition Systems},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {340--354},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084802},
doi = {10.1007/BFB0084802},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/AlurCHDW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/AlurH92,
author = {Rajeev Alur and
Thomas A. Henzinger},
title = {Back to the Future: Towards a Theory of Timed Regular Languages},
booktitle = {33rd Annual Symposium on Foundations of Computer Science, Pittsburgh,
Pennsylvania, USA, 24-27 October 1992},
pages = {177--186},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/SFCS.1992.267774},
doi = {10.1109/SFCS.1992.267774},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/AlurH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AlurCHH92,
author = {Rajeev Alur and
Costas Courcoubetis and
Thomas A. Henzinger and
Pei{-}Hsin Ho},
editor = {Robert L. Grossman and
Anil Nerode and
Anders P. Ravn and
Hans Rischel},
title = {Hybrid Automata: An Algorithmic Approach to the Specification and
Verification of Hybrid Systems},
booktitle = {Hybrid Systems},
series = {Lecture Notes in Computer Science},
volume = {736},
pages = {209--229},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57318-6\_30},
doi = {10.1007/3-540-57318-6\_30},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AlurCHH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/AlurT92,
author = {Rajeev Alur and
Gadi Taubenfeld},
title = {Results about Fast Mutual Exclusion},
booktitle = {Proceedings of the Real-Time Systems Symposium - 1992, Phoenix, Arizona,
USA, December 1992},
pages = {12--21},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/REAL.1992.242680},
doi = {10.1109/REAL.1992.242680},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/AlurT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/AlurCDHW92,
author = {Rajeev Alur and
Costas Courcoubetis and
David L. Dill and
Nicolas Halbwachs and
Howard Wong{-}Toi},
title = {An implementation of three algorithms for timing verification based
on automata emptiness},
booktitle = {Proceedings of the Real-Time Systems Symposium - 1992, Phoenix, Arizona,
USA, December 1992},
pages = {157--166},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/REAL.1992.242667},
doi = {10.1109/REAL.1992.242667},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/AlurCDHW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Alur91,
author = {Rajeev Alur},
title = {Techniques for automatic verification of real-time systems},
school = {Stanford University, {USA}},
year = {1991},
url = {https://searchworks.stanford.edu/view/2112175},
timestamp = {Wed, 31 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Alur91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlurCD91,
author = {Rajeev Alur and
Costas Courcoubetis and
David L. Dill},
editor = {Javier Leach Albert and
Burkhard Monien and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Model-Checking for Probabilistic Real-Time Systems (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 18th International Colloquium,
ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {510},
pages = {115--126},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54233-7\_128},
doi = {10.1007/3-540-54233-7\_128},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AlurCD91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/AlurFH91,
author = {Rajeev Alur and
Tom{\'{a}}s Feder and
Thomas A. Henzinger},
editor = {Luigi Logrippo},
title = {The Benefits of Relaxing Punctuality},
booktitle = {Proceedings of the Tenth Annual {ACM} Symposium on Principles of Distributed
Computing, Montreal, Quebec, Canada, August 19-21, 1991},
pages = {139--152},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/112600.112613},
doi = {10.1145/112600.112613},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/AlurFH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/AlurCD91,
author = {Rajeev Alur and
Costas Courcoubetis and
David L. Dill},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Verifying Automata Specifications of Probabilistic Real-time 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 = {28--44},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0031986},
doi = {10.1007/BFB0031986},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/rex/AlurCD91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/AlurD91,
author = {Rajeev Alur and
David L. Dill},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {The Theory of Timed Automata},
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 = {45--73},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0031987},
doi = {10.1007/BFB0031987},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/AlurD91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/AlurH91,
author = {Rajeev Alur and
Thomas A. Henzinger},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Logics and Models of Real Time: {A} Survey},
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 = {74--106},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0031988},
doi = {10.1007/BFB0031988},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/AlurH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlurD90,
author = {Rajeev Alur and
David L. Dill},
editor = {Mike Paterson},
title = {Automata For Modeling Real-Time Systems},
booktitle = {Automata, Languages and Programming, 17th International Colloquium,
ICALP90, Warwick University, England, UK, July 16-20, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {443},
pages = {322--335},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0032042},
doi = {10.1007/BFB0032042},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AlurD90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AlurH90,
author = {Rajeev Alur and
Thomas A. Henzinger},
title = {Real-time Logics: Complexity and Expressiveness},
booktitle = {Proceedings of the Fifth Annual Symposium on Logic in Computer Science
{(LICS} '90), Philadelphia, Pennsylvania, USA, June 4-7, 1990},
pages = {390--401},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/LICS.1990.113764},
doi = {10.1109/LICS.1990.113764},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AlurH90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AlurCD90,
author = {Rajeev Alur and
Costas Courcoubetis and
David L. Dill},
title = {Model-Checking for Real-Time Systems},
booktitle = {Proceedings of the Fifth Annual Symposium on Logic in Computer Science
{(LICS} '90), Philadelphia, Pennsylvania, USA, June 4-7, 1990},
pages = {414--425},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/LICS.1990.113766},
doi = {10.1109/LICS.1990.113766},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AlurCD90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/AlurH89,
author = {Rajeev Alur and
Thomas A. Henzinger},
title = {A Really Temporal Logic},
booktitle = {30th Annual Symposium on Foundations of Computer Science, Research
Triangle Park, North Carolina, USA, 30 October - 1 November 1989},
pages = {164--169},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/SFCS.1989.63473},
doi = {10.1109/SFCS.1989.63473},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/AlurH89.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-08-14 22:18 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:
