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 = {}
}