Author of the publication

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.

 

Other publications of authors with the same name

Innocuous Double Rounding of Basic Arithmetic Operations.. J. Formaliz. Reason., 7 (1): 131-142 (2014)Architectures for IP-based network-assisted mobility management across heterogeneous networks., , , , , and . IEEE Wirel. Commun., 15 (2): 18-25 (2008)A novel scheme for congestion notification in IoT low power networks., , , and . IM, page 932-937. IEEE, (2021)Formal Proofs of Rounding Error Bounds - With Application to an Automatic Positive Definiteness Check.. J. Autom. Reason., 57 (2): 135-156 (2016)Verifying the Mathematical Library of an UAV Autopilot with Frama-C., , , , and . FMICS, volume 12863 of Lecture Notes in Computer Science, page 167-173. Springer, (2021)Fast Restoration of Connectivity for Wireless Sensor Networks., , , and . NEW2AN, volume 7469 of Lecture Notes in Computer Science, page 401-412. Springer, (2012)Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants., , and . SAS, volume 9837 of Lecture Notes in Computer Science, page 424-446. Springer, (2016)A Formal Link Between Response Time Analysis and Network Calculus (Artifact)., , and . Dagstuhl Artifacts Ser., 8 (1): 03:1-03:3 (2022)A Residual Service Curve of Rate-Latency Server Used by Sporadic Flows Computable in Quadratic Time for Network Calculus., , , and . ECRTS, volume 196 of LIPIcs, page 14:1-14:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)A Formal Link Between Response Time Analysis and Network Calculus., , and . ECRTS, volume 231 of LIPIcs, page 5:1-5:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)