AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Diego Marmsoler

Diego Marmsoler

Technische Universität München - Munich / Germany
Others
AD Scientific Index ID: 5942431
Technical University of Munich
person_outline Diego Marmsoler's MOST POPULAR ARTICLES
1-) Formal methods in dependable systems engineering: a survey of professionals from Europe and North America Empirical Software Engineering 25 (6), 4473-4546, 2020
2-) Specifying properties of dynamic architectures using configuration traces International Colloquium on Theoretical Aspects of Computing, 235-254, 2016
3-) A denotational semantics of Solidity in Isabelle/HOL International Conference on Software Engineering and Formal Methods, 403-422, 2021
4-) Hierarchical specification and verification of architectural design patterns International Conference on Fundamental Approaches to Software Engineering …, 2018
5-) Research challenges for a future-proof e/e architecture-a project statement INFORMATIK 2017, 1463-1474, 2017