Diego Marmsoler

Formal Aspects Comput., 2022

Isabelle/Solidity: A deep Embedding of Solidity in Isabelle/HOL.

[BibT_eX]

[DOI]

Achim D. Brucker

Arch. Formal Proofs, 2022

Conformance Testing of Formal Semantics Using Grammar-Based Fuzzing.

[BibT_eX]

[DOI]

Achim D. Brucker

Proceedings of the Tests and Proofs - 16th International Conference, 2022

2021

Runtime verification for dynamic architectures.

[BibT_eX]

[DOI]

Ana Petrovska

J. Log. Algebraic Methods Program., 2021

A Denotational Semantics of Solidity in Isabelle/HOL.

[BibT_eX]

[DOI]

Achim D. Brucker

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

Compositional Verification using Model Checking and Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the Model-Based Engineering of Collaborative Embedded Systems, 2021

2020

On the impact of architecture design decisions on the quality of blockchain-based applications.

[BibT_eX]

[DOI]

Leo Eichhorn

Knowl. Eng. Rev., 2020

Formal methods in dependable systems engineering: a survey of professionals from Europe and North America.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2020

2019

A calculus for dynamic architectures.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2019

Strategic logics for collaborative embedded systems.

[BibT_eX]

[DOI]

Damian Kurpiewski

SICS Softw.-Intensive Cyber Phys. Syst., 2019

Interactive verification of architectural design patterns in FACTum.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2019

Detecting Architectural Erosion using Runtime Verification.

[BibT_eX]

[DOI]

Ana Petrovska

Proceedings of the Proceedings 12th Interaction and Concurrency Experience, 2019

A Denotational Semantics for Dynamic Architectures.

[BibT_eX]

[DOI]

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Verifying Dynamic Architectures using Model Checking and Interactive Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Software Management, 2019

Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

APML: An Architecture Proof Modeling Language.

[BibT_eX]

[DOI]

Genc Blakqori

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Modeling and Verifying Dynamic Architectures with FACTum Studio.

[BibT_eX]

[DOI]

Alexander Collins

Proceedings of the Formal Aspects of Component Software - 16th International Conference, 2019

2018

Formal Methods: Oversold? Underused? A Survey.

[BibT_eX]

[DOI]

CoRR, 2018

A Theory of Architectural Design Patterns.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2018

On Syntactic and Semantic Dependencies in Service-Oriented Architectures.

[BibT_eX]

[DOI]

Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018

A Framework for Interactive Verification of Architectural Design Patterns in Isabelle/HOL.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2018

Hierarchical Specification and Verification of Architectural Design Patterns.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2018

FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

2017

Verifying Patterns of Dynamic Architectures using Model Checking.

[BibT_eX]

[DOI]

Silvio Degenhardt

Proceedings of the Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures, 2017

On the Specification of Constraints for Dynamic Architectures.

[BibT_eX]

[DOI]

CoRR, 2017

Dynamic Architectures.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2017

On the semantics of temporal specifications of component-behavior for dynamic architectures.

[BibT_eX]

[DOI]

Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

Towards a Calculus for Dynamic Architectures.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2017, 2017

Grounded Architectures: Using Grounded Theory for the Design of Software Architectures.

[BibT_eX]

[DOI]

Jonas Eckhardt

Proceedings of the 2017 IEEE International Conference on Software Architecture Workshops, 2017

Research Challenges for a Future-Proof E/E Architecture - A Project Statement.

[BibT_eX]

[DOI]

Stefan Kugele

Vadim Cebotari

Morteza Hashemi Farzaneh

Proceedings of the 47. Jahrestagung der Gesellschaft für Informatik, 2017

2016

On Activation, Connection, and Behavior in Dynamic Architectures.

[BibT_eX]

[DOI]

Sci. Ann. Comput. Sci., 2016

Verification of component architectures using mode-based contracts.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

Specifying Properties of Dynamic Architectures Using Configuration Traces.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

2015

A Model of Layered Architectures.

[BibT_eX]

[DOI]

Alexander Malkis

Jonas Eckhardt

Proceedings of the Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2015

A Model of Service-Oriented Architectures.

[BibT_eX]

[DOI]

Alexander Malkis

Proceedings of the 2015 IX Brazilian Symposium on Components, 2015

2014

Towards a theory of architectural styles.

[BibT_eX]

[DOI]