report.bib

@inproceedings{chai2013rewriting,
  title={A Rewriting Based Monitoring Algorithm for TPTL.},
  author={Chai, Ming and Schlingloff, Bernd-Holger},
  booktitle={CS\&P},
  pages={61--72},
  year={2013}
}
@inproceedings{chai2014fivevalued,
  title={Online Monitoring of Distributed Systems with a Five-valued LTL},
  author={Chai, Ming and Schlingloff, Bernd-Holger},
  booktitle={2014 IEEE 44th International Symposium on Multiple-Valued Logic},
  pages={226--231},
  year={2014},
  organization={IEEE}
}
@article{rosu2005rewriting,
  title={Rewriting-based techniques for runtime verification},
  author={Ro{\c{s}}u, Grigore and Havelund, Klaus},
  journal={Automated Software Engineering},
  volume={12},
  number={2},
  pages={151--197},
  year={2005},
  publisher={Springer}
}
@inproceedings{barringer2011tracecontract,
  title={TraceContract: A Scala DSL for trace analysis},
  author={Barringer, Howard and Havelund, Klaus},
  booktitle={International Symposium on Formal Methods},
  pages={57--72},
  year={2011},
  organization={Springer}
}
@article{bauer2010comparing,
  title={Comparing LTL semantics for runtime verification},
  author={Bauer, Andreas and Leucker, Martin and Schallhart, Christian},
  journal={Journal of Logic and Computation},
  volume={20},
  number={3},
  pages={651--674},
  year={2010},
  publisher={Dov Gabbay}
}
@incollection{colin2005rv,
  title={Run-Time Verification},
  author={Colin, S{\'e}verine and Mariani, Leonardo},
  booktitle={Model-Based Testing of Reactive Systems},
  pages={525--555},
  year={2005},
  publisher={Springer}
}
@book{baier2008principles,
  title={Principles of model checking},
  author={Baier, Christel and Katoen, Joost-Pieter},
  year={2008},
  publisher={MIT press}
}
@inproceedings{pnueli1977temporal,
  title={The temporal logic of programs},
  author={Pnueli, Amir},
  booktitle={18th Annual Symposium on Foundations of Computer Science (sfcs 1977)},
  pages={46--57},
  year={1977},
  organization={IEEE}
}
@article{alur1994really,
  title={A really temporal logic},
  author={Alur, Rajeev and Henzinger, Thomas A},
  journal={Journal of the ACM (JACM)},
  volume={41},
  number={1},
  pages={181--203},
  year={1994},
  publisher={ACM}
}
@techreport{arafat2005runtime,
  author =  "Oliver Arafat and Andreas Bauer and Martin Leucker and Christian Schallhart",
  year =  2005,
  title =  "Runtime verification revisited",
  number =  "TUM-I0518",
  month =  Oct,
  institution =  {Institut f\"ur Informatik, Technische Universit\"at M\"unchen}
}
@inproceedings{Bauer2010ltlgoalspecsrevisited,
 author = {Bauer, Andreas and Haslum, Patrik},
 title = {LTL Goal Specifications Revisited},
 booktitle = {Proceedings of the 2010 Conference on ECAI 2010: 19th European Conference on Artificial Intelligence},
 year = {2010},
 isbn = {978-1-60750-605-8},
 pages = {881--886},
 numpages = {6},
 acmid = {1861139},
 publisher = {IOS Press},
 address = {Amsterdam, The Netherlands},
}
@article{clavel2002maude,
  title={Maude: Specification and programming in rewriting logic},
  author={Clavel, Manuel and Dur{\'a}n, Francisco and Eker, Steven and Lincoln, Patrick and Mart{\i}-Oliet, Narciso and Meseguer, Jos{\'e} and Quesada, Jos{\'e} F},
  journal={Theoretical Computer Science},
  volume={285},
  number={2},
  pages={187--243},
  year={2002},
  publisher={Elsevier}
}
@inproceedings{lichtenstein1985checking,
  title={Checking that finite state concurrent programs satisfy their linear specification},
  author={Lichtenstein, Orna and Pnueli, Amir},
  booktitle={Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages},
  pages={97--107},
  year={1985},
  organization={ACM}
}
@inproceedings{gibbons2014foldingdeepshallow,
  title={Folding Domain- Specific Languages: Deep and Shallow Embeddings},
  author={Gibbons, Jeremy and Wu, Nicolas},
  booktitle={International Conference on Functional Programming},
  year={2014}
}
@article{vardiKupferman2001,
 author = {Kupferman, Orna and Y. Vardi, Moshe},
 title = {Model Checking of Safety Properties},
 journal = {Formal Methods in System Design},
 issue_date = {November 2001},
 volume = {19},
 number = {3},
 month = oct,
 year = {2001},
 pages = {291--314},
 numpages = {24},
 publisher = {Kluwer Academic Publishers},
 address = {Norwell, MA, USA},
}
@techreport{Odersky04scala,
    author = {Martin Odersky and Stéphane Micheloud and Nikolay Mihaylov and Michel Schinz and Erik Stenman and Matthias Zenger and et al.},
    title = {An overview of the Scala programming language},
    institution = {},
    year = {2004}
}
@InProceedings{Baumgartner:Haslum:situational-awareness-industrial-operations:ASOR:2018,
  author    = {Peter Baumgartner and Patrik Haslum},
  title     = {{Situational Awareness for Industrial Operations}},
  booktitle	= {ASOR-2018 -- 26th ASOR National Conference for the Australian Society of Operations Research and Defence Operations Research Symposium (ASOR/DORS) 2018},
  year		= 2018,
  publisher	= {Springer},
  }
@book{bradley2007calculus,
  title={The calculus of computation: decision procedures with applications to verification},
  author={Bradley, Aaron R and Manna, Zohar},
  year={2007},
  publisher={Springer Science \& Business Media}
}