| |
Abraham, Erika
|
NSAD '20: "Abstract Domains in SMT Solving ..."
Abstract Domains in SMT Solving for Real Algebra (Invited Talk)
Erika Abraham
(RWTH Aachen University, Germany)
@InProceedings{NSAD20p1,
author = {Erika Abraham},
title = {Abstract Domains in SMT Solving for Real Algebra (Invited Talk)},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3427762.3430180},
year = {2020},
}
 Publisher's Version
Article: splashws20nsadmain-p7-p doi:10.1145/3427762.3430180
|
| |
Bautista, Santiago
|
NSAD '20: "Numeric Domains Meet Algebraic ..."
Numeric Domains Meet Algebraic Data Types
Santiago Bautista, Thomas Jensen, and Benoît Montagu
(ENS Rennes, France; Inria, France)
@InProceedings{NSAD20p12,
author = {Santiago Bautista and Thomas Jensen and Benoît Montagu},
title = {Numeric Domains Meet Algebraic Data Types},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {12-11},
doi = {10.1145/3427762.3430178},
year = {2020},
}
Publisher's Version
Article: splashws20nsadmain-p2-p doi:10.1145/3427762.3430178
|
| |
Braine, Julien |
NSAD '20: "Proving Array Properties using ..."
Proving Array Properties using Data Abstraction
Julien Braine and Laure Gonnord
(University of Lyon, France; CNRS, France; Inria, France; LIP, France)
@InProceedings{NSAD20p17,
author = {Julien Braine and Laure Gonnord},
title = {Proving Array Properties using Data Abstraction},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {17-16},
doi = {10.1145/3427762.3430179},
year = {2020},
}
Publisher's Version
Article: splashws20nsadmain-p5-p doi:10.1145/3427762.3430179
|
| |
Chapoutot, Alexandre
|
NSAD '20: "Abstract Domains for Constraint ..."
Abstract Domains for Constraint Programming with Differential Equations
Ghiles Ziat, Olivier Mullier, Julien Alexandre dit Sandretto, Christophe Garion, Alexandre Chapoutot, and Xavier Thirioux
(ISAE-supaero, France; University of Toulouse, France; ENSTA Paris, France)
@InProceedings{NSAD20p2,
author = {Ghiles Ziat and Olivier Mullier and Julien Alexandre dit Sandretto and Christophe Garion and Alexandre Chapoutot and Xavier Thirioux},
title = {Abstract Domains for Constraint Programming with Differential Equations},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {2-1},
doi = {10.1145/3427762.3429453},
year = {2020},
}
Publisher's Version
Article: splashws20nsadmain-p1-p doi:10.1145/3427762.3429453
|
| |
Garion, Christophe
|
NSAD '20: "Abstract Domains for Constraint ..."
Abstract Domains for Constraint Programming with Differential Equations
Ghiles Ziat, Olivier Mullier, Julien Alexandre dit Sandretto, Christophe Garion, Alexandre Chapoutot, and Xavier Thirioux
(ISAE-supaero, France; University of Toulouse, France; ENSTA Paris, France)
@InProceedings{NSAD20p2,
author = {Ghiles Ziat and Olivier Mullier and Julien Alexandre dit Sandretto and Christophe Garion and Alexandre Chapoutot and Xavier Thirioux},
title = {Abstract Domains for Constraint Programming with Differential Equations},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {2-1},
doi = {10.1145/3427762.3429453},
year = {2020},
}
Publisher's Version
Article: splashws20nsadmain-p1-p doi:10.1145/3427762.3429453
|
| |
Gonnord, Laure |
NSAD '20: "Proving Array Properties using ..."
Proving Array Properties using Data Abstraction
Julien Braine and Laure Gonnord
(University of Lyon, France; CNRS, France; Inria, France; LIP, France)
@InProceedings{NSAD20p17,
author = {Julien Braine and Laure Gonnord},
title = {Proving Array Properties using Data Abstraction},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {17-16},
doi = {10.1145/3427762.3430179},
year = {2020},
}
Publisher's Version
Article: splashws20nsadmain-p5-p doi:10.1145/3427762.3430179
|
| |
Jensen, Thomas
|
NSAD '20: "Numeric Domains Meet Algebraic ..."
Numeric Domains Meet Algebraic Data Types
Santiago Bautista, Thomas Jensen, and Benoît Montagu
(ENS Rennes, France; Inria, France)
@InProceedings{NSAD20p12,
author = {Santiago Bautista and Thomas Jensen and Benoît Montagu},
title = {Numeric Domains Meet Algebraic Data Types},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {12-11},
doi = {10.1145/3427762.3430178},
year = {2020},
}
Publisher's Version
Article: splashws20nsadmain-p2-p doi:10.1145/3427762.3430178
|
| |
Montagu, Benoît
|
NSAD '20: "Numeric Domains Meet Algebraic ..."
Numeric Domains Meet Algebraic Data Types
Santiago Bautista, Thomas Jensen, and Benoît Montagu
(ENS Rennes, France; Inria, France)
@InProceedings{NSAD20p12,
author = {Santiago Bautista and Thomas Jensen and Benoît Montagu},
title = {Numeric Domains Meet Algebraic Data Types},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {12-11},
doi = {10.1145/3427762.3430178},
year = {2020},
}
Publisher's Version
Article: splashws20nsadmain-p2-p doi:10.1145/3427762.3430178
|
| |
Mullier, Olivier |
NSAD '20: "Abstract Domains for Constraint ..."
Abstract Domains for Constraint Programming with Differential Equations
Ghiles Ziat, Olivier Mullier, Julien Alexandre dit Sandretto, Christophe Garion, Alexandre Chapoutot, and Xavier Thirioux
(ISAE-supaero, France; University of Toulouse, France; ENSTA Paris, France)
@InProceedings{NSAD20p2,
author = {Ghiles Ziat and Olivier Mullier and Julien Alexandre dit Sandretto and Christophe Garion and Alexandre Chapoutot and Xavier Thirioux},
title = {Abstract Domains for Constraint Programming with Differential Equations},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {2-1},
doi = {10.1145/3427762.3429453},
year = {2020},
}
Publisher's Version
Article: splashws20nsadmain-p1-p doi:10.1145/3427762.3429453
|
| |
Sandretto, Julien Alexandre dit
|
NSAD '20: "Abstract Domains for Constraint ..."
Abstract Domains for Constraint Programming with Differential Equations
Ghiles Ziat, Olivier Mullier, Julien Alexandre dit Sandretto, Christophe Garion, Alexandre Chapoutot, and Xavier Thirioux
(ISAE-supaero, France; University of Toulouse, France; ENSTA Paris, France)
@InProceedings{NSAD20p2,
author = {Ghiles Ziat and Olivier Mullier and Julien Alexandre dit Sandretto and Christophe Garion and Alexandre Chapoutot and Xavier Thirioux},
title = {Abstract Domains for Constraint Programming with Differential Equations},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {2-1},
doi = {10.1145/3427762.3429453},
year = {2020},
}
Publisher's Version
Article: splashws20nsadmain-p1-p doi:10.1145/3427762.3429453
|
| |
Thirioux, Xavier
|
NSAD '20: "Abstract Domains for Constraint ..."
Abstract Domains for Constraint Programming with Differential Equations
Ghiles Ziat, Olivier Mullier, Julien Alexandre dit Sandretto, Christophe Garion, Alexandre Chapoutot, and Xavier Thirioux
(ISAE-supaero, France; University of Toulouse, France; ENSTA Paris, France)
@InProceedings{NSAD20p2,
author = {Ghiles Ziat and Olivier Mullier and Julien Alexandre dit Sandretto and Christophe Garion and Alexandre Chapoutot and Xavier Thirioux},
title = {Abstract Domains for Constraint Programming with Differential Equations},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {2-1},
doi = {10.1145/3427762.3429453},
year = {2020},
}
Publisher's Version
Article: splashws20nsadmain-p1-p doi:10.1145/3427762.3429453
|
| |
Ziat, Ghiles
|
NSAD '20: "Abstract Domains for Constraint ..."
Abstract Domains for Constraint Programming with Differential Equations
Ghiles Ziat, Olivier Mullier, Julien Alexandre dit Sandretto, Christophe Garion, Alexandre Chapoutot, and Xavier Thirioux
(ISAE-supaero, France; University of Toulouse, France; ENSTA Paris, France)
@InProceedings{NSAD20p2,
author = {Ghiles Ziat and Olivier Mullier and Julien Alexandre dit Sandretto and Christophe Garion and Alexandre Chapoutot and Xavier Thirioux},
title = {Abstract Domains for Constraint Programming with Differential Equations},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {2-1},
doi = {10.1145/3427762.3429453},
year = {2020},
}
Publisher's Version
Article: splashws20nsadmain-p1-p doi:10.1145/3427762.3429453
|