The following pages link to Tiziano Villa (Q1020550):
Displayed 30 items.
- Compositionally progressive solutions of synchronous FSM equations (Q1020554) (← links)
- Mining CSTNUDs significant for a set of traces is polynomial (Q2051798) (← links)
- A higher order method for input-affine uncertain systems (Q2677088) (← links)
- Using Flexibility in P-Circuits by Boolean Relations (Q2985749) (← links)
- (Q3081632) (← links)
- (Q3081633) (← links)
- The Unknown Component Problem (Q3114245) (← links)
- Exploiting Symmetrization and D-Reducibility for Approximate Logic Synthesis (Q3390205) (← links)
- (Q4332902) (← links)
- (Q4337945) (← links)
- Model matching for finite-state machines (Q4540239) (← links)
- An Introduction to the Verification of Hybrid Systems Using Ariadne (Q4560619) (← links)
- Formal Verification Applied to Robotic Surgery (Q4560620) (← links)
- Exact minimization of binary decision diagrams using implicit techniques (Q4571488) (← links)
- Controller synthesis for hybrid systems with a lower bound on event separation (Q4810934) (← links)
- Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis (Q4899145) (← links)
- (Q4946958) (← links)
- (Q4953379) (← links)
- Automated Synthesis of Protocol Converters with BALM-II (Q4988649) (← links)
- (Q4995370) (← links)
- (Q5021015) (← links)
- A computable and compositional semantics for hybrid automata (Q5146382) (← links)
- Boolean Minimization of Projected Sums of Products via Boolean Relations (Q5229021) (← links)
- Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp> (Q5408048) (← links)
- FSM Encoding for BDD Representations (Q5422957) (← links)
- Mining Significant Temporal Networks Is Polynomial (Q6060099) (← links)
- Generation of synchronizing state machines from a transition system: a region-based approach (Q6100077) (← links)
- Equivalence checking and intersection of deterministic timed finite state machines (Q6108432) (← links)
- Efficient Hardware Operations for the Residue Number System by Boolean Minimization (Q6181737) (← links)
- Dynamic controllability of temporal networks with instantaneous reaction (Q6205017) (← links)