Login / Signup
Maxime Buyse
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 3
Top Topics
Deadlock Detection
Description Languages
Layered Architecture
Cognitive Models
Top Venues
Dagstuhl Artifacts Ser.
Arch. Formal Proofs
ECOOP
</>
Publications
</>
Maxime Buyse
,
Rémi Delmas
,
Youssef Hamadi
ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety.
ECOOP
(2021)
Maxime Buyse
,
Rémi Delmas
,
Youssef Hamadi
ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety (Artifact).
Dagstuhl Artifacts Ser.
7 (2) (2021)
Maxime Buyse
,
Jason Jaskolka
Communicating Concurrent Kleene Algebra for Distributed Systems Specification.
Arch. Formal Proofs
2019 (2019)