intc.bib

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