92 citations · 275 across the 15 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.SE2020★ 5 cited
Experiences from Large-Scale Model Checking: Verification of a Vehicle Control System
Jonas Fritzsch, Tobias Schmid, Stefan Wagner
In the age of autonomously driving vehicles, functionality and complexity of embedded systems are increasing tremendously. Safety aspects become more important and require such sys…
cs.SE2020
Determining Microservice Boundaries: A Case Study Using Static and Dynamic Software Analysis
Tiago Matias, Filipe F. Correia, Jonas Fritzsch +3
A number of approaches have been proposed to identify service boundaries when decomposing a monolith to microservices. However, only a few use systematic methods and have been demo…