B. Alpern & F.B. Schneider (1985):
Defining Liveness.
Information Processing Letters,
pp. 181–185,
doi:10.1016/0020-0190(85)90056-0.
Brenda S. Baker & Ronald V. Book (1974):
Reversal-Bounded Multipushdown Machines.
J. Comput. Syst. Sci. 8(3),
pp. 315–332,
doi:10.1016/S0022-0000(74)80027-9.
Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner & César Sánchez (2021):
A Temporal Logic for Asynchronous Hyperproperties.
In: Alexandra Silva & K. Rustan M. Leino: Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I,
Lecture Notes in Computer Science 12759.
Springer,
pp. 694–717,
doi:10.1007/978-3-030-81685-8_33.
Borzoo Bonakdarpour, César Sánchez & Gerardo Schneider (2018):
Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification.
In: Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II,
Lecture Notes in Computer Science 11245.
Springer,
pp. 8–27,
doi:10.1007/978-3-030-03421-4_2.
Borzoo Bonakdarpour & Sarai Sheinvald (2021):
Finite-Word Hyperlanguages.
In: Alberto Leporati, Carlos Martín-Vide, Dana Shapira & Claudio Zandron: Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings,
Lecture Notes in Computer Science 12638.
Springer,
pp. 173–186,
doi:10.1007/978-3-030-68195-1_17.
Ahmed Bouajjani, Rachid Echahed & Riadh Robbana (1994):
Verification of Nonregular Temporal Properties for Context-Free Processes.
In: Bengt Jonsson & Joachim Parrow: CONCUR '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings,
Lecture Notes in Computer Science 836.
Springer,
pp. 81–97,
doi:10.1007/978-3-540-48654-1_8.
Noam Chomsky (1959):
On Certain Formal Properties of Grammars.
Inf. Control. 2(2),
pp. 137–167,
doi:10.1016/S0019-9958(59)90362-6.
Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe & César Sánchez (2014):
Temporal Logics for Hyperproperties.
In: Martín Abadi & Steve Kremer: 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,
Lecture Notes in Computer Science 8414.
Springer,
pp. 265–284,
doi:10.1007/978-3-642-54792-8_15.
Michael R. Clarkson & Fred B. Schneider (2010):
Hyperproperties.
J. Comput. Secur. 18(6),
pp. 1157–1210,
doi:10.3233/JCS-2009-0393.
Norine Coenen, Bernd Finkbeiner, Christopher Hahn & Jana Hofmann (2019):
The Hierarchy of Hyperlogics.
In: 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019.
IEEE,
pp. 1–13,
doi:10.1109/LICS.2019.8785713.
Bernd Finkbeiner, Lennart Haas & Hazem Torfah (2019):
Canonical Representations of k-Safety Hyperproperties.
In: 32nd IEEE Computer Security Foundations Symposium, CSF 2019, Hoboken, NJ, USA, June 25-28, 2019.
IEEE,
pp. 17–31,
doi:10.1109/CSF.2019.00009.
Bernd Finkbeiner & Martin Zimmermann (2017):
The First-Order Logic of Hyperproperties.
In: Heribert Vollmer & Brigitte Vallée: 34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, March 8-11, 2017, Hannover, Germany,
LIPIcs 66.
Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
pp. 30:1–30:14,
doi:10.4230/LIPIcs.STACS.2017.30.
Wladimir Fridman & Bernd Puchala (2014):
Distributed Synthesis for Regular and Contextfree Specifications.
Acta Informatica 51(3-4),
pp. 221–260,
doi:10.1007/s00236-014-0194-x.
Ohad Goudsmid, Orna Grumberg & Sarai Sheinvald (2021):
Compositional Model Checking for Multi-properties.
In: Fritz Henglein, Sharon Shoham & Yakir Vizel: Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings,
Lecture Notes in Computer Science 12597.
Springer,
pp. 55–80,
doi:10.1007/978-3-030-67067-2_4.
John E. Hopcroft, Rajeev Motwani & Jeffrey D. Ullman (2001):
Introduction to Automata Theory, Languages, and Computation, 2nd Edition.
Addison-Wesley series in computer science.
Addison-Wesley-Longman.
Bakhadyr Khoussainov & Anil Nerode (1994):
Automatic Presentations of Structures.
In: Daniel Leivant: Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, International Workshop LCC '94, Indianapolis, Indiana, USA, 13-16 October 1994,
Lecture Notes in Computer Science 960.
Springer,
pp. 367–392,
doi:10.1007/3-540-60178-3_93.
Adrien Pommellet & Tayssir Touili (2018):
Model-Checking HyperLTL for Pushdown Systems.
In: María-del-Mar Gallardo & Pedro Merino: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings,
Lecture Notes in Computer Science 10869.
Springer,
pp. 133–152,
doi:10.1007/978-3-319-94111-0_8.
Moshe Y. Vardi (1995):
An Automata-Theoretic Approach to Linear Temporal Logic.
In: Faron Moller & Graham M. Birtwistle: Logics for Concurrency - Structure versus Automata (8th Banff Higher Order Workshop, Banff, Canada, August 27 - September 3, 1995, Proceedings),
Lecture Notes in Computer Science 1043.
Springer,
pp. 238–266,
doi:10.1007/3-540-60915-6_6.
Moshe Y. Vardi & Pierre Wolper (1986):
An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report).
In: Proceedings of the Symposium on Logic in Computer Science (LICS '86), Cambridge, Massachusetts, USA, June 16-18, 1986.
IEEE Computer Society,
pp. 332–344.
Moshe Y. Vardi & Pierre Wolper (1994):
Reasoning About Infinite Computations.
Inf. Comput. 115(1),
pp. 1–37,
doi:10.1006/inco.1994.1092.
Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour & Miroslav Pajic (2019):
Statistical Verification of Hyperproperties for Cyber-Physical Systems.
ACM Trans. Embed. Comput. Syst. 18(5s),
pp. 92:1–92:23,
doi:10.1145/3358232.