jour.bib
@article{bhcss20,
author = {B. B\'erard, S. Hadda, C. Picaronny, M. Safey El Din and
M. Sassolas},
journal = {{Information and Computation}},
title = {{Polynomial Interrupt Timed Automata: Verification and
Expressiveness}},
year = {2020},
doi = {10.1016/j.ic.2020.104580},
}
@article{bkms18,
author = {B. B\'erard, O. Kouchnarenko, J. Mullins and M. Sassolas},
journal = {{Discrete Evente Dynamic Systems}},
title = {{Opacity for linear constraint Markov chains}},
year = {2018},
volume = {28},
number = {1},
pages = {83-108},
}
@article{bhss18,
author = {B. B\'erard, S. Haar, S. Schwoon, S. Schmitz},
journal = {{Fundam. Inform.}},
title = {{The Complexity of Diagnosability and Opacity Verification for Petri Nets}},
year = {2018},
volume = {161},
number = {4},
pages = {317-349},
}
@article{bhm17,
author = {B. B\'erard, L. H\'elou{\¨e}t and J. Mullins},
journal = {{ACM Trans. Embedded Comput. Syst.}},
title = {{Non Interference in Partial Order Models}},
year = {2017},
volume = {16},
number = {2},
pages = {44:1-44:34},
}
@article{blmptt,
author = {B\'erard, B. and Lafourcade, P. and Millet, L. and Potop-Butucaru, M. and Thierry-Mieg, Y. and Tixeuil, S.},
journal = {{Distributed Computing}},
title = {{Formal Verification of Mobile Robot Protocols}},
year = {2016},
volume = {29},
number = {6},
pages = {1-25},
}
@article{bhjl-fi16,
author = {B\'erard, B. and Haddad, S. and Jovanovic, A., and Lime, D.},
journal = {{Fundamenta Informaticae}},
title = {{Interrupt Timed Automata with Auxiliary Clocks and Parameters}},
year = {2016},
volume = {143},
number = {3-4},
pages = {235-259},
}
@article{bcm+,
author = {B\'erard, B. and Courtieu, P. and Millet, L. and Potop-Butucaru, M. and Rieg, L. and Sznajder, N. and Tixeuil, S. and Urbain, X.},
journal = {{International Journal of Informatics Society}},
title = {{Formal Methods for Mobile Robots: Current Results and
Open Problems}},
year = {2015},
volume = {7},
number = {3},
pages = {101-104},
}
@article{bcs15,
author = {B\'erard, B. and Chatterjee, K. and Sznajder, N.},
journal = {{Information Processing Letters}},
title = {{Probabilistic Opacity for Markov Decision Processes}},
year = {2015},
volume = {115},
number = {1},
pages = {52-59},
}
@article{bms15,
author = {B\'erard, B. and Mullins, J. and Sassolas, M.},
journal = {{Mathematical Structures in Computer Science}},
publisher = {Cambridge University Press},
title = {{Quantifying Opacity}},
year = {2015},
volume = {25},
number = {2},
pages = {361-403},
}
@article{bm14,
author = {B\'erard, B. and Mullins, J.},
journal = {{ECEASST}},
title = {{Verification of Information Flow Properties under Rational Observation}},
year = {2014},
volume = {70},
}
@article{bchlr13,
author = {B\'erard, B. and Cassez, F. and Lime, D. and Roux, O. (H).},
journal = {{Theoretical Computer Science}},
publisher = {Springer},
title = {{The Expressive Power of Time Petri Nets}},
year = {2013},
pages = {1-20},
}
@article{bblmrs12,
author = {Benattar, G. and B\'erard, B. and Lime, D. and Mullins, J. and Roux, O. H. and Sassolas, M.},
journal = {{International Journal of Foundations of Computer Science}},
publisher = {World Scientific},
title = {{Channel Synthesis for Finite Transducers}},
year = {2012},
pages = {41-87},
volume = {40},
number = {1}
}
@article{BHS-fmsd12,
author = {B\'erard, B. and Haddad, S. and Sassolas, M.},
journal = {{Formal Methods in System Design}},
publisher = {Springer},
title = {{Interrupt Timed Automata : Verification and Expressiveness }},
year = {2012},
month = feb,
volume = {40},
number = {1},
pages = {41-87},
url = {http://dx.doi.org/10.1007/s10703-011-0140-2},
category = {jour}
}
@article{BBGRS-TASE10,
author = {{Bel Mokadem}, H. and B{\'e}rard, B. and Gourcuff,
V. and Roussel, J.-M. and {de Smet}, O.},
journal = {{IEEE Transactions on Automation Science and Engineering (T-ASE)}},
month = oct,
volume = {7},
number = {4},
pages = {921--932},
publisher = {IEEE},
title = {{Verification of a Timed Multitask System with {U}ppaal}},
year = {2010},
category = {jour}
}
@article{bchlr-tcs,
author = {B{\'e}rard, B. and Cassez, F. and Haddad, S.
and Lime, D. and Roux, O. (H.)},
title = {When are timed automata weakly timed bisimilar to time
{P}etri nets ?},
journal = {Theoretical Computer Science},
volume = {403},
number = {2-3},
pages = {202-220},
year = {2008},
category = {jour}
}
@article{BGP-fmsd07,
author = {B{\'e}rard, B. and Gastin, P. and Petit, A.},
title = {Timed substitutions for regular signal-event languages},
volume = {31},
number = {2},
year = {2007},
month = oct,
journal = {Formal Methods in System Design},
pages = {101-134},
publisher = {Springer netherlands},
category = {jour}
}
@article{BBdS-JESA05,
author = {M. {Ben Gaid} and B. B{\'e}rard and O. {De Smet}},
title = {Verification of an evaporator system with Uppaal},
journal = {Journal {E}uropéen des {S}ystèmes {A}utomatisés},
volume = {39},
number = {9-10},
pages = {1079--1098},
year = {2005},
category = {jour}
}
@article{BBP-IJPR04,
author = {B{\'e}rard, B. and Bouyer, P. and
Petit, A.},
journal = {International Journal of Production Research},
month = jul,
number = {14},
pages = {2773-2791},
publisher = {Taylor and Francis},
title = {Analysing the {PGM} Protocol with {U}ppaal},
volume = {42},
year = {2004},
url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PSGZ/BBP-IJPR04.ps.gz},
category = {jour}
}
@article{BFKM-FMSD,
author = {B{\'e}rard, B. and Fribourg, L. and
Klay, F. and Monin, J.-F.},
journal = {Formal Methods in System Design},
month = jan,
number = {1},
pages = {59-86},
publisher = {Kluwer Academic Publishers},
title = {A Compared Study of Two Correctness Proofs for the
Standardized Algorithm of {ABR} Conformance},
volume = {22},
year = {2003},
url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PS/BFKM-FMSD.ps.gz},
category = {jour}
}
@article{BBFM-DISTCOMP,
author = {Beauquier, J. and B{\'e}rard, B. and
Fribourg, L. and Magniette, F.},
journal = {Distributed Computing},
number = {2},
pages = {83-95},
publisher = {Springer},
title = {Proving Convergence of Self-Stabilizing Systems Using
First-Order Rewriting and Regular Languages},
volume = {14},
year = {2001},
url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PS/BBFM-DISCOMP2000.ps.gz},
category = {jour}
}
@article{BerDuf-IPL2000,
author = {B{\'e}rard, B. and Dufourd, C.},
journal = {Information Processing Letters},
month = jul,
number = {1-2},
pages = {1-7},
publisher = {Elsevier Science Publishers},
title = {Timed Automata and Additive Clock Constraints},
volume = {75},
year = {2000},
url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PS/BerDuf-IPL2000.ps.gz},
category = {jour}
}
@article{BerPic-ACTA2000,
author = {B{\'e}rard, B. and Picaronny, C.},
journal = {Acta Informatica},
number = {1},
pages = {45-81},
publisher = {Springer},
title = {Accepting {Z}eno Words: {A} Way Toward Timed
Refinements},
volume = {37},
year = {2000},
url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PS/BerPic-ACTA2000.ps.gz},
category = {jour}
}
@article{BB-VD-PG-AP-98,
author = {B{\'e}rard, B. and Diekert, V. and
Gastin, P. and Petit, A.},
journal = {Fundamenta Informaticae},
month = nov,
number = {2},
pages = {145-182},
publisher = {{IOS} Press},
title = {Characterization of the Expressive Power of Silent
Transitions in Timed Automata},
volume = {36},
year = {1998},
url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PS/BDGP-FUNDI98.ps.gz},
category = {jour}
}
@article{BB-IPL95,
author = {B{\'e}rard, B.},
journal = {Information Processing Letters},
month = aug,
number = {3},
pages = {129-135},
publisher = {Elsevier Science Publishers},
title = {Untiming Timed Languages},
volume = {55},
year = {1995},
category = {jour}
}
@article{BB-TCS94,
author = {B{\'e}rard, B.},
journal = {Theoretical Computer Science},
month = feb,
number = {1},
pages = {41--70},
publisher = {Elsevier Science Publishers},
title = {Global {S}erializability of {C}oncurrent {P}rograms},
volume = {124},
year = {1994},
category = {jour}
}
@article{BB-TCS87,
author = {B{\'e}rard, B.},
title = {Literal shuffle},
journal = tcs,
volume = {51},
year = {1987},
pages = {281--299},
category = {jour}
}
@article{BB-AC87,
author = {B{\'e}rard, B.},
title = {Formal properties of literal shuffle},
journal = {Acta Cybernetica},
volume = {8},
number = {1},
year = {1987},
pages = {17--29},
category = {jour}
}