The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Diego Marmsoler" ( http://dblp.L3S.de/Authors/Diego_Marmsoler )

  Author page on DBLP  Author page in RDF  Community of Diego Marmsoler in ASPL-2

Publication years (Num. hits)
2014-2018 (19) 2019 (3)
Publication types (Num. hits)
article(6) inproceedings(16)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 23 publication records. Showing 22 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Diego Marmsoler, Genc Blakqori APML: An Architecture Proof Modeling Language. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Diego Marmsoler Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification. Search on Bibsonomy FORTE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Diego Marmsoler Verifying Dynamic Architectures using Model Checking and Interactive Theorem Proving. Search on Bibsonomy SE/SWM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mario Gleirscher, Diego Marmsoler Formal Methods: Oversold? Underused? A Survey. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Diego Marmsoler A Theory of Architectural Design Patterns. Search on Bibsonomy Archive of Formal Proofs The full citation details ... 2018 DBLP  BibTeX  RDF
1Diego Marmsoler A Framework for Interactive Verification of Architectural Design Patterns in Isabelle/HOL. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Diego Marmsoler Hierarchical Specification and Verification of Architectural Design Patterns. Search on Bibsonomy FASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Diego Marmsoler, Habtom Kahsay Gidey FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns. Search on Bibsonomy FACS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Diego Marmsoler On Syntactic and Semantic Dependencies in Service-Oriented Architectures. Search on Bibsonomy TASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Diego Marmsoler On the Specification of Constraints for Dynamic Architectures. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Diego Marmsoler, Silvio Degenhardt Verifying Patterns of Dynamic Architectures using Model Checking. Search on Bibsonomy FESCA@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Diego Marmsoler Dynamic Architectures. Search on Bibsonomy Archive of Formal Proofs The full citation details ... 2017 DBLP  BibTeX  RDF
1Diego Marmsoler Towards a Calculus for Dynamic Architectures. Search on Bibsonomy ICTAC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stefan Kugele, Vadim Cebotari, Mario Gleirscher, Morteza Hashemi Farzaneh, Christoph Segler, Sina Shafaei, Hans-Jörg Vögel, Fridolin Bauer, Alois Knoll, Diego Marmsoler, Hans-Ulrich Michel Research Challenges for a Future-Proof E/E Architecture - A Project Statement. Search on Bibsonomy GI-Jahrestagung The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Diego Marmsoler On the semantics of temporal specifications of component-behavior for dynamic architectures. Search on Bibsonomy TASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Habtom Kahsay Gidey, Diego Marmsoler, Jonas Eckhardt Grounded Architectures: Using Grounded Theory for the Design of Software Architectures. Search on Bibsonomy ICSA Workshops The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Diego Marmsoler, Mario Gleirscher On Activation, Connection, and Behavior in Dynamic Architectures. Search on Bibsonomy Sci. Ann. Comp. Sci. The full citation details ... 2016 DBLP  BibTeX  RDF
1Diego Marmsoler, Mario Gleirscher Specifying Properties of Dynamic Architectures Using Configuration Traces. Search on Bibsonomy ICTAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stefan Kugele, Diego Marmsoler, Nuria Mata, Kai Werther Verification of component architectures using mode-based contracts. Search on Bibsonomy MEMOCODE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Diego Marmsoler, Alexander Malkis, Jonas Eckhardt A Model of Layered Architectures. Search on Bibsonomy FESCA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alexander Malkis, Diego Marmsoler A Model of Service-Oriented Architectures. Search on Bibsonomy SBCARS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Diego Marmsoler Towards a theory of architectural styles. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #22 of 22 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license