Login / Signup
Philipp Koerner
ORCID
Publication Activity (10 Years)
Years Active: 2016-2020
Publications (10 Years): 2
Top Topics
Incremental Algorithms
Software Engineering
Reachability Analysis
Higher Education
Top Venues
CoRR
</>
Publications
</>
Antonio Cerone
,
Markus Roggenbach
,
James Davenport
,
Casey Denner
,
Marie Farrell
,
Magne Haveraaen
,
Faron Moller
,
Philipp Koerner
,
Sebastian Krings
,
Peter Csaba Ölveczky
,
Bernd-Holger Schlingloff
,
Nikolay Shilov
,
Rustam Zhumagambetov
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper.
CoRR
(2020)
Jens Bendisposto
,
Philipp Koerner
,
Michael Leuschel
,
Jeroen Meijer
,
Jaco van de Pol
,
Helen Treharne
,
Jorden Whitefield
Symbolic Reachability Analysis of B through ProB and LTSmin.
CoRR
(2016)