publis.bib

@article{collapsibility,
  year = {2014},
  issn = {0927-2852},
  journal = {Applied Categorical Structures},
  doi = {10.1007/s10485-014-9383-6},
  title = {{Iterated Chromatic Subdivisions are Collapsible}},
  url = {http://dx.doi.org/10.1007/s10485-014-9383-6},
  publisher = {Springer Netherlands},
  keywords = {Abstract simplicial complex; Standard chromatic subdivision; Collapsibility; Iterated subdivision},
  author = {Goubault, Éric and Mimram, Samuel and Tasson, Christine},
  pages = {1-42},
  language = {English}
}
@article{Haucourt17,
  author = {Haucourt, Emmanuel},
  booktitle = {{The geometry of conservative programs}},
  journal = {Mathematical Structures in Computer Science},
  month = oct,
  pages = {1--47},
  publisher = {Cambridge University Press},
  title = {{The geometry of conservative programs}},
  url = {https://hal.archives-ouvertes.fr/hal-01580072},
  year = {2017},
  note = {Also available on HAL}
}
@inproceedings{HN14,
  author = {Haucourt, Emmanuel and Ninin, Nicolas},
  booktitle = {{7th Interaction and Concurrency Experience (ICE 2014)}},
  series = {{Electronic Proceedings in Theoretical Computer Science}},
  title = {{The Boolean Algebra of Cubical Areas as a Tensor Product in the Category of Semilattices with Zero}},
  year = {2014}
}
@article{Haucourt10,
  author = {Haucourt, Emmanuel},
  doi = {10.1016/j.entcs.2012.05.008},
  journal = {Electronic Notes in Theoretical Computer Science},
  keywords = {directed topology},
  pages = {111–151},
  publisher = {Springer},
  title = {{Streams, d-Spaces and their Fundamental Categories}},
  volume = {283},
  year = {2012}
}
@article{Haucourt06,
  author = {Haucourt, Emmanuel},
  issn = {1201 - 561X},
  journal = {Theory and Applications of Categories},
  keywords = {category},
  number = {27},
  pages = {736--770},
  title = {{Categories of Components and Loop-free Categories}},
  volume = {16},
  year = {2006}
}
@article{swimarxiv,
  author = {Goubault, E. and Kieffer, M. and Mullier, O. and Putot, S.},
  journal = {Reliable Computing},
  volume = {18},
  title = {General Inner Approximation of Vector-Valued Functions},
  year = {2013},
  pages = {117--143}
}
@inproceedings{vstte13,
  author = {Adje, Assale and Bouissou, Olivier and Goubault-Larrecq, Jean and Goubault, Eric and Putot, Sylvie},
  title = {Static Analysis of Programs with Imprecise Probabilistic Inputs},
  booktitle = {VSTTE},
  year = 2013
}
@inproceedings{sas06,
  author = {E. Goubault and
               S. Putot},
  title = {Static Analysis of Numerical Algorithms.},
  booktitle = {SAS'06, Seoul},
  series = {LNCS},
  volume = {4134},
  year = {2006},
  pages = {18-34},
  ee = {http://dx.doi.org/10.1007/11823230_3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{CAV05,
  author = {Costan, A. and Gaubert, S. and Goubault, E. and Martel, M. and Putot, S.},
  title = {A policy iteration algorithm for computing fixed points in static analysis of programs},
  booktitle = {CAV'05},
  year = 2005
}
@inproceedings{sas07,
  author = {E. Goubault and
               S. Putot},
  title = {Under-Approximations of Computations in Real Numbers Based
               on Generalized Affine Arithmetic},
  booktitle = {SAS},
  year = {2007},
  pages = {137-152},
  ee = {http://dx.doi.org/10.1007/978-3-540-74061-2_9}
}
@article{nsad12,
  author = {E. Goubault and
               T. Le Gall and
               S. Putot},
  title = {An accurate join for zonotopes, preserving affine input/output
               Relations},
  note = {NSAD'12},
  journal = {ENTCS},
  volume = {287},
  year = {2012},
  pages = {65-76}
}
@article{arxiv09,
  author = {E. Goubault and S. Putot},
  title = {A zonotopic framework for functional abstractions},
  journal = {CoRR},
  year = {2009},
  volume = {abs/0910.1763}
}
@article{arxiv08,
  author = {E. Goubault and S. Putot},
  title = {Perturbed affine arithmetic for invariant computation in numerical
	program analysis},
  journal = {CoRR},
  year = {2008},
  volume = {abs/0807.2961}
}
@inproceedings{fmics2009,
  author = {Delmas, D. and Goubault, E. and Putot, S. 
and Souyris, J. and Tekkal, K. and V{\'e}drine, F.},
  title = {Towards an industrial use of FLUCTUAT on safety-critical avionics software},
  year = 2009,
  booktitle = {FMICS}
}
@inproceedings{sas12,
  author = {Goubault, E. and Putot, S. and Vedrine, F.},
  year = {2012},
  title = {Modular static analysis with zonotopes},
  booktitle = {SAS'12},
  publisher = {Springer},
  series = {LNCS},
  volume = {7460},
  pages = {24-40}
}
@inproceedings{cav10,
  author = {K. Ghorbal and
               E. Goubault and
               S. Putot},
  title = {A logical product approach to zonotope intersection},
  booktitle = {CAV'10},
  year = {2010},
  series = {LNCS},
  volume = {6174}
}
@inproceedings{cav09,
  author = {K. Ghorbal and E. Goubault and S. Putot},
  title = {The zonotope abstract domain Taylor1+},
  year = {2009},
  pages = {627-633},
  booktitle = {CAV'09},
  volume = {5643},
  series = {LNCS},
  publisher = {Springer}
}
@article{tsi14,
  author = {Sylvie Putot},
  title = {Analyse statique de programmes et syst{\`{e}}mes num{\'{e}}riques},
  journal = {Technique et Science Informatiques},
  volume = {33},
  number = {1-2},
  pages = {159--162},
  year = {2014}
}
@inproceedings{hscc14,
  author = {Eric Goubault and
               Olivier Mullier and
               Sylvie Putot and
               Michel Kieffer},
  title = {Inner approximated reachability analysis},
  booktitle = {17th International Conference on Hybrid Systems: Computation and Control
               (part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
  pages = {163--172},
  year = {2014},
  publisher = {ACM}
}
@inproceedings{aplas13,
  author = {Eric Goubault and
               Sylvie Putot},
  title = {Robustness Analysis of Finite Precision Implementations},
  booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
               2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
  pages = {50--57},
  year = {2013},
  series = {Lecture Notes in Computer Science},
  volume = {8301},
  publisher = {Springer}
}
@article{computing12,
  author = {Olivier Bouissou and
               Eric Goubault and
               Jean Goubault{-}Larrecq and
               Sylvie Putot},
  title = {A generalization of p-boxes to affine arithmetic},
  journal = {Computing},
  volume = {94},
  number = {2-4},
  pages = {189--201},
  year = {2012}
}
@inproceedings{DBLP:conf/dasip/MenardRSSDHLGPVNRFSLC12,
  author = {Daniel Menard and
               Romuald Rocher and
               Olivier Sentieys and
               Nicolas Simon and
               Laurent{-}St{\'{e}}phane Didier and
               Thibault Hilaire and
               Benoit Lopez and
               Eric Goubault and
               Sylvie Putot and
               Franck V{\'{e}}drine and
               Amine Najahi and
               Guillaume Revy and
               L. Fangain and
               Christian Samoyeau and
               Fabrice Lemonnier and
               Christophe Clienti},
  title = {Design of fixed-point embedded systems {(DEFIS)} French {ANR} project},
  booktitle = {Proceedings of the 2012 Conference on Design and Architectures for
               Signal and Image Processing, {DASIP} 2012, Karlsruhe, Germany, October
               23-25, 2012},
  pages = {1--2},
  year = {2012},
  publisher = {{IEEE}}
}
@inproceedings{cav09b,
  author = {O. Bouissou and E. Goubault and S. Putot and K. Tekkal
	and F. V{\'e}drine},
  title = {HybridFluctuat: a static analyzer of numerical programs within a
	continuous environment},
  year = {2009},
  pages = {620-626},
  booktitle = {Proceedings of CAV'09, Conference on Computer Aided Verification},
  volume = {5643},
  series = {Lecture Notes in Computer Science},
  publisher = {LNCS, Springer}
}
@inproceedings{dagstuhl03,
  author = {E. Goubault and M. Martel and S. Putot},
  title = {Static analysis-based validation of floating-point computations},
  booktitle = {Dagstuhl Seminar Numerical Software with Result Verification, LNCS},
  volume = {2991},
  pages = {306-313},
  year = {2003},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer}
}
@inproceedings{esop02,
  author = {E. Goubault and M. Martel and S. Putot},
  title = {Asserting the precision of floating-point computations: a simple
	abstract interpreter},
  booktitle = {Proceedings of ESOP'02, 11st European Symposium  on Programming},
  year = {2002},
  pages = {209-212},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {2305}
}
@inproceedings{vmcai11,
  author = {E. Goubault and S. Putot},
  title = {Static analysis of finite precision computations},
  booktitle = {Proceedings of VMCAI'11, 12th  Conference on Verification, Model Checking, and Abstract Interpretation},
  year = {2011},
  pages = {232-247},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {6538}
}
@inproceedings{fmics07,
  author = {E. Goubault and S. Putot and P. Baufreton and J. Gassino},
  title = {Static analysis of the accuracy in control systems: principles and experiments},
  booktitle = {Proceedings of FMICS'07, 12th Workshop on Formal Methods for Industrial Critical Systems},
  year = {2007},
  pages = {3-20},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {4916}
}
@inproceedings{erts06,
  author = {E. Goubault and M. Martel and S. Putot},
  title = {Some future challenges in the validation of control systems},
  booktitle = {Proceedings of ERTS'06, Embedded Real-Time Systems},
  year = {2006}
}
@inproceedings{nsad05,
  author = {E. Goubault and S. Putot},
  title = {Weakly relational domains for floating-point computation analysis},
  booktitle = {Proceedings of NSAD'05, Workshop on Numerical and Symbolic Abstract Domains},
  year = {2005}
}
@misc{tapas12,
  author = {Goubault, E. and Le Gall, T. and Putot, S. and V\'edrine, F. },
  year = {2012},
  title = {Interactive Analysis in Fluctuat},
  publisher = {Presented at TAPAS'12, 3rd Workshop on Tools for Automatic Program AnalysiS}
}
@misc{nsv11,
  author = {Goubault, E. and Putot, S.},
  year = {2011},
  title = {Superellipsoids: a generalization of the interval, zonotope and ellipsoid domains},
  publisher = {Presented at the 4th International Workshop on Numerical Software Verification, NSV-2011}
}
@inproceedings{guiraud_et_al:LIPIcs:2013:4064,
  author = {Yves Guiraud and Philippe Malbos and Samuel Mimram},
  title = {{A Homotopical Completion Procedure with Applications to Coherence of Monoids}},
  booktitle = {24th International Conference on Rewriting Techniques and Applications (RTA 2013)},
  pages = {223--238},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  isbn = {978-3-939897-53-8},
  issn = {1868-8969},
  year = {2013},
  volume = {21},
  editor = {Femke van Raamsdonk},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address = {Dagstuhl, Germany},
  url = {http://drops.dagstuhl.de/opus/volltexte/2013/4064},
  urn = {urn:nbn:de:0030-drops-40649},
  doi = {http://dx.doi.org/10.4230/LIPIcs.RTA.2013.223},
  annote = {Keywords: higher-dimensional rewriting, presentation of monoid, Knuth-Bendix completion, Tietze transformation, low-dimensional homotopy for monoids, coherence},
  keywords = {rewriting}
}
@article{Mimram2013283,
  author = {Samuel Mimram and Cinzia Di Giusto},
  title = {{A Categorical Theory of Patches}},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {298},
  number = {0},
  pages = {283--307},
  year = {2013},
  note = {Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS XXIX},
  issn = {1571-0661},
  doi = {http://dx.doi.org/10.1016/j.entcs.2013.09.018},
  url = {http://www.sciencedirect.com/science/article/pii/S1571066113000649},
  eprint = {1311.3903},
  eprinttype = {arxiv},
  keywords = {concurrency}
}
@article{Goubault2013179,
  author = {{\'E}ric Goubault and Tobias Heindel and Samuel Mimram},
  title = {{A Geometric View of Partial Order Reduction}},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {298},
  number = {0},
  pages = {179--195},
  year = {2013},
  note = {Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS XXIX},
  issn = {1571-0661},
  doi = {http://dx.doi.org/10.1016/j.entcs.2013.09.013},
  url = {http://www.sciencedirect.com/science/article/pii/S1571066113000595},
  keywords = {concurrency}
}
@incollection{ts,
  author = {Lisbeth Fajstrup and {\'E}ric Goubault and Emmanuel Haucourt and Samuel Mimram and Martin Raussen},
  year = {2012},
  isbn = {978-3-642-28868-5},
  booktitle = {Programming Languages and Systems},
  volume = {7211},
  series = {Lecture Notes in Computer Science},
  editor = {Helmut Seidl},
  doi = {10.1007/978-3-642-28869-2_14},
  title = {{Trace Spaces: An Efficient New Technique for State-Space Reduction}},
  url = {http://dx.doi.org/10.1007/978-3-642-28869-2_14},
  publisher = {Springer Berlin Heidelberg},
  pages = {274--294},
  eprint = {1204.0414},
  eprinttype = {arxiv},
  keywords = {concurrency}
}
@article{Goubault201277,
  author = {\'Eric Goubault and Samuel Mimram},
  title = {{Formal Relationships Between Geometrical and Classical Models for Concurrency}},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {283},
  number = {0},
  pages = {77--109},
  year = {2012},
  note = {Proceedings of the workshop on Geometric and Topological Methods in Computer Science (GETCO)},
  issn = {1571-0661},
  doi = {http://dx.doi.org/10.1016/j.entcs.2012.05.007},
  url = {http://www.sciencedirect.com/science/article/pii/S1571066112000084},
  eprint = {1004.2818},
  eprinttype = {arxiv},
  keywords = {concurrency}
}
@incollection{safecomp,
  author = {Richard Bonichon and Géraud Canet and Loïc Correnson and Eric Goubault and Emmanuel Haucourt and Michel Hirschowitz and Sébastien Labbé and Samuel Mimram},
  year = {2011},
  isbn = {978-3-642-24269-4},
  booktitle = {Computer Safety, Reliability, and Security},
  volume = {6894},
  series = {Lecture Notes in Computer Science},
  editor = {Francesco Flammini and Sandro Bologna and Valeria Vittorini},
  doi = {10.1007/978-3-642-24270-0_7},
  title = {{Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software}},
  url = {http://dx.doi.org/10.1007/978-3-642-24270-0_7},
  publisher = {Springer Berlin Heidelberg},
  keywords = {Digital control systems; software dependability; formal verification; concurrency; deadlock},
  pages = {85--98},
  keywords = {concurrency}
}
@inproceedings{erts14,
  author = {Olivier Bouissou and Alexandre Chapoutot and Samuel Mimram},
  title = {{Set-based Simulation for Design and Verification of Simulink Models}},
  optcrossref = {},
  optkey = {},
  booktitle = {Embedded Real Time Software and Systems (ERTS)},
  optpages = {},
  year = {2014},
  opteditor = {},
  optvolume = {},
  optnumber = {},
  optseries = {},
  optaddress = {},
  optmonth = {},
  optorganization = {},
  optpublisher = {},
  optnote = {},
  optannote = {},
  keywords = {hybrid}
}
@inproceedings{6380694,
  author = {O. Bouissou and A. Chapoutot and S. Mimram},
  booktitle = {Rapid System Prototyping (RSP), 2012 23rd IEEE International Symposium on},
  title = {{HySon: Set-based simulation of hybrid systems}},
  year = {2012},
  pages = {79--85},
  keywords = {circuit simulation;electronic engineering computing;embedded systems;numerical analysis;HySon;Simulink;control-command systems;hybrid systems;non-linear operations;numerical algorithms;numerical simulations;set-based simulation;Adaptation models;Approximation methods;Computational modeling;Equations;Mathematical model;Numerical models;Software packages},
  doi = {10.1109/RSP.2012.6380694},
  issn = {2150-5500},
  keywords = {hybrid}
}
@article{t3rt,
  author = {Samuel Mimram},
  title = {{Towards 3-Dimensional Rewriting Theory}},
  journal = {Logical Methods in Computer Science},
  year = {2014},
  volume = {10},
  number = {1},
  pages = {1--47},
  doi = {http://dx.doi.org/10.2168/LMCS-10(2:1)2014},
  eprint = {1403.4094},
  eprinttype = {arxiv},
  keywords = {rewriting}
}