Login / Signup
Nicolas Gottwald
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 2
Top Topics
Static Analysis
Symbolic Execution
Change Management
Enterprise Data
Top Venues
Serv. Oriented Comput. Appl.
VaMoS
</>
Publications
</>
Jacopo Soldani
,
Lars Luthmann
,
Nicolas Gottwald
,
Malte Lochau
,
Antonio Brogi
Compositional testing of management conformance for multi-component enterprise applications.
Serv. Oriented Comput. Appl.
16 (3) (2022)
Hendrik Göttmann
,
Isabelle Bacher
,
Nicolas Gottwald
,
Malte Lochau
Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications.
VaMoS
(2021)