6 papers:
DLT-2015-FengLQ #word- Path Checking for MTL and TPTL over Data Words (SF, ML, KQ), pp. 326–339.
CAV-2015-AkazakiH #hybrid #robust- Time Robustness in MTL and Expressivity in Hybrid System Falsification (TA, IH), pp. 356–374.
AFL-2014-CarapelleFGQ13 #game studies #word- Ehrenfeucht-Fraisse Games for TPTL and MTL over Non-monotonic Data Words (CC, SF, OFG, KQ), pp. 174–187.
LATA-2014-CarapelleFGQ #satisfiability #word- Satisfiability for MTL and TPTL over Non-monotonic Data Words (CC, SF, OFG, KQ), pp. 248–259.
ITiCSE-2011-MselleM #concept #education #memory management #programming- The impact of memory transfer language (MTL) in reducing misconceptions in teaching programming to novices (LJM, RM), p. 388.
FM-2008-FuriaPR #approximate #automation #specification #verification- Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation (CAF, MP, MR), pp. 132–147.
