B. Algayres

Publications

Citations

H-Index

1984

Active since

Affiliations

Laboratoire d'Analyse et d'Architecture des Systèmes(Current)

B. Algayres is an author at Laboratoire d'Analyse et d'Architecture des Systèmes specializing in formal methods, software design, and computer science.

Top concepts

EngineeringVerificationFormal MethodsSoftware DesignComputer ScienceFormal VerificationProtocolsProgram AnalysisSoftware AnalysisAutomated Reasoning

Publications per year

1984–1993

Publications

Petri nets are good for protocols

Jean-Pierre Courtiat, Jean-Michel Ayache, B. Algayres · ACM SIGCOMM Computer Communication Review · 1984 · 30 citations

Petri Net, Engineering, Verification +16

VESAR: a pragmatic approach to formal specification and verification

B. Algayres, V. Coelho, Laurent Doldi et al. · Computer Networks and ISDN Systems · 1993 · 28 citations

Specification Language, Formal Specification, Engineering +9

Rows per page

1–2 of 2