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}
}
@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{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}
}
@inproceedings{Martin2018,
  author = {Martin, Benjamin and Mullier, Olivier},
  title = {Improving Validated Computation of Viability Kernels},
  booktitle = {Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (Part of CPS Week)},
  series = {HSCC '18},
  year = {2018},
  isbn = {978-1-4503-5642-8},
  location = {Porto, Portugal},
  pages = {227--236},
  numpages = {10},
  url = {http://doi.acm.org/10.1145/3178126.3178141},
  doi = {10.1145/3178126.3178141},
  acmid = {3178141},
  publisher = {ACM},
  address = {New York, NY, USA},
  keywords = {Interval Analysis, Lyapunov-like Functions, Validated Numerical Integration, Viability Kernel}
}
@inproceedings{Martin2017b,
  title = {{Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System}},
  author = {Martin, Benjamin and Ghorbal, Khalil and Goubault, Eric and Putot, Sylvie},
  url = {https://hal.archives-ouvertes.fr/hal-01657848},
  booktitle = {{FVAV 2017 - 1st Formal Verification of Autonomous Vehicles Workshop}},
  address = {Turin, Italy},
  editor = {Lukas Bulwahn and Maryam Kamali and Sven Linker},
  series = {FVAV@iFM 2017},
  volume = {257},
  pages = {91--104},
  year = {2017},
  month = sep,
  doi = {10.4204/EPTCS.257.9},
  pdf = {https://hal.archives-ouvertes.fr/hal-01657848/file/stationkeeping.pdf},
  hal_id = {hal-01657848},
  hal_version = {v1}
}
@inproceedings{conf/fm/,
  author = {Giovanni Bacci and Kim G. Larsen and Nicolas Markey
                  and Patricia Bouyer-Decitre and Uli Fahrenberg and
                  Pierre-Alain Reynier},
  title = {Optimal and Robust Controller Synthesis Using Energy Timed Automata with Uncertainty},
  booktitle = {FM},
  year = 2018,
  note = {To be published}
}
@inproceedings{conf/seams/OlaecheaALF18,
  author = {Rafael Olaechea and Joanne Atlee and Axel Legay and
                  Uli Fahrenberg},
  title = {Trace Checking for Dynamic Software Product Lines},
  booktitle = {SEAMS@ICSE},
  year = 2018,
  note = {To be published}
}
@inproceedings{DBLP:conf/icse/FahrenbergL17,
  author = {Uli Fahrenberg and
               Axel Legay},
  title = {Featured Weighted Automata},
  booktitle = {5th {IEEE/ACM} International {FME} Workshop on Formal Methods in Software
               Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27,
               2017},
  pages = {51--57},
  year = {2017},
  url = {https://doi.org/10.1109/FormaliSE.2017.2},
  doi = {10.1109/FormaliSE.2017.2},
  timestamp = {Mon, 17 Jul 2017 17:32:04 +0200},
  biburl = {https://dblp.org/rec/bib/conf/icse/FahrenbergL17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/OuederniFLS17,
  author = {Meriem Ouederni and
               Uli Fahrenberg and
               Axel Legay and
               Gwen Sala{\"{u}}n},
  title = {Compatibility flooding: measuring interaction of services interfaces},
  booktitle = {Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech,
               Morocco, April 3-7, 2017},
  pages = {1334--1340},
  year = {2017},
  url = {http://doi.acm.org/10.1145/3019612.3019807},
  doi = {10.1145/3019612.3019807},
  timestamp = {Tue, 30 May 2017 13:26:11 +0200},
  biburl = {https://dblp.org/rec/bib/conf/sac/OuederniFLS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/FahrenbergL17,
  author = {Uli Fahrenberg and
               Axel Legay},
  title = {A Linear-Time-Branching-Time Spectrum of Behavioral Specification
               Theories},
  booktitle = {{SOFSEM} 2017: Theory and Practice of Computer Science - 43rd International
               Conference on Current Trends in Theory and Practice of Computer Science,
               Limerick, Ireland, January 16-20, 2017, Proceedings},
  pages = {49--61},
  year = {2017},
  url = {https://doi.org/10.1007/978-3-319-51963-0_5},
  doi = {10.1007/978-3-319-51963-0_5},
  timestamp = {Tue, 23 May 2017 01:08:03 +0200},
  biburl = {https://dblp.org/rec/bib/conf/sofsem/FahrenbergL17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/OlaecheaFAL16,
  author = {Rafael Olaechea and
               Uli Fahrenberg and
               Joanne M. Atlee and
               Axel Legay},
  title = {Long-term average cost in featured transition systems},
  booktitle = {Proceedings of the 20th International Systems and Software Product
               Line Conference, {SPLC} 2016, Beijing, China, September 16-23, 2016},
  pages = {109--118},
  year = {2016},
  url = {http://doi.acm.org/10.1145/2934466.2934473},
  doi = {10.1145/2934466.2934473},
  timestamp = {Wed, 28 Sep 2016 07:59:47 +0200},
  biburl = {https://dblp.org/rec/bib/conf/splc/OlaecheaFAL16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{crepon2018reliable,
  title = {Reliable navigation planning implementation on a two-wheeled mobile robot},
  author = {Cr{\'e}pon, {\'E}lise and Panchea, Adina and Chapoutot, Alexandre},
  booktitle = {The Second IEEE International Conference on Robotic Computing},
  pages = {173-174},
  year = {2018},
  url = {http://doi.ieeecomputersociety.org/10.1109/IRC.2018.00035},
  doi = {10.1109/IRC.2018.00035}
}
@inproceedings{crepon2018reliableb,
  title = {Reliable motion plannning for a mobile robot},
  author = {Cr{\'e}pon, {\'E}lise and Panchea, Adina Marlena and Chapoutot, Alexandre},
  booktitle = {2018 Second IEEE International Conference on Robotic Computing (IRC)},
  pages = {413--418},
  year = {2018},
  organization = {IEEE},
  url = {http://doi.ieeecomputersociety.org/10.1109/IRC.2018.00085},
  doi = {10.1109/IRC.2018.00085}
}
@inproceedings{panchea2017boxrrt,
  title = {{BoxRRT$*$ -- A Reliable Motion Planner}},
  author = {Panchea, Adina and Chapoutot, Alexandre and Filliat, David},
  booktitle = {10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership-Applications, Reliability and Theory},
  year = {2017}
}
@inproceedings{8263805,
  author = {A. M. Panchea and A. Chapoutot and D. Filliat},
  booktitle = {2017 IEEE 56th Annual Conference on Decision and Control (CDC)},
  title = {Extended reliable robust motion planners},
  year = {2017},
  volume = {},
  number = {},
  pages = {1112-1117},
  keywords = {collision avoidance;mobile robots;trees (mathematics);BoxRRT;BoxRRT algorithm;control input;final configuration space;integration scheme;interval analysis;motion planner;optimal Rapidly-exploring Random Trees algorithm;reliable robust motion planners;shorter reliable paths;static obstacle avoidance;static obstacles;uncertain environment;uncertain initial configuration space;Algorithm design and analysis;Approximation algorithms;Mobile robots;Planning;Robustness;Uncertainty},
  doi = {10.1109/CDC.2017.8263805},
  issn = {}
}
@inproceedings{allamigeon2017fast,
  author = {Allamigeon, Xavier and Gaubert, St{\'e}phane and Goubault, Eric and Putot, Sylvie and Stott, Nikolas},
  title = {{A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical Programs}},
  booktitle = {Proceedings of International Conference on Embedded Software},
  year = 2017,
  volume = 16,
  number = {5s},
  series = {ACM Transactions on Embedded Computing Systems (TECS)},
  pages = 166
}
@inproceedings{goubault2017forward,
  title = {Forward Inner-Approximated Reachability of Non-Linear Continuous Systems},
  author = {Goubault, Eric and Putot, Sylvie},
  booktitle = {Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control},
  pages = {1--10},
  year = {2017},
  organization = {ACM}
}
@inproceedings{bouissou2016uncertainty,
  title = {Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities},
  author = {Bouissou, Olivier and Goubault, Eric and Putot, Sylvie and Chakarov, Aleksandar and Sankaranarayanan, Sriram},
  booktitle = {International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
  pages = {225--243},
  year = {2016},
  organization = {Springer}
}
@inproceedings{allamigeon2016scalable,
  author = {Allamigeon, Xavier and Gaubert, St{\'e}phane and Stott, Nikolas and Goubault, Eric and Putot, Sylvie},
  title = {A scalable algebraic method to infer quadratic invariants of switched systems},
  booktitle = {Proceedings of the ACM SIGBED International Conference on Embedded Software EMSOFT 2015},
  series = {ACM Transactions on Embedded Computing Systems (TECS)},
  volume = {15},
  number = {4},
  pages = {69},
  year = {2016},
  publisher = {ACM}
}
@inproceedings{fribourg2015topological,
  title = {A topological method for finding invariant sets of continuous systems},
  author = {Fribourg, Laurent and Goubault, Eric and Mohamed, Sameh and Mrozek, Marian and Putot, Sylvie},
  booktitle = {International Workshop on Reachability Problems},
  pages = {63--75},
  year = {2015},
  organization = {Springer}
}
@inproceedings{goubault2014finding,
  title = {Finding non-polynomial positive invariants and Lyapunov functions for polynomial systems through Darboux polynomials},
  author = {Goubault, Eric and Jourdan, Jacques-Henri and Putot, Sylvie and Sankaranarayanan, Sriram},
  booktitle = {American Control Conference (ACC), 2014},
  pages = {3571--3578},
  year = {2014},
  organization = {IEEE}
}
@inproceedings{goubault2013robustness,
  title = {Robustness analysis of finite precision implementations},
  author = {Goubault, Eric and Putot, Sylvie},
  booktitle = {Asian Symposium on Programming Languages and Systems},
  pages = {50--57},
  year = {2013},
  organization = {Springer}
}
@inproceedings{adje2013static,
  title = {Static analysis of programs with imprecise probabilistic inputs},
  author = {Adje, Assale and Bouissou, Olivier and Goubault-Larrecq, Jean and Goubault, Eric and Putot, Sylvie},
  booktitle = {Working Conference on Verified Software: Theories, Tools, and Experiments},
  pages = {22--47},
  year = {2013},
  organization = {Springer}
}
@inproceedings{dubut2016bisimulations,
  title = {{Bisimulations and unfolding in P-accessible categorical models}},
  author = {Dubut, J{\'e}r{\'e}my and Goubault, Eric and Goubault-Larrecq, Jean},
  booktitle = {LIPIcs-Leibniz International Proceedings in Informatics},
  volume = {59},
  year = {2016},
  organization = {Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik}
}
@inproceedings{djoudi2016recovering,
  title = {Recovering high-level conditions from binary programs},
  author = {Djoudi, Adel and Bardin, Sebastien and Goubault, {\'E}ric},
  booktitle = {International Symposium on Formal Methods},
  pages = {235--253},
  year = {2016},
  organization = {Springer}
}
@inproceedings{haucourt2014boolean,
  title = {{The Boolean algebra of cubical areas as a tensor product in the category of semilattices with zero}},
  author = {Haucourt, E and Ninin, N},
  booktitle = {Proceedings of the 7th Interaction and Concurrency Experience (ICE 2014), Electronic Proceedings in Theoretical Computer Science},
  year = {2014}
}
@inproceedings{catmod,
  author = {Florence Clerc and Samuel Mimram},
  title = {{Presenting a Category Modulo a Rewriting System}},
  booktitle = {26th International Conference on Rewriting Techniques and Applications (RTA 2015)},
  pages = {89--105},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  isbn = {978-3-939897-85-9},
  issn = {1868-8969},
  year = {2015},
  volume = {36},
  editor = {Maribel Fern{\'a}ndez},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address = {Dagstuhl, Germany},
  url = {http://drops.dagstuhl.de/opus/volltexte/2015/5191},
  urn = {urn:nbn:de:0030-drops-51916},
  doi = {http://dx.doi.org/10.4230/LIPIcs.RTA.2015.89},
  annote = {Keywords: presentation of a category, quotient category, localization, residuation},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_rta2015.pdf},
  slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_rta2015_slides.pdf},
  keywords = {rewriting,conference}
}
@inproceedings{EPTCS183.1,
  author = {Mimram, Samuel},
  year = {2015},
  title = {Presenting Finite Posets},
  editor = {Middeldorp, Aart and Raamsdonk, Femke van},
  booktitle = {{Proceedings 8th International Workshop on}
               Computing with Terms and Graphs,
               {Vienna, Austria, July 13, 2014}},
  series = {Electronic Proceedings in Theoretical Computer Science},
  volume = {183},
  publisher = {Open Publishing Association},
  pages = {1-17},
  doi = {10.4204/EPTCS.183.1},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_popres.pdf},
  keywords = {rewriting,conference}
}
@inproceedings{DBLP:conf/lics/HofmannL17,
  author = {Martin Hofmann and
               Jeremy Ledent},
  title = {A cartesian-closed category for higher-order model checking},
  booktitle = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
               2017, Reykjavik, Iceland, June 20-23, 2017},
  pages = {1--12},
  year = {2017}
}
@inproceedings{conf/adhs/Fahrenberg18,
  author = {Uli Fahrenberg},
  title = {Higher-Dimensional Timed Automata},
  booktitle = {ADHS},
  year = 2018,
  note = {To be published}
}
@inproceedings{cav18,
  author = {Eric Goubault and Sylvie Putot and Lorenz Sahlmann},
  title = {{Inner and Outer Approximating Flowpipes for Delay Differential Equations}},
  booktitle = {30th International Conference on Computer Aided Verification},
  year = 2018,
  series = {Lecture Notes in Computer Science},
  note = {To appear}
}
@inproceedings{fribourg2016topological,
  title = {A Topological Method for Finding Invariant Sets of Switched Systems},
  author = {Fribourg, Laurent and Goubault, Eric and Putot, Sylvie and Mohamed, Sameh},
  booktitle = {Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control},
  pages = {61--70},
  year = {2016},
  organization = {ACM}
}
@inproceedings{HSCC2017,
  author = {Eric Goubault and
               Sylvie Putot},
  title = {Forward Inner-Approximated Reachability of Non-Linear Continuous Systems},
  booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
               Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
               2017},
  pages = {1--10},
  year = {2017}
}
@inproceedings{goubault2014inner,
  title = {Inner approximated reachability analysis},
  author = {Goubault, Eric and Mullier, Olivier and Putot, Sylvie and Kieffer, Michel},
  booktitle = {Proceedings of the 17th international conference on Hybrid systems: computation and control},
  pages = {163--172},
  year = {2014},
  organization = {ACM}
}
@inproceedings{dubut2015natural,
  title = {Natural homology},
  author = {Dubut, J{\'e}r{\'e}my and Goubault, Eric and Goubault-Larrecq, Jean},
  booktitle = {International Colloquium on Automata, Languages, and Programming},
  pages = {171--183},
  year = {2015},
  organization = {Springer}
}
@inproceedings{mimram:catt,
  author = {Eric Finster and Samuel Mimram},
  title = {{A Type-Theoretical Definition of Weak $\omega$-Categories}},
  booktitle = {2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
  year = {2017},
  pages = {1-12},
  doi = {10.1109/LICS.2017.8005124},
  keywords = {rewriting,conference},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_catt.pdf},
  slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_catt_slides.pdf},
  eprint = {1706.02866},
  eprinttype = {arxiv}
}
@inproceedings{malbos_et_al:LIPIcs:2016:5982,
  author = {Philippe Malbos and Samuel Mimram},
  title = {{Homological Computations for Term Rewriting Systems}},
  booktitle = {1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016)},
  pages = {27:1--27:17},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  isbn = {978-3-95977-010-1},
  issn = {1868-8969},
  year = {2016},
  volume = {52},
  editor = {Delia Kesner and Brigitte Pientka},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address = {Dagstuhl, Germany},
  url = {http://drops.dagstuhl.de/opus/volltexte/2016/5982},
  urn = {urn:nbn:de:0030-drops-59821},
  doi = {http://dx.doi.org/10.4230/LIPIcs.FSCD.2016.27},
  annote = {Keywords: term rewriting system, Lawvere theory, Tietze equivalence, resolution, homology, convergent pres entation, coherent presentation},
  keywords = {rewriting,conference},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_trs16.pdf},
  slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_fscd16_slides.pdf}
}
@incollection{gsac,
  year = {2015},
  isbn = {978-3-662-48652-8},
  booktitle = {Distributed Computing},
  volume = {9363},
  series = {Lecture Notes in Computer Science},
  editor = {Moses, Yoram},
  doi = {10.1007/978-3-662-48653-5_29},
  title = {From Geometric Semantics to Asynchronous Computability},
  url = {http://dx.doi.org/10.1007/978-3-662-48653-5_29},
  publisher = {Springer Berlin Heidelberg},
  author = {Goubault, Éric and Mimram, Samuel and Tasson, Christine},
  pages = {436-451},
  language = {English},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_podc2015.pdf},
  slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_disc2015_slides.pdf},
  keywords = {concurrency,conference}
}
@article{Martin2017,
  author = {Martin, Benjamin and Correia, Marco and Cruz, Jorge},
  title = {A certified Branch {\&} Bound approach for reliability-based optimization problems},
  journal = {Journal of Global Optimization},
  year = {2017},
  pages = {1--24},
  issn = {1573-2916},
  doi = {10.1007/s10898-017-0529-6},
  url = {http://dx.doi.org/10.1007/s10898-017-0529-6}
}
@article{Martin2016b,
  title = {Constraint propagation using dominance in interval Branch \& Bound for nonlinear biobjective optimization },
  journal = {European Journal of Operational Research },
  volume = {260},
  number = {3},
  pages = {934 - 948},
  year = {2016},
  note = {},
  issn = {0377-2217},
  doi = {http://dx.doi.org/10.1016/j.ejor.2016.05.045},
  url = {http://www.sciencedirect.com/science/article/pii/S0377221716303824},
  author = {Benjamin Martin and Alexandre Goldsztejn and Laurent Granvilliers and Christophe Jermann}
}
@incollection{DBLP:series/natosec/LarsenFL17,
  author = {Kim G. Larsen and
               Uli Fahrenberg and
               Axel Legay},
  title = {From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis,
               Performance Analysis and Machine Learning},
  booktitle = {Dependable Software Systems Engineering},
  pages = {60--103},
  year = {2017},
  url = {https://doi.org/10.3233/978-1-61499-810-5-60},
  doi = {10.3233/978-1-61499-810-5-60},
  timestamp = {Mon, 15 Jan 2018 00:00:00 +0100},
  biburl = {https://dblp.org/rec/bib/series/natosec/LarsenFL17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/FahrenbergKLT18,
  author = {Uli Fahrenberg and Jan Kret{\'{\i}}nsk{\'{y}} and Axel Legay and Louis{-}Marie Traonouez},
  title = {Compositionality for quantitative specifications},
  journal = {Soft Comput.},
  volume = {22},
  number = {4},
  pages = {1139--1158},
  year = {2018},
  url = {https://doi.org/10.1007/s00500-017-2519-5},
  doi = {10.1007/s00500-017-2519-5},
  timestamp = {Tue, 06 Mar 2018 00:00:00 +0100},
  biburl = {https://dblp.org/rec/bib/journals/soco/FahrenbergKLT18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/EsikFLQ17,
  author = {Zolt{\'{a}}n {\'{E}}sik and
               Uli Fahrenberg and
               Axel Legay and
               Karin Quaas},
  title = {{An Algebraic Approach to Energy Problems {I} -- $*$-Continuous Kleene $\omega$-Algebras}},
  journal = {Acta Cybern.},
  volume = {23},
  number = {1},
  pages = {203--228},
  year = {2017},
  url = {https://doi.org/10.14232/actacyb.23.1.2017.13},
  doi = {10.14232/actacyb.23.1.2017.13},
  timestamp = {Mon, 15 May 2017 01:00:00 +0200},
  biburl = {https://dblp.org/rec/bib/journals/actaC/EsikFLQ17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/EsikFLQ17a,
  author = {Zolt{\'{a}}n {\'{E}}sik and
               Uli Fahrenberg and
               Axel Legay and
               Karin Quaas},
  title = {{An Algebraic Approach to Energy Problems {II} -- The Algebra of Energy Functions}},
  journal = {Acta Cybern.},
  volume = {23},
  number = {1},
  pages = {229--268},
  year = {2017},
  url = {https://doi.org/10.14232/actacyb.23.1.2017.14},
  doi = {10.14232/actacyb.23.1.2017.14},
  timestamp = {Mon, 15 May 2017 01:00:00 +0200},
  biburl = {https://dblp.org/rec/bib/journals/actaC/EsikFLQ17a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LePFL16,
  author = {Thi Thieu Hoa Le and
               Roberto Passerone and
               Ulrich Fahrenberg and
               Axel Legay},
  title = {A tag contract framework for modeling heterogeneous systems},
  journal = {Sci. Comput. Program.},
  volume = {115-116},
  pages = {225--246},
  year = {2016},
  url = {https://doi.org/10.1016/j.scico.2015.06.004},
  doi = {10.1016/j.scico.2015.06.004},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl = {https://dblp.org/rec/bib/journals/scp/LePFL16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/LePFL16,
  author = {Thi Thieu Hoa Le and
               Roberto Passerone and
               Uli Fahrenberg and
               Axel Legay},
  title = {Contract-Based Requirement Modularization via Synthesis of Correct
               Decompositions},
  journal = {{ACM} Trans. Embedded Comput. Syst.},
  volume = {15},
  number = {2},
  pages = {33:1--33:26},
  year = {2016},
  url = {http://doi.acm.org/10.1145/2885752},
  doi = {10.1145/2885752},
  timestamp = {Tue, 03 Jan 2017 00:00:00 +0100},
  biburl = {https://dblp.org/rec/bib/journals/tecs/LePFL16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{panchea2017inverse,
  title = {Inverse Parametric Optimization in a Set-Membership Error-in-Variables Framework},
  author = {Panchea, Adina M and Ramdani, Nacim},
  journal = {IEEE Transactions on Automatic Control},
  volume = {62},
  number = {12},
  pages = {6536--6543},
  year = {2017},
  publisher = {IEEE}
}
@article{goubault:rc2013,
  author = {Olivier Mullier and Eric Goubault and Michel Kieffer and Sylvie Putot},
  title = {{General Inner Approximation of Vector-valued Functions}},
  journal = {Reliable Computing},
  year = {2013},
  volume = {18},
  pages = {117-143}
}
@article{mimram:views,
  author = {Goubault, {\'E}ric and Mimram, Samuel and Tasson, Christine},
  title = {Geometric and combinatorial views on asynchronous computability},
  journal = {Distributed Computing},
  year = {2018},
  issn = {1432-0452},
  doi = {10.1007/s00446-018-0328-4},
  url = {https://doi.org/10.1007/s00446-018-0328-4},
  keywords = {journal,concurrency},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_views.pdf}
}
@article{apcs14,
  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},
  author = {Éric Goubault and Samuel Mimram and Christine Tasson},
  pages = {1--42},
  language = {English},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_subdivision.pdf},
  keywords = {concurrency,journal}
}
@article{haucourt2017geometry,
  title = {The geometry of conservative programs},
  author = {Haucourt, Emmanuel},
  journal = {Mathematical Structures in Computer Science},
  pages = {1--47},
  year = {2017},
  publisher = {Cambridge University Press}
}
@article{mimram:cohpres,
  title = {{Coherent Presentations of Monoidal Categories}},
  author = {Curien, Pierre-Louis and Mimram, Samuel},
  url = {http://lmcs.episciences.org/3955},
  doi = {10.23638/LMCS-13(3:31)2017},
  journal = {{Logical Methods in Computer Science}},
  volume = {13},
  number = {3},
  year = {2017},
  keywords = {rewriting,journal},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_monprescoh.pdf},
  eprint = {1705.03553},
  eprinttype = {arxiv},
  hal_id = {hal-01662524}
}
@article{Goubault2015,
  author = {Goubault, Eric
and Putot, Sylvie},
  title = {A zonotopic framework for functional abstractions},
  journal = {Formal Methods in System Design},
  year = {2015},
  volume = {47},
  number = {3},
  pages = {302--360},
  issn = {1572-8102},
  doi = {10.1007/s10703-015-0238-z},
  url = {https://doi.org/10.1007/s10703-015-0238-z}
}
@article{dubut2017directed,
  title = {Directed homology theories and Eilenberg-Steenrod axioms},
  author = {Dubut, J{\'e}r{\'e}my and Goubault, Eric and Goubault-Larrecq, Jean},
  journal = {Applied Categorical Structures},
  volume = {25},
  number = {5},
  pages = {775--807},
  year = {2017},
  publisher = {Springer}
}
@unpublished{cat0,
  author = {\'Eric Goubault and Samuel Mimram},
  title = {{Directed homotopy in non-positively curved spaces}},
  note = {Submitted},
  year = {2016}
}
@book{leinster2004higher,
  title = {Higher operads, higher categories},
  author = {Leinster, Tom},
  volume = {298},
  year = {2004},
  publisher = {Cambridge University Press}
}
@unpublished{h18,
  author = {Emmanuel Haucourt},
  title = {Unique decomposition of homogeneous languages and application to isothetic regions},
  note = {To appear in \emph{Mathematical Structures in Computer Science}},
  year = {2018}
}
@unpublished{forest:fscd,
  author = {Simon Forest and Samuel Mimram},
  title = {Coherence of Gray categories via rewriting},
  note = {To appear in the proceedings of \emph{FSCD}},
  year = {2018}
}
@proceedings{DBLP:conf/icse/2017formalise,
  title = {5th {IEEE/ACM} International {FME} Workshop on Formal Methods in Software
               Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27,
               2017},
  publisher = {{IEEE}},
  year = {2017},
  url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7965807},
  isbn = {978-1-5386-0422-9},
  timestamp = {Mon, 17 Jul 2017 17:32:04 +0200},
  biburl = {https://dblp.org/rec/bib/conf/icse/2017formalise},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{mimram:hdr,
  author = {Samuel Mimram},
  title = {{Geometric Models of Concurrent Computations}},
  school = {Université Paris Diderot -- Paris 7},
  year = {2016},
  note = {Habilitation à diriger des recherches}
}
@misc{haucourt:hdr,
  author = {Emmanuel Haucourt},
  title = {{Some Invariants of Directed Topology towards a Static Analyzer Dealing with Fine-Grain Concurrency}},
  school = {Université Paris Diderot -- Paris 7},
  year = {2016},
  note = {Habilitation à diriger des recherches}
}
@misc{sagnier:icm,
  author = {Aurélien Sagnier},
  title = {International Congress of Mathematicians},
  year = {2018},
  note = {Invited short communication}
}
@misc{goubault:sas13,
  optkey = {},
  author = {\'Eric Goubault},
  title = {{Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT}},
  opthowpublished = {},
  optmonth = {},
  year = {2013},
  note = {Invited conference at SAS 2013},
  optannote = {}
}
@book{datcc,
  author = {Lisbeth Fajstrup and {\'E}ric Goubault and Emmanuel Haucourt and Samuel Mimram and Martin Raussen},
  title = {{Directed Algebraic Topology and Concurrency}},
  publisher = {Springer International Publishing},
  year = {2016},
  doi = {10.1007/978-3-319-15398-8},
  isbn = {978-3-319-15397-1},
  url = {http://www.springer.com/fr/book/9783319153971},
  keywords = {concurrency,book}
}
@book{datc,
  author = {Lisbeth Fajstrup and {\'E}ric Goubault and Emmanuel Haucourt and Samuel Mimram and Martin Raussen},
  title = {{Directed Algebraic Topology and Concurrency}},
  publisher = {Springer International Publishing},
  year = {2016},
  doi = {10.1007/978-3-319-15398-8},
  isbn = {978-3-319-15397-1},
  url = {http://www.springer.com/fr/book/9783319153971},
  keywords = {concurrency,book}
}
@proceedings{DBLP:conf/sac/2017,
  editor = {Ahmed Seffah and
               Birgit Penzenstadler and
               Carina Alves and
               Xin Peng},
  title = {Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech,
               Morocco, April 3-7, 2017},
  publisher = {{ACM}},
  year = {2017},
  url = {http://doi.acm.org/10.1145/3019612},
  doi = {10.1145/3019612},
  isbn = {978-1-4503-4486-9},
  timestamp = {Tue, 30 May 2017 13:26:11 +0200},
  biburl = {https://dblp.org/rec/bib/conf/sac/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sofsem/2017,
  editor = {Bernhard Steffen and
               Christel Baier and
               Mark van den Brand and
               Johann Eder and
               Mike Hinchey and
               Tiziana Margaria},
  title = {{SOFSEM} 2017: Theory and Practice of Computer Science - 43rd International
               Conference on Current Trends in Theory and Practice of Computer Science,
               Limerick, Ireland, January 16-20, 2017, Proceedings},
  series = {Lecture Notes in Computer Science},
  volume = {10139},
  publisher = {Springer},
  year = {2017},
  url = {https://doi.org/10.1007/978-3-319-51963-0},
  doi = {10.1007/978-3-319-51963-0},
  isbn = {978-3-319-51962-3},
  timestamp = {Tue, 23 May 2017 01:08:03 +0200},
  biburl = {https://dblp.org/rec/bib/conf/sofsem/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/splc/2016,
  editor = {Hong Mei},
  title = {Proceedings of the 20th International Systems and Software Product
               Line Conference, {SPLC} 2016, Beijing, China, September 16-23, 2016},
  publisher = {{ACM}},
  year = 2016,
  url = {http://dl.acm.org/citation.cfm?id=2934466},
  isbn = {978-1-4503-4050-2},
  timestamp = {Wed, 28 Sep 2016 07:59:47 +0200},
  biburl = {https://dblp.org/rec/bib/conf/splc/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{dubut2016directed,
  title = {The directed homotopy hypothesis},
  author = {Dubut, J{\'e}r{\'e}my and Goubault, Eric and Goubault-Larrecq, Jean},
  booktitle = {LIPIcs-Leibniz International Proceedings in Informatics},
  volume = {62},
  year = {2016},
  organization = {Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik}
}
@misc{mimram:isr,
  optkey = {},
  author = {Samuel Mimram},
  title = {9th International School on Rewriting},
  opthowpublished = {},
  optmonth = {},
  year = {2017},
  note = {Course},
  optannote = {}
}
@misc{mimram:acat,
  optkey = {},
  author = {Samuel Mimram},
  title = {Applied and Computational Algebraic Topology spring school},
  opthowpublished = {},
  optmonth = {},
  year = {2017},
  note = {Course},
  optannote = {}
}
@misc{haucourt:idatc,
  author = {Emmanuel Haucourt},
  title = {{Introduction to Directed Algebraic Topology with a view towards modelling Concurrency}},
  opthowpublished = {},
  optmonth = {},
  year = {2014},
  note = {Course at Mathematical Structures of Computation conference},
  optannote = {}
}
@phdthesis{mohaled:phd,
  author = {Sameh Mohamed},
  title = {{Une méthode topologique pour la recherche d’ensembles invariants de systèmes continus et à communtation}},
  school = {École Polytechnique and ENS Paris-Saclay},
  year = {2016},
  optkey = {},
  opttype = {},
  optaddress = {},
  optmonth = {},
  optnote = {},
  optannote = {}
}
@phdthesis{djoudi:phd,
  author = {Adel Djoudi},
  title = {{Binary level static analysis}},
  school = {École Polytechnique},
  year = {2016},
  optkey = {},
  opttype = {},
  optaddress = {},
  optmonth = {},
  optnote = {},
  optannote = {}
}
@phdthesis{dubut:phd,
  author = {Jérémy Dubut},
  title = {Directed homotopy and homology theories for geometric models of true concurrency},
  school = {ENS Paris-Saclay and École Polytechnique},
  year = {2017},
  optkey = {},
  opttype = {},
  optaddress = {},
  optmonth = {},
  optnote = {},
  optannote = {}
}
@phdthesis{ninin:phd,
  author = {Nicolas Ninin},
  title = {Factorisation des régions cubiques et application à la concurrence},
  school = {École Polytechnique},
  year = {2017},
  optkey = {},
  opttype = {},
  optaddress = {},
  optmonth = {},
  optnote = {},
  optannote = {}
}