Workshop NSAD 2020 – Author Index

A B C G J M S T Z

	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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

12 authors

proc time: 0.02