( en | de | ru )

 

Disambiguation of "Hugues, Jérôme"

Author of the publication

copydeleteadd this publication to your clipboard
Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists.

, , , , and . FMTea, volume 11758 of Lecture Notes in Computer Science, page 23-36. Springer, (2019)

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.

Jérôme Huppertz

Modulation inflammatorischer Prozesse mittels GPI-verankerter Chemokin-Analoga. Uni München, (2009)

Jérôme Krets

Jérôme Clerc

Jérôme Boucher

Jérôme Feret

 

Other publications of authors with the same name

A Graph-Theoretic Security Index Based on Undetectability for Cyber-Physical Systems., , and . ACC, page 1479-1484. IEEE, (2022)Switching Watermarking-based Detection Scheme Against Replay Attacks., , and . CDC, page 4200-4205. IEEE, (2021)Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models., and . HILT, page 39-46. ACM, (2014)Formal Modeling of a Generic Middleware to Ensure Invariant Properties., , and . FMOODS, volume 5051 of Lecture Notes in Computer Science, page 185-200. Springer, (2008)Analysis as a First-Class Citizen: An Application to Architecture Description Languages., and . ISORC, page 214-221. IEEE Computer Society, (2014)Combining Model Processing and Middleware Configuration for Building Distributed High-Integrity Systems., , and . ISORC, page 307-312. IEEE Computer Society, (2007)Contributions to middleware architectures to prototype distribution infrastructures., , and . IEEE International Workshop on Rapid System Prototyping, page 124-. IEEE Computer Society, (2003)An Output Feedback Game-Theoretic Approach for Defense Against Stealthy GNSS Spoofing Attacks., , , and . ACC, page 3704-3709. IEEE, (2024)Model-based design and automated validation of ARINC653 architectures., and . RSP, page 3-9. IEEE, (2015)Timing-Aware Resilience of Data-driven Off-policy Reinforcement Learning for Discrete-Time Systems., , , and . ACC, page 2782-2787. IEEE, (2023)