@inproceedings{bbdh-pn18, author = {B. Barbot, B. B\'erard, Y. Duplouy and S. Haddad}, title = {{Integrating Simulink Models into the Model Checker Cosmos}}, booktitle = {{Proceedings of the 39th Int. Conf. on Applications and Theory of Petri Nets and Concurrency, {Petri Nets} 2018}}, year = {2018}, pages = {363-373}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume={10877} }

@inproceedings{bbj-csl18, author = {B. B\'erard, P. Bouyer and V. Jug\'e}, title = {{Finite Bisimulations for Dynamical Systems with Overlapping Trajectories}}, booktitle = {{Proceedings of 27th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2018}}, year = {2018}, pages = {26:1-26:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, series = {LIPIcs}, volume={119} }

@inproceedings{bhh-fsttcs18, author = {B. B\'erard, S. Haar and L. H\'elou\"et}, title = {{Hyper Partial Order Logic}}, booktitle = {{Proceedings of the 38th {IARS} Conf. on Foundations of Software and Theoretical Computer Science, {FSTTCS} 2018}}, year = {2018}, pages = {20:1-20:21}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, series = {LIPIcs}, volume={122} }

@inproceedings{bhl-fsttcs17, author = {B. B\'erard, S. Haddad and E. Lefaucheux}, title = {{Probabilistic Disclosure: Maximisation vs. Minimisation}}, booktitle = {{Proceedings of the 37th {IARS} Conf. on Foundations of Software and Theoretical Computer Science, {FSTTCS} 2017}}, year = {2017}, pages = {13:1-13:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, series = {LIPIcs}, volume={93} }

@inproceedings{bhss-pn17, author = {B. B\'erard, S. Haar, S. Schwoon and S. Schmitz}, title = {{The Complexity of Diagnosability and Opacity Verification for Petri Nets}}, booktitle = {{Proceedings of the 38th Int. Conf. on Applications and Theory of Petri Nets and Concurrency, {Petri Nets} 2017}}, year = {2017}, pages = {200-220}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume={10258} }

@inproceedings{bkms-wodes16, author = {B. B\'erard, O. Kouchnarenko, J. Mullins, and M. Sassolas}, title = {{Preserving opacity on Interval Markov Chains under simulation}}, booktitle = {{Proceedings of the 3th International Workshop on Discrete Event Systems, {WODES} 2016}}, year = {2016}, pages = {319-324}, publisher = {IEEE} }

@inproceedings{bhpss-rp15, author = {B. B\'erard, S. Haddad, C. Picaronny, M. Safey El Din, and M. Sassolas}, title = {{Polynomial Interrupt Timed Automata}}, booktitle = {{Proceedings of the 9th Workshop on Reachability Problems in Computational Models (RP'15)}}, year = {2015}, pages = {20-32}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume={9328} }

@inproceedings{bhm-acsd15, author = {B. B\'erard, L. H\'elou{\še}t and J. Mullins}, title = {{Non-interference in partial order models}}, booktitle = {{Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD'15)}}, year = {2015}, pages = {80-89} }

@inproceedings{bbb14, author = {M. Benabdelafid, B. B\'erard and M. Boufaida}, title = {{Analyzing Behavioral Compatibility for Web Service Choreography Using Colored Petri Nets and ASK-CTL}}, booktitle = {{Proceedings of the 6th International Conference on Advanced Service Computing}}, year = {2014}, pages = {32-39}, publisher = {{Xpert Publishing Services}} }

@inproceedings{bc-lata14, author = {B. B\'erard and O. Carton}, title = {{Channel Synthesis Revisited}}, booktitle = {{Proceedings of the 8th International Conference on Languages and Automata Theory (LATA'14)}}, year = {2014}, volume = {8370}, pages = {149-160}, publisher = {Springer}, series = {Lecture Notes in Computer Science} }

@inproceedings{bhjl-rp13, author = {B. B\'erard and S. Haddad and A. Jovanovi{\v{c}} and D. Lime}, title = {{Parametric Interrupt Timed Automata}}, booktitle = {{Proceedings of the 7th Workshop on Reachability Problems in Computational Models (RP'13)}}, year = {2013}, volume = {8169}, pages = {56-69}, address = {Uppsala, Sweden}, month = {September}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BHJL-rp13.pdf} }

@inproceedings{bhss-concur12, author = {B. B\'erard and S. Haddad and M. Sassolas and N. Sznajder}, title = {{Concurrent Games on VASS with Inhibition}}, booktitle = {{Proceedings of the 23rd Int. Conf. on Concurrency Theory (CONCUR'12}}, year = {2012}, pages = {39-52}, address = {Newcastle, England}, month = {September} }

@inproceedings{benattar2011, author = {G. Benattar and B. B\'erard and D. Lime and J. Mullins and O. H. Roux and M. Sassolas}, title = {{Channel Synthesis for Finite Transducers}}, booktitle = {{Proceedings of the 13th Int. Conf. on Automata and Formal Languages (AFL'11)}}, year = {2011}, pages = {79-92}, address = {Debrecen, Hungary}, month = {August} }

@inproceedings{pthierrymieg2011, author = {Y. Thierry-Mieg and B. B\'erard and F. Kordon and D. Lime and O. H. Roux}, title = {{Compositional Analysis of Discrete Time Petri nets}}, booktitle = {{1st workshop on Petri Nets Compositions (CompoNet 2011)}}, year = {2011}, pages = {17-31}, address = {Newcastle, UK}, volume = {726}, month = {June}, publisher = {CEUR} }

@inproceedings{ZBKT-wodes10, author = {Zhang, Y. and B\'erard, B. and Kordon, F. and Thierry-Mieg, Y.}, booktitle = {{P}roceedings of the 10th {I}nternational {W}orkshop on {D}iscrete {E}vent {S}ystems ({WODES}'10)}, month = aug, title = {{Automated Controllability and Synthesis with Hierarchical Set Decision Diagrams}}, year = {2010}, pages = {291-296} }

@inproceedings{BMS-qest10, author = {B\'erard, B. and Mullins, J. and Sassolas, M.}, booktitle = {{P}roceedings of the 7th {I}nternational {C}onference on {Q}uantitative {E}valuation of {S}ystems ({QEST}'10)}, month = sep, pages = {263-272}, title = {{Quantifying Opacity}}, year = {2010}, url = {http://move.lip6.fr/~Beatrice.Berard/PDF/qest10.pdf} }

@inproceedings{BHS-time10, author = {B\'erard, B. and Haddad, S. and Sassolas, M.}, booktitle = {{P}roceedings of the 17th {I}nternational {S}ymposium on {T}emporal {R}epresentation ({TIME}'10)}, month = sep, title = {{Real Time Properties for Interrupt Timed Automata}}, year = {2010}, category = {intc}, pages = {69-76}, publisher = {IEEE Computer Society Press}, url = {http://move.lip6.fr/~Beatrice.Berard/PDF/Time10.pdf} }

@inproceedings{BH-fossacs09, address = {York, GB}, author = {B\'erard, B. and Haddad, S.}, booktitle = {{P}roceedings of the 12th {I}nternational {C}onference on {F}oundations of {S}oftware {S}cience and {C}omputation {S}tructures ({FoSSaCS}'09)}, month = mar, title = {{Interrupt Timed Automata}}, year = {2009}, category = {intc}, pages = {197-211}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = 5504, url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BH-fossacs09.pdf} }

@inproceedings{BHHKT-08, address = {G{\"o}teborg, Sweden}, author = {B{\'e}rard, B. and Haddad, S. and Hillah, {L. M.} and Kordon, F. and {Thierry-Mieg}, Y.}, booktitle = {{P}roceedings of the 9th {I}nternational {W}orkshop on {D}iscrete {E}vent {S}ystems ({WODES}'08)}, month = may, pages = {346-351}, title = {{Collision Avoidance in Intelligent Transport Systems: towards an Application of Control Theory}}, publisher = {IEEE Press}, year = {2008}, category = {intc} }

@inproceedings{BBBL-atva06, address = {Beijing, ROC}, author = {{Bel mokadem}, H. and B{\'e}rard, B. and Bouyer, P. and Laroussinie, F.}, booktitle = {{P}roceedings of the 4th {I}nternational {S}ymposium on {A}utomated {T}echnology for {V}erification and {A}nalysis ({ATVA}'06)}, editor = {Graf, Susanne and Zhang, Wenhui}, month = oct, pages = {337-351}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {Timed temporal logics for abstracting transient states}, url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BBBL-atva06.pdf}, volume = {4218}, year = {2006}, category = {intc} }

@inproceedings{BGP1-formats06, address = {Paris, France}, author = {B{\'e}rard, B. and Gastin, P. and Petit, A.}, booktitle = {{P}roceedings of the 4th {I}nternational {C}onference on {F}ormal {M}odelling and {A}nalysis of {T}imed {S}ystems ({FORMATS}'06)}, editor = {Asarin, E. and Bouyer, P.}, month = sep, pages = {67-81}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {Refinements and abstractions of signal-event (timed) languages}, url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BGP1-formats06.pdf}, volume = {4202}, year = {2006}, category = {intc} }

@inproceedings{BGP2-formats06, address = {Paris, France}, author = {B{\'e}rard, B. and Gastin, P. and Petit, A.}, booktitle = {{P}roceedings of the 4th {I}nternational {C}onference on {F}ormal {M}odelling and {A}nalysis of {T}imed {S}ystems ({FORMATS}'06)}, editor = {Asarin, E. and Bouyer, P.}, month = sep, pages = {52-66}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {Intersection of regular signal-event (timed) languages}, url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BGP2-formats06.pdf}, volume = {4202}, year = {2006}, category = {intc} }

@inproceedings{berard-FSTTCS-05, 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 ?}, booktitle = {25th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2005)}, month = dec, year = 2005, volume = {3821}, address = {Hyderabad, India}, series = {Lecture Notes in Computer Science}, url = {http://move.lip6.fr/~Beatrice.Berard/PDF/bchlr-fsttcs05.pdf}, publisher = {Springer}, category = {intc} }

@inproceedings{berard-ATVA-05, author = {B{\'e}rard, B. and Cassez, F. and Haddad, S. and Lime, D. and Roux, O.H.}, title = {Comparison of Different Semantics for Time {Petri} Nets}, booktitle = {Automated Technology for Verification and Analysis (ATVA'05)}, pages = {293--307}, address = {Taipei, Taiwan}, year = 2005, series = {Lecture Notes in Computer Science}, url = {http://move.lip6.fr/~Beatrice.Berard/PDF/bchlr-atva05.pdf}, volume = {3707}, publisher = {Springer}, month = oct, category = {intc} }

@inproceedings{BCHLR-formats2005, address = {Uppsala, Sweden}, title = {{Comparison of the Expressiveness of Timed Automata and Time Petri Nets}}, author = {B{\'e}rard, B. and Cassez, F. and Haddad, S. and Roux, O.H. and Lime, D.}, booktitle = {{Proceedings of the third International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'05)}}, editor = {Pettersson, P. and Yi, W.}, year = {2005}, month = sep, volume = 3829, pages = {211--225}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, url = {http://move.lip6.fr/~Beatrice.Berard/PDF/bchlr-formats05.pdf}, category = {intc} }

@inproceedings{BBBL-concur2005, address = {San Francisco, CA, USA}, author = {{Bel Mokadem}, H. and B{\'e}rard, B. and Bouyer, P. and Laroussinie, F.}, booktitle = {{P}roceedings of the 16th {I}nternational {C}onference on {C}oncurrency {T}heory ({CONCUR}'05)}, editor = {Abadi, M. and de Alfaro, L.}, month = aug, pages = {110-124}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {A New Modality for Almost Everywhere Properties in Timed Automata}, url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BBBL05-concur.pdf}, volume = {3653}, year = {2005}, category = {intc} }

@inproceedings{BBGRS-ETFA05, address = {Catania, Italy}, author = {{Bel Mokadem}, H. and B{\'e}rard, B. and Gourcuff, V. and Roussel, J.-M. and {de Smet}, O.}, booktitle = {{P}roceedings of the 10th {IEEE} {I}nternational {C}onference on {E}merging {T}echnologies and {F}actory {A}utomation ({ETFA}'05)}, month = sep, pages = {347--354}, publisher = {IEEE Industrial Electronics Society}, title = {Verification of a timed multitask system with {U}ppaal}, url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/ETFA05-FV.pdf}, year = {2005}, category = {intc} }

@inproceedings{bls-fossacs2000, address = {Berlin, Germany}, author = {B{\'e}rard, B. and Labroue, A. and Schnoebelen, {\relax Ph}.}, booktitle = {{P}roceedings of the 3rd {I}nternational {C}onference on {F}oundations of {S}oftware {S}cience and {C}omputation {S}tructures ({FoSSaCS} 2000)}, editor = {Tiuryn, J.}, month = mar, pages = {35-47}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {Verifying Performance Equivalence for {T}imed {B}asic {P}arallel {P}rocesses}, volume = {1784}, year = {2000}, url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PS/BLS-fossacs2000.ps.gz}, category = {intc} }

@inproceedings{beauquier99, address = {Bratislava, Slovak republic}, author = {Beauquier, J. and B{\'e}rard, B. and Fribourg, L.}, booktitle = {{P}roceedings of the 13th {I}nternational {S}ymposium on {D}istributed {C}omputing ({DISC}'99)}, editor = {Jayanti, P.}, month = sep, pages = {240-253}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {A New Rewrite Method for Proving Convergence of Self-Stabilizing Systems}, volume = {1693}, year = {1999}, url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PS/BBF-disc99.ps.gz}, category = {intc} }

@inproceedings{berard99, address = {Trento, Italy}, author = {B{\'e}rard, B. and Fribourg, L.}, booktitle = {{P}roceedings of the 11th {I}nternational {C}onference on {C}omputer {A}ided {V}erification ({CAV}'99)}, editor = {Halbwachs, N. and Peled, D.}, month = jul, pages = {96-107}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {Automated Verification of a Parametric Real-Time Program: {T}he {ABR} Conformance Protocol}, volume = {1633}, year = {1999}, url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PS/BerFri-cav99.ps.gz}, category = {intc} }

@inproceedings{berard99b, address = {Eindhoven, The Netherlands}, author = {B{\'e}rard, B. and Fribourg, L.}, booktitle = {{P}roceedings of the 10th {I}nternational {C}onference on {C}oncurrency {T}heory ({CONCUR}'99)}, editor = {Baeten, Jos C. M. and Mauw, Sjouke}, month = aug, pages = {178-193}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {Reachability Analysis of (Timed) {P}etri Nets Using Real Arithmetic}, volume = {1664}, year = {1999}, url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PS/BerFri-concur99.ps.gz}, category = {intc} }

@inproceedings{BB-CP-MFCS97, address = {Bratislava, Slovakia}, author = {B{\'e}rard, B. and Picaronny, C.}, booktitle = {{P}roceedings of the 22nd {I}nternational {S}ymposium on {M}athematical {F}undations of {C}omputer {S}cience ({MFCS}'97)}, editor = {Pr{\'i}vara, I. and Ruzicka, P.}, month = aug, pages = {149-158}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {Accepting {Z}eno Words without Making Time Stand Still}, volume = {1295}, year = {1997}, url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PS/BerPic-long.ps.gz}, category = {intc} }

@inproceedings{BB-PG-AP-stacs96, address = {Grenoble, France}, author = {B{\'e}rard, B. and Gastin, P. and Petit, A.}, booktitle = {{P}roceedings of the 13th {A}nnual {S}ymposium on {T}heoretical {A}spects of {C}omputer {S}cience ({STACS}'96)}, editor = {Puech, C. and Reischuk, R.}, month = feb, pages = {257-268}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {On the Power of Non-Observable Actions in Timed Automata}, volume = {1046}, year = {1996}, url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PS/BGP-stacs96.ps.gz}, category = {intc} }

@inproceedings{BB-91, author = {B{\'e}rard, B.}, title = {Static control through the serializability of concurrent programs}, booktitle = {Proceedings IMACS, Symp. on Modelling and Control of Technological Systems, Lille}, editor = {}, publisher = {}, series = {}, volume = {}, year = {1991}, pages = {653--658}, category = {intc} }

@inproceedings{BB-85, author = {B{\'e}rard, B.}, title = {Closure properties of some families of languages under literal shuffle}, booktitle = {Proceedings of the 4th Hungarian Computer Science Conf., Gy{\"o}r}, editor = {}, publisher = {}, series = {}, number = {}, year = {1985}, pages = {3--13}, category = {intc} }

@inproceedings{BB-LT-87, author = {B{\'e}rard, B. and Thimonier, L.}, title = {On a concurrency measure}, booktitle = {Proceedings of the 2nd Int. Symp. on Computer and Information Science, Istanbul}, editor = {}, publisher = {}, series = {}, number = {}, year = {1987}, pages = {211--225}, category = {intc} }

@inproceedings{JB-BB-86, author = {B{\'e}rard, B. and Beauquier, J.}, title = {On the equivalence of synchronization sets}, booktitle = {Proceedings of CAAP'86, Nice}, editor = {}, publisher = {Springer}, series = {{Lecture Notes in Computer Science}}, volume = {214}, year = {1986}, pages = {17--29}, category = {intc} }