Login / Signup
Alexandre Alaphilippe
Publication Activity (10 Years)
Years Active: 2019-2020
Publications (10 Years): 2
Top Topics
Formal Methods
Pilot Project
Software Tools
Website
Top Venues
ICME Workshops
TTO
</>
Publications
</>
Zlatina Marinova
,
Jochen Spangenberg
,
Denis Teyssou
,
Symeon Papadopoulos
,
Nikos Sarris
,
Alexandre Alaphilippe
,
Kalina Bontcheva
Weverify: Wider and Enhanced Verification for You Project Overview and Tools.
ICME Workshops
(2020)
Zlatina Marinova
,
Denis Teyssou
,
Nikos Sarris
,
Jochen Spangenberg
,
Symeon Papadopoulos
,
Alexandre Alaphilippe
,
Kalina Bontcheva
WeVerify: Wider and Enhanced Verification for You - Project Overview and Tool Demonstration.
TTO
(2019)