( en | de | ru )

 

Disambiguation of "Boyer, Benoît"

Author of the publication

copydeleteadd this publication to your clipboard
A Formalism for Stochastic Adaptive Systems.

, , and . ISoLA (2), volume 8803 of Lecture Notes in Computer Science, page 160-176. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Benoît Cordonnier

Non-Newtonian effects in silicate liquids and crystal bearing melts: implication for magma dynamics. Uni München, (2009)

Benoît Mindzeng

Benoît Vaugon

Benoît Delahaye

Benoît Bertholon

 

Other publications of authors with the same name

Certifying a Tree Automata Completion Checker., , and . IJCAR, volume 5195 of Lecture Notes in Computer Science, page 523-538. Springer, (2008)Equational Abstraction Refinement for Certified Tree Regular Model Checking., , , and . ICFEM, volume 7635 of Lecture Notes in Computer Science, page 299-315. Springer, (2012)Automatic Vulnerability Identification and Security Installation with Type Checking for Source Code., , , , and . NBiS, volume 1036 of Advances in Intelligent Systems and Computing, page 292-304. Springer, (2019)SoS contract verification using statistical model checking., , , , and . AiSoS, volume 133 of EPTCS, page 67-83. (2013)Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems, and . RULE, volume 21 of EPTCS, page 99-108. (2009)PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library., , , and . QEST, volume 8054 of Lecture Notes in Computer Science, page 160-164. Springer, (2013)A Formalism for Stochastic Adaptive Systems., , and . ISoLA (2), volume 8803 of Lecture Notes in Computer Science, page 160-176. Springer, (2014)Compositional Proofs in Differential Dynamic Logic dL., , and . ACSD, page 19-28. IEEE Computer Society, (2017)Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic., , , and . FM, volume 11800 of Lecture Notes in Computer Science, page 354-370. Springer, (2019)A Trusted Approach to Design a Network Monitor., , , , , and . FormaliSE@ICSE, page 17-23. IEEE, (2017)