intc.bib
@inproceedings{bbbfs20,
author = {B. B\'erard, B. Bollig, P. Bouyer, M. F\"ugger and N. Sznajder},
title = {{Synthesis in Presence of Dynamic Links}},
booktitle = {{Proceedings of GandALF 2020}},
year = {2020},
}
@inproceedings{bbls20,
author = {B. B\'erard, B. Bollig, M. Lehaut and N. Sznajder},
title = {{Parameterized Synthesis for Fragments of First Order Logic Over Data Words}},
booktitle = {{Proceedings of FoSSaCS 2020}},
year = {2020},
pages = {97-118},
}
@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}
}