D
Diego Marmsoler
Researcher at Technische Universität München
Publications - 40
Citations - 225
Diego Marmsoler is an academic researcher from Technische Universität München. The author has contributed to research in topics: Proof assistant & Model checking. The author has an hindex of 8, co-authored 36 publications receiving 188 citations. Previous affiliations of Diego Marmsoler include University of Exeter.
Papers
More filters
Book ChapterDOI
Specifying Properties of Dynamic Architectures Using Configuration Traces
Diego Marmsoler,Mario Gleirscher +1 more
TL;DR: The architecture of a system describes the system’s overall organization into components and connections between those components, and in such architectures, components may appear or disappear, and connections may change over time.
Journal ArticleDOI
Formal methods in dependable systems engineering: a survey of professionals from Europe and North America
Mario Gleirscher,Diego Marmsoler +1 more
TL;DR: The largest study of this kind so far of formal methods in mission-critical software domains, examining industrial and academic views, indicates an increased intent to apply FMs in industry, and indicates a positively perceived usefulness.
Journal ArticleDOI
Formal Methods in Dependable Systems Engineering: A Survey of Professionals from Europe and North America
Mario Gleirscher,Diego Marmsoler +1 more
TL;DR: In this paper, the use of formal methods in mission-critical software domains, examining industrial and academic views, has been studied and the results indicate an increased intent to apply FMs in industry, suggesting a positively perceived usefulness and a negatively perceived ease of use.
Journal ArticleDOI
On Activation, Connection, and Behavior in Dynamic Architectures
Diego Marmsoler,Mario Gleirscher +1 more
TL;DR: This work characterize activation, connection, and behavior properties as special sets of configuration traces and shows soundness and relative completeness of this characterization, i.e., it shows that the intersection of an activation, Connection, and Behavior property contains all relevant configuration traces.
Proceedings ArticleDOI
A Model of Service-Oriented Architectures
Alexander Malkis,Diego Marmsoler +1 more
TL;DR: The rigorous approach enables building higher-quality architectures, for which properties can be mathematically stated and proven, by enforcing formal discipline on the inter-component scale.