56 citations · 75 across the 6 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.SE2017★ 5 cited
Verifying Patterns of Dynamic Architectures using Model Checking
Diego Marmsoler, Silvio Degenhardt
Architecture patterns capture architectural design experience and provide abstract solutions to recurring architectural design problems. They consist of a description of component…
cs.SE2017★ 1 cited
On the Specification of Constraints for Dynamic Architectures
Diego Marmsoler
In dynamic architectures, component activation and connections between components may vary over time. With the emergence of mobile computing such architectures became increasingly…