PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Ghorbal, Khalil"

Author of the publication

copydeleteadd this publication to your clipboard
Decoupling Abstractions of Non-linear Ordinary Differential Equations.

, , and . FM, volume 9995 of Lecture Notes in Computer Science, page 628-644. (2016)

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.

Dr. rer. nat. Seyed Khalil Alavi University of Stuttgart

 

Other publications of authors with the same name

Characterizing Algebraic Invariants by Differential Radical Invariants., and . TACAS, volume 8413 of Lecture Notes in Computer Science, page 279-294. Springer, (2014)Hybrid Theorem Proving of Aerospace Systems: Applications and Challenges., , , , , and . J. Aerospace Inf. Sys., 11 (10): 702-713 (2014)Decoupling Abstractions of Non-linear Ordinary Differential Equations., , and . FM, volume 9995 of Lecture Notes in Computer Science, page 628-644. (2016)A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system., , , , , , and . Int. J. Softw. Tools Technol. Transf., 19 (6): 717-741 (2017)Static Analysis of Numerical Programs: Constrained Affine Sets Abstract Domain. (Analyse Statique de Programmes Numériques: Ensembles Affines Contraints).. École Polytechnique, Palaiseau, France, (2011)Formal verification of obstacle avoidance and navigation of ground robots., , , and . I. J. Robotics Res., 36 (12): 1312-1340 (2017)The Zonotope Abstract Domain Taylor1+., , and . CAV, volume 5643 of Lecture Notes in Computer Science, page 627-633. Springer, (2009)Efficient Probabilistic Model Checking of Systems with Ranged Probabilities., , , , and . RP, volume 7550 of Lecture Notes in Computer Science, page 107-120. Springer, (2012)Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations., , and . SAS, volume 8723 of Lecture Notes in Computer Science, page 151-167. Springer, (2014)A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System., , , , , , and . TACAS, volume 9035 of Lecture Notes in Computer Science, page 21-36. Springer, (2015)