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 = {}
}
@comment{{This file has been generated by bib2bib 1.99}}
@comment{{Command line: bib2bib assets/full-lix.bib -c 'keywords : "COSYNUS"'}}
@misc{crepon:hal-01737026,
author = {Cr{\'e}pon, Elise and {Panchea}, {Adina M} and Chapoutot, Alexandre},
title = {{Reliable navigation planning implementation on a two-wheeled mobile robot}},
url = {https://hal.science/hal-01737026},
note = {Poster},
howpublished = {{The Second IEEE International Conference on Robotic Computing}},
year = {2018},
month = {January},
doi = {10.1109/IRC.2018.00035},
file = {https://hal.science/hal-01737026/file/root.pdf},
pdf = {https://hal.science/hal-01737026/document},
hal_id = {hal-01737026},
hal_version = {v1},
x-proceedings = {no},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,poster}
}
@incollection{goubault:hal-02633087,
author = {{Goubault}, {Eric} and {Putot}, {Sylvie} and Sahlmann, Lorenz},
editor = {Chockler, Hana and Weissenbacher, Georg},
title = {{Inner and Outer Approximating Flowpipes for Delay Differential Equations}},
url = {https://hal.science/hal-02633087},
booktitle = {{Computer Aided Verification. 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II}},
publisher = {{Springer}},
pages = {523-541},
year = {2018},
doi = {10.1007/978-3-319-96142-2\\\_31},
pdf = {https://hal.science/hal-02633087/document},
hal_id = {hal-02633087},
hal_version = {v1},
x-international-audience = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,chapter}
}
@article{goubault:hal-02155487,
author = {{Goubault}, {Eric} and {Mimram}, {Samuel} and Tasson, Christine},
title = {{Geometric and combinatorial views on asynchronous computability}},
url = {https://inria.hal.science/hal-02155487},
journal = {{Distributed Computing}},
publisher = {{Springer Verlag}},
volume = {31},
number = {4},
pages = {289-316},
year = {2018},
month = {August},
doi = {10.1007/s00446-018-0328-4},
file = {https://inria.hal.science/hal-02155487/file/mimram\\\_views.pdf},
pdf = {https://inria.hal.science/hal-02155487/document},
hal_id = {hal-02155487},
hal_version = {v1},
x-international-audience = {yes},
x-editorial-board = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,journal}
}
@inproceedings{frehse:hal-04465125,
author = {Frehse, Goran and Abate, Alessandro and Adzkiya, Dieky and Becchi, Anna and Bu, Lei and Cimatti, Alessandro and Giacobbe, Mirco and Griggio, Alberto and {Mover}, {Sergio} and Mufid, Muhammad Syifa'Ul and Riouak, Idriss and Tonetta, Stefano and Zaffanella, Enea},
title = {{ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics}},
url = {https://hal.science/hal-04465125},
booktitle = {{ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems}},
address = {Montreal (Canada), Canada},
pages = {1--13},
year = {2019},
month = {April},
doi = {10.29007/RJWN},
hal_id = {hal-04465125},
hal_version = {v1},
x-proceedings = {yes},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@inproceedings{cirisci:hal-04465397,
author = {{Cirisci}, {Berk} and {Enea}, {Constantin} and Mutluergil, Suha Orhun},
title = {{Quorum Tree Abstractions of Consensus Protocols}},
url = {https://hal.science/hal-04465397},
booktitle = {{Programming Languages and Systems - 32nd European Symposium on Programming, {ESOP} 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27, 2023, Proceedings}},
address = {Paris, France},
publisher = {{Springer Nature Switzerland}},
series = {Lecture Notes in Computer Science},
volume = {13990},
pages = {337-362},
year = {2023},
month = {April},
doi = {10.1007/978-3-031-30044-8\\\_13},
file = {https://hal.science/hal-04465397/file/esop23.pdf},
pdf = {https://hal.science/hal-04465397/document},
hal_id = {hal-04465397},
hal_version = {v1},
x-proceedings = {no},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@inproceedings{attiya:hal-04465413,
author = {Attiya, Hagit and {Enea}, {Constantin} and Nassar, Shafik},
title = {{Faithful Simulation of Randomized BFT Protocols on Block DAGs}},
url = {https://hal.science/hal-04465413},
booktitle = {{34th International Conference on Concurrency Theory, {CONCUR} 2023,}},
address = {Antwerp, Belgium},
publisher = {{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}},
year = {2023},
month = {September},
doi = {10.4230/LIPIcs.CONCUR.2023.27},
pdf = {https://hal.science/hal-04465413/document},
hal_id = {hal-04465413},
hal_version = {v1},
x-proceedings = {yes},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@article{forest:hal-02051506,
author = {{Forest}, {Simon}},
title = {{Unifying notions of pasting diagrams}},
url = {https://hal.science/hal-02051506},
note = {\url{https://arxiv.org/abs/1903.00282}},
journal = {{Higher Structures}},
publisher = {{Macquarie University }},
volume = {6},
number = {1},
pages = {1-79},
year = {2022},
month = {July},
doi = {10.21136/HS.2022.01},
file = {https://hal.science/hal-02051506v2/file/article.pdf},
pdf = {https://hal.science/hal-02051506v2/document},
hal_id = {hal-02051506},
hal_version = {v2},
x-international-audience = {yes},
x-editorial-board = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,journal}
}
@phdthesis{ledent:tel-02445180,
author = {{Ledent}, {J{\'e}r{\'e}my}},
title = {{Geometric semantics for asynchronous computability}},
url = {https://theses.hal.science/tel-02445180},
number = {2019SACLX099},
school = {{Universit{\'e} Paris Saclay (COmUE)}},
year = {2019},
month = {December},
file = {https://theses.hal.science/tel-02445180/file/83608\\\_LEDENT\\\_2019\\\_archivage.pdf},
type = {Theses},
pdf = {https://theses.hal.science/tel-02445180/document},
hal_id = {tel-02445180},
hal_version = {v1},
keywords = {COSYNUS,phd}
}
@incollection{mover:hal-03533919,
author = {{Mover}, {Sergio} and Cimatti, Alessandro and Griggio, Alberto and Irfan, Ahmed and Tonetta, Stefano},
title = {{Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems}},
url = {https://inria.hal.science/hal-03533919},
booktitle = {{Computer Aided Verification}},
publisher = {{Springer International Publishing}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {529-551},
year = {2021},
month = {July},
doi = {10.1007/978-3-030-81685-8\\\\_25},
file = {https://inria.hal.science/hal-03533919/file/cav20\\\_extended.pdf},
pdf = {https://inria.hal.science/hal-03533919/document},
hal_id = {hal-03533919},
hal_version = {v1},
x-international-audience = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,chapter}
}
@inproceedings{zadem:hal-03600799,
author = {{Zadem}, {Mehdi} and {Mover}, {Sergio} and Nguyen, Sao Mai and {Putot}, {Sylvie}},
title = {{Towards Automata-Based Abstraction of Goals in Hierarchical Reinforcement Learning}},
url = {https://hal.science/hal-03600799},
booktitle = {{Intrinsically Motivated Open-ended Learning IMOL 2022}},
address = {T{\"u}bingen, Germany},
year = {2022},
month = {April},
file = {https://hal.science/hal-03600799/file/bare\\\_conf.pdf},
pdf = {https://hal.science/hal-03600799/document},
hal_id = {hal-03600799},
hal_version = {v1},
x-proceedings = {no},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@inproceedings{benjamin:hal-04337467,
author = {{Benjamin}, {Thibaut} and Finster, Eric and {Mimram}, {Samuel}},
title = {{Globular weak $\omega$-categories as models of a type theory}},
url = {https://hal.science/hal-04337467},
booktitle = {{Workshop on Homotopy Type Theory / Univalent Foundations}},
address = {The Internet, Argentina},
year = {2021},
month = {July},
file = {https://hal.science/hal-04337467/file/HoTTUF\\\_2021\\\_paper\\\_12.pdf},
pdf = {https://hal.science/hal-04337467/document},
hal_id = {hal-04337467},
hal_version = {v1},
x-proceedings = {no},
x-international-audience = {yes},
x-editorial-board = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@phdthesis{benjamin:tel-03106197,
author = {{Benjamin}, {Thibaut}},
title = {{A type theoretic approach to weak w-categories and related higher structures}},
url = {https://theses.hal.science/tel-03106197},
number = {2020IPPAX077},
school = {{Institut Polytechnique de Paris}},
year = {2020},
month = {November},
file = {https://theses.hal.science/tel-03106197/file/94836\\\_BENJAMIN\\\_2020\\\_archivage.pdf},
type = {Theses},
pdf = {https://theses.hal.science/tel-03106197/document},
hal_id = {tel-03106197},
hal_version = {v1},
keywords = {COSYNUS,phd}
}
@phdthesis{forest:tel-03155192,
author = {{Forest}, {Simon}},
title = {{Computational descriptions of higher categories}},
url = {https://theses.hal.science/tel-03155192},
number = {2021IPPAX003},
school = {{Institut Polytechnique de Paris}},
year = {2021},
month = {January},
file = {https://theses.hal.science/tel-03155192/file/93720\\\_FOREST\\\_2021\\\_archivage.pdf},
type = {Theses},
pdf = {https://theses.hal.science/tel-03155192/document},
hal_id = {tel-03155192},
hal_version = {v1},
keywords = {COSYNUS,phd}
}
@incollection{goubault:hal-03800396,
author = {{Goubault}, {Eric} and Palumby, S{\'e}bastien and {Putot}, {Sylvie} and Rustenholz, Louis and Sankaranarayanan, Sriram},
title = {{Static Analysis of ReLU Neural Networks with Tropical Polyhedra}},
url = {https://hal.science/hal-03800396},
booktitle = {{Static Analysis}},
publisher = {{Springer International Publishing}},
series = {Lecture Notes in Computer Science},
volume = {12913},
pages = {166-190},
year = {2021},
month = {October},
doi = {10.1007/978-3-030-88806-0\\\_8},
file = {https://hal.science/hal-03800396/file/sas21-3.pdf},
pdf = {https://hal.science/hal-03800396/document},
hal_id = {hal-03800396},
hal_version = {v1},
x-international-audience = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,chapter}
}
@inproceedings{vianna:hal-03970541,
author = {{Vianna}, {Maria Luiza Costa} and {Goubault}, {Eric} and Jaulin, Luc and {Putot}, {Sylvie}},
title = {{Estimating the Coverage Measure and the Area Explored by a Side-Scan Sonar}},
url = {https://ensta-bretagne.hal.science/hal-03970541},
booktitle = {{OCEANS 2022, Hampton Roads}},
address = {Hampton Roads, United States},
publisher = {{IEEE}},
volume = {2022},
pages = {1-6},
year = {2022},
month = {October},
doi = {10.1109/OCEANS47191.2022.9977121},
hal_id = {hal-03970541},
hal_version = {v1},
x-proceedings = {yes},
x-international-audience = {yes},
x-editorial-board = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@inproceedings{goubault:hal-04470455,
author = {{Goubault}, {{\'E}ric} and {Ledent}, {J{\'e}r{\'e}my} and {Mimram}, {Samuel}},
title = {{Brief Announcement: On the Impossibility of Detecting Concurrency}},
url = {https://polytechnique.hal.science/hal-04470455},
booktitle = {{DISC}},
address = {New Orleans, United States},
year = {2018},
month = {October},
doi = {10.4230/LIPIcs.DISC.2018.50},
file = {https://polytechnique.hal.science/hal-04470455/file/LIPIcs.DISC.2018.50.pdf},
pdf = {https://polytechnique.hal.science/hal-04470455/document},
hal_id = {hal-04470455},
hal_version = {v1},
x-proceedings = {no},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@article{hothanh:hal-04244406,
author = {Ho Thanh, C{\'e}dric and Curien, Pierre-Louis and {Mimram}, {Samuel}},
title = {{Type theoretical approaches to opetopes}},
url = {https://hal.science/hal-04244406},
journal = {{Higher Structures}},
publisher = {{Macquarie University }},
volume = {6},
number = {1},
pages = {80 - 181},
year = {2022},
month = {July},
doi = {10.21136/hs.2022.02},
file = {https://hal.science/hal-04244406/file/CurHoTMim.pdf},
licence = {Attribution},
pdf = {https://hal.science/hal-04244406/document},
hal_id = {hal-04244406},
hal_version = {v1},
x-international-audience = {yes},
x-editorial-board = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,journal}
}
@inproceedings{mimram:hal-04244509,
author = {{Mimram}, {Samuel} and {Oleon}, {{\'E}mile}},
editor = {Felty, Amy P.},
title = {{Division by Two, in Homotopy Type Theory}},
url = {https://hal.science/hal-04244509},
booktitle = {{7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)}},
address = {Haifa, Israel},
publisher = {{Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik}},
volume = {228},
pages = {10},
year = {2022},
month = {August},
doi = {10.4230/LIPIcs.FSCD.2022.11},
pdf = {https://hal.science/hal-04244509/document},
hal_id = {hal-04244509},
hal_version = {v1},
x-proceedings = {yes},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@article{henry:hal-04244388,
author = {Henry, Simon and {Mimram}, {Samuel}},
title = {{Tietze Equivalences as Weak Equivalences}},
url = {https://hal.science/hal-04244388},
note = {\url{https://arxiv.org/abs/2101.03591}},
journal = {{Applied Categorical Structures}},
publisher = {{Springer Verlag (Germany)}},
volume = {30},
number = {3},
pages = {453-483},
year = {2022},
month = {June},
doi = {10.1007/s10485-021-09662-w},
file = {https://hal.science/hal-04244388/file/mimram\\\_tietze.pdf},
licence = {Attribution},
pdf = {https://hal.science/hal-04244388/document},
hal_id = {hal-04244388},
hal_version = {v1},
x-international-audience = {yes},
x-editorial-board = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,journal}
}
@book{mimram:hal-04244392,
author = {{Mimram}, {Samuel} and Beauxis, Romain},
title = {{The Liquidsoap book}},
url = {https://inria.hal.science/hal-04244392},
year = {2021},
licence = {Attribution},
hal_id = {hal-04244392},
hal_version = {v1},
x-international-audience = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,book}
}
@article{djeumou:hal-04336315,
author = {Djeumou, Franck and Vinod, Abraham P and {Goubault}, {Eric} and {Putot}, {Sylvie} and Topcu, Ufuk},
title = {{On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through Reachability}},
url = {https://polytechnique.hal.science/hal-04336315},
journal = {{IEEE Transactions on Automatic Control}},
publisher = {{Institute of Electrical and Electronics Engineers}},
volume = {68},
pages = {4857 - 4872},
year = {2023},
month = {August},
doi = {10.1109/tac.2022.3217260},
file = {https://polytechnique.hal.science/hal-04336315/file/2011.05524.pdf},
pdf = {https://polytechnique.hal.science/hal-04336315/document},
hal_id = {hal-04336315},
hal_version = {v1},
x-international-audience = {yes},
x-editorial-board = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,journal}
}
@phdthesis{bidet:tel-04095082,
author = {{Bidet}, {Fran{\c c}ois}},
title = {{Reachability analysis with Lebesgue-integrable time-varying uncertainties}},
url = {https://theses.hal.science/tel-04095082},
number = {2022IPPAX060},
school = {{Institut Polytechnique de Paris}},
year = {2022},
month = {September},
file = {https://theses.hal.science/tel-04095082/file/101037\\\_BIDET\\\_2022\\\_archivage.pdf},
type = {Theses},
pdf = {https://theses.hal.science/tel-04095082/document},
hal_id = {tel-04095082},
hal_version = {v1},
keywords = {COSYNUS,phd}
}
@unpublished{goubault:hal-01970569,
author = {{Goubault}, {Eric} and {Sagnier}, {Aur{\'e}lien} and F{\"a}rber, Michael},
title = {{Directed topological complexity}},
url = {https://hal.science/hal-01970569},
note = {working paper or preprint},
year = {2019},
month = {January},
file = {https://hal.science/hal-01970569/file/article\\\_dirtc.pdf},
pdf = {https://hal.science/hal-01970569/document},
hal_id = {hal-01970569},
hal_version = {v1},
keywords = {COSYNUS,unpublished}
}
@inproceedings{forest:hal-02154822,
author = {{Forest}, {Simon} and {Mimram}, {Samuel}},
title = {{Coherence of Gray Categories via Rewriting}},
url = {https://hal.science/hal-02154822},
booktitle = {{3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)}},
address = {Oxford, United Kingdom},
publisher = {{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}},
series = {3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018).},
volume = {108},
year = {2018},
month = {July},
doi = {10.4230/LIPIcs.FSCD.2018.15},
licence = {Attribution},
pdf = {https://hal.science/hal-02154822/document},
hal_id = {hal-02154822},
hal_version = {v1},
x-proceedings = {yes},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@article{goubault:hal-03800457,
author = {{Goubault}, {Eric} and {Putot}, {Sylvie}},
title = {{Tractable higher-order under-approximating AE extensions for non-linear systems}},
url = {https://hal.science/hal-03800457},
journal = {{IFAC-PapersOnLine}},
publisher = {{Elsevier}},
volume = {54},
number = {5},
pages = {235 - 240},
year = {2021},
doi = {10.1016/j.ifacol.2021.08.504},
pdf = {https://hal.science/hal-03800457/document},
hal_id = {hal-03800457},
hal_version = {v1},
x-international-audience = {yes},
x-editorial-board = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,journal}
}
@inproceedings{bouajjani:hal-04465421,
author = {Bouajjani, Ahmed and {Enea}, {Constantin} and Rom{\'a}n-Calvo, Enrique},
editor = {Hicks, Michael},
title = {{Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels}},
url = {https://hal.science/hal-04465421},
booktitle = {{Programming Language Design and Implementation Conference}},
address = {Orlando (FL), United States},
organization = {{Association for Computing Machinery}},
publisher = {{ACM}},
volume = {7},
number = {PLDI},
pages = {565-590},
year = {2023},
month = {June},
doi = {10.1145/3591243},
pdf = {https://hal.science/hal-04465421/document},
hal_id = {hal-04465421},
hal_version = {v1},
x-proceedings = {yes},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@inproceedings{goubault:hal-04470251,
author = {{Goubault}, {{\'E}ric} and Lazi{\'c}, Marijana and {Ledent}, {J{\'e}r{\'e}my} and {Rajsbaum}, {Sergio}},
title = {{Wait-Free Solvability of Equality Negation Tasks}},
url = {https://polytechnique.hal.science/hal-04470251},
booktitle = {{DISC}},
address = {Budapest, Hungary},
publisher = {{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}},
year = {2019},
month = {October},
doi = {10.4230/LIPIcs.DISC.2019.21},
hal_id = {hal-04470251},
hal_version = {v1},
x-proceedings = {no},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@inproceedings{haucourt:hal-04428919,
author = {{Haucourt}, {Emmanuel} and {Coursolle}, {Pierre-Yves}},
title = {{Colimits of local orders}},
url = {https://hal.science/hal-04428919},
booktitle = {{GETCO 2022 : 11th International Conference on Geometric and Topological Methods in Computer Science}},
address = {Paris, France},
year = {2022},
month = {May},
hal_id = {hal-04428919},
hal_version = {v1},
x-proceedings = {no},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@inproceedings{cirisci:hal-04465388,
author = {{Cirisci}, {Berk} and {Enea}, {Constantin} and Farzan, Azadeh and Mutluergil, Suha Orhun},
title = {{A Pragmatic Approach to Stateful Partial Order Reduction}},
url = {https://hal.science/hal-04465388},
booktitle = {{24th International Conference Interpretation Verification, Model Checking, and Abstract (VMCAI 2023)}},
address = {Boston, United States},
publisher = {{Springer Nature Switzerland}},
series = {Lecture Notes in Computer Science},
volume = {13881},
pages = {129-154},
year = {2023},
month = {January},
doi = {10.1007/978-3-031-24950-1\\\_7},
file = {https://hal.science/hal-04465388/file/vmcai23.pdf},
pdf = {https://hal.science/hal-04465388/document},
hal_id = {hal-04465388},
hal_version = {v1},
x-proceedings = {yes},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@unpublished{forest:hal-03877507,
author = {{Forest}, {Simon} and {Mimram}, {Samuel}},
title = {{Free precategories as presheaf categories}},
url = {https://amu.hal.science/hal-03877507},
note = {working paper or preprint},
year = {2022},
month = {November},
file = {https://amu.hal.science/hal-03877507/file/article.pdf},
pdf = {https://amu.hal.science/hal-03877507/document},
hal_id = {hal-03877507},
hal_version = {v1},
keywords = {COSYNUS,unpublished}
}
@unpublished{haucourt:hal-04143115,
author = {{Haucourt}, {Emmanuel}},
title = {{Non-Hausdorff parallelized manifolds over geometric models of conservative programs}},
url = {https://hal.science/hal-04143115},
note = {working paper or preprint},
year = {2023},
month = {June},
doi = {10.1017/xxxxx},
file = {https://hal.science/hal-04143115/file/blowupMSCS.pdf},
pdf = {https://hal.science/hal-04143115/document},
hal_id = {hal-04143115},
hal_version = {v1},
keywords = {COSYNUS,unpublished}
}
@article{forest:hal-04244411,
author = {{Forest}, {Simon} and {Mimram}, {Samuel}},
title = {{Rewriting in Gray categories with applications to coherence}},
url = {https://hal.science/hal-04244411},
note = {\url{https://arxiv.org/abs/2109.05369}},
journal = {{Mathematical Structures in Computer Science}},
publisher = {{Cambridge University Press (CUP)}},
volume = {32},
number = {5},
pages = {574-647},
year = {2022},
doi = {10.1017/S0960129522000299},
file = {https://hal.science/hal-04244411/file/mimram\\\_gray\\\_rewr.pdf},
licence = {Attribution},
pdf = {https://hal.science/hal-04244411/document},
hal_id = {hal-04244411},
hal_version = {v1},
x-international-audience = {yes},
x-editorial-board = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,journal}
}
@inproceedings{kabi:hal-03113053,
author = {{Kabi}, {Bibek} and {Goubault}, {Eric} and Min{\'e}, Antoine and {Putot}, {Sylvie}},
title = {{Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants}},
url = {https://hal.science/hal-03113053},
booktitle = {{13th International Workshop on Numerical Software Verification (NSV'20)}},
address = {Los Angeles, CA, United States},
publisher = {{Springer}},
series = {Lecture Notes in Computer Science},
volume = {12549},
pages = {221-238},
year = {2020},
month = {July},
doi = {10.1007/978-3-030-63618-0},
file = {https://hal.science/hal-03113053/file/main.pdf},
pdf = {https://hal.science/hal-03113053/document},
hal_id = {hal-03113053},
hal_version = {v1},
x-proceedings = {yes},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@misc{fahrenberg:hal-01406603,
author = {{Fahrenberg}, {Uli} and Legay, Axel},
title = {{A linear-time--branching-time spectrum for behavioral specification theories}},
url = {https://inria.hal.science/hal-01406603},
note = {We propose behavioral specification theories for most equivalences in the linear-time--branching-time spectrum},
publisher = {{Elsevier}},
volume = {110},
pages = {100499 -},
year = {2020},
month = {January},
doi = {10.1016/j.jlamp.2019.100499},
file = {https://inria.hal.science/hal-01406603/file/S2352220819300707.pdf},
licence = {Attribution - NonCommercial},
pdf = {https://inria.hal.science/hal-01406603/document},
hal_id = {hal-01406603},
hal_version = {v1},
x-scientific-popularization = {no},
keywords = {COSYNUS,unknown}
}
@inproceedings{calk:hal-03334734,
author = {{Calk}, {Cameron} and {Goubault}, {Eric} and Malbos, Philippe},
title = {{Abstract strategies and coherence}},
url = {https://hal.science/hal-03334734},
booktitle = {{19th International Conference on Relational and Algebraic Methods in Computer Science RAMICS 2021}},
address = {Marseille, France},
year = {2021},
month = {November},
file = {https://hal.science/hal-03334734/file/abstractCoherence.pdf},
pdf = {https://hal.science/hal-03334734/document},
hal_id = {hal-03334734},
hal_version = {v1},
x-proceedings = {no},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@article{fribourg:hal-02632632,
author = {Fribourg, Laurent and {Goubault}, {Eric} and Mohamed, Sameh and Mrozek, Marian and {Putot}, {Sylvie}},
title = {{A topological method for finding invariant sets of continuous systems}},
url = {https://hal.science/hal-02632632},
journal = {{Information and Computation}},
publisher = {{Elsevier}},
pages = {104581},
year = {2020},
month = {March},
doi = {10.1016/j.ic.2020.104581},
hal_id = {hal-02632632},
hal_version = {v1},
x-international-audience = {yes},
x-editorial-board = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,journal}
}
@inproceedings{meier:hal-04435098,
author = {Meier, Shawn and {Mover}, {Sergio} and Chang, Bor-Yuh Evan},
title = {{Lifestate: Event-Driven Protocols and Callback Control Flow}},
url = {https://hal.science/hal-04435098},
note = {\url{https://arxiv.org/abs/1906.04924}},
booktitle = {{33rd European Conference on Object-Oriented Programming, {ECOOP} 2019}},
address = {London, United Kingdom},
publisher = {{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}},
volume = {134},
year = {2019},
month = {July},
doi = {10.4230/LIPICS.ECOOP.2019.1},
file = {https://hal.science/hal-04435098/file/ecoop\\\_19.pdf},
pdf = {https://hal.science/hal-04435098/document},
hal_id = {hal-04435098},
hal_version = {v1},
x-proceedings = {yes},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@inproceedings{li:hal-03749355,
author = {{Li}, {Nan} and {Goubault}, {Eric} and Pautet, Laurent and Putot, S.},
title = {{Autonomous racecar control in head-to-head competition using Mixed-Integer Quadratic Programming}},
url = {https://hal.science/hal-03749355},
booktitle = {{Opportunities and challenges with autonomous racing, 2021 ICRA workshop}},
address = {Online, United States},
year = {2021},
month = {May},
file = {https://hal.science/hal-03749355/file/Nan\\\_Li-AutoRacingMIQP-OCAR\\\_ICRA\\\_2021.pdf},
pdf = {https://hal.science/hal-03749355/document},
hal_id = {hal-03749355},
hal_version = {v1},
x-proceedings = {no},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@inproceedings{sankaranarayanan:hal-04465076,
author = {Sankaranarayanan, Sriram and Dutta, Souradeep and {Mover}, {Sergio}},
title = {{Reaching Out Towards Fully Verified Autonomous Systems}},
url = {https://hal.science/hal-04465076},
booktitle = {{Reachability Problems}},
address = {Brussels (Belgium), France},
publisher = {{Springer International Publishing}},
series = {Lecture Notes in Computer Science},
volume = {11674},
pages = {22-32},
year = {2019},
month = {September},
doi = {10.1007/978-3-030-30806-3\\\_3},
file = {https://hal.science/hal-04465076/file/rp\\\_2019.pdf},
pdf = {https://hal.science/hal-04465076/document},
hal_id = {hal-04465076},
hal_version = {v1},
x-proceedings = {yes},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@misc{enea:hal-04465435,
author = {{Enea}, {Constantin} and Lal, Akash},
title = {{Computer Aided Verification - 35th International Conference, {CAV} 2023, Paris, France, July 17-22, 2023, Proceedings, Part {I}}},
url = {https://hal.science/hal-04465435},
howpublished = {{Computer Aided Verification - 35th International Conference, {CAV} 2023, Paris, France, July 17-22, 2023, Proceedings, Part {I}}},
publisher = {{Springer Nature Switzerland}},
series = {Lecture Notes in Computer Science},
volume = {13964},
year = {2023},
doi = {10.1007/978-3-031-37706-8},
hal_id = {hal-04465435},
hal_version = {v1},
keywords = {COSYNUS,proceedings}
}
@inproceedings{zadem:hal-04201363,
author = {{Zadem}, {Mehdi} and {Mover}, {Sergio} and Nguyen, Sao Mai},
title = {{Goal Space Abstraction in Hierarchical Reinforcement Learning via Reachability Analysis}},
url = {https://hal.science/hal-04201363},
note = {\url{https://arxiv.org/abs/2309.07168}},
booktitle = {{IMOL 2023 - The 6th International Workshop on Intrinsically Motivated Open-ended Learning}},
address = {Paris, France},
year = {2023},
month = {September},
file = {https://hal.science/hal-04201363/file/ZademImol2023.pdf},
licence = {Attribution},
pdf = {https://hal.science/hal-04201363/document},
hal_id = {hal-04201363},
hal_version = {v1},
x-proceedings = {no},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@inproceedings{djeumou:hal-03805892,
author = {Djeumou, Franck and Neary, Cyrus and {Goubault}, {Eric} and {Putot}, {Sylvie} and Topcu, Ufuk},
title = {{Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs}},
url = {https://hal.science/hal-03805892},
note = {\url{https://arxiv.org/abs/2201.05715}},
booktitle = {{Thirty-First International Joint Conference on Artificial Intelligence {IJCAI-22}}},
address = {Vienna, France},
publisher = {{International Joint Conferences on Artificial Intelligence Organization}},
pages = {2923-2929},
year = {2022},
month = {July},
doi = {10.24963/ijcai.2022/405},
hal_id = {hal-03805892},
hal_version = {v1},
x-proceedings = {no},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@phdthesis{kabi:tel-02925914,
author = {{Kabi}, {Bibek}},
title = {{Synthesizing invariants : a constraint programming approach based on zonotopic abstraction}},
url = {https://theses.hal.science/tel-02925914},
number = {2020IPPAX017},
school = {{Institut Polytechnique de Paris}},
year = {2020},
month = {June},
file = {https://theses.hal.science/tel-02925914/file/77636\\\_KABI\\\_2020\\\_archivage.pdf},
type = {Theses},
pdf = {https://theses.hal.science/tel-02925914/document},
hal_id = {tel-02925914},
hal_version = {v1},
keywords = {COSYNUS,phd}
}
@inproceedings{djeumou:hal-03800674,
author = {Djeumou, Franck and Vinod, Abraham and {Goubault}, {Eric} and {Putot}, {Sylvie} and Topcu, Ufuk},
title = {{On-The-Fly Control of Unknown Smooth Systems from Limited Data}},
url = {https://hal.science/hal-03800674},
booktitle = {{2021 American Control Conference (ACC)}},
address = {New Orleans, France},
publisher = {{IEEE}},
pages = {3656-3663},
year = {2021},
month = {May},
doi = {10.23919/ACC50511.2021.9483367},
file = {https://hal.science/hal-03800674/file/2009.12733.pdf},
pdf = {https://hal.science/hal-03800674/document},
hal_id = {hal-03800674},
hal_version = {v1},
x-proceedings = {no},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@inproceedings{panchea:hal-02169092,
author = {{Panchea}, {Adina M} and Ramdani, Nacim and Bonnet, Vincent and Fraisse, Philippe},
title = {{Human Arm Motion Analysis Based on the Inverse Optimization Approach}},
url = {https://hal.science/hal-02169092},
booktitle = {{BioRob 2018 - 7th IEEE/RAS-EMBS International Conference on Biomedical Robotics and Biomechatronics}},
address = {Enschede, Netherlands},
hal_local_reference = {Autom},
publisher = {{IEEE}},
pages = {1005-1010},
year = {2018},
month = {August},
doi = {10.1109/BIOROB.2018.8488045},
hal_id = {hal-02169092},
hal_version = {v1},
x-proceedings = {yes},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@article{bernini:hal-04336289,
author = {Bernini, Nicola and Bessa, Mikhail and Delmas, R{\'e}mi and Gold, Arthur and {Goubault}, {Eric} and Pennec, Romain and {Putot}, {Sylvie} and Sillion, Fran{\c c}ois},
title = {{Reinforcement learning with formal performance metrics for quadcopter attitude control under non-nominal contexts}},
url = {https://polytechnique.hal.science/hal-04336289},
journal = {{Engineering Applications of Artificial Intelligence}},
publisher = {{Elsevier}},
volume = {127},
year = {2023},
month = {October},
doi = {10.1016/j.engappai.2023.107090},
file = {https://polytechnique.hal.science/hal-04336289/file/2107.12942.pdf},
pdf = {https://polytechnique.hal.science/hal-04336289/document},
hal_id = {hal-04336289},
hal_version = {v1},
x-international-audience = {yes},
x-editorial-board = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,journal}
}
@article{haucourt:hal-04428820,
author = {{Haucourt}, {Emmanuel} and Ninin, Nicolas},
title = {{Unique decomposition of homogeneous languages and application to isothetic regions}},
url = {https://hal.science/hal-04428820},
journal = {{Mathematical Structures in Computer Science}},
publisher = {{Cambridge University Press (CUP)}},
volume = {29},
number = {5},
year = {2019},
month = {May},
doi = {10.1017/S0960129518000294},
file = {https://hal.science/hal-04428820/file/main.pdf},
pdf = {https://hal.science/hal-04428820/document},
hal_id = {hal-04428820},
hal_version = {v1},
x-international-audience = {yes},
x-editorial-board = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,journal}
}
@book{mimram:hal-04244364,
author = {{Mimram}, {Samuel}},
title = {{PROGRAM = PROOF}},
url = {https://inria.hal.science/hal-04244364},
year = {2020},
licence = {Copyright},
hal_id = {hal-04244364},
hal_version = {v1},
x-international-audience = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,book}
}
@incollection{jacquemin:hal-02633062,
author = {{Jacquemin}, {Maxime} and {Putot}, {Sylvie} and V{\'e}drine, Franck},
title = {{A Reduced Product of Absolute and Relative Error Bounds for Floating-Point Analysis}},
url = {https://hal.science/hal-02633062},
booktitle = {{Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29--31, 2018, Proceedings}},
series = {Lecture Notes in Computer Science},
volume = {11002},
pages = {223-242},
year = {2018},
doi = {10.1007/978-3-319-99725-4\\\_15},
file = {https://hal.science/hal-02633062/file/jacquemin\\\_sas18.pdf},
pdf = {https://hal.science/hal-02633062/document},
hal_id = {hal-02633062},
hal_version = {v1},
x-international-audience = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,chapter}
}
@misc{enea:hal-04465449,
author = {{Enea}, {Constantin} and Lal, Akash},
title = {{Computer Aided Verification - 35th International Conference, {CAV} 2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}}},
url = {https://hal.science/hal-04465449},
howpublished = {{Computer Aided Verification - 35th International Conference, {CAV} 2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}}},
publisher = {{Springer Nature Switzerland}},
series = {Lecture Notes in Computer Science},
volume = {13966},
year = {2023},
doi = {10.1007/978-3-031-37709-9},
hal_id = {hal-04465449},
hal_version = {v1},
keywords = {COSYNUS,proceedings}
}
@article{goubault:hal-04451498,
author = {{Goubault}, {Eric}},
title = {{A semi-abelian approach to directed homology}},
url = {https://polytechnique.hal.science/hal-04451498},
note = {\url{https://arxiv.org/abs/2301.06409}},
journal = {{Journal of Applied and Computational Topology}},
publisher = {{Springer}},
year = {2023},
month = {December},
doi = {10.1007/s41468-023-00152-7},
hal_id = {hal-04451498},
hal_version = {v1},
x-international-audience = {yes},
x-editorial-board = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,journal}
}
@article{goubault:hal-04451583,
author = {{Goubault}, {Eric} and Farber, Michael and {Sagnier}, {Aur{\'e}lien}},
title = {{Directed topological complexity}},
url = {https://polytechnique.hal.science/hal-04451583},
note = {\url{https://arxiv.org/abs/1812.09382}},
journal = {{Journal of Applied and Computational Topology}},
publisher = {{Springer}},
volume = {4},
number = {1},
pages = {11-27},
year = {2019},
month = {August},
doi = {10.1007/s41468-019-00034-x},
hal_id = {hal-04451583},
hal_version = {v1},
x-international-audience = {yes},
x-editorial-board = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,journal}
}
@article{ditmarsch:hal-04470606,
author = {Ditmarsch, Hans Van and {Goubault}, {{\'E}ric} and {Ledent}, {J{\'e}r{\'e}my} and {Rajsbaum}, {Sergio}},
title = {{Knowledge and Simplicial Complexes}},
url = {https://hal.science/hal-04470606},
note = {\url{https://arxiv.org/abs/2002.08863}},
journal = {{Philosophical Studies Series}},
series = {Philosophical Studies Series},
volume = {143},
pages = {1-50},
year = {2022},
month = {May},
doi = {10.1007/978-3-030-75267-5\\\_1},
hal_id = {hal-04470606},
hal_version = {v1},
x-international-audience = {yes},
x-editorial-board = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,journal}
}
@article{calk:hal-02015088,
author = {{Calk}, {Cameron} and {Goubault}, {{\'E}ric} and Malbos, Philippe},
title = {{Time-reversal homotopical properties of concurrent systems}},
url = {https://hal.science/hal-02015088},
note = {\url{https://arxiv.org/abs/1812.05062}},
journal = {{Homology, Homotopy and Applications(HHA)}},
publisher = {{International Press of Boston, Inc.}},
volume = {22},
number = {2},
pages = {31-57},
year = {2020},
doi = {10.4310/HHA.2020.v22.n2.a2},
file = {https://hal.science/hal-02015088/file/timeReversal.pdf},
pdf = {https://hal.science/hal-02015088/document},
hal_id = {hal-02015088},
hal_version = {v1},
x-international-audience = {yes},
x-editorial-board = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,journal}
}
@phdthesis{wippler:tel-01997661,
author = {{Wippler}, {Jean-Luc}},
title = {{A paradigmatic approach of the architectural design of artificial complex systems}},
url = {https://pastel.hal.science/tel-01997661},
number = {2018SACLX083},
school = {{Universit{\'e} Paris Saclay (COmUE)}},
year = {2018},
month = {November},
file = {https://pastel.hal.science/tel-01997661/file/84477\\\_WIPPLER\\\_2018\\\_archivage.pdf},
type = {Theses},
pdf = {https://pastel.hal.science/tel-01997661/document},
hal_id = {tel-01997661},
hal_version = {v1},
keywords = {COSYNUS,phd}
}
@inproceedings{mimram:hal-04244520,
author = {{Mimram}, {Samuel}},
editor = {Gaboardi, Marco and van Raamsdonk, Femke},
title = {{Categorical Coherence from Term Rewriting Systems}},
url = {https://hal.science/hal-04244520},
booktitle = {{8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023)}},
address = {Rome, Italy},
publisher = {{Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik}},
volume = {260},
pages = {16},
year = {2023},
month = {July},
doi = {10.4230/LIPIcs.FSCD.2023.16},
file = {https://hal.science/hal-04244520/file/mimram\\\_trs\\\_coh.pdf},
pdf = {https://hal.science/hal-04244520/document},
hal_id = {hal-04244520},
hal_version = {v1},
x-proceedings = {yes},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@inproceedings{finster:hal-03345938,
author = {Finster, Eric and {Mimram}, {Samuel} and Lucas, Maxime and Seiller, Thomas},
title = {{A cartesian bicategory of polynomial functors in homotopy type theory}},
url = {https://hal.science/hal-03345938},
booktitle = {{37th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2021)}},
address = {Salzburg, Austria},
year = {2021},
month = {August},
file = {https://hal.science/hal-03345938/file/article.pdf},
pdf = {https://hal.science/hal-03345938/document},
hal_id = {hal-03345938},
hal_version = {v1},
x-proceedings = {yes},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@article{cimatti:hal-04465050,
author = {Cimatti, Alessandro and Griggio, Alberto and {Mover}, {Sergio} and Roveri, Marco and Tonetta, Stefano},
title = {{Verification Modulo Theories}},
url = {https://hal.science/hal-04465050},
journal = {{Formal Methods in System Design}},
publisher = {{Springer Verlag}},
volume = {60},
number = {3},
pages = {452-481},
x-toappear_pubdate = {yes},
year = {2023},
month = {September},
doi = {10.1007/S10703-023-00434-X},
file = {https://hal.science/hal-04465050/file/fmsd\\\_vmt.pdf},
pdf = {https://hal.science/hal-04465050/document},
hal_id = {hal-04465050},
hal_version = {v1},
x-international-audience = {yes},
x-editorial-board = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,journal}
}
@inproceedings{beillahi:hal-04465064,
author = {Beillahi, Sidi Mohamed and Bouajjani, Ahmed and {Enea}, {Constantin} and Lahiri, Shuvendu},
editor = {Singh, Gagandeep and Urban, Caterina},
title = {{Automated Synthesis of Asynchronizations}},
url = {https://hal.science/hal-04465064},
booktitle = {{29th International Symposium on static analysis (SAS 2022)}},
address = {Auckland, New Zealand},
publisher = {{Springer Nature Switzerland}},
series = {Static Analysis 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5--7, 2022, Proceedings},
volume = {13790},
pages = {135-159},
year = {2022},
month = {December},
doi = {10.1007/978-3-031-22308-2\\\_7},
file = {https://hal.science/hal-04465064/file/sas22.pdf},
pdf = {https://hal.science/hal-04465064/document},
hal_id = {hal-04465064},
hal_version = {v1},
x-proceedings = {yes},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@misc{enea:hal-04465444,
author = {{Enea}, {Constantin} and Lal, Akash},
title = {{Computer Aided Verification - 35th International Conference, {CAV} 2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}}},
url = {https://hal.science/hal-04465444},
howpublished = {{Computer Aided Verification - 35th International Conference, {CAV} 2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}}},
publisher = {{Springer Nature Switzerland}},
series = {Lecture Notes in Computer Science},
volume = {13965},
year = {2023},
doi = {10.1007/978-3-031-37703-7},
hal_id = {hal-04465444},
hal_version = {v1},
keywords = {COSYNUS,proceedings}
}
@article{goubault:hal-04451564,
author = {{Goubault}, {{\'E}ric} and {Ledent}, {J{\'e}r{\'e}my} and {Rajsbaum}, {Sergio}},
title = {{A simplicial complex model for dynamic epistemic logic to study distributed task computability}},
url = {https://polytechnique.hal.science/hal-04451564},
note = {\url{https://arxiv.org/abs/1809.03095}},
journal = {{Information and Computation}},
publisher = {{Elsevier}},
volume = {278},
pages = {104597},
year = {2021},
month = {June},
doi = {10.1016/j.ic.2020.104597},
hal_id = {hal-04451564},
hal_version = {v1},
x-international-audience = {yes},
x-editorial-board = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,journal}
}
@inproceedings{mimram:hal-04244384,
author = {{Mimram}, {Samuel} and {Ulusoy}, {Aly-Bora}},
title = {{Syntactic Regions for Concurrent Programs}},
url = {https://hal.science/hal-04244384},
booktitle = {{Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, MFPS 2021}},
address = {Salzburg, Austria},
series = {Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, MFPS 2021},
volume = {351},
pages = {184-199},
year = {2021},
month = {August},
doi = {10.4204/EPTCS.351.12},
file = {https://hal.science/hal-04244384/file/mimram\\\_synreg.pdf},
licence = {Attribution},
pdf = {https://hal.science/hal-04244384/document},
hal_id = {hal-04244384},
hal_version = {v1},
x-proceedings = {yes},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@unpublished{curien:hal-02064784,
author = {Curien, Pierre-Louis and Ho Thanh, C{\'e}dric and {Mimram}, {Samuel}},
title = {{Syntactical approaches to opetopes}},
url = {https://hal.science/hal-02064784},
note = {working paper or preprint},
year = {2019},
month = {March},
file = {https://hal.science/hal-02064784/file/main.pdf},
pdf = {https://hal.science/hal-02064784/document},
hal_id = {hal-02064784},
hal_version = {v1},
keywords = {COSYNUS,unpublished}
}
@incollection{goubault:hal-02632550,
author = {{Goubault}, {Eric} and {Putot}, {Sylvie}},
title = {{Inner and outer reachability for the verification of control systems}},
url = {https://hal.science/hal-02632550},
booktitle = {{Proceedings of the 22th ACM International Conference on Hybrid Systems: Computation and Control}},
publisher = {{ACM}},
pages = {11-22},
year = {2019},
doi = {10.1145/3302504.3311794},
hal_id = {hal-02632550},
hal_version = {v1},
x-international-audience = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,chapter}
}
@inproceedings{bidet:hal-04470439,
author = {{Bidet}, {Fran{\c c}ois} and {Goubault}, {Eric} and Putot, S.},
title = {{Work in Progress: Reachability Analysis for Time-triggered Hybrid Systems, The Platoon Benchmark}},
url = {https://polytechnique.hal.science/hal-04470439},
booktitle = {{FVPS}},
address = {Hagenberg, Austria},
year = {2018},
month = {August},
file = {https://polytechnique.hal.science/hal-04470439/file/paper31-2.pdf},
pdf = {https://polytechnique.hal.science/hal-04470439/document},
hal_id = {hal-04470439},
hal_version = {v1},
x-proceedings = {no},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@inproceedings{li:hal-04009646,
author = {{Li}, {Nan} and {Goubault}, {Eric} and Pautet, Laurent and {Putot}, {Sylvie}},
title = {{A Real-Time NMPC Controller for Autonomous Vehicle Racing}},
url = {https://hal.science/hal-04009646},
booktitle = {{2022 6th International Conference on Automation, Control and Robots (ICACR)}},
address = {Shanghai, China},
publisher = {{IEEE}},
pages = {148-155},
year = {2022},
month = {September},
doi = {10.1109/ICACR55854.2022.9935523},
file = {https://hal.science/hal-04009646/file/Nan\\\_Li-RealTimeCtrlerForAutoVehRacing.pdf},
pdf = {https://hal.science/hal-04009646/document},
hal_id = {hal-04009646},
hal_version = {v1},
x-proceedings = {no},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@incollection{djeumou:hal-03805880,
author = {Djeumou, Franck and Neary, Cyrus and {Goubault}, {Eric} and {Putot}, {Sylvie} and Topcu, Ufuk},
title = {{Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling}},
url = {https://hal.science/hal-03805880},
booktitle = {{Learning for Dynamics and Control Conference,}},
series = {Proceedings of Machine Learning Research},
volume = {168},
year = {2022},
hal_id = {hal-03805880},
hal_version = {v1},
x-international-audience = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,chapter}
}
@article{bidet:hal-03805968,
author = {{Bidet}, {Francois} and {Goubault}, {Eric} and {Putot}, {Sylvie}},
title = {{Reachability Analysis of Generalized Input-Affine Systems with Bounded Measurable Time-varying Uncertainties}},
url = {https://hal.science/hal-03805968},
journal = {{IEEE Control Systems Letters}},
publisher = {{IEEE}},
volume = {6},
pages = {638-643},
year = {2022},
doi = {10.1109/LCSYS.2021.3084530},
file = {https://hal.science/hal-03805968/file/Arbitrary\\\_bounded\\\_time\\\_varying\\\_input\\\_\\\_L\\\_CSS\\\_and\\\_CDC\\\_.pdf},
pdf = {https://hal.science/hal-03805968/document},
hal_id = {hal-03805968},
hal_version = {v1},
x-international-audience = {yes},
x-editorial-board = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,journal}
}
@article{goubault:hal-02434377,
author = {{Goubault}, {Eric} and {Sagnier}, {Aur{\'e}lien} and F{\"a}rber, Michael},
title = {{Directed topological complexity}},
url = {https://hal.science/hal-02434377},
journal = {{Journal of Applied and Computational Topology}},
publisher = {{Springer}},
year = {2019},
month = {August},
file = {https://hal.science/hal-02434377/file/article\\\_dirtc.pdf},
pdf = {https://hal.science/hal-02434377/document},
hal_id = {hal-02434377},
hal_version = {v1},
x-international-audience = {yes},
x-editorial-board = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,journal}
}
@article{lohar:hal-02632884,
author = {Lohar, Debasmita and Darulova, Eva and {Putot}, {Sylvie} and {Goubault}, {Eric}},
title = {{Discrete Choice in the Presence of Numerical Uncertainties}},
url = {https://hal.science/hal-02632884},
journal = {{IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems}},
publisher = {{IEEE}},
volume = {37},
number = {11},
pages = {2381-2392},
year = {2018},
month = {November},
doi = {10.1109/TCAD.2018.2857320},
hal_id = {hal-02632884},
hal_version = {v1},
x-international-audience = {yes},
x-editorial-board = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,journal}
}
@incollection{bouyer:hal-01889280,
author = {Bouyer, Patricia and {Fahrenberg}, {Uli} and Larsen, Kim G. and Markey, Nicolas and Ouaknine, Jo{\"e}l and Worrell, James},
title = {{Model Checking Real-Time Systems}},
url = {https://hal.science/hal-01889280},
booktitle = {{Handbook of model checking}},
publisher = {{Springer-Verlag}},
pages = {1001-1046},
year = {2018},
month = {April},
doi = {10.1007/978-3-319-10575-8\\\_29},
file = {https://hal.science/hal-01889280/file/hmc2018-BFLMOW.pdf},
pdf = {https://hal.science/hal-01889280/document},
hal_id = {hal-01889280},
hal_version = {v1},
x-international-audience = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,chapter}
}
@inproceedings{bacci:hal-01889222,
author = {Bacci, Giovanni and Bouyer, Patricia and {Fahrenberg}, {Uli} and Larsen, Kim Guldstrand and Markey, Nicolas and Reynier, Pierre-Alain},
title = {{Optimal and Robust Controller Synthesis : Using Energy Timed Automata with Uncertainty}},
url = {https://hal.science/hal-01889222},
booktitle = {{FM 2018 - International Symposium on Formal Methods}},
address = {Oxford, United Kingdom},
publisher = {{Springer}},
series = {LNCS},
volume = {10951},
pages = {203-221},
year = {2018},
month = {July},
doi = {10.1007/978-3-319-95582-7\\\_12},
file = {https://hal.science/hal-01889222/file/fm2018-BBFLMR.pdf},
pdf = {https://hal.science/hal-01889222/document},
hal_id = {hal-01889222},
hal_version = {v1},
x-proceedings = {yes},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@misc{zadem:hal-04403613,
author = {{Zadem}, {Mehdi} and {Mover}, {Sergio} and Nguyen, Sao Mai},
title = {{Emergence of a Symbolic Goal Representation with an Intelligent Tutoring System based on Intrinsic Motivation}},
url = {https://inria.hal.science/hal-04403613},
note = {Poster},
howpublished = {{NeurIPS 2023 - IMOL Workshop ''Intrinsically-Motivated and Open-Ended Learning''}},
publisher = {{IEEE}},
pages = {423-428},
year = {2023},
month = {December},
file = {https://inria.hal.science/hal-04403613/file/main.pdf},
licence = {Attribution},
pdf = {https://inria.hal.science/hal-04403613/document},
hal_id = {hal-04403613},
hal_version = {v1},
x-proceedings = {no},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,poster}
}
@article{goubault:hal-04244375,
author = {{Goubault}, {Eric} and {Mimram}, {Samuel}},
title = {{Directed Homotopy in Non-Positively Curved Spaces}},
url = {https://hal.science/hal-04244375},
note = {\url{https://arxiv.org/abs/1908.06684}},
journal = {{Logical Methods in Computer Science}},
publisher = {{Logical Methods in Computer Science Association}},
year = {2020},
month = {July},
doi = {10.23638/LMCS-16(3:4)2020},
file = {https://hal.science/hal-04244375/file/mimram\\\_cat0.pdf},
licence = {Attribution},
pdf = {https://hal.science/hal-04244375/document},
hal_id = {hal-04244375},
hal_version = {v1},
x-international-audience = {yes},
x-editorial-board = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,journal}
}
@article{calk:hal-03161580,
author = {{Calk}, {Cameron} and {Goubault}, {Eric} and Malbos, Philippe and Struth, Georg},
title = {{Algebraic coherent confluence and higher globular Kleene algebras}},
url = {https://hal.science/hal-03161580},
note = {\url{https://arxiv.org/abs/2006.16129}},
journal = {{Logical Methods in Computer Science}},
publisher = {{Logical Methods in Computer Science Association}},
volume = {18},
number = {4},
year = {2022},
month = {November},
doi = {10.46298/lmcs-18(4:9)2022},
file = {https://hal.science/hal-03161580v2/file/algebraicCoherence.pdf},
pdf = {https://hal.science/hal-03161580v2/document},
hal_id = {hal-03161580},
hal_version = {v2},
x-international-audience = {yes},
x-editorial-board = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,journal}
}
@article{bacci:hal-03240104,
author = {Bacci, Giovanni and Bouyer, Patricia and {Fahrenberg}, {Uli} and Larsen, Kim and Markey, Nicolas and Reynier, Pierre-Alain},
title = {{Optimal and robust controller synthesis using energy timed automata with uncertainty}},
url = {https://hal.science/hal-03240104},
journal = {{Formal Aspects of Computing}},
publisher = {{Springer Verlag}},
volume = {33},
number = {1},
pages = {3-25},
year = {2021},
month = {January},
doi = {10.1007/s00165-020-00521-4},
file = {https://hal.science/hal-03240104/file/2021-fac-BBFLMR.pdf},
pdf = {https://hal.science/hal-03240104/document},
hal_id = {hal-03240104},
hal_version = {v1},
x-international-audience = {yes},
x-editorial-board = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,journal}
}
@inproceedings{forest:hal-03879498,
author = {{Forest}, {Simon} and {Mimram}, {Samuel}},
title = {{Describing free $\omega$-categories}},
url = {https://hal.science/hal-03879498},
booktitle = {{2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}},
address = {Vancouver, Canada},
year = {2019},
month = {June},
file = {https://hal.science/hal-03879498/file/article.pdf},
pdf = {https://hal.science/hal-03879498/document},
hal_id = {hal-03879498},
hal_version = {v1},
x-proceedings = {no},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@inproceedings{zadem:hal-04401878,
author = {{Zadem}, {Mehdi} and {Mover}, {Sergio} and Nguyen, Sao Mai},
title = {{Goal Space Abstraction in Hierarchical Reinforcement Learning via Set-Based Reachability Analysis}},
url = {https://inria.hal.science/hal-04401878},
note = {\url{https://arxiv.org/abs/2309.07675}},
booktitle = {{ICDL 2023 - 22nd IEEE International Conference on Development and Learning}},
address = {Macau, China},
publisher = {{IEEE}},
pages = {423-428},
year = {2023},
month = {November},
doi = {10.1109/ICDL55364.2023.10364473},
file = {https://inria.hal.science/hal-04401878/file/Zadem2023ICDL.pdf},
licence = {Attribution},
pdf = {https://inria.hal.science/hal-04401878/document},
hal_id = {hal-04401878},
hal_version = {v1},
x-proceedings = {yes},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@phdthesis{calk:tel-04251869,
author = {{Calk}, {Cameron}},
title = {{Algebraic and topological models of directed systems : Exploring dimensions of calculation via algebraic, categorical, and homotopical approaches}},
url = {https://theses.hal.science/tel-04251869},
number = {2022IPPAX091},
school = {{Institut Polytechnique de Paris}},
year = {2022},
month = {November},
file = {https://theses.hal.science/tel-04251869/file/119261\\\_CALK\\\_2022\\\_archivage.pdf},
type = {Theses},
pdf = {https://theses.hal.science/tel-04251869/document},
hal_id = {tel-04251869},
hal_version = {v1},
keywords = {COSYNUS,phd}
}
@article{goubault:hal-03805908,
author = {{Goubault}, {Eric} and {Putot}, {Sylvie}},
title = {{RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems}},
url = {https://hal.science/hal-03805908},
journal = {{Lecture Notes in Computer Science}},
publisher = {{Springer}},
series = {Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7--10, 2022, Proceedings, Part I},
pages = {511 - 523},
year = {2022},
doi = {10.1007/978-3-031-13185-1\\\_25},
pdf = {https://hal.science/hal-03805908/document},
hal_id = {hal-03805908},
hal_version = {v1},
x-international-audience = {yes},
x-editorial-board = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,journal}
}
@inproceedings{crepon:hal-01737032,
author = {Cr{\'e}pon, Elise and {Panchea}, {Adina M} and Chapoutot, Alexandre},
title = {{Reliable motion planner evaluated on a mobile robot}},
url = {https://hal.science/hal-01737032},
booktitle = {{International Workshop on New Frontiers in Computational Robotics}},
address = {Laguna Hills, California, United States},
year = {2018},
month = {January},
doi = {10.1109/IRC.2018.00085},
file = {https://hal.science/hal-01737032/file/root.pdf},
pdf = {https://hal.science/hal-01737032/document},
hal_id = {hal-01737032},
hal_version = {v1},
x-proceedings = {no},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@inproceedings{goubault:hal-02155495,
author = {{Goubault}, {Eric} and {Ledent}, {J{\'e}r{\'e}my} and {Mimram}, {Samuel}},
title = {{On the Impossibility of Detecting Concurrency}},
url = {https://inria.hal.science/hal-02155495},
booktitle = {{32nd International Symposium on Distributed Computing (DISC 2018)}},
address = {New Orleans, United States},
year = {2018},
doi = {10.4230/LIPIcs.DISC.2018.50},
file = {https://inria.hal.science/hal-02155495/file/LIPIcs-DISC-2018-50.pdf},
pdf = {https://inria.hal.science/hal-02155495/document},
hal_id = {hal-02155495},
hal_version = {v1},
x-proceedings = {yes},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@inproceedings{ledent:hal-04244357,
author = {{Ledent}, {J{\'e}r{\'e}my} and {Mimram}, {Samuel}},
title = {{A Sound Foundation for the Topological Approach to Task Solvability}},
url = {https://inria.hal.science/hal-04244357},
booktitle = {{30th International Conference on Concurrency Theory (CONCUR 2019)}},
address = {Amsterdam, Netherlands},
publisher = {{Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany}},
series = {30th International Conference on Concurrency Theory (CONCUR 2019)},
year = {2019},
month = {August},
doi = {10.4230/LIPIcs.CONCUR.2019.34},
file = {https://inria.hal.science/hal-04244357/file/concur.pdf},
licence = {Attribution},
pdf = {https://inria.hal.science/hal-04244357/document},
hal_id = {hal-04244357},
hal_version = {v1},
x-proceedings = {yes},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@phdthesis{coursolle:tel-03789652,
author = {{Coursolle}, {Pierre-Yves}},
title = {{A framework for locally structured spaces - application to geometric models of concurrency}},
url = {https://theses.hal.science/tel-03789652},
number = {2022IPPAX006},
school = {{Institut Polytechnique de Paris}},
year = {2022},
month = {February},
file = {https://theses.hal.science/tel-03789652/file/102756\\\_COURSOLLE\\\_2022\\\_archivage.pdf},
type = {Theses},
pdf = {https://theses.hal.science/tel-03789652/document},
hal_id = {tel-03789652},
hal_version = {v1},
keywords = {COSYNUS,phd}
}
@inproceedings{hothanh:hal-02406569,
author = {Ho Thanh, C{\'e}dric and Curien, Pierre-Louis and {Mimram}, {Samuel}},
title = {{A Sequent Calculus for Opetopes}},
url = {https://hal.science/hal-02406569},
booktitle = {{LICS 2019 - Logic in computer science 2019}},
address = {Vancouver, Canada},
year = {2019},
month = {June},
file = {https://hal.science/hal-02406569/file/article.pdf},
pdf = {https://hal.science/hal-02406569/document},
hal_id = {hal-02406569},
hal_version = {v1},
x-proceedings = {no},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@article{haucourt:hal-01580072,
author = {{Haucourt}, {Emmanuel}},
title = {{The geometry of conservative programs}},
url = {https://hal.science/hal-01580072},
journal = {{Mathematical Structures in Computer Science}},
publisher = {{Cambridge University Press (CUP)}},
volume = {28},
number = {10},
year = {2018},
month = {November},
file = {https://hal.science/hal-01580072v2/file/tgocp.pdf},
pdf = {https://hal.science/hal-01580072v2/document},
hal_id = {hal-01580072},
hal_version = {v2},
x-international-audience = {yes},
x-editorial-board = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,journal}
}
@inproceedings{goubault:hal-02155500,
author = {{Goubault}, {Eric} and {Ledent}, {J{\'e}r{\'e}my} and {Mimram}, {Samuel}},
title = {{Concurrent specifications beyond linearizability}},
url = {https://inria.hal.science/hal-02155500},
booktitle = {{22nd International Conference on Principles of Distributed Systems (OPODIS 2018)}},
address = {Hong Kong, China},
year = {2018},
doi = {10.4230/LIPIcs.OPODIS.2016.23},
licence = {Attribution},
hal_id = {hal-02155500},
hal_version = {v1},
x-proceedings = {yes},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@inproceedings{bernini:hal-03800411,
author = {Bernini, Nicola and Bessa, Mikhail and Delmas, R{\'e}mi and Gold, Arthur and {Goubault}, {Eric} and Pennec, Romain and {Putot}, {Sylvie} and Sillion, Fran{\c c}ois},
title = {{A few lessons learned in reinforcement learning for quadcopter attitude control}},
url = {https://hal.science/hal-03800411},
booktitle = {{HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control}},
address = {Nashville, United States},
publisher = {{ACM}},
pages = {1-11},
year = {2021},
month = {May},
doi = {10.1145/3447928.3456707},
file = {https://hal.science/hal-03800411/file/3447928.3456707\\%20\\%281\\%29.pdf},
pdf = {https://hal.science/hal-03800411/document},
hal_id = {hal-03800411},
hal_version = {v1},
x-proceedings = {yes},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@inproceedings{battista:hal-04184368,
author = {Battista, Ludovico and Becchi, Anna and Basagiannis, Stylianos and Cimatti, Alessandro and Giantamidis, Georgios and {Mover}, {Sergio} and Tacchella, Alberto and Tonetta, Stefano and Tsachouridis, Vassilios},
title = {{SMT-Based Stability Verification of an Industrial Switched PI Control Systems}},
url = {https://hal.science/hal-04184368},
booktitle = {{2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)}},
address = {Porto, Portugal},
publisher = {{IEEE}},
pages = {243-250},
year = {2023},
month = {June},
doi = {10.1109/DSN-W58399.2023.00063},
file = {https://hal.science/hal-04184368/file/main.pdf},
pdf = {https://hal.science/hal-04184368/document},
hal_id = {hal-04184368},
hal_version = {v1},
x-proceedings = {yes},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@book{ara:hal-04322821,
author = {Ara, Dimitri and Burroni, Albert and Guiraud, Yves and Malbos, Philippe and M{\'e}tayer, Fran{\c c}ois and {Mimram}, {Samuel}},
title = {{Polygraphs: From Rewriting to Higher Categories}},
url = {https://hal.science/hal-04322821},
note = {\url{https://arxiv.org/abs/2312.00429} - 666pp.},
series = {London Mathematical Society Lecture Note Series},
x-toappear_pubdate = {yes},
year = {2023},
hal_id = {hal-04322821},
hal_version = {v1},
x-international-audience = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,book}
}
@article{meier:hal-04435159,
author = {Meier, Shawn and {Mover}, {Sergio} and Kaki, Gowtham and Chang, Bor-Yuh Evan},
title = {{Historia: Refuting Callback Reachability with Message-History Logics}},
url = {https://hal.science/hal-04435159},
note = {\url{https://arxiv.org/abs/2309.04464}},
journal = {{Proceedings of the ACM on Programming Languages}},
publisher = {{ACM}},
volume = {7},
number = {OOPSLA2},
pages = {1905-1934},
year = {2023},
month = {October},
doi = {10.1145/3622865},
pdf = {https://hal.science/hal-04435159/document},
hal_id = {hal-04435159},
hal_version = {v1},
x-international-audience = {yes},
x-editorial-board = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,journal}
}
@inproceedings{attiya:hal-04465383,
author = {Attiya, Hagit and {Enea}, {Constantin} and Welch, Jennifer L},
title = {{Blunting an Adversary Against Randomized Concurrent Programs with Linearizable Implementations}},
url = {https://hal.science/hal-04465383},
booktitle = {{PODC '22: ACM Symposium on Principles of Distributed Computing}},
address = {Salerno Italy, Italy},
publisher = {{ACM}},
pages = {209-219},
year = {2022},
month = {July},
doi = {10.1145/3519270.3538446},
file = {https://hal.science/hal-04465383/file/podc22.pdf},
pdf = {https://hal.science/hal-04465383/document},
hal_id = {hal-04465383},
hal_version = {v1},
x-proceedings = {yes},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@inproceedings{goubault:hal-04451546,
author = {{Goubault}, {{\'E}ric} and {Ledent}, {J{\'e}r{\'e}my} and {Rajsbaum}, {Sergio}},
title = {{A Simplicial Model for KB4\\\_n: Epistemic Logic with Agents That May Die}},
url = {https://polytechnique.hal.science/hal-04451546},
booktitle = {{STACS}},
address = {Marseille, France},
publisher = {{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}},
year = {2022},
month = {March},
doi = {10.4230/LIPIcs.STACS.2022.33},
hal_id = {hal-04451546},
hal_version = {v1},
x-proceedings = {no},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@article{vanditmarsch:hal-04451568,
author = {van Ditmarsch, Hans and {Goubault}, {{\'E}ric} and Lazi{\'c}, Marijana and {Ledent}, {J{\'e}r{\'e}my} and {Rajsbaum}, {Sergio}},
title = {{A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks}},
url = {https://polytechnique.hal.science/hal-04451568},
journal = {{Journal of Logical and Algebraic Methods in Programming}},
publisher = {{Elsevier}},
volume = {121},
pages = {100662},
year = {2021},
month = {June},
doi = {10.1016/j.jlamp.2021.100662},
hal_id = {hal-04451568},
hal_version = {v1},
x-international-audience = {yes},
x-editorial-board = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,journal}
}
@article{goubault:hal-04451597,
author = {{Goubault}, {{\'E}ric} and Lazi{\'c}, Marijana and {Ledent}, {J{\'e}r{\'e}my} and {Rajsbaum}, {Sergio}},
title = {{A Dynamic Epistemic Logic Analysis of the Equality Negation Task}},
url = {https://polytechnique.hal.science/hal-04451597},
note = {\url{https://arxiv.org/abs/1909.03263}},
journal = {{Lecture Notes in Computer Science}},
publisher = {{Springer}},
series = {Lecture Notes in Computer Science},
volume = {12005},
pages = {53-70},
year = {2020},
month = {January},
doi = {10.1007/978-3-030-38808-9\\\_4},
hal_id = {hal-04451597},
hal_version = {v1},
x-international-audience = {yes},
x-editorial-board = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,journal}
}
@article{goubault:hal-02632338,
author = {{Goubault}, {Eric} and {Putot}, {Sylvie}},
title = {{Robust under-approximations and application to reachability of non-linear control systems with disturbances}},
url = {https://hal.science/hal-02632338},
journal = {{IEEE Control Systems Letters}},
publisher = {{IEEE}},
pages = {1-1},
x-toappear_pubdate = {yes},
year = {2020},
doi = {10.1109/LCSYS.2020.2997261},
hal_id = {hal-02632338},
hal_version = {v1},
x-international-audience = {yes},
x-editorial-board = {yes},
x-scientific-popularization = {no},
keywords = {COSYNUS,journal}
}
@inproceedings{sankaranarayanan:hal-03237392,
author = {Sankaranarayanan, Sriram and Chou, Yi and {Goubault}, {Eric} and {Putot}, {Sylvie}},
title = {{Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms}},
url = {https://polytechnique.hal.science/hal-03237392},
booktitle = {{2020 Conference on Neural Information Processing Systems (NeurIPS 2020)}},
address = {Online, France},
year = {2020},
month = {December},
file = {https://polytechnique.hal.science/hal-03237392/file/NeurIPS-2020-reasoning-about-uncertainties-in-discrete-time-dynamical-systems-using-polynomial-forms-Paper.pdf},
pdf = {https://polytechnique.hal.science/hal-03237392/document},
hal_id = {hal-03237392},
hal_version = {v1},
x-proceedings = {no},
x-international-audience = {yes},
x-editorial-board = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
keywords = {COSYNUS,communication}
}
@inproceedings{goubault:hal-04336328,
title = {{Semi-Simplicial Set Models for Distributed Knowledge}},
author = {{Goubault}, {{\'E}ric} and Kniazev, Roman and Ledent, J{\'e}r{\'e}my and Rajsbaum, Sergio},
url = {https://polytechnique.hal.science/hal-04336328},
booktitle = {{Logic in Computer Science}},
address = {Boston (MA), United States},
year = {2023},
month = jun,
doi = {10.1109/lics56636.2023.10175737},
keywords = {COSYNUS,communication},
pdf = {https://polytechnique.hal.science/hal-04336328/file/Semi-Simplicial_Set_Models_for_Distributed_Knowledge-2.pdf},
hal_id = {hal-04336328},
hal_version = {v1}
}
@article{fahrenberg:hal-04540027,
title = {{Languages of Higher-Dimensional Automata}},
author = {{Fahrenberg}, {Uli} and Johansen, Christian and Struth, Georg and Ziemia{\'n}ski, Krzysztof},
url = {https://hal.science/hal-04540027},
journal = {{Mathematical Structures in Computer Science}},
publisher = {{Cambridge University Press (CUP)}},
volume = {31},
number = {5},
year = {2021},
month = oct,
doi = {10.1017/S0960129521000293},
hal_id = {hal-04540027},
hal_version = {v1},
keywords = {COSYNUS,journal}
}
@inproceedings{fahrenberg:hal-04540030,
title = {{A Kleene Theorem for Higher-Dimensional Automata}},
author = {{Fahrenberg}, {Uli} and Johansen, Christian and Struth, Georg and Ziemia{\'n}ski, Krzysztof},
url = {https://hal.science/hal-04540030},
booktitle = {{CONCUR}},
address = {Warsaw, Poland},
publisher = {{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}},
volume = {29},
year = {2022},
month = sep,
doi = {10.4230/LIPIcs.CONCUR.2022.29},
keywords = {COSYNUS,communication},
hal_id = {hal-04540030},
hal_version = {v1}
}
@article{fahrenberg:hal-04540032,
title = {{Sculptures in Concurrency}},
author = {{Fahrenberg}, {Uli} and Johansen, Christian and Trotter, Christopher and Ziemia{\'n}ski, Krzysztof},
url = {https://hal.science/hal-04540032},
journal = {{Logical Methods in Computer Science}},
publisher = {{Logical Methods in Computer Science Association}},
volume = {17},
number = {2},
year = {2021},
doi = {10.23638/LMCS-17(2:5)2021},
keywords = {COSYNUS,journal},
hal_id = {hal-04540032},
hal_version = {v1}
}
@inproceedings{fahrenberg:hal-04540037,
title = {{Higher-Dimensional Timed Automata}},
author = {{Fahrenberg}, {Uli}},
url = {https://hal.science/hal-04540037},
booktitle = {{ADHS}},
address = {Oxford, United Kingdom},
year = {2018},
month = jul,
hal_id = {hal-04540037},
hal_version = {v1},
keywords = {COSYNUS,communication}
}
@article{fahrenberg:hal-04540038,
title = {{Higher-Dimensional Timed and Hybrid Automata}},
author = {{Fahrenberg}, {Uli}},
url = {https://hal.science/hal-04540038},
journal = {{Leibniz Transactions on Embedded Systems}},
publisher = {{European Design and Automation Association (EDAA) \ EMbedded Systems Special Interest Group (EMSIG) and Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik GmbH, Dagstuhl Publishing.}},
year = {2022},
doi = {10.4230/LITES.8.2.3},
keywords = {COSYNUS,journal},
hal_id = {hal-04540038},
hal_version = {v1}
}
@phdthesis{ciris2022,
url = {http://www.theses.fr/2022UNIP7119},
title = {Formal verification of concurrent data structures},
author = {{Cirisci}, {Berk}},
year = {2022},
note = {Thèse de doctorat dirigée par Enea, Constantin Informatique Université Paris Cité 2022},
note = {2022UNIP7119},
url = {http://www.theses.fr/2022UNIP7119/document},
keywords = {phd,COSYNUS}
}
@phdthesis{costa2023,
url = {http://www.theses.fr/2023IPPAX115},
title = {A Geometrical Approach to Estimate the Coverage Measure of the Area Explored by a Robot},
author = {{Costa Vianna}, {Maria Luiza}},
year = {2023},
note = {Thèse de doctorat dirigée par Putot, SylvieGoubault, Éric et Jaulin, Luc Signal, Images, Automatique et Robotique Institut polytechnique de Paris 2023},
note = {2023IPPAX115},
url = {http://www.theses.fr/2023IPPAX115/document},
keywords = {phd,COSYNUS}
}
@phdthesis{jacqu2021,
url = {http://www.theses.fr/2021UPASG050},
title = {Arithmétiques relationnelles pour l'analyse par interprétation abstraite de propriétés de précision numérique},
author = {{Jacquemin}, {Maxime}},
year = {2021},
note = {Thèse de doctorat dirigée par Signoles, Julien et Vedrine, Franck Informatique université Paris-Saclay 2021},
note = {2021UPASG050},
url = {http://www.theses.fr/2021UPASG050/document},
keywords = {phd,COSYNUS}
}
@phdthesis{kniaz2023,
url = {2023IPPAX132},
title = {Modèles géométriques de la logique épistémique},
author = {{Kniazev}, {Roman}},
year = {2023},
note = {Thèse de doctorat dirigée par Goubault, Éric et Goubault-larrecq, Jean Informatique, données, IA Institut polytechnique de Paris 2023},
note = {s251449},
url = {2023IPPAX132/document},
keywords = {phd,COSYNUS}
}
@phdthesis{caban2023,
url = {http://www.theses.fr/2023IPPAX102},
title = {Optimisation macroscopique des plans de transports grâce aux véhicules autonomes},
author = {{Cabannes}, {Théophile}},
year = {2023},
note = {Thèse de doctorat dirigée par Goubault, Éric Informatique Institut polytechnique de Paris 2023},
note = {2023IPPAX102},
url = {http://www.theses.fr/2023IPPAX102/document},
keywords = {phd,COSYNUS}
}
@inproceedings{DBLP:conf/atal/CabannesLPMGPPB22,
author = {Cabannes, Theophile and Lauri{\`{e}}re, Mathieu and P{\'{e}}rolat, Julien and Marinier, Rapha{\"{e}}l and Girgin, Sertan and Perrin, Sarah and Pietquin, Olivier and Bayen, Alexandre M. and {Goubault}, {Eric} and Elie, Romuald},
editor = {Faliszewski, Piotr and Mascardi, Viviana and Pelachaud, Catherine and Taylor, Matthew E.},
title = {Solving N-Player Dynamic Routing Games with Congestion: {A} Mean-Field Approach},
booktitle = {21st International Conference on Autonomous Agents and Multiagent Systems, {AAMAS} 2022, Auckland, New Zealand, May 9-13, 2022},
pages = {1557--1559},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems {(IFAAMAS)}},
year = {2022},
url = {https://www.ifaamas.org/Proceedings/aamas2022/pdfs/p1557.pdf},
doi = {10.5555/3535850.3536033},
timestamp = {Mon, 18 Jul 2022 17:13:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/CabannesLPMGPPB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
keywords = {COSYNUS,conf,2022}
}
@comment{{Please use the entries defined in assets/full-lix.bib when citing works authored by LIX members during the evaluation period. Add any additional references you need to cite here. Please prefix the keys by your team/pôle name.}}
@book{Cosynus:program-proof,
author = {{Samuel} {Mimram}},
title = {PROGRAM = PROOF},
publisher = {Self-published},
year = {2020},
url = {http://program-proofs.mimram.fr/}
}
@misc{Cosynus:github,
title = {Cosynus GitHub repository},
url = {https://github.com/cosynus-lix},
author = {Cosynus members}
}
@misc{RINO,
title = {The RINO library: robust inner and outer reachability},
url = {https://github.com/sputot/RINO},
author = {{Sylvie} {Putot}}
}
@article{DBLP:journals/corr/abs-2401-09870,
author = {Mehdi Zadem and
Sergio Mover and
Sao Mai Nguyen},
title = {Reconciling Spatial and Temporal Abstractions for Goal Representation},
journal = {CoRR},
volume = {abs/2401.09870},
year = {2024}
}
@inproceedings{violat,
author = {Michael Emmi and
Constantin Enea},
editor = {Isil Dillig and
Serdar Tasiran},
title = {Violat: Generating Tests of Observational Refinement for Concurrent
Objects},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11562},
pages = {534--546},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25543-5\_30},
doi = {10.1007/978-3-030-25543-5\_30},
timestamp = {Fri, 31 Jan 2020 21:32:18 +0100},
biburl = {https://dblp.org/rec/conf/cav/EmmiE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{biggroum,
title = {Mining framework usage graphs from app corpora},
author = {Mover, Sergio and Sankaranarayanan, Sriram and Olsen, Rhys Braginton Pettee and Chang, Bor-Yuh Evan},
booktitle = {2018 IEEE 25th International Conference on Software Analysis, Evolution and Reengineering (SANER)},
pages = {277--289},
year = {2018},
organization = {IEEE}
}
@article{benjamin2019suspension,
title = {Suspension et fonctorialit{\'e}: Deux op{\'e}rations implicites utiles en catt},
author = {Benjamin, Thibaut and Mimram, Samuel},
journal = {Journ{\'e}es Francophones des Langages Applicatifs 2019},
pages = {45},
year = {2019}
}
@inproceedings{finster2017type,
title = {A type-theoretical definition of weak $\omega$-categories},
author = {Finster, Eric and Mimram, Samuel},
booktitle = {2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
pages = {1--12},
year = {2017},
organization = {IEEE}
}
@book{hottbook,
author = {The {Univalent Foundations Program}},
title = {Homotopy Type Theory: Univalent Foundations of Mathematics},
publisher = {\url{https://homotopytypetheory.org/book}},
address = {Institute for Advanced Study},
year = 2013
}
@article{uliref:mscs,
author = {Uli Fahrenberg and
Christian Johansen and
Georg Struth and
Krzysztof Ziemianski},
title = {Languages of higher-dimensional automata},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {5},
pages = {575--613},
year = {2021},
url = {https://doi.org/10.1017/S0960129521000293},
doi = {10.1017/S0960129521000293},
timestamp = {Wed, 23 Feb 2022 11:16:44 +0100},
biburl = {https://dblp.org/rec/journals/mscs/FahrenbergJSZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{uliref:concur,
author = {Uli Fahrenberg and
Christian Johansen and
Georg Struth and
Krzysztof Ziemianski},
editor = {Bartek Klin and
Slawomir Lasota and
Anca Muscholl},
title = {A Kleene Theorem for Higher-Dimensional Automata},
booktitle = {33rd International Conference on Concurrency Theory, {CONCUR} 2022,
September 12-16, 2022, Warsaw, Poland},
series = {LIPIcs},
volume = {243},
pages = {29:1--29:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2022.29},
doi = {10.4230/LIPICS.CONCUR.2022.29},
timestamp = {Tue, 21 Mar 2023 20:57:51 +0100},
biburl = {https://dblp.org/rec/conf/concur/FahrenbergJSZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{uliref:pn,
author = {Uli Fahrenberg and
Krzysztof Ziemianski},
editor = {Lu{\'{\i}}s Gomes and
Robert Lorenz},
title = {A Myhill-Nerode Theorem for Higher-Dimensional Automata},
booktitle = {Application and Theory of Petri Nets and Concurrency - 44th International
Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13929},
pages = {167--188},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33620-1\_9},
doi = {10.1007/978-3-031-33620-1\_9},
timestamp = {Wed, 31 May 2023 14:56:55 +0200},
biburl = {https://dblp.org/rec/conf/apn/FahrenbergZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{uliref:lmcs,
author = {Uli Fahrenberg and
Christian Johansen and
Christopher Trotter and
Krzysztof Ziemianski},
title = {Sculptures in Concurrency},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {2},
year = {2021},
url = {https://lmcs.episciences.org/7363},
timestamp = {Tue, 20 Apr 2021 17:56:52 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/FahrenbergJTZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{uliref:adhs,
author = {Uli Fahrenberg},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Higher-Dimensional Timed Automata},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {109--114},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.019},
doi = {10.1016/J.IFACOL.2018.08.019},
timestamp = {Mon, 08 Oct 2018 13:49:26 +0200},
biburl = {https://dblp.org/rec/conf/adhs/Fahrenberg18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{uliref:lites,
author = {Uli Fahrenberg},
title = {Higher-Dimensional Timed and Hybrid Automata},
journal = {Leibniz Trans. Embed. Syst.},
volume = {8},
number = {2},
pages = {03:1--03:16},
year = {2022},
url = {https://doi.org/10.4230/LITES.8.2.3},
doi = {10.4230/LITES.8.2.3},
timestamp = {Fri, 27 Jan 2023 15:21:48 +0100},
biburl = {https://dblp.org/rec/journals/lites/Fahrenberg22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}