56 citations · 86 across the 15 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.LO2012★ 3 cited
Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach
Luca Ferrucci, Dino Mandrioli, Angelo Morzenti +1
Many systems include components interacting with each other that evolve with possibly very different speeds. To deal with this situation many formal models adopt the abstraction of…
cs.FL2012★ 1 cited
Logic Characterization of Floyd Languages
Violetta Lonati, Dino Mandrioli, Matteo Pradella
Floyd languages (FL), alias Operator Precedence Languages, have recently received renewed attention thanks to their closure properties and local parsability which allow one to appl…