The following pages link to Enrico Tronci (Q397406):
Displaying 30 items.
- CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems (Q397407) (← links)
- About systems of equations, X-separability, and left-invertibility in the \(\lambda\)-calculus (Q752684) (← links)
- Equational programming in \(\lambda\)-calculus via SL-systems. Part 1 (Q1350516) (← links)
- Equational programming in \(\lambda\)-calculus via SL-systems. Part 2 (Q1350518) (← links)
- Synchronized regular expressions (Q1403339) (← links)
- On minimising the maximum expected verification time (Q1675917) (← links)
- On checking equivalence of simulation scripts (Q2035653) (← links)
- Synchronized Regular Expressions (Q2841278) (← links)
- Formal Models of Timing Attacks on Web Privacy (Q2841280) (← links)
- Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems (Q2915110) (← links)
- (Q2999180) (← links)
- Flexible Plan Verification: Feasibility Results (Q3100175) (← links)
- Automated Generation of Optimal Controllers through Model Checking Techniques (Q3564226) (← links)
- CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems (Q3612989) (← links)
- REGULAR SYSTEMS OF EQUATIONS IN λ-CALCULUS (Q3978457) (← links)
- (Q4204131) (← links)
- (Q4417987) (← links)
- (Q4427905) (← links)
- Linearizing Discrete-Time Hybrid Systems (Q4566875) (← links)
- SyLVaaS: System Level Formal Verification as a Service* (Q4589244) (← links)
- (Q4787235) (← links)
- Defining data structures via Böhm-out (Q4836021) (← links)
- (Q5013880) (← links)
- MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks* (Q5140144) (← links)
- Information and Communications Security (Q5464793) (← links)
- Automated Technology for Verification and Analysis (Q5491853) (← links)
- Formal Methods in Computer-Aided Design (Q5492982) (← links)
- Correct Hardware Design and Verification Methods (Q5897073) (← links)
- Correct Hardware Design and Verification Methods (Q5897081) (← links)
- Theoretical Computer Science (Q5897350) (← links)