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 | 46 | 2020 |
Specifying properties of dynamic architectures using configuration traces D Marmsoler, M Gleirscher Theoretical Aspects of Computing–ICTAC 2016: 13th International Colloquium …, 2016 | 25 | 2016 |
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 | 18 | 2017 |
Hierarchical specification and verification of architectural design patterns D Marmsoler Fundamental Approaches to Software Engineering: 21st International …, 2018 | 17 | 2018 |
On activation, connection, and behavior in dynamic architectures D Marmsoler, M Gleirscher Scientific Annals of Computer Science 26 (2), 187, 2016 | 16 | 2016 |
A denotational semantics of Solidity in Isabelle/HOL D Marmsoler, AD Brucker Software Engineering and Formal Methods: 19th International Conference, SEFM …, 2021 | 15 | 2021 |
Towards a calculus for dynamic architectures D Marmsoler Theoretical Aspects of Computing–ICTAC 2017: 14th International Colloquium …, 2017 | 14 | 2017 |
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 |
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 | 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 |
A framework for interactive verification of architectural design patterns in Isabelle/HOL D Marmsoler International Conference on Formal Engineering Methods, 251-269, 2018 | 11 | 2018 |
A model of layered architectures D Marmsoler, A Malkis, J Eckhardt arXiv preprint arXiv:1503.04916, 2015 | 11 | 2015 |
Towards a theory of architectural styles D Marmsoler Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014 | 11 | 2014 |
Interactive verification of architectural design patterns in FACTum D Marmsoler, HK Gidey Formal Aspects of Computing 31 (5), 541-610, 2019 | 10 | 2019 |
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 | 10 | 2018 |
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 | 8 | 2016 |
Towards verified blockchain architectures: A case study on interactive architecture verification D Marmsoler Formal Techniques for Distributed Objects, Components, and Systems: 39th …, 2019 | 7 | 2019 |
Formal methods: Oversold? underused? A survey M Gleirscher, D Marmsoler arXiv preprint arXiv:1812.08815, 2018 | 7 | 2018 |
Dynamic architectures D Marmsoler Archive of Formal Proofs, 1-65, 2017 | 7 | 2017 |
Verifying patterns of dynamic architectures using model checking D Marmsoler, S Degenhardt arXiv preprint arXiv:1703.07033, 2017 | 6 | 2017 |