@inproceedings{nasiotis2019setinversion,
	author = {Nasiotis, K. A. and L{\'o}pez, D. and Adam, S. P. and Casado, L. G.},
	booktitle = {Book of Abstracts of the 12th Summer Workshop on Interval Methods (SWIM 2019)},
	howpublished = {https://swim2019.ensta-paristech.fr/},
	location = {Palaiseau, France},
	month = jul,
	title = {Set Inversion Via Interval Analysis -- A Study on Parallel Processing Implementation},
	year = {2019}
}

@inproceedings{revol2019mpfi,
	author = {Revol, Nathalie},
	booktitle = {Book of Abstracts of the 12th Summer Workshop on Interval Methods (SWIM 2019)},
	howpublished = {https://swim2019.ensta-paristech.fr/},
	location = {Palaiseau, France},
	month = jul,
	title = {The {MPFI} library revisited},
	year = {2019}
}

@inproceedings{vorontsova2019interval,
	author = {Vorontsova, Evgeniya},
	booktitle = {Book of Abstracts of the 12th Summer Workshop on Interval Methods (SWIM 2019)},
	howpublished = {https://swim2019.ensta-paristech.fr/},
	location = {Palaiseau, France},
	month = jul,
	title = {Interval Computations in Julia programming language},
	year = {2019}
}

@inproceedings{benet2019taylormodels,
	author = {Benet, Luis and Forets, Marcelo and Sanders, David P. and Schilling, Christian},
	booktitle = {Book of Abstracts of the 12th Summer Workshop on Interval Methods (SWIM 2019)},
	howpublished = {https://swim2019.ensta-paristech.fr/},
	location = {Palaiseau, France},
	month = jul,
	title = {TaylorModels.jl: {T}aylor models in Julia and its application to validated solutions of {ODE}s},
	year = {2019}
}

@inproceedings{brown2019interval,
	author = {Brown, Jason and Pessaux, Fran{\c c}ois},
	booktitle = {Book of Abstracts of the 12th Summer Workshop on Interval Methods (SWIM 2019)},
	howpublished = {https://swim2019.ensta-paristech.fr/},
	location = {Palaiseau, France},
	month = jul,
	title = {{Interval-Based Simulation of Z{\'e}lus IVPs Using DynIbex}},
	year = {2019}
}

@inproceedings{selivanova2019turnkey,
	author = {Selivanova, Svetlana and Ziegler, Martin},
	booktitle = {Book of Abstracts of the 12th Summer Workshop on Interval Methods (SWIM 2019)},
	howpublished = {https://swim2019.ensta-paristech.fr/},
	location = {Palaiseau, France},
	month = jul,
	title = {{Turnkey Solutions to PDEs in Exact Real Computation}},
	year = {2019}
}

@inproceedings{damers2019guaranteed,
	author = {Damers, Julien and Jaulin, Luc and Rohou, Simon},
	booktitle = {Book of Abstracts of the 12th Summer Workshop on Interval Methods (SWIM 2019)},
	howpublished = {https://swim2019.ensta-paristech.fr/},
	location = {Palaiseau, France},
	month = jul,
	title = {Guaranteed interval integration for large initial boxes},
	year = {2019}
}

@inproceedings{tillet2019validation,
	author = {Tillet, Joris and Jaulin, Luc and {Le Bars}, Fabrice},
	booktitle = {Book of Abstracts of the 12th Summer Workshop on Interval Methods (SWIM 2019)},
	howpublished = {https://swim2019.ensta-paristech.fr/},
	location = {Palaiseau, France},
	month = jul,
	title = {Validation of a controller under state constraints},
	year = {2019}
}

@inproceedings{lefort2019efficient,
	author = {Lefort, Alexandre},
	booktitle = {Book of Abstracts of the 12th Summer Workshop on Interval Methods (SWIM 2019)},
	howpublished = {https://swim2019.ensta-paristech.fr/},
	location = {Palaiseau, France},
	month = jul,
	title = {{Efficient computation of the set of stabilizing controllers for an LTI System using intervals}},
	year = {2019}
}

@inproceedings{kersten2019analysing,
	author = {Kersten, Julia and Rauh, Andreas and Aschemann, Harald},
	booktitle = {Book of Abstracts of the 12th Summer Workshop on Interval Methods (SWIM 2019)},
	howpublished = {https://swim2019.ensta-paristech.fr/},
	location = {Palaiseau, France},
	month = jul,
	title = {Analyzing uncertain dynamical systems after state-space transformations into cooperative forms},
	year = {2019}
}

@inproceedings{nico2019guaranteed,
	author = {Nico, Thibault and Jaulin, Luc and Zerr, Beno\^{\i}t},
	booktitle = {Book of Abstracts of the 12th Summer Workshop on Interval Methods (SWIM 2019)},
	howpublished = {https://swim2019.ensta-paristech.fr/},
	location = {Palaiseau, France},
	month = jul,
	title = {Guaranteed Polynesian Navigation},
	year = {2019}
}

@inproceedings{merhy2019zonotopic,
	author = {Merhy, Dory and Maniu, Cristina Stoica and Alamo, Teodoro and Camacho, Eduardo F. and Chevet, Thomas and Makarov, Maria and Hinostroza, Israel},
	booktitle = {Book of Abstracts of the 12th Summer Workshop on Interval Methods (SWIM 2019)},
	howpublished = {https://swim2019.ensta-paristech.fr/},
	location = {Palaiseau, France},
	month = jul,
	title = {Zonotopic set-membership state estimation applied to an octorotor model},
	year = {2019}
}

@inproceedings{gatto2019polytopic,
	author = {Gatto, Thomas and Meyer, Luc and Piet-Lahanier, H{\'e}l{\`e}ne},
	booktitle = {Book of Abstracts of the 12th Summer Workshop on Interval Methods (SWIM 2019)},
	howpublished = {https://swim2019.ensta-paristech.fr/},
	location = {Palaiseau, France},
	month = jul,
	title = {A Polytopic Box Particle Filter for state estimation of Non Linear Discrete-Time Systems},
	year = {2019}
}

@inproceedings{lange2019rigorous,
	author = {Lange, Marko},
	booktitle = {Book of Abstracts of the 12th Summer Workshop on Interval Methods (SWIM 2019)},
	howpublished = {https://swim2019.ensta-paristech.fr/},
	location = {Palaiseau, France},
	month = jul,
	title = {Rigorous bounds for ill-posed linear programming problems},
	year = {2019}
}

@inproceedings{mullier2019computation,
	author = {Mullier, Olivier and {Alexandre dit Sandretto}, Julien},
	booktitle = {Book of Abstracts of the 12th Summer Workshop on Interval Methods (SWIM 2019)},
	howpublished = {https://swim2019.ensta-paristech.fr/},
	location = {Palaiseau, France},
	month = jul,
	title = {Computation of integrals with interval endpoints},
	year = {2019}
}

@inproceedings{liu2019identification,
	author = {Liu, Shuchen and Gehrt, Jan-J{\"o}ran and Abel, Dirk and Zweigel, Ren{\'e}},
	booktitle = {Book of Abstracts of the 12th Summer Workshop on Interval Methods (SWIM 2019)},
	howpublished = {https://swim2019.ensta-paristech.fr/},
	location = {Palaiseau, France},
	month = jul,
	title = {Identification of Multi-Faults in {GNSS} Signals using {RSIVIA} under Dual Constellation},
	year = {2019}
}

@inproceedings{dbouk2019interval,
	author = {Dbouk, Hani and Sch{\"o}n, Steffen},
	booktitle = {Book of Abstracts of the 12th Summer Workshop on Interval Methods (SWIM 2019)},
	howpublished = {https://swim2019.ensta-paristech.fr/},
	location = {Palaiseau, France},
	month = jul,
	title = {Interval based Fault Detection and Exclusion for GNSS},
	year = {2019}
}

@inproceedings{voges2019extrinsic,
	author = {Voges, Raphael and Wagner, Bernardo},
	booktitle = {Book of Abstracts of the 12th Summer Workshop on Interval Methods (SWIM 2019)},
	howpublished = {https://swim2019.ensta-paristech.fr/},
	location = {Palaiseau, France},
	month = jul,
	title = {Extrinsic Calibration Between a {3D} Laser Scanner and a Camera Under Interval Uncertainty},
	year = {2019}
}

@inproceedings{rauh2019toward,
	author = {Rauh, Andreas and Kersten, Julia},
	booktitle = {Book of Abstracts of the 12th Summer Workshop on Interval Methods (SWIM 2019)},
	howpublished = {https://swim2019.ensta-paristech.fr/},
	location = {Palaiseau, France},
	month = jul,
	title = {Toward the Development of Iteration Procedures for the Interval-Based Simulation of Fractional-Order Systems},
	year = {2019}
}

@inproceedings{alexandre2019confidence,
	author = {{Alexandre dit Sandretto}, Julien},
	booktitle = {Book of Abstracts of the 12th Summer Workshop on Interval Methods (SWIM 2019)},
	howpublished = {https://swim2019.ensta-paristech.fr/},
	location = {Palaiseau, France},
	month = jul,
	title = {Confidence-based Contractor, Propagation and Potential Cloud for Differential Equations},
	year = {2019}
}

@inproceedings{drevelle2019bounded,
	author = {Drevelle, Vincent},
	booktitle = {Book of Abstracts of the 12th Summer Workshop on Interval Methods (SWIM 2019)},
	howpublished = {https://swim2019.ensta-paristech.fr/},
	location = {Palaiseau, France},
	month = jul,
	title = {Bounded-error victim localization for {UAV}-based search and rescue operations},
	year = {2019}
}

@inproceedings{ramdani2019towards,
	author = {Ramdani, Nacim and Zeinalipour-Yazti, Demetrios and Karamousadakis, Michalis and Panayides, Andreas},
	booktitle = {Book of Abstracts of the 12th Summer Workshop on Interval Methods (SWIM 2019)},
	howpublished = {https://swim2019.ensta-paristech.fr/},
	location = {Palaiseau, France},
	month = jul,
	title = {Towards an interval fingerprinting approach for indoor localization},
	year = {2019}
}

@inproceedings{rohou2019verifying,
	author = {Rohou, Simon and Franek, Peter and Aubry, Cl{\'e}ment and Jaulin, Luc},
	booktitle = {Book of Abstracts of the 12th Summer Workshop on Interval Methods (SWIM 2019)},
	howpublished = {https://swim2019.ensta-paristech.fr/},
	location = {Palaiseau, France},
	month = jul,
	title = {Verifying the existence of loops in robot trajectories},
	year = {2019}
}

@inproceedings{kumar2019guaranteed,
	author = {Kumar, Amit and Mullier, Olivier},
	booktitle = {Book of Abstracts of the 12th Summer Workshop on Interval Methods (SWIM 2019)},
	howpublished = {https://swim2019.ensta-paristech.fr/},
	location = {Palaiseau, France},
	month = jul,
	title = {Guaranteed Trajectory Tracking using Flatness},
	year = {2019}
}

@inproceedings{bertin2019prospects,
	author = {Bertin, {\'E}tienne and Brendel, Elliot and H{\'e}riss{\'e}, Bruno and Chapoutot, Alexandre and {Alexandre dit Sandretto}, Julien},
	booktitle = {Book of Abstracts of the 12th Summer Workshop on Interval Methods (SWIM 2019)},
	howpublished = {https://swim2019.ensta-paristech.fr/},
	location = {Palaiseau, France},
	month = jul,
	title = {Prospects on the application of necessary optimality conditions on the resolution of the Goddard problem with unknown bounded parameters using interval arithmetics},
	year = {2019}
}