TeSSLa: Temporal Stream-Based Specification Language
Authors:
- Lukas ConventLCLukas Convent
- Sebastian HungereckerSHSebastian Hungerecker
- Martin LeuckerMLMartin Leucker
- Torben ScheffelTSTorben Scheffel
- Malte SchmitzMSMalte Schmitz
- Daniel ThomaDTDaniel Thoma
- 24 October 2018
- book chapter
- Published by Springer Nature
- p. 144-162
Abstract
No abstract availableAll Related Versions
This publication has 24 references indexed in Scilit:
- Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems2017
- A Stream-Based Specification Language for Network Monitoring2016
- Regular Programming for Quantitative Properties of Data Streams2016
- Foundations of Boolean Stream Runtime Verification2014
- Runtime Verification for LTL and TLTLACM Transactions on Software Engineering and Methodology, 2011
- Verify Your Runs2008
- Timed regular expressionsJournal of the ACM, 2002
- Specification and Development of Interactive Systems2001
- A theory of timed automataTheoretical Computer Science, 1994
- SIGNAL: A declarative language for synchronous programming of real-time systems1987