1 citations · 1 across the 12 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.FL2015★ 1 cited
Bounded Determinization of Timed Automata with Silent Transitions
Florian Lorber, Amnon Rosenmann, Dejan Nickovic +1
Deterministic timed automata are strictly less expressive than their non-deterministic counterparts, which are again less expressive than those with silent transitions. As a conseq…
cs.LO2015
A Multiple-Valued Logic Approach to the Design and Verification of Hardware Circuits
Amnon Rosenmann
We present a novel approach, which is based on multiple-valued logic (MVL), to the verification and analysis of digital hardware designs, which extends the common ternary or quater…