DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-030-94583-1_1,10774,ToHe,Flavors of sequential information flow
10.1007/978-3-030-99429-7_1,11355,ToHe,Information-flow interfaces
10.1007/s10009-020-00582-z,10861,ToHe,AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic
10.4230/LIPIcs.CSL.2020.20,7348,ToHe,Monitoring event frequencies
10.1145/3302504.3311800,6428,ToHe,Interface-aware signal temporal logic
10.1145/3286976,7109,ToHe,From real-time logic to timed automata
10.1007/978-3-030-32079-9_17,7159,ToHe,Shape expressions for specifying and extracting signal features
10.1007/978-3-030-29662-9_4,7232,ToHe,Mixed-time signal temporal logic
10.1145/3209108.3209194,144,ToHe,A theory of register monitors
10.1007/978-3-319-95582-7_9,156,ToHe,The compound interest in relaxing punctuality
10.1145/3178126.3178132,182,ToHe,Efficient parametric identification for STL
10.1145/3178126.3178131,183,ToHe,Localizing faults in simulink/stateflow models with STL
10.1007/978-3-319-89963-3_18,299,ToHe,AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic
10.1109/emsoft.2018.8537203,5959,ToHe,Keynote: The first-order logic of signals
10.1007/978-3-030-00151-3_13,78,ToHe,Online timed pattern matching using automata
10.1007/978-3-030-00151-3_4,81,ToHe,Monitoring temporal logic with clock variables
10.1007/978-3-319-65765-3_11,636,ToHe,On the quantitative semantics of regular expressions over real-valued signals