PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Roux, Pierre"

Author of the publication

copydeleteadd this publication to your clipboard
Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code.

, , , , and . FDL, page 5-16. IEEE, (2018)

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.

Pierre Nacke University of Stuttgart

Dr. rer. nat. Pierre Eckold University of Stuttgart

Pierre Kuna University of Stuttgart

 

Other publications of authors with the same name

Architectures for IP-based network-assisted mobility management across heterogeneous networks., , , , , and . IEEE Wireless Commun., 15 (2): 18-25 (2008)Formal Proofs of Rounding Error Bounds - With Application to an Automatic Positive Definiteness Check.. J. Autom. Reasoning, 57 (2): 135-156 (2016)Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses., , , , , and . FMICS, volume 8187 of Lecture Notes in Computer Science, page 1-16. Springer, (2013)A reflexive tactic for polynomial positivity using numerical solvers and floating-point computations., and . CPP, page 90-99. ACM, (2017)Fast Restoration of Connectivity for Wireless Sensor Networks., , , and . NEW2AN, volume 7469 of Lecture Notes in Computer Science, page 401-412. Springer, (2012)Active Objects on Parallel Machines: a Case Study., , , and . TOOLS (7), page 207-216. Prentice Hall, (1992)Model Checking with Edge-valued Decision Diagrams., and . NASA Formal Methods, volume NASA/CP-2010-216215 of NASA Conference Proceedings, page 222-226. (2010)Embedding network calculus and event stream theory in a common model., and . ETFA, page 1-8. IEEE, (2016)Reliability for Emergency Applications in Internet of Things., , , , and . DCOSS, page 361-366. IEEE Computer Society, (2013)Validating numerical semidefinite programming solvers for polynomial invariants., , and . Formal Methods in System Design, 53 (2): 286-312 (2018)