3 citations · 4 across the 3 of their papers we have counts for
3 papers
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…
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…
Refinement and Verification of Real-Time Systems
Paul Z. Kolano, Carlo A. Furia, Richard A. Kemmerer +1
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and f…