@article(as85,
 author       = {B. Alpern and F.B. Schneider},
 year         = {1985},
 title        = {Defining Liveness},
 journal      = {Information Processing Letters},
 pages        = {181--185},
 doi          = {10.1016/0020-0190(85)90056-0},
)
@article(DBLP:journals/jcss/BakerB74,
 author       = {Brenda S. Baker and Ronald V. Book},
 year         = {1974},
 title        = {Reversal-Bounded Multipushdown Machines},
 journal      = {J. Comput. Syst. Sci.},
 volume       = {8},
 number       = {3},
 pages        = {315--332},
 doi          = {10.1016/S0022-0000(74)80027-9},
)
@inproceedings(bcbfs21,
 author       = {Jan Baumeister and Norine Coenen and Borzoo Bonakdarpour and Bernd Finkbeiner and C{\'{e}}sar S{\'{a}}nchez},
 year         = {2021},
 title        = {A Temporal Logic for Asynchronous Hyperproperties},
 editor       = {Alexandra Silva and K. Rustan M. Leino},
 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},
 publisher    = {Springer},
 pages        = {694--717},
 doi          = {10.1007/978-3-030-81685-8\_33},
)
@inproceedings(bss18,
 author       = {Borzoo Bonakdarpour and C{\'{e}}sar S{\'{a}}nchez and Gerardo Schneider},
 year         = {2018},
 title        = {Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification},
 editor       = {Tiziana Margaria and Bernhard Steffen},
 booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part {II}},
 series       = {Lecture Notes in Computer Science},
 volume       = {11245},
 publisher    = {Springer},
 pages        = {8--27},
 doi          = {10.1007/978-3-030-03421-4\_2},
)
@inproceedings(bs21,
 author       = {Borzoo Bonakdarpour and Sarai Sheinvald},
 year         = {2021},
 title        = {Finite-Word Hyperlanguages},
 editor       = {Alberto Leporati and Mart{\'{\i}}n{-}Vide, Carlos and Dana Shapira and Claudio Zandron},
 booktitle    = {Language and Automata Theory and Applications - 15th International Conference, {LATA} 2021, Milan, Italy, March 1-5, 2021, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {12638},
 publisher    = {Springer},
 pages        = {173--186},
 doi          = {10.1007/978-3-030-68195-1\_17},
)
@inproceedings(DBLP:conf/concur/BouajjaniER94,
 author       = {Ahmed Bouajjani and Rachid Echahed and Riadh Robbana},
 year         = {1994},
 title        = {Verification of Nonregular Temporal Properties for Context-Free Processes},
 editor       = {Bengt Jonsson and Joachim Parrow},
 booktitle    = {{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {836},
 publisher    = {Springer},
 pages        = {81--97},
 doi          = {10.1007/978-3-540-48654-1\_8},
)
@article(DBLP:journals/iandc/Chomsky59a,
 author       = {Noam Chomsky},
 year         = {1959},
 title        = {On Certain Formal Properties of Grammars},
 journal      = {Inf. Control.},
 volume       = {2},
 number       = {2},
 pages        = {137--167},
 doi          = {10.1016/S0019-9958(59)90362-6},
)
@book(DBLP:books/daglib/0007403-2,
 author       = {Edmund M. Clarke and Orna Grumberg and Daniel Kroening and Doron A. Peled and Helmut Veith},
 year         = {2018},
 title        = {Model checking, 2nd Edition},
 publisher    = {{MIT} Press},
 url          = {https://mitpress.mit.edu/books/model-checking-second-edition},
)
@inproceedings(DBLP:conf/post/ClarksonFKMRS14,
 author       = {Michael R. Clarkson and Bernd Finkbeiner and Masoud Koleini and Kristopher K. Micinski and Markus N. Rabe and C{\'{e}}sar S{\'{a}}nchez},
 year         = {2014},
 title        = {Temporal Logics for Hyperproperties},
 editor       = {Mart{\'{\i}}n Abadi and Steve Kremer},
 booktitle    = {Principles of Security and Trust - Third International Conference, {POST} 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {8414},
 publisher    = {Springer},
 pages        = {265--284},
 doi          = {10.1007/978-3-642-54792-8\_15},
)
@article(cs10,
 author       = {Michael R. Clarkson and Fred B. Schneider},
 year         = {2010},
 title        = {Hyperproperties},
 journal      = {J. Comput. Secur.},
 volume       = {18},
 number       = {6},
 pages        = {1157--1210},
 doi          = {10.3233/JCS-2009-0393},
)
@inproceedings(DBLP:conf/lics/CoenenFHH19,
 author       = {Norine Coenen and Bernd Finkbeiner and Christopher Hahn and Jana Hofmann},
 year         = {2019},
 title        = {The Hierarchy of Hyperlogics},
 booktitle    = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2019, Vancouver, BC, Canada, June 24-27, 2019},
 publisher    = {{IEEE}},
 pages        = {1--13},
 doi          = {10.1109/LICS.2019.8785713},
)
@inproceedings(DBLP:conf/csfw/FinkbeinerHT19,
 author       = {Bernd Finkbeiner and Lennart Haas and Hazem Torfah},
 year         = {2019},
 title        = {Canonical Representations of k-Safety Hyperproperties},
 booktitle    = {32nd {IEEE} Computer Security Foundations Symposium, {CSF} 2019, Hoboken, NJ, USA, June 25-28, 2019},
 publisher    = {{IEEE}},
 pages        = {17--31},
 doi          = {10.1109/CSF.2019.00009},
)
@inproceedings(DBLP:conf/stacs/Finkbeiner017,
 author       = {Bernd Finkbeiner and Martin Zimmermann},
 year         = {2017},
 title        = {The First-Order Logic of Hyperproperties},
 editor       = {Heribert Vollmer and Brigitte Vall{\'{e}}e},
 booktitle    = {34th Symposium on Theoretical Aspects of Computer Science, {STACS} 2017, March 8-11, 2017, Hannover, Germany},
 series       = {LIPIcs},
 volume       = {66},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
 pages        = {30:1--30:14},
 doi          = {10.4230/LIPIcs.STACS.2017.30},
)
@article(DBLP:journals/acta/FridmanP14,
 author       = {Wladimir Fridman and Bernd Puchala},
 year         = {2014},
 title        = {Distributed Synthesis for Regular and Contextfree Specifications},
 journal      = {Acta Informatica},
 volume       = {51},
 number       = {3-4},
 pages        = {221--260},
 doi          = {10.1007/s00236-014-0194-x},
)
@inproceedings(ggs21,
 author       = {Ohad Goudsmid and Orna Grumberg and Sarai Sheinvald},
 year         = {2021},
 title        = {Compositional Model Checking for Multi-properties},
 editor       = {Fritz Henglein and Sharon Shoham and Yakir Vizel},
 booktitle    = {Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, {VMCAI} 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {12597},
 publisher    = {Springer},
 pages        = {55--80},
 doi          = {10.1007/978-3-030-67067-2\_4},
)
@book(DBLP:books/daglib/Hopcroft,
 author       = {John E. Hopcroft and Rajeev Motwani and Jeffrey D. Ullman},
 year         = {2001},
 title        = {Introduction to Automata Theory, Languages, and Computation, 2nd Edition},
 series       = {Addison-Wesley series in computer science},
 publisher    = {Addison-Wesley-Longman},
)
@inproceedings(BN95,
 author       = {Bakhadyr Khoussainov and Anil Nerode},
 year         = {1994},
 title        = {Automatic Presentations of Structures},
 editor       = {Daniel Leivant},
 booktitle    = {Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, International Workshop {LCC} '94, Indianapolis, Indiana, USA, 13-16 October 1994},
 series       = {Lecture Notes in Computer Science},
 volume       = {960},
 publisher    = {Springer},
 pages        = {367--392},
 doi          = {10.1007/3-540-60178-3\_93},
)
@inproceedings(DBLP:conf/spin/PommelletT18,
 author       = {Adrien Pommellet and Tayssir Touili},
 year         = {2018},
 title        = {Model-Checking HyperLTL for Pushdown Systems},
 editor       = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and Pedro Merino},
 booktitle    = {Model Checking Software - 25th International Symposium, {SPIN} 2018, Malaga, Spain, June 20-22, 2018, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {10869},
 publisher    = {Springer},
 pages        = {133--152},
 doi          = {10.1007/978-3-319-94111-0\_8},
)
@phdthesis(DBLP:phd/dnb/Rabe16,
 author       = {Markus N. Rabe},
 year         = {2016},
 title        = {A Temporal Logic Approach to Information-flow Control},
 school       = {Saarland University},
 url          = {http://scidok.sulb.uni-saarland.de/volltexte/2016/6387/},
)
@inproceedings(DBLP:conf/banff/Vardi95,
 author       = {Moshe Y. Vardi},
 year         = {1995},
 title        = {An Automata-Theoretic Approach to Linear Temporal Logic},
 editor       = {Faron Moller and Graham M. Birtwistle},
 booktitle    = {Logics for Concurrency - Structure versus Automata (8th Banff Higher Order Workshop, Banff, Canada, August 27 - September 3, 1995, Proceedings)},
 series       = {Lecture Notes in Computer Science},
 volume       = {1043},
 publisher    = {Springer},
 pages        = {238--266},
 doi          = {10.1007/3-540-60915-6\_6},
)
@inproceedings(DBLP:conf/lics/VardiW86,
 author       = {Moshe Y. Vardi and Pierre Wolper},
 year         = {1986},
 title        = {An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)},
 booktitle    = {Proceedings of the Symposium on Logic in Computer Science {(LICS} '86), Cambridge, Massachusetts, USA, June 16-18, 1986},
 publisher    = {{IEEE} Computer Society},
 pages        = {332--344},
)
@article(vw94,
 author       = {Moshe Y. Vardi and Pierre Wolper},
 year         = {1994},
 title        = {Reasoning About Infinite Computations},
 journal      = {Inf. Comput.},
 volume       = {115},
 number       = {1},
 pages        = {1--37},
 doi          = {10.1006/inco.1994.1092},
)
@article(wzbp19,
 author       = {Yu Wang and Mojtaba Zarei and Borzoo Bonakdarpour and Miroslav Pajic},
 year         = {2019},
 title        = {Statistical Verification of Hyperproperties for Cyber-Physical Systems},
 journal      = {{ACM} Trans. Embed. Comput. Syst.},
 volume       = {18},
 number       = {5s},
 pages        = {92:1--92:23},
 doi          = {10.1145/3358232},
)