Login / Signup
Henrik Wachowitz
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Processor Sharing
Selection Strategies
Service Platform
Selection Criteria
Top Venues
ICSE Companion
TACAS (3)
</>
Publications
</>
Daniel Baier
,
Dirk Beyer
,
Po-Chun Chien
,
Marek Jankola
,
Matthias Kettl
,
Nian-Ze Lee
,
Thomas Lemberger
,
Marian Lingsch Rosenfeld
,
Martin Spiessl
,
Henrik Wachowitz
,
Philipp Wendler
CPAchecker 2.3 with Strategy Selection - (Competition Contribution).
TACAS (3)
(2024)
Dirk Beyer
,
Sudeep Kanav
,
Henrik Wachowitz
CoVeriTeam Service: Verification as a Service.
ICSE Companion
(2023)