IKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper) Guillaume Brat, Jorge A. Navas, Nija Shi, and Arnaud Venet NASA Ames Research Center, Moffett Field, CAAbstract. The RTCA standar

Source URL: jorgenavas.github.io

• Software engineering
• Computing
• Software
• Compilers
• Compiler construction
• Compiler optimizations
• Abstract interpretation
• LLVM
• Programming language implementation
• Intermediate representation
• Polyspace
• Static program analysis

Introduction Interval+Error Advanced Gappa Conclusion Automating the Verification of Floating-point Algorithms Guillaume Melquiond Inria Saclay–ˆIle-de-France

Source URL: smt2014.it.uu.se

• Mathematics
• Computer arithmetic
• Real number
• Floating-point arithmetic
• Arbitrary-precision arithmetic
• Algorithm
• Interval
• Complex number

Symmetric Indefinite Triangular Factorization Revealing the Rank Profile Matrix Jean-Guillaume Dumas, Cl´ement Pernet Universit´ e Grenoble Alpes, Laboratoire Jean Kuntzmann, UMR CNRS

Source URL: ljk.imag.fr

• Algebra
• Linear algebra
• Mathematics
• Matrices
• Symmetric matrix
• Tridiagonal matrix
• Numerical linear algebra
• Lie groups
• Differential geometry

Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits In memory of Wen-tsun Wu–Jean-Guillaume Dumas

Source URL: perso.ens-lyon.fr

OpenROADM Compliant SDN Controller for a Full Interoperability of the Optical Transport Network Ahmed Triki(1) , Christophe Betoule(1) , Gilles Thouenon(1) , Olivier Renais(1) Nicolas Pelloquin(1) , Guillaume Lambert (1)

Source URL: www.research.att.com

• Ethernet
• Computing
• Network architecture
• Reconfigurable optical add-drop multiplexer
• Interoperability
• Optical networking
• 100 Gigabit Ethernet
• Mesh networking
• Gigabit Ethernet
• Information and communications technology
• Optical add-drop multiplexer

Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic David Defour Guillaume Hanrot Jean-Michel Muller

Source URL: perso.ens-lyon.fr

• Computer arithmetic
• Arithmetic
• Mathematics
• Computer architecture
• Rounding
• IEEE 754
• Double-precision floating-point format
• Interval arithmetic
• Significant figures
• NaN
• Sine
• Signed zero

Verifying the Safety of a Flight-Critical System Guillaume Brat1 , David Bushnell2 , Misty Davies3 , Dimitra Giannakopoulou3 , Falk Howar4 ? , and Temesghen Kahsai1 1 Carnegie Mellon University

Source URL: www.falkhowar.de

• Computing
• Software engineering
• Formal methods
• Software
• Theoretical computer science
• Simulation software
• Visual programming languages
• Numerical software
• Simulink
• SIGNAL
• Autopilot
• Formal verification

A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic? Fran¸cois Bobot1 , Sylvain Conchon1 , Evelyne Contejean1 , Mohamed Iguernelala1 , Assia Mahboubi2 , Alain Mebsout1 , and Guillaume Melq

Source URL: mebsout.github.io

• Algebra
• Mathematics
• Linear algebra
• Affine geometry
• Linear programming
• Convex optimization
• Group theory
• Affine space
• Linear combination
• Simplex algorithm
• Equation solving
• Vector space

Dronolab 2013 technical paper on UAV design for indoor flight for the 23nd annual IARC competition Charles Brunelle, Alexandru Jora, Emile Abou Nasr, Guillaume Charland-Arcand, Nicola Pedneault-Plourde, Mourad Dendane, J

Source URL: www.aerialroboticscompetition.org

Linking OAE and Blockwise Attack Models Fast Software Encryption 2017 Guillaume Endignoux1,2 , Damian Vizár1 1 EPFL,

Source URL: www.nuee.nagoya-u.ac.jp