jour.bib

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