| Formal methods in dependable systems engineering: a survey of professionals from Europe and North America M Gleirscher, D Marmsoler Empirical Software Engineering 25 (6), 4473-4546, 2020 | 63 | 2020 |
| Specifying properties of dynamic architectures using configuration traces D Marmsoler, M Gleirscher International Colloquium on Theoretical Aspects of Computing, 235-254, 2016 | 27 | 2016 |
| A denotational semantics of Solidity in Isabelle/HOL D Marmsoler, AD Brucker International Conference on Software Engineering and Formal Methods, 403-422, 2021 | 26 | 2021 |
| Research challenges for a future-proof e/e architecture-a project statement S Kugele, V Cebotari, M Gleirscher, M Hashemi, C Segler, S Shafaei, ... INFORMATIK 2017, 1463-1474, 2017 | 19 | 2017 |
| Hierarchical specification and verification of architectural design patterns D Marmsoler International Conference on Fundamental Approaches to Software Engineering …, 2018 | 18 | 2018 |
| 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 | 17 | 2017 |
| On activation, connection, and behavior in dynamic architectures D Marmsoler, M Gleirscher Scientific Annals of Computer Science 26 (2), 187, 2016 | 16 | 2016 |
| Towards a calculus for dynamic architectures D Marmsoler International Colloquium on Theoretical Aspects of Computing, 79-99, 2017 | 15 | 2017 |
| A model of layered architectures D Marmsoler, A Malkis, J Eckhardt arXiv preprint arXiv:1503.04916, 2015 | 14 | 2015 |
| A framework for interactive verification of architectural design patterns in Isabelle/HOL D Marmsoler International Conference on Formal Engineering Methods, 251-269, 2018 | 13 | 2018 |
| On the semantics of temporal specifications of component-behavior for dynamic architectures D Marmsoler 2017 International Symposium on Theoretical Aspects of Software Engineering …, 2017 | 13 | 2017 |
| A model of service-oriented architectures A Malkis, D Marmsoler 2015 IX Brazilian Symposium on Components, Architectures and Reuse Software …, 2015 | 13 | 2015 |
| Isabelle/Solidity: A deep embedding of Solidity in Isabelle/HOL D Marmsoler, AD Brucker Formal Aspects of Computing 37 (2), 1-56, 2025 | 12 | 2025 |
| FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns D Marmsoler, HK Gidey International Conference on Formal Aspects of Component Software, 279-287, 2018 | 12 | 2018 |
| Towards a theory of architectural styles D Marmsoler Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014 | 12 | 2014 |
| Interactive verification of architectural design patterns in FACTum D Marmsoler, HK Gidey Formal Aspects of Computing 31 (5), 541-610, 2019 | 11 | 2019 |
| 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 | 10 | 2016 |
| Conformance testing of formal semantics using grammar-based fuzzing D Marmsoler, AD Brucker International Conference on Tests and Proofs, 106-125, 2022 | 8 | 2022 |
| Towards verified blockchain architectures: A case study on interactive architecture verification D Marmsoler International Conference on Formal Techniques for Distributed Objects …, 2019 | 8 | 2019 |
| Runtime verification for dynamic architectures D Marmsoler, A Petrovska Journal of Logical and Algebraic Methods in Programming 118, 100618, 2021 | 7 | 2021 |
