LUSTRE: a declarative language for real-time programming
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
On the development of reactive systems
Logics and models of concurrent systems
Synchronous programming with events and relations: the SIGNAL language and its semantics
Science of Computer Programming
Software synthesis for DSP using Ptolemy
Journal of VLSI Signal Processing Systems - Special issue on design environments for DSP
Functional reactive robotics: an exercise in principled integration of domain-specific languages
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
The Fastest Fourier Transform in the West
The Fastest Fourier Transform in the West
LOLA: Runtime Monitoring of Synchronous Systems
TIME '05 Proceedings of the 12th International Symposium on Temporal Representation and Reasoning
A compositional approach to CTL* verification
Theoretical Computer Science - Formal methods for components and objects
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
On the Merits of Temporal Testers
25 Years of Model Checking
Learning and detecting emergent behavior in networks of cardiac myocytes
Communications of the ACM - Being Human in the Digital Age
From Philosophical to Industrial Logics
ICLA '09 Proceedings of the 3rd Indian Conference on Logic and Its Applications
A Wavelet Tour of Signal Processing, Third Edition: The Sparse Way
A Wavelet Tour of Signal Processing, Third Edition: The Sparse Way
AMT: a property-based monitoring tool for analog systems
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
Switched-On Yampa: declarative programming of modular synthesizers
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
Checking temporal properties of discrete, timed and continuous behaviors
Pillars of computer science
Analog property checkers: a DDR2 case study
Formal Methods in System Design
Robust satisfaction of temporal logic over real-valued signals
FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Breach, a toolbox for verification and parameter synthesis of hybrid systems
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
Auxiliary Specifications for Context-Sensitive Monitoring of AMS Assertions
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Combining time and frequency domain specifications for periodic signals
RV'11 Proceedings of the Second international conference on Runtime verification
Formalizing and reasoning about quality
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part II
Efficient robust monitoring for STL
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
| Hi-index | 0.00 |
We present Time-Frequency Logic (TFL), a new specification formalism for real-valued signals that combines temporal logic properties in the time domain with frequency-domain properties. We provide a property checking framework for this formalism and illustrate its expressive power in defining and recognizing properties of musical pieces. Like hybrid automata and their analysis techniques, the TFL formalism is a contribution to a unified systems theory for hybrid systems.