关注
Diego Marmsoler
Diego Marmsoler
在 tum.de 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Formal methods in dependable systems engineering: a survey of professionals from Europe and North America
M Gleirscher, D Marmsoler
Empirical Software Engineering 25, 4473-4546, 2020
462020
Specifying properties of dynamic architectures using configuration traces
D Marmsoler, M Gleirscher
Theoretical Aspects of Computing–ICTAC 2016: 13th International Colloquium …, 2016
252016
Research challenges for a future-proof e/e architecture-a project statement
S Kugele, V Cebotari, M Gleirscher, M Hashemi, C Segler, S Shafaei, ...
Gesellschaft für Informatik, Bonn, 2017
182017
Hierarchical specification and verification of architectural design patterns
D Marmsoler
Fundamental Approaches to Software Engineering: 21st International …, 2018
172018
On activation, connection, and behavior in dynamic architectures
D Marmsoler, M Gleirscher
Scientific Annals of Computer Science 26 (2), 187, 2016
162016
A denotational semantics of Solidity in Isabelle/HOL
D Marmsoler, AD Brucker
Software Engineering and Formal Methods: 19th International Conference, SEFM …, 2021
152021
Towards a calculus for dynamic architectures
D Marmsoler
Theoretical Aspects of Computing–ICTAC 2017: 14th International Colloquium …, 2017
142017
On the semantics of temporal specifications of component-behavior for dynamic architectures
D Marmsoler
2017 International Symposium on Theoretical Aspects of Software Engineering …, 2017
132017
Grounded architectures: using grounded theory for the design of software architectures
HK Gidey, D Marmsoler, J Eckhardt
2017 IEEE international conference on software architecture workshops (ICSAW …, 2017
132017
A model of service-oriented architectures
A Malkis, D Marmsoler
2015 IX Brazilian Symposium on Components, Architectures and Reuse Software …, 2015
132015
A framework for interactive verification of architectural design patterns in Isabelle/HOL
D Marmsoler
International Conference on Formal Engineering Methods, 251-269, 2018
112018
A model of layered architectures
D Marmsoler, A Malkis, J Eckhardt
arXiv preprint arXiv:1503.04916, 2015
112015
Towards a theory of architectural styles
D Marmsoler
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014
112014
Interactive verification of architectural design patterns in FACTum
D Marmsoler, HK Gidey
Formal Aspects of Computing 31 (5), 541-610, 2019
102019
FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns
D Marmsoler, HK Gidey
Formal Aspects of Component Software: 15th International Conference, FACS …, 2018
102018
Verification of component architectures using mode-based contracts
S Kugele, D Marmsoler, N Mata, K Werther
2016 ACM/IEEE International Conference on Formal Methods and Models for …, 2016
82016
Towards verified blockchain architectures: A case study on interactive architecture verification
D Marmsoler
Formal Techniques for Distributed Objects, Components, and Systems: 39th …, 2019
72019
Formal methods: Oversold? underused? A survey
M Gleirscher, D Marmsoler
arXiv preprint arXiv:1812.08815, 2018
72018
Dynamic architectures
D Marmsoler
Archive of Formal Proofs, 1-65, 2017
72017
Verifying patterns of dynamic architectures using model checking
D Marmsoler, S Degenhardt
arXiv preprint arXiv:1703.07033, 2017
62017
系统目前无法执行此操作,请稍后再试。
文章 1–20