8 citations · 13 across the 2 of their papers we have counts for
2 papers
cs.SE2020★ 5 cited
Formal Methods: From Academia to Industrial Practice. A Travel Guide
Marieke Huisman, Dilian Gurov, Alexander Malkis
For many decades, formal methods are considered to be the way forward to help the software industry to make more reliable and trustworthy software. However, despite this strong bel…
cs.SE2015★ 8 cited
A Model of Layered Architectures
Diego Marmsoler, Alexander Malkis, Jonas Eckhardt
Architectural styles and patterns play an important role in software engineering. One of the most known ones is the layered architecture style. However, this style is usually only…