( en | de | ru )

 

Disambiguation of "Geretti, Luca"

Author of the publication

copydeleteadd this publication to your clipboard
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems.

, , , , and . Proc. IEEE, 103 (11): 2104-2132 (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Luca Tranchini

Luca Rizzini

Luca Tuninetti

Alfonz Luca

Luca Criscuolo

 

Other publications of authors with the same name

Computing the Evolution of Hybrid Systems using Rigorous Function Calculus., , , and . ADHS, volume 45 of IFAC Proceedings Volumes, page 284-290. Elsevier, (2012)Special issue: Formal verification of cyber-physical systems., , , and . Inf. Comput., 289 (Part): 104979 (2022)A service-oriented gateway for remote monitoring of building sensor networks., , , and . CAMAD, page 139-143. IEEE, (2013)Automating Numerical Parameters Along the Evolution of a Nonlinear System., , , and . RV, volume 13498 of Lecture Notes in Computer Science, page 336-345. Springer, (2022)Rigorous Function Calculi in Ariadne., , , , and . CoRR, (2023)Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis., , , , , and . RP, volume 7550 of Lecture Notes in Computer Science, page 79-91. Springer, (2012)Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne., , , , and . ICTSS, volume 10533 of Lecture Notes in Computer Science, page 313-319. Springer, (2017)Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne., , and . OVERLAY@AI*IA, volume 2509 of CEUR Workshop Proceedings, page 29-34. CEUR-WS.org, (2019)ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics., , , , , , , , , and . ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 41-61. EasyChair, (2019)Correct-by-construction code generation from hybrid automata specification., , , and . IWCMC, page 1660-1665. IEEE, (2011)