% Encoding: UTF-8

@InProceedings{Mavridou2016,
  author    = {Anastasia Mavridou and Eduard Baranov and Simon Bliudze and Joseph Sifakis},
  title     = {Architecture Diagrams: {A} Graphical Language for Architecture Style Specification},
  booktitle = {Proceedings 9th Interaction and Concurrency Experience, {ICE} 2016, Heraklion, Greece, 8-9 June 2016.},
  year      = {2016},
  pages     = {83--97},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl    = {http://dblp.org/rec/bib/journals/corr/MavridouBBS16},
  crossref  = {Bartoletti2016},
  doi       = {10.4204/EPTCS.223.6},
  file      = {:APVerification\\2016_Mavridou_Diagrams.pdf:PDF},
  owner     = {Diego},
  timestamp = {Wed, 14 Jun 2017 20:37:22 +0200},
  url       = {https://doi.org/10.4204/EPTCS.223.6},
}

@InProceedings{Marmsoler2015,
  author    = {Diego Marmsoler and Alexander Malkis and Jonas Eckhardt},
  title     = {A Model of Layered Architectures},
  booktitle = {Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, {FESCA} 2015, London, United Kingdom, April 12th, 2015.},
  year      = {2015},
  pages     = {47--61},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl    = {http://dblp.org/rec/bib/journals/corr/MarmsolerME15},
  crossref  = {Buhnova2015},
  doi       = {10.4204/EPTCS.178.5},
  owner     = {Diego},
  timestamp = {Mon, 06 Nov 2017 12:14:01 +0100},
  url       = {https://doi.org/10.4204/EPTCS.178.5},
}

@InProceedings{Marmsoler2017c,
  author    = {Diego Marmsoler},
  title     = {Towards a Calculus for Dynamic Architectures},
  booktitle = {Theoretical Aspects of Computing - {ICTAC} 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings},
  year      = {2017},
  pages     = {79--99},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl    = {http://dblp.org/rec/bib/conf/ictac/Marmsoler17},
  crossref  = {Hung2017},
  doi       = {10.1007/978-3-319-67729-3_6},
  owner     = {Diego},
  timestamp = {Fri, 29 Sep 2017 10:38:43 +0200},
  url       = {https://doi.org/10.1007/978-3-319-67729-3_6},
}

@InProceedings{Zdun2005,
  author    = {Uwe Zdun and Paris Avgeriou},
  title     = {Modeling architectural patterns using architectural primitives},
  booktitle = {Proceedings of the 20th Annual {ACM} {SIGPLAN} Conference on Object-Oriented Programming, Systems, Languages, and Applications, {OOPSLA} 2005, October 16-20, 2005, San Diego, CA, {USA}},
  year      = {2005},
  pages     = {133--146},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl    = {http://dblp.org/rec/bib/conf/oopsla/ZdunA05},
  crossref  = {Johnson2005},
  doi       = {10.1145/1094811.1094822},
  owner     = {Diego},
  timestamp = {Wed, 25 Jun 2008 19:46:34 +0200},
  url       = {http://doi.acm.org/10.1145/1094811.1094822},
}

@InProceedings{Li2013,
  author    = {Yi Li and Meng Sun},
  title     = {Modeling and Analysis of Component Connectors in Coq},
  booktitle = {Formal Aspects of Component Software - 10th International Symposium, {FACS} 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers},
  year      = {2013},
  pages     = {273--290},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl    = {http://dblp.org/rec/bib/conf/facs2/LiS13},
  crossref  = {Fiadeiro2014},
  doi       = {10.1007/978-3-319-07602-7_17},
  owner     = {Diego},
  timestamp = {Fri, 19 May 2017 01:26:24 +0200},
  url       = {https://doi.org/10.1007/978-3-319-07602-7_17},
}

@InProceedings{Marmsoler2018b,
  author    = {Diego Marmsoler},
  title     = {A Framework for the Verification of Dynamic Architectures based on Co-Inductive Lists},
  booktitle = {Interactive Theorem Proving - 9th International Conference, {ITP} 2018, Proceedings},
  year      = {2018},
  note      = {Under review},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl    = {https://dblp.org/rec/bib/conf/itp/KaliszykUV17},
}

@InProceedings{Marmsoler2018e,
  author    = {Diego Marmsoler},
  title     = {Towards Verified Blockchain Architectures},
  booktitle = {Theoretical Aspects of Computing - {ICTAC} 2018 - 15th International Colloquium, Proceedings},
  year      = {2018},
  note      = {Under review},
}

@Article{Abowd1995,
  author    = {Abowd, Gregory D and Allen, Robert and Garlan, David},
  title     = {Formalizing Style to Understand Descriptions of Software Architecture},
  journal   = {ACM Transactions on Software Engineering and Methodology (TOSEM)},
  year      = {1995},
  volume    = {4},
  number    = {4},
  pages     = {319--364},
  doi       = {10.1145/226241.226244},
  file      = {:APSpecification\\Abowd_1995_Formalizing_Style_to_Understand_Desctiptions_of_SA.pdf:PDF},
  owner     = {Diego},
  publisher = {ACM},
  timestamp = {2015.08.21},
}

@InCollection{Allen1998,
  author    = {Allen, Robert and Douence, Remi and Garlan, David},
  title     = {Specifying and Analyzing Dynamic Software Architectures},
  booktitle = {Fundamental Approaches to Software Engineering},
  publisher = {Springer Berlin Heidelberg},
  year      = {1998},
  editor    = {Egidio Astesiano},
  volume    = {1382},
  series    = {Lecture Notes in Computer Science},
  pages     = {21--37},
  doi       = {10.1007/bfb0053581},
  file      = {:APSpecification\\Allen_1998_Specifying_Analyzing_Dynamic_Software_Architectures.pdf:PDF},
  owner     = {Diego},
  timestamp = {2015.09.15},
}

@TechReport{Allen1997,
  Title                    = {A Formal Approach to Software Architecture.},
  Author                   = {Allen, Robert J},
  Institution              = {DTIC Document},
  Year                     = {1997},

  File                     = {:APSpecification\\Allen_1997_Formal_Software_Architectures.pdf:PDF},
  Owner                    = {Diego},
  Timestamp                = {2015.08.21}
}

@Article{Arbab2004,
  author    = {Arbab, Farhad},
  title     = {Reo: a channel-based coordination model for component composition},
  journal   = {Mathematical structures in computer science},
  year      = {2004},
  volume    = {14},
  number    = {03},
  pages     = {329--366},
  doi       = {10.1017/s0960129504004153},
  file      = {:CoordinationLanguages\\Arbab_2004_Reo.pdf:PDF},
  owner     = {Diego},
  publisher = {Cambridge Univ Press},
  timestamp = {2016.01.14},
}

@Article{Baier2006,
  Title                    = {Modeling component connectors in Reo by constraint automata},
  Author                   = {Baier, Christel and Sirjani, Marjan and Arbab, Farhad and Rutten, Jan},
  Journal                  = {Science of computer programming},
  Year                     = {2006},
  Number                   = {2},
  Pages                    = {75--113},
  Volume                   = {61},

  File                     = {:CoordinationLanguages\\Baier_2006_Reo_CA.pdf:PDF},
  Owner                    = {Diego},
  Publisher                = {Elsevier},
  Timestamp                = {2016.01.25}
}

@TechReport{Basili1992,
  author    = {Basili, Victor R},
  title     = {Software modeling and measurement: the Goal/Question/Metric paradigm},
  year      = {1992},
  file      = {:Methods\\Basili_1992_GQM.pdf:PDF},
  owner     = {Diego},
  timestamp = {2016.04.05},
}

@Book{Bass2007,
  Title                    = {Software Architecture in Practice},
  Author                   = {Bass, Len and Clements, Paul and Kazman, Rick},
  Publisher                = {Addison-Wesley Longman Publishing Co., Inc.},
  Year                     = {2007},

  Owner                    = {Diego},
  Timestamp                = {2016.03.08}
}

@InProceedings{Bernardo2000,
  author       = {Bernardo, Marco and Ciancarini, Paolo and Donatiello, Lorenzo},
  title        = {On the Formalization of Architectural Types with Process Algebras},
  booktitle    = {ACM SIGSOFT Software Engineering Notes},
  year         = {2000},
  volume       = {25},
  number       = {6},
  pages        = {140--148},
  organization = {ACM},
  doi          = {10.1145/357474.355064},
  file         = {:APSpecification\\Bernardo_2000_On_the_Formalization_of_Architectural_Types.pdf:PDF},
  owner        = {Diego},
  timestamp    = {2015.08.21},
}

@InProceedings{Bradbury2004,
  author       = {Bradbury, Jeremy S and Cordy, James R and Dingel, Juergen and Wermelinger, Michel},
  title        = {A survey of self-management in dynamic software architecture specifications},
  booktitle    = {Proceedings of the 1st {ACM} {SIGSOFT} workshop on Self-managed systems},
  year         = {2004},
  pages        = {28--33},
  organization = {ACM},
  publisher    = {{ACM} Press},
  doi          = {10.1145/1075405.1075411},
  file         = {:DynamicSystems\\Bradbury_2004_Survey.pdf:PDF},
  owner        = {Diego},
  timestamp    = {2016.05.03},
}

@InCollection{Bratthall2000,
  author    = {Bratthall, Lars and Johansson, Enrico and Regnell, Bj{\"o}rn},
  title     = {Is a Design Rationale Vital when Predicting Change Impact? --A Controlled Experiment on Software Architecture Evolution},
  booktitle = {Product Focused Software Process Improvement},
  publisher = {Springer},
  year      = {2000},
  pages     = {126--139},
  doi       = {10.1007/978-3-540-45051-1_14},
  file      = {:Motivation\\Bratthall_2000_RationalAndChange.pdf:PDF},
  owner     = {Diego},
  timestamp = {2016.03.07},
}

@InCollection{Broy2014,
  author    = {Broy, Manfred},
  title     = {A Model of Dynamic Systems},
  booktitle = {From Programs to Systems. The Systems Perspective in Computing},
  publisher = {Springer Berlin Heidelberg},
  year      = {2014},
  editor    = {Bensalem, Saddek and Lakhneck, Yassine and Legay, Axel},
  volume    = {8415},
  series    = {Lecture Notes in Computer Science},
  pages     = {39-53},
  isbn      = {978-3-642-54847-5},
  doi       = {10.1007/978-3-642-54848-2_3},
  file      = {:Broy_2014_Model_Dynamic_Systems.pdf:PDF},
  keywords  = {Dynamic Systems; Mobility; Instantiation},
  language  = {English},
  owner     = {Diego},
  timestamp = {2015.08.27},
  url       = {https://doi.org/10.1007/978-3-642-54848-2_3},
}

@Unpublished{Broy2015,
  Title                    = {Theory and Methodology of Assumption/Promise Based System Interface Specification and Architectural Contracts},
  Author                   = {Broy, Manfred},
  Note                     = {TBP},
  Year                     = {2015},

  Abstract                 = {This paper addresses foundations, basic concepts, and paradigms for the specification of and reasoning about interactive real-time systems, their interfaces, and architectures as well as their properties in terms of contracts. Contracts are structured into assumptions about the behavior of the operational context of systems and promises about the system behavior (in the literature also called assumption/guarantee or assumption/commitment specification patterns). A logical analysis of assumption/promise specifications is carried out based on a mathematical system model:
* From assumption/promise contracts two versions of interface specifications are derived and analysed.
* Safety and liveness properties for assumption/promise contracts are analysed.
* Healthiness conditions are worked out for assumption/promise contracts.
* From interaction specifications describing the interaction between two systems assumption/promise contracts for the involved systems are derived.
* Contracts for components in architectures are studied in terms of assumptions and promises and healthiness conditions are worked out that guarantee that assumptions for the composite systems guarantee the validity of the assumptions for components.
Based on the theoretical analysis more practical issues are dealt with for a systematic use of assumption/promise patterns in system specification and architecture design.},
  File                     = {:Broy_2015_Assumption_Promise.pdf:PDF;:Contracts\\Broy_2015_Assumption_Promise.pdf:PDF},
  Keywords                 = {Specification, Design, Contracts, Assumptions, Commitments, Promises, Context, System Specification, Safety, Liveness, Causality, Realizability, Interface, Architecture},
  Owner                    = {Diego},
  Timestamp                = {2015.07.02}
}

@Misc{Broy2011,
  Title                    = {Towards a Theory of Architectural Contracts:-Schemes and Patterns of Assumption/Promise Based System Specification.},

  Author                   = {Broy, Manfred},
  Year                     = {2011},

  File                     = {:Contracts\\Broy_2011_Contracts.pdf:PDF},
  Owner                    = {Diego},
  Timestamp                = {2016.02.14}
}

@Article{Broy2011a,
  author    = {Broy, Manfred},
  title     = {Can practitioners neglect theory and theoreticians neglect practice?},
  journal   = {IEEE Computer},
  year      = {2011},
  volume    = {44},
  number    = {10},
  pages     = {19--24},
  file      = {:Theory\\Broy_2011_theory_practice.pdf:PDF},
  owner     = {Diego},
  timestamp = {2016.02.15},
}

@Article{Broy2010,
  author    = {Broy, Manfred},
  title     = {A Logical Basis for Component-Oriented Software and Systems Engineering},
  journal   = {The Computer Journal},
  year      = {2010},
  volume    = {53},
  number    = {10},
  pages     = {1758--1782},
  month     = feb,
  doi       = {10.1093/comjnl/bxq005},
  file      = {:Specification_Techniques\\Broy_2010_A_Logical_Basis.pdf:PDF},
  owner     = {Diego},
  publisher = {Oxford University Press ({OUP})},
  timestamp = {2016.03.08},
}

@InCollection{Broy2005,
  Title                    = {Service-oriented systems engineering: Specification and design of services and layered architectures},
  Author                   = {Broy, Manfred},
  Booktitle                = {Engineering Theories of Software Intensive Systems},
  Publisher                = {Springer},
  Year                     = {2005},
  Pages                    = {47--81},

  File                     = {:Broy_2005_Janus_Approach.pdf:PDF},
  Owner                    = {Diego},
  Timestamp                = {2015.07.03}
}

@Article{Broy2007,
  Title                    = {A formal model of services},
  Author                   = {Broy, Manfred and Kr{\"u}ger, Ingolf H and Meisinger, Michael},
  Journal                  = {ACM Transactions on Software Engineering and Methodology (TOSEM)},
  Year                     = {2007},
  Number                   = {1},
  Pages                    = {5},
  Volume                   = {16},

  File                     = {:Broy_2007_Services.pdf:PDF},
  Owner                    = {Diego},
  Publisher                = {ACM},
  Timestamp                = {2015.07.03}
}

@Book{Buschmann1996,
  title     = {Pattern-Oriented Software Architecture: A System of Patterns},
  publisher = {Wiley West Sussex, England},
  year      = {1996},
  author    = {Buschmann, Frank and Meunier, Regine and Rohnert, Hans and Sommerlad, Peter and Stal, Michael},
  file      = {:Software_Architecture\\Buschmann_1996_POSA.pdf:PDF},
  owner     = {Diego},
  timestamp = {2016.01.22},
}

@InCollection{Castro2010,
  author    = {Castro, Pablo F and Aguirre, Nazareno M and Pombo, Carlos Gustavo L{\'o}pez and Maibaum, Thomas SE},
  title     = {Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting},
  booktitle = {Lecture Notes in Computer Science},
  publisher = {Springer},
  year      = {2010},
  pages     = {306--321},
  doi       = {10.1007/978-3-642-14808-8_21},
  file      = {:DynamicSystems\\Castro_2010_Dynamic_Reconfigurations.pdf:PDF},
  owner     = {Diego},
  timestamp = {2016.05.03},
}

@Book{Chandy1989,
  Title                    = {Parallel program design},
  Author                   = {Chandy, K Mani},
  Publisher                = {Springer},
  Year                     = {1989},

  Owner                    = {Diego},
  Timestamp                = {2016.03.09}
}

@InProceedings{Clements1996,
  author       = {Clements, Paul C},
  title        = {A Survey of Architecture Description Languages},
  booktitle    = {Proceedings of the 8th International Workshop on Software Specification and Design},
  year         = {1996},
  pages        = {16},
  organization = {IEEE Computer Society},
  publisher    = {{IEEE} Comput. Soc. Press},
  doi          = {10.1109/iwssd.1996.501143},
  owner        = {Diego},
  timestamp    = {2016.05.03},
}

@Misc{MITRE2011,
  Title                    = {{CWE}/{SANS} Top 25 Most Dangerous Software Errors},

  Author                   = {{Corporation~MITRE}},
  Year                     = {2011},

  Owner                    = {Diego},
  Timestamp                = {2016.03.08},
  Url                      = {https://cwe.mitre.org/top25/index.html}
}

@Misc{Dalmau1997,
  Title                    = {{A}riane-5: Learning from Flight 501 and Preparing for 502},

  Author                   = {Juan de Dalmau and Jacques Gigou},
  Month                    = feb,
  Note                     = {{ESA} Bulletin Nr.\ 89},
  Year                     = {1997},

  Institution              = {ESA},
  Owner                    = {Diego},
  Timestamp                = {2016.03.08},
  Url                      = {http://www.esa.int/esapub/bulletin/bullet89/dalma89.htm}
}

@InProceedings{Dashofy2001,
  author       = {Dashofy, Eric M and Van der Hoek, Andr{\'e} and Taylor, Richard N},
  title        = {A Highly-Extensible, XML-Based Architecture Description Language},
  booktitle    = {Software Architecture, 2001. Proceedings. Working IEEE/IFIP Conference on},
  year         = {2001},
  pages        = {103--112},
  organization = {IEEE},
  doi          = {10.1109/wicsa.2001.948416},
  file         = {:APSpecification\\Dashofy_2001_xADL.pdf:PDF},
  owner        = {Diego},
  timestamp    = {2016.03.07},
}

@InProceedings{DeAlfaro2001,
  author       = {De Alfaro, Luca and Henzinger, Thomas A},
  title        = {Interface theories for component-based design},
  booktitle    = {Embedded Software},
  year         = {2001},
  pages        = {148--165},
  organization = {Springer},
  file         = {:Contracts\\Alfaro_2001_InterfaceTheories.pdf:PDF},
  owner        = {Diego},
  timestamp    = {2016.07.01},
}

@InCollection{Dormoy2010,
  author    = {Dormoy, Julien and Kouchnarenko, Olga and Lanoix, Arnaud},
  title     = {Using temporal logic for dynamic reconfigurations of components},
  booktitle = {Formal Aspects of Component Software},
  publisher = {Springer},
  year      = {2010},
  pages     = {200--217},
  doi       = {10.1007/978-3-642-27269-1_12},
  file      = {:DynamicArchitectures\\Dormoy_2010_TemporalLogic.pdf:PDF},
  owner     = {Diego},
  timestamp = {2016.06.13},
}

@InProceedings{Eden2001,
  author       = {Eden, Amnon H},
  title        = {Formal specification of object-oriented design},
  booktitle    = {Multidisciplinary Design in Engineering},
  year         = {2001},
  pages        = {21--22},
  organization = {Citeseer},
  file         = {:DPSpecification\\Eden_2001_LePUS.pdf:PDF},
  owner        = {Diego},
  timestamp    = {2015.08.21},
}

@Article{Fiadeiro2013,
  author    = {Fiadeiro, Jos{\'e} Luiz and Lopes, Ant{\'o}nia},
  title     = {A Model for Dynamic Reconfiguration in Service-oriented Architectures},
  journal   = {Software \& Systems Modeling},
  year      = {2013},
  volume    = {12},
  number    = {2},
  pages     = {349--367},
  doi       = {10.1007/s10270-012-0236-1},
  file      = {:DynamicSystems\\Fiadeiro_2013_DynamicReconfiguration.pdf:PDF},
  owner     = {Diego},
  publisher = {Springer},
  timestamp = {2016.05.10},
}

@InCollection{Garlan2003,
  author    = {Garlan, David},
  title     = {Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events},
  booktitle = {Formal Methods for Software Architectures},
  publisher = {Springer},
  year      = {2003},
  pages     = {1--24},
  doi       = {10.1007/978-3-540-39800-4_1},
  file      = {:APSpecification\\Garlan_2003_Formal_Modeling_and_Analysis_of_Software_Architecture.pdf:PDF},
  owner     = {Diego},
  timestamp = {2015.08.21},
}

@InProceedings{Garlan2000,
  author       = {Garlan, David},
  title        = {Software Architecture: a Roadmap},
  booktitle    = {Proceedings of the Conference on the Future of Software Engineering},
  year         = {2000},
  pages        = {91--101},
  organization = {ACM},
  doi          = {10.1145/336512.336537},
  file         = {:Motivation\\Garlan_2000_Software_Architecture_Roadmap.pdf:PDF},
  owner        = {Diego},
  timestamp    = {2015.08.27},
}

@Article{Hirsch2002,
  author    = {Hirsch, Dan and Montanari, Ugo},
  title     = {Two Graph-Based Techniques for Software Architecture Reconfiguration},
  journal   = {Electronic Notes in Theoretical Computer Science},
  year      = {2002},
  volume    = {51},
  pages     = {177--190},
  month     = may,
  doi       = {10.1016/s1571-0661(04)80201-9},
  file      = {:DynamicSystems\\Hirsch_2002_Graph-Based_Techniques.pdf:PDF},
  owner     = {Diego},
  publisher = {Elsevier},
  timestamp = {2016.05.03},
}

@Article{Hoare1978,
  author    = {Hoare, Charles Antony Richard},
  title     = {Communicating sequential processes},
  journal   = {Communications of the ACM},
  year      = {1978},
  volume    = {21},
  number    = {8},
  pages     = {666--677},
  file      = {:Specification_Techniques\\Hoare_1985_CSP.pdf:PDF},
  owner     = {Diego},
  publisher = {ACM},
  timestamp = {2015.08.21},
}

@Book{Hungerford2012,
  Title                    = {Abstract algebra: an introduction},
  Author                   = {Hungerford, Thomas},
  Publisher                = {Cengage Learning},
  Year                     = {2012},

  Owner                    = {Diego},
  Timestamp                = {2016.03.15}
}

@Article{Inverardi1995,
  author    = {Inverardi, Paola and Wolf, Alexander L},
  title     = {Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model},
  journal   = {Software Engineering, IEEE Transactions on},
  year      = {1995},
  volume    = {21},
  number    = {4},
  pages     = {373--386},
  doi       = {10.1109/32.385973},
  file      = {:APSpecification\\Inverardi_1995_CHAM.pdf:PDF},
  owner     = {Diego},
  publisher = {IEEE},
  timestamp = {2016.01.22},
}

@Article{Jackson2002,
  author    = {Jackson, Daniel},
  title     = {Alloy: A Lightweight Object Modelling Notation},
  journal   = {ACM Transactions on Software Engineering and Methodology (TOSEM)},
  year      = {2002},
  volume    = {11},
  number    = {2},
  pages     = {256--290},
  doi       = {10.1145/505145.505149},
  file      = {:Specification_Techniques\\Jackson_2002_Alloy.pdf:PDF},
  owner     = {Diego},
  publisher = {ACM},
  timestamp = {2015.08.26},
}

@Article{Johnson2012,
  author    = {Johnson, Pontus and Ekstedt, Mathias and Jacobson, Ivar},
  title     = {Where's the theory for software engineering?},
  journal   = {IEEE software},
  year      = {2012},
  number    = {5},
  pages     = {96},
  file      = {:Theory\\Johnson_2012_TheoryInSE.pdf:PDF},
  owner     = {Diego},
  publisher = {IEEE},
  timestamp = {2016.02.15},
}

@InProceedings{Kim2006,
  author       = {Kim, Jung Soo and Garlan, David},
  title        = {Analyzing Architectural Styles with Alloy},
  booktitle    = {Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis},
  year         = {2006},
  pages        = {70--80},
  organization = {ACM},
  doi          = {10.1145/1147249.1147259},
  file         = {:RelatedWork\\2006_Kim_Styles_Alloy.pdf:PDF},
  owner        = {Diego},
  timestamp    = {2016.05.27},
}

@Article{Kitchenham2009,
  Title                    = {Systematic literature reviews in software engineering--a systematic literature review},
  Author                   = {Kitchenham, Barbara and Brereton, O Pearl and Budgen, David and Turner, Mark and Bailey, John and Linkman, Stephen},
  Journal                  = {Information and software technology},
  Year                     = {2009},
  Number                   = {1},
  Pages                    = {7--15},
  Volume                   = {51},

  File                     = {:Methods\\Kitchenham_2009_SLR.pdf:PDF},
  Owner                    = {Diego},
  Publisher                = {Elsevier},
  Timestamp                = {2016.04.05}
}

@Article{LeMetayer1998,
  author    = {Le M{\'{e}}tayer, Daniel},
  title     = {Describing Software Architecture Styles Using Graph Grammars},
  journal   = {IEEE Transactions on Software Engineering},
  year      = {1998},
  volume    = {24},
  number    = {7},
  pages     = {521--533},
  doi       = {10.1109/32.708567},
  file      = {:APSpecification\\Metayer_1998_Software_Architecture_Styles_as_Graph_Grammars.pdf:PDF},
  owner     = {Diego},
  publisher = {IEEE},
  timestamp = {2015.08.21},
}

@Article{Luckham1995,
  author    = {Luckham, David C and Kenney, John J and Augustin, Larry M and Vera, James and Bryan, Doug and Mann, Walter},
  title     = {Specification and Analysis of System Architecture Using Rapide},
  journal   = {Software Engineering, IEEE Transactions on},
  year      = {1995},
  volume    = {21},
  number    = {4},
  pages     = {336--354},
  doi       = {10.1109/32.385971},
  file      = {:APSpecification\\Luckham_1995_Rapide.pdf:PDF},
  owner     = {Diego},
  publisher = {IEEE},
  timestamp = {2015.09.15},
}

@InProceedings{Mak2004,
  author       = {Mak, Jeffrey KH and Choy, Clifford ST and Lun, Daniel PK},
  title        = {Precise modeling of design patterns in UML},
  booktitle    = {Software Engineering},
  year         = {2004},
  pages        = {252--261},
  organization = {IEEE},
  file         = {:DPSpecification\\Mak_2004_Precise_Modeling_of_Design_Patterns_in_UML.pdf:PDF},
  owner        = {Diego},
  timestamp    = {2015.08.21},
}

@InProceedings{Malkis2015,
  Title                    = {A Model of Service-Oriented Architectures},
  Author                   = {Malkis, Alexander and Marmsoler, Diego},
  Booktitle                = {Components, Architectures and Reuse Software (SBCARS), 2015 IX Brazilian Symposium on},
  Year                     = {2015},
  Organization             = {IEEE},
  Pages                    = {110--119},

  File                     = {:Me\\Malkis_2015_A_Model_Of_Service-Oriented_Architectures.pdf:PDF},
  Owner                    = {Diego},
  Timestamp                = {2016.02.15}
}

@Book{Manna2012,
  title     = {The Temporal Logic of Reactive and Concurrent Systems},
  publisher = {Springer New York},
  year      = {1992},
  author    = {Manna, Zohar and Pnueli, Amir},
  doi       = {10.1007/978-1-4612-0931-7},
  owner     = {Diego},
  timestamp = {2016.03.08},
}

@Misc{Marmsoler_BB,
  author       = {Diego Marmsoler},
  title        = {{Isabelle/HOL} theory for the {Blackboard} pattern},
  howpublished = {\url{http://www.marmsoler.com/pattern/Blackboard.thy}},
  file         = {:Me\\Marmsoler_PSL.pdf:PDF},
  owner        = {Diego},
  timestamp    = {2016.09.01},
  url          = {http://www.marmsoler.com/pattern/Blackboard.thy},
}

@Misc{Marmsoler_PS,
  Title                    = {{Isabelle/HOL} theory for the {Publish-Subscriber} pattern},

  Author                   = {Diego Marmsoler},
  HowPublished             = {\url{http://www.marmsoler.com/pattern/PublishSubscribe.thy}},

  File                     = {:Me\\Marmsoler_PSL.pdf:PDF},
  Owner                    = {Diego},
  Timestamp                = {2016.09.01},
  Url                      = {\url{http://www.marmsoler.com/pattern/Blackboard.thy}}
}

@Article{Marmsoler2017,
  author        = {Diego Marmsoler},
  title         = {On the Specification of Constraints for Dynamic Architectures},
  journal       = {ArXiv e-prints},
  year          = {2017},
  month         = mar,
  adsnote       = {Provided by the SAO/NASA Astrophysics Data System},
  adsurl        = {http://adsabs.harvard.edu/abs/2017arXiv170306823M},
  archiveprefix = {arXiv},
  eprint        = {1703.06823},
  keywords      = {Computer Science - Software Engineering},
  primaryclass  = {cs.SE},
}

@InProceedings{Marmsoler2014,
  author       = {Marmsoler, Diego},
  title        = {Towards a Theory of Architectural Styles},
  booktitle    = {Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering - {FSE} 2014},
  year         = {2014},
  pages        = {823--825},
  organization = {ACM},
  publisher    = {{ACM} Press},
  doi          = {10.1145/2635868.2661683},
  file         = {:Me\\Marmsoler_2014_Towards a Theory of Styles.pdf:PDF},
  owner        = {Diego},
  timestamp    = {2016.02.15},
}

@InProceedings{Mavridou2015,
  author    = {Anastasia Mavridou and Eduard Baranov and Simon Bliudze and Joseph Sifakis},
  title     = {Configuration Logics: Modelling Architecture Styles},
  booktitle = {Formal Aspects of Component Software},
  year      = {2015},
  editor    = {Christiano Braga and Peter Csaba {\"{O}}lveczky},
  volume    = {9539},
  series    = {Lecture Notes in Computer Science},
  pages     = {256--274},
  publisher = {Springer},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/facs2/MavridouBBS15},
  doi       = {10.1007/978-3-319-28934-2_14},
  file      = {:DynamicArchitectures\\Mavridou_2015_ConfigurationLogics.pdf:PDF},
  timestamp = {Fri, 29 Jan 2016 11:24:59 +0100},
  url       = {https://doi.org/10.1007/978-3-319-28934-2_14},
}

@InProceedings{Medvidovic1996,
  author       = {Medvidovic, Nenad},
  title        = {{ADLs} and dynamic architecture changes},
  booktitle    = {Joint proceedings of the second international software architecture workshop and international workshop on multiple perspectives in software development on {SIGSOFT} {\textquotesingle}96 workshops},
  year         = {1996},
  pages        = {24--27},
  organization = {ACM},
  publisher    = {{ACM} Press},
  doi          = {10.1145/243327.243340},
  file         = {:DynamicSystems\\Medvidovic_1996_ADLsAndDynamic.pdf:PDF},
  owner        = {Diego},
  timestamp    = {2016.05.03},
}

@InProceedings{Mehta2003,
  author       = {Mehta, Nikunj R and Medvidovic, Nenad},
  title        = {Composing Architectural Styles From Architectural Primitives},
  booktitle    = {ACM SIGSOFT Software Engineering Notes},
  year         = {2003},
  volume       = {28},
  number       = {5},
  pages        = {347--350},
  organization = {ACM},
  doi          = {10.1145/949952.940118},
  file         = {:APSpecification\\Mehta_2003_StylesFromPrimitives.pdf:PDF},
  owner        = {Diego},
  timestamp    = {2016.03.07},
}

@InProceedings{Mikkonen1998,
  author       = {Mikkonen, Tommi},
  title        = {Formalizing design patterns},
  booktitle    = {Software engineering},
  year         = {1998},
  pages        = {115--124},
  organization = {IEEE Computer Society},
  file         = {:DPSpecification\\Mikkonen_1998_Formalizing_Design_Patterns.pdf:PDF},
  owner        = {Diego},
  timestamp    = {2015.08.21},
}

@Book{Milner1999,
  title     = {Communicating and Mobile Systems: the $\pi$-calculus},
  publisher = {Cambridge university press},
  year      = {1999},
  author    = {Milner, Robin},
  isbn      = {9780521658690},
  owner     = {Diego},
  timestamp = {2016.01.22},
}

@Article{Moriconi1995,
  author    = {Moriconi, Mark and Qian, Xiaolei and Riemenschneider, Robert A},
  title     = {Correct Architecture Refinement},
  journal   = {Software Engineering, IEEE Transactions on},
  year      = {1995},
  volume    = {21},
  number    = {4},
  pages     = {356--372},
  doi       = {10.1109/32.385972},
  file      = {:APSpecification\\Moriconi_Correct_Architecture_Refinement_1995.pdf:PDF},
  owner     = {Diego},
  publisher = {IEEE},
  timestamp = {2015.08.21},
}

@Book{Nipkow2002,
  Title                    = {Isabelle/HOL: a proof assistant for higher-order logic},
  Author                   = {Nipkow, Tobias and Paulson, Lawrence C and Wenzel, Markus},
  Publisher                = {Springer Science \& Business Media},
  Year                     = {2002},
  Volume                   = {2283},

  File                     = {:Isabelle\\tutorial.pdf:PDF},
  Owner                    = {Diego},
  Timestamp                = {2016.05.02}
}

@InProceedings{Nuzzo2014,
  author       = {Nuzzo, Pierluigi and Iannopollo, Antonio and Tripakis, Stavros and Sangiovanni-Vincentelli, Alberto},
  title        = {Are interface theories equivalent to contract theories?},
  booktitle    = {Formal Methods and Models for Codesign},
  year         = {2014},
  pages        = {104--113},
  organization = {IEEE},
  file         = {:Contracts\\Nuzzo_2014_InterfaceAndContracts.pdf:PDF},
  owner        = {Diego},
  timestamp    = {2016.07.01},
}

@Article{Oquendo2004,
  author    = {Oquendo, Flavio},
  title     = {$\pi$-ADL: An Architecture Description Language based on the Higher-Order Typed $\pi$-Calculus for Specifying Dynamic and Mobile Software Architectures},
  journal   = {{ACM} {SIGSOFT} Software Engineering Notes},
  year      = {2004},
  volume    = {29},
  number    = {3},
  pages     = {1--14},
  month     = may,
  doi       = {10.1145/986710.986728},
  file      = {:APSpecification\\Oquendo_2004_PIADL.pdf:PDF},
  owner     = {Diego},
  publisher = {ACM},
  timestamp = {2016.03.07},
}

@InProceedings{Penix1997,
  author       = {Penix, John and Alexander, Perry and Havelund, Klaus},
  title        = {Declarative Specification of Software Architectures},
  booktitle    = {Automated Software Engineering},
  year         = {1997},
  pages        = {201--208},
  organization = {IEEE},
  doi          = {10.1109/ase.1997.632840},
  file         = {:APSpecification\\Penix_1997_Declarative_Specifications_of_SA.pdf:PDF},
  owner        = {Diego},
  timestamp    = {2015.08.21},
}

@Article{Perry1992,
  Title                    = {Foundations for the study of software architecture},
  Author                   = {Perry, Dewayne E and Wolf, Alexander L},
  Journal                  = {ACM SIGSOFT Software Engineering Notes},
  Year                     = {1992},
  Number                   = {4},
  Pages                    = {40--52},
  Volume                   = {17},

  File                     = {:Software_Architecture\\Perry_Wolf_1992_Foundations_for_the_Study_of_Software_Architecture.pdf:PDF},
  Owner                    = {Diego},
  Publisher                = {ACM},
  Timestamp                = {2015.09.15}
}

@Article{Shaw2006,
  Title                    = {The golden age of software architecture},
  Author                   = {Shaw, Mary and Clements, Paul},
  Journal                  = {Software, IEEE},
  Year                     = {2006},
  Number                   = {2},
  Pages                    = {31--39},
  Volume                   = {23},

  File                     = {:Motivation\\Shaw_2006_The_Golden_Age.pdf:PDF},
  Owner                    = {Diego},
  Publisher                = {IEEE},
  Timestamp                = {2015.08.27}
}

@Book{Shaw1996,
  title     = {Software Architecture: Perspectives on an Emerging Discipline},
  publisher = {Prentice Hall Englewood Cliffs},
  year      = {1996},
  author    = {Shaw, Mary and Garlan, David},
  volume    = {1},
  isbn      = {9780131829572},
  file      = {:Software_Architecture\\Shaw_Garlan_1996_Software_Architecture.pdf:PDF},
  owner     = {Diego},
  timestamp = {2015.09.15},
}

@InProceedings{Soundarajan2004,
  author       = {Soundarajan, Neelam and Hallstrom, Jason O},
  title        = {Responsibilities and rewards: Specifying design patterns},
  booktitle    = {Software Engineering},
  year         = {2004},
  pages        = {666--675},
  organization = {IEEE},
  file         = {:DPSpecification\\Soundarajan_2004_Specifying_Design_Patterns.pdf:PDF},
  owner        = {Diego},
  timestamp    = {2015.08.21},
}

@Book{Spivey1992,
  title     = {The Z Notation: A Reference Manual},
  publisher = {Prentice Hall},
  year      = {1992},
  author    = {Spivey, J.M.},
  series    = {Prentice-Hall international series in computer science},
  isbn      = {9780139785290},
  lccn      = {lc92006090},
  url       = {https://books.google.de/books?id=wa1QAAAAMAAJ},
}

@Book{Taylor2009,
  title     = {Software Architecture: Foundations, Theory, and Practice},
  publisher = {Wiley Publishing},
  year      = {2009},
  author    = {Taylor, Richard N and Medvidovic, Nenad and Dashofy, Eric M},
  isbn      = {9780470167748},
  file      = {:Software_Architecture\\Taylor_2010_Software_Architecture_Foundation_Theory_Practice_C4.pdf:PDF},
  owner     = {Diego},
  timestamp = {2015.09.15},
}

@Article{Wenzel2007,
  author    = {Wenzel, Makarius},
  title     = {Isabelle/Isar -- a generic framework for human-readable proof documents},
  journal   = {From Insight to Proof -- Festschrift in Honour of Andrzej Trybulec},
  year      = {2007},
  volume    = {10},
  number    = {23},
  pages     = {277--298},
  file      = {:Isabelle\\Wenzel_2007_ISAR.pdf:PDF},
  owner     = {Diego},
  timestamp = {2016.05.03},
}

@InProceedings{Wermelinger2001,
  author       = {Wermelinger, Michel and Lopes, Ant{\'o}nia and Fiadeiro, Jos{\'e} Luiz},
  title        = {A Graph Based Architectural (Re)configuration Language},
  booktitle    = {Software Engineering Notes},
  year         = {2001},
  volume       = {26},
  number       = {5},
  pages        = {21--32},
  organization = {ACM},
  doi          = {10.1145/503271.503213},
  file         = {:DynamicSystems\\Wermelinger_2001_Graph_Based_Reconfig_Lang.pdf:PDF},
  owner        = {Diego},
  timestamp    = {2016.05.03},
}

@InCollection{Wirsing1990,
  author    = {Wirsing, Martin},
  title     = {Algebraic Specification},
  booktitle = {Handbook of Theoretical Computer Science (Vol. B)},
  publisher = {MIT Press},
  year      = {1990},
  editor    = {van Leeuwen, Jan},
  pages     = {675--788},
  address   = {Cambridge, MA, USA},
  isbn      = {0-444-88074-7},
  acmid     = {114904},
  doi       = {10.1016/b978-0-444-88074-1.50018-4},
  numpages  = {114},
  url       = {http://dl.acm.org/citation.cfm?id=114891.114904},
}

@InCollection{Wirsing2012,
  author    = {Wirsing, Martin and Eckhardt, Jonas and M{\"u}hlbauer, Tobias and Meseguer, Jos{\'e}},
  title     = {Design and Analysis of Cloud-Based Architectures with KLAIM and Maude},
  booktitle = {Rewriting Logic and Its Applications},
  publisher = {Springer},
  year      = {2012},
  pages     = {54--82},
  doi       = {10.1007/978-3-642-34005-5_4},
  file      = {:RelatedWork\\2012_Wirsing_CloudMaude.pdf:PDF},
  owner     = {Diego},
  timestamp = {2016.05.27},
}

@InProceedings{Wong2008,
  author       = {Wong, Stephen and Sun, Jing and Warren, Ian and Sun, Jun},
  title        = {A Scalable Approach to Multi-Style Architectural Modeling and Verification},
  booktitle    = {Engineering of Complex Computer Systems},
  year         = {2008},
  pages        = {25--34},
  organization = {IEEE},
  doi          = {10.1109/iceccs.2008.16},
  file         = {:RelatedWork\\2008_Wong_Multi_Style_Verification.pdf:PDF},
  owner        = {Diego},
  timestamp    = {2016.05.27},
}

@InProceedings{Zhang2012,
  author       = {Zhang, Jiexin and Liu, Yang and Sun, Jing and Dong, Jin Song and Sun, Jun},
  title        = {Model Checking Software Architecture Design},
  booktitle    = {High-Assurance Systems Engineering},
  year         = {2012},
  pages        = {193--200},
  organization = {IEEE},
  doi          = {10.1109/hase.2012.12},
  file         = {:RelatedWork\\2012_Zhang_MCArchitecture Design.pdf:PDF},
  owner        = {Diego},
  timestamp    = {2016.05.27},
}

@InProceedings{Aguirre2002,
  author       = {Aguirre, Nazareno and Maibaum, Tom},
  title        = {A temporal logic approach to the specification of reconfigurable component-based systems},
  booktitle    = {Automated Software Engineering},
  year         = {2002},
  pages        = {271--274},
  organization = {IEEE},
  doi          = {10.1109/ase.2002.1115028},
  file         = {:DynamicReconfiguration\\Aguirre_2002_Temporal.pdf:PDF},
  owner        = {Diego},
  timestamp    = {2016.09.14},
}

@InProceedings{Leger2010,
  author       = {L{\'e}ger, Marc and Ledoux, Thomas and Coupaye, Thierry},
  title        = {Reliable dynamic reconfigurations in a reflective component model},
  booktitle    = {Component-Based Software Engineering},
  year         = {2010},
  pages        = {74--92},
  organization = {Springer},
  file         = {:DynamicReconfiguration\\Leger_2010_DynamicReconfiguration.pdf:PDF},
  owner        = {Diego},
  timestamp    = {2016.09.14},
}

@InProceedings{Broy1996,
  author       = {Broy, Manfred},
  title        = {Algebraic Specification of Reactive Systems},
  booktitle    = {Algebraic Methodology and Software Technology},
  year         = {1996},
  pages        = {487--503},
  organization = {Springer},
  publisher    = {Springer Berlin Heidelberg},
  doi          = {10.1007/bfb0014335},
  file         = {:AlgebraicSpec\\Broy_1996_ASReactiveSystems.pdf:PDF},
  owner        = {Diego},
  timestamp    = {2016.09.30},
}

@InCollection{Bruni2008,
  author    = {Bruni, Roberto and Bucchiarone, Antonio and Gnesi, Stefania and Hirsch, Dan and Lafuente, Alberto Lluch},
  title     = {Graph-based design and analysis of dynamic software architectures},
  booktitle = {Concurrency, Graphs and Models},
  publisher = {Springer},
  year      = {2008},
  pages     = {37--56},
  file      = {:DynamicReconfiguration\\Bruni_2008_Graph-Based_Design.pdf:PDF},
  owner     = {Diego},
  timestamp = {2016.09.30},
}

@Article{Oreizy1998,
  author    = {Oreizy, Peyman and Taylor, Richard N},
  title     = {On the role of software architectures in runtime system reconfiguration},
  journal   = {IEE Proceedings-Software},
  year      = {1998},
  volume    = {145},
  number    = {5},
  pages     = {137--145},
  file      = {:DynamicReconfiguration\\Oreizy_1998_SA_in_Runtime_System_Reconfiguration.pdf:PDF},
  owner     = {Diego},
  publisher = {IET},
  timestamp = {2016.09.30},
}

@Article{Wermelinger2002,
  author    = {Michel Wermelinger and Jos{\'e} Luiz Fiadeiro},
  title     = {A graph transformation approach to software architecture reconfiguration},
  journal   = {Science of Computer Programming},
  year      = {2002},
  volume    = {44},
  number    = {2},
  pages     = {133 - 155},
  issn      = {0167-6423},
  note      = {Special Issue on Applications of Graph Transformations (GRATRA 2000)},
  doi       = {10.1016/s0167-6423(02)00036-9},
  file      = {:DynamicReconfiguration\\Wermelinger_2002_Graph_Transformation.pdf:PDF},
  owner     = {Diego},
  timestamp = {2016.09.30},
  url       = {http://www.sciencedirect.com/science/article/pii/S0167642302000369},
}

@InProceedings{Morrison2004,
  author       = {Morrison, Ronald and Kirby, Graham and Balasubramaniam, Dharini and Mickan, Kath and Oquendo, Flavio and Cimpan, Sorana and Warboys, Brian and Snowdon, Bob and Greenwood, R Mark},
  title        = {Support for evolving software architectures in the ArchWare ADL},
  booktitle    = {Software Architecture, 2004. WICSA 2004. Proceedings. Fourth Working IEEE/IFIP Conference on},
  year         = {2004},
  pages        = {69--78},
  organization = {IEEE},
  file         = {:DynamicReconfiguration\\Morrison_2004_Evolution_ArchWare.pdf:PDF},
  owner        = {Diego},
  timestamp    = {2016.09.30},
}

@InProceedings{Batista2005,
  author    = {Batista, Thais and Joolia, Ackbar and Coulson, Geoff},
  title     = {Managing Dynamic Reconfiguration in Component-based Systems},
  booktitle = {Proceedings of the 2Nd European Conference on Software Architecture},
  year      = {2005},
  series    = {EWSA'05},
  pages     = {1--17},
  address   = {Berlin, Heidelberg},
  publisher = {Springer-Verlag},
  acmid     = {2129035},
  doi       = {10.1007/11494713_1},
  file      = {:DynamicReconfiguration\\Batista_2005_DynamicReconfigurationinCBS.pdf:PDF},
  isbn      = {3-540-26275-X, 978-3-540-26275-6},
  location  = {Pisa, Italy},
  numpages  = {17},
  owner     = {Diego},
  timestamp = {2016.09.30},
  url       = {https://doi.org/10.1007/11494713_1},
}

@InProceedings{Fensel1997,
  author    = {D. Fensel and A. Schnogge},
  title     = {Using KIV to specify and verify architectures of knowledge-based systems},
  booktitle = {Automated Software Engineering},
  year      = {1997},
  pages     = {71-80},
  month     = nov,
  doi       = {10.1109/ASE.1997.632826},
  keywords  = {abstract data types;formal specification;formal verification;knowledge based systems;theorem proving;Karlsruhe interactive verifier;abstract data types;algorithmic specification;dynamic logic;formal specifications;functional specification;interactive theorem prover;knowledge-based systems;proof management;proof reuse;reusable elements;specification language;Buildings;Computer architecture;Counting circuits;Environmental management;Knowledge based systems;Knowledge engineering;Logic;Problem-solving;Software architecture;Terminology},
}

@InProceedings{DeLucia2010,
  author       = {De Lucia, Andrea and Deufemia, Vincenzo and Gravino, Carmine and Risi, Michele},
  title        = {Improving behavioral design pattern detection through model checking},
  booktitle    = {Software Maintenance and Reengineering (CSMR), 2010 14th European Conference on},
  year         = {2010},
  pages        = {176--185},
  organization = {IEEE},
  file         = {:APVerification\\Lucia_2010_DesignPatternDetection.pdf:PDF},
}

@InProceedings{Me2016,
  author    = {G. Me and C. Calero and P. Lago},
  title     = {Architectural Patterns and Quality Attributes Interaction},
  booktitle = {2016 Qualitative Reasoning about Software Architectures (QRASA)},
  year      = {2016},
  pages     = {27-36},
  month     = {April},
  doi       = {10.1109/QRASA.2016.10},
}

@InProceedings{Feiler2006,
  author       = {Feiler, Peter H and Lewis, Bruce A and Vestal, Steve},
  title        = {The SAE Architecture Analysis \& Design Language (AADL) a standard for engineering performance critical systems},
  booktitle    = {Computer Aided Control System Design, Control Applications, Intelligent Control},
  year         = {2006},
  pages        = {1206--1211},
  organization = {IEEE},
  owner        = {Diego},
  timestamp    = {2016.12.05},
}

@InProceedings{Harrison2007,
  author       = {Harrison, Neil B and Avgeriou, Paris},
  title        = {Leveraging architecture patterns to satisfy quality attributes},
  booktitle    = {European Conference on Software Architecture},
  year         = {2007},
  pages        = {263--270},
  organization = {Springer},
  owner        = {Diego},
  timestamp    = {2016.12.05},
}

@Book{Wohlin2012,
  title     = {Experimentation in software engineering},
  publisher = {Springer Science \& Business Media},
  year      = {2012},
  author    = {Wohlin, Claes and Runeson, Per and H{\"o}st, Martin and Ohlsson, Magnus C and Regnell, Bj{\"o}rn and Wessl{\'e}n, Anders},
  owner     = {Diego},
  timestamp = {2016.12.05},
}

@Article{Broy1997,
  author    = {Broy, Manfred},
  title     = {Compositional refinement of interactive systems},
  journal   = {Journal of the ACM (JACM)},
  year      = {1997},
  volume    = {44},
  number    = {6},
  pages     = {850--891},
  owner     = {Diego},
  publisher = {ACM},
  timestamp = {2016.12.05},
}

@InCollection{Basili1993,
  author    = {Basili, Victor R},
  title     = {The experimental paradigm in software engineering},
  booktitle = {Experimental Software Engineering Issues: Critical Assessment and Future Directions},
  publisher = {Springer},
  year      = {1993},
  pages     = {1--12},
  owner     = {Diego},
  timestamp = {2016.12.05},
}

@InProceedings{Bosch2010,
  author       = {Bosch, Jan},
  title        = {Architecture in the age of compositionality},
  booktitle    = {European Conference on Software Architecture},
  year         = {2010},
  pages        = {1--4},
  organization = {Springer},
  owner        = {Diego},
  timestamp    = {2016.12.19},
}

@Book{Winskel1993,
  title     = {The formal semantics of programming languages: an introduction},
  publisher = {MIT press},
  year      = {1993},
  author    = {Winskel, Glynn},
  owner     = {Diego},
  timestamp = {2016.12.19},
}

@Article{Reussner2003,
  author    = {Reussner, Ralf H and Schmidt, Heinz W and Poernomo, Iman H},
  title     = {Reliability prediction for component-based software architectures},
  journal   = {Journal of systems and software},
  year      = {2003},
  volume    = {66},
  number    = {3},
  pages     = {241--252},
  owner     = {Diego},
  publisher = {Elsevier},
  timestamp = {2016.12.19},
}

@Book{Roever2003,
  title     = {Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8--12, 1997 Revised Lectures},
  publisher = {Springer},
  year      = {2003},
  author    = {de Roever, Willem-Paul and Langmaack, Hans and Pnueli, Amir},
  owner     = {Diego},
  timestamp = {2016.12.19},
}

@InProceedings{Wang1999,
  author       = {Wang, Wen-Li and Wu, Ye and Chen, Mei-Hwa},
  title        = {An architecture-based software reliability model},
  booktitle    = {Dependable Computing},
  year         = {1999},
  pages        = {143--150},
  organization = {IEEE},
  owner        = {Diego},
  timestamp    = {2016.12.19},
}

@InProceedings{Cortellessa2002,
  author       = {Cortellessa, Vittorio and Singh, Harshinder and Cukic, Bojan},
  title        = {Early reliability assessment of UML based software models},
  booktitle    = {Software and performance},
  year         = {2002},
  pages        = {302--309},
  organization = {ACM},
  owner        = {Diego},
  timestamp    = {2016.12.19},
}

@InCollection{Grassi2005,
  author    = {Grassi, Vincenzo},
  title     = {Architecture-based reliability prediction for service-oriented computing},
  booktitle = {Architecting dependable systems III},
  publisher = {Springer},
  year      = {2005},
  pages     = {279--299},
  owner     = {Diego},
  timestamp = {2016.12.19},
}

@InProceedings{Rodrigues2005,
  author       = {Rodrigues, Gena{\'\i}na and Rosenblum, David and Uchitel, Sebastian},
  title        = {Using scenarios to predict the reliability of concurrent component-based software systems},
  booktitle    = {Fundamental Approaches to Software Engineering},
  year         = {2005},
  pages        = {111--126},
  organization = {Springer},
  owner        = {Diego},
  timestamp    = {2016.12.19},
}

@InProceedings{Yacoub1999,
  author       = {Yacoub, Sherif M and Cukic, Bojan and Ammar, Hany H},
  title        = {Scenario-based reliability analysis of component-based software},
  booktitle    = {Software Reliability Engineering},
  year         = {1999},
  pages        = {22--31},
  organization = {IEEE},
  owner        = {Diego},
  timestamp    = {2016.12.19},
}

@InProceedings{Sitaraman2001,
  author       = {Sitaraman, Murali},
  title        = {Compositional performance reasoning},
  booktitle    = {Procs. Fourth ICSE Workshop on Component-Based Software Engineering: Component-Certification and System Prediction},
  year         = {2001},
  pages        = {3--10},
  organization = {Citeseer},
  owner        = {Diego},
  timestamp    = {2016.12.19},
}

@InProceedings{Sitaraman2001a,
  author       = {Sitaraman, Murali and Kulczycki, Greg and Krone, Joan and Ogden, William F and Reddy, AL Narasimha},
  title        = {Performance specification of software components},
  booktitle    = {ACM SIGSOFT Software Engineering Notes},
  year         = {2001},
  volume       = {26},
  number       = {3},
  pages        = {3--10},
  organization = {ACM},
  owner        = {Diego},
  timestamp    = {2016.12.19},
}

@InProceedings{DiMarco2004,
  author       = {Di Marco, Antinisca and Inverardi, Paola},
  title        = {Compositional generation of software architecture performance QN models},
  booktitle    = {Software Architecture, 2004. WICSA 2004. Proceedings. Fourth Working IEEE/IFIP Conference on},
  year         = {2004},
  pages        = {37--46},
  organization = {IEEE},
  owner        = {Diego},
  timestamp    = {2016.12.19},
}

@InCollection{Klein1999,
  author    = {Klein, Mark H and Kazman, Rick and Bass, Len and Carriere, Jeromy and Barbacci, Mario and Lipson, Howard},
  title     = {Attribute-based architecture styles},
  booktitle = {Software Architecture},
  publisher = {Springer},
  year      = {1999},
  pages     = {225--243},
  owner     = {Diego},
  timestamp = {2016.12.19},
}

@InProceedings{Caulfield2014,
  author    = {Tristan Caulfield and David J. Pym and Julian Williams},
  title     = {Compositional Security Modelling - Structure, Economics, and Behaviour},
  booktitle = {Human Aspects of Information Security, Privacy, and Trust},
  year      = {2014},
  editor    = {Theo Tryfonas and Ioannis G. Askoxylakis},
  volume    = {8533},
  series    = {Lecture Notes in Computer Science},
  pages     = {233--245},
  publisher = {Springer},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/hci/CaulfieldPW14},
  doi       = {10.1007/978-3-319-07620-1_21},
  owner     = {Diego},
  timestamp = {2016.12.19},
}

@Article{Durgin2003,
  author    = {Nancy A. Durgin and John C. Mitchell and Dusko Pavlovic},
  title     = {A Compositional Logic for Proving Security Properties of Protocols},
  journal   = {Journal of Computer Security},
  year      = {2003},
  volume    = {11},
  number    = {4},
  pages     = {677--722},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl    = {http://dblp.dagstuhl.de/rec/bib/journals/jcs/DurginMP03},
  owner     = {Diego},
  timestamp = {2016.12.19},
  url       = {http://content.iospress.com/articles/journal-of-computer-security/jcs205},
}

@InProceedings{Khan2003,
  author    = {Khaled M. Khan and Jun Han},
  title     = {A Security Characterisation Framework for Trustworthy Component Based Software Systems},
  booktitle = {Computer Software and Applications},
  year      = {2003},
  pages     = {164--169},
  publisher = {{IEEE} Computer Society},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/compsac/KhanH03},
  doi       = {10.1109/CMPSAC.2003.1245337},
  owner     = {Diego},
  timestamp = {2016.12.19},
}

@Book{Cook1979,
  title     = {Quasi-experimentation: Design and analysis for field settings},
  publisher = {Rand McNally},
  year      = {1979},
  author    = {Cook, Thomas D and Campbell, Donald Thomas},
  owner     = {Diego},
  timestamp = {2016.12.29},
}

@Book{Campbell2015,
  title     = {Experimental and quasi-experimental designs for research},
  publisher = {Ravenio Books},
  year      = {2015},
  author    = {Campbell, Donald T and Stanley, Julian C},
  owner     = {Diego},
  timestamp = {2016.12.29},
}

@Article{Hohpe2016,
  author    = {Hohpe, Gregor and Ozkaya, Ipek and Zdun, Uwe and Zimmermann, Olaf},
  title     = {The Software Architect's Role in the Digital Age},
  journal   = {IEEE Software},
  year      = {2016},
  volume    = {33},
  number    = {6},
  pages     = {30--39},
  file      = {:C\:\\Users\\Diego\\SkyDrive\\Documents\\Literature\\Role\\Hohpe_2017_RoleDigitalAge.pdf:PDF;:Role\\Hohpe_2016_RoleDigitalAge.pdf:PDF},
  owner     = {Diego},
  publisher = {IEEE},
  timestamp = {2017.01.09},
}

@Article{Woods2015,
  author    = {Woods, Eoin},
  title     = {Architecting in the Gaps: A Metaphor for Architecture Work.},
  journal   = {IEEE Software},
  year      = {2015},
  volume    = {32},
  number    = {4},
  file      = {:Role\\Woods_2015_Gaps.pdf:PDF},
  owner     = {Diego},
  timestamp = {2017.01.09},
}

@Misc{Gamma1994,
  author    = {Gamma, Erich and Helm, Richard and Johnson, Ralph and Vlissides, John},
  title     = {Design Patterns: Elements of Reusable Object-Oriented Software},
  year      = {1994},
  journal   = {1994},
  owner     = {Diego},
  publisher = {Addison-Wesley},
  timestamp = {2017.01.16},
}

@Article{Clarke1986,
  author    = {Clarke, Edmund M. and Emerson, E Allen and Sistla, A Prasad},
  title     = {Automatic verification of finite-state concurrent systems using temporal logic specifications},
  journal   = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
  year      = {1986},
  volume    = {8},
  number    = {2},
  pages     = {244--263},
  owner     = {Diego},
  publisher = {ACM},
  timestamp = {2017.03.20},
}

@Article{Wiedijk2006,
  author    = {Wiedijk, Freek},
  title     = {The Seventeen Provers of the World. Vol. 3600},
  journal   = {Lecture Notes in Computer Science. Springer-Verlag},
  year      = {2006},
  owner     = {Diego},
  timestamp = {2017.03.20},
}

@Article{Berry1992,
  author    = {Berry, G{\'e}rard and Boudol, G{\'e}rard},
  title     = {The chemical abstract machine},
  journal   = {Theoretical Computer Science},
  year      = {1992},
  volume    = {96},
  number    = {1},
  pages     = {217--248},
  doi       = {10.1016/0304-3975(92)90185-i},
  file      = {:DynamicCalculus\\Berry_1992_CHAM.pdf:PDF},
  owner     = {Diego},
  publisher = {Elsevier},
  timestamp = {2017.04.07},
}

@Article{Cardelli2000,
  author    = {Cardelli, Luca and Gordon, Andrew D},
  title     = {Mobile ambients},
  journal   = {Theoretical Computer Science},
  year      = {2000},
  volume    = {240},
  number    = {1},
  pages     = {177--213},
  doi       = {10.1016/s0304-3975(99)00231-5},
  file      = {:DynamicCalculus\\Cardelli_2000_Ambients.pdf:PDF},
  owner     = {Diego},
  publisher = {Elsevier},
  timestamp = {2017.04.07},
}

@Book{Gordon1979,
  title        = {Edinburgh LCF: A Mechanized Logic of Computation},
  publisher    = {Springer-Verlag Berlin Heidelberg},
  year         = {1979},
  author       = {Gordon, Michael and Milner, Robin and Wadsworth, Christopher},
  volume       = {78},
  series       = {Lecture Notes in Computer Science},
  edition      = {1},
  isbn         = {978-3-540-09724-2},
  doi          = {10.1007/3-540-09724-4},
  howpublished = {Lecture Notes in Computer Science},
  owner        = {Diego},
  timestamp    = {2017.04.12},
}

@Article{Sanchez2015,
  author    = {Sanchez, Alejandro and Madeira, Alexandre and Barbosa, Lu{\'\i}s S},
  title     = {On the verification of architectural reconfigurations},
  journal   = {Computer Languages, Systems \& Structures},
  year      = {2015},
  volume    = {44},
  pages     = {218--237},
  doi       = {10.1016/j.cl.2015.07.001},
  file      = {:DynamicReconfiguration\\Sanchez_2015_Verification_of_Reconfiguration.pdf:PDF},
  owner     = {Diego},
  publisher = {Elsevier},
  timestamp = {2017.06.01},
}

@Article{Ballarin2004,
  author    = {Ballarin, Clemens},
  title     = {Locales and locale expressions in Isabelle/Isar},
  journal   = {Lecture notes in computer science},
  year      = {2004},
  volume    = {3085},
  pages     = {34--50},
  doi       = {10.1007/978-3-540-24849-1_3},
  file      = {:Isabelle\\Ballarin_2004_locales.pdf:PDF},
  owner     = {Diego},
  publisher = {Springer},
  timestamp = {2017.06.01},
}

@Article{Wenzel1997,
  author    = {Wenzel, Markus},
  title     = {Type classes and overloading in higher-order logic},
  journal   = {Theorem Proving in Higher Order Logics},
  year      = {1997},
  pages     = {307--322},
  doi       = {10.1007/bfb0028402},
  file      = {:Isabelle\\Wenzel_1997_type_classes.pdf:PDF},
  owner     = {Diego},
  publisher = {Springer},
  timestamp = {2017.06.01},
}

@InProceedings{Marmsoler2017a,
  author    = {Diego Marmsoler and Silvio Degenhardt},
  title     = {Verifying Patterns of Dynamic Architectures using Model Checking},
  booktitle = {Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA@ETAPS 2017, Uppsala, Sweden, 22nd April 2017.},
  year      = {2017},
  pages     = {16--30},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/MarmsolerD17},
  doi       = {10.4204/EPTCS.245.2},
  timestamp = {Wed, 03 May 2017 14:47:58 +0200},
  url       = {https://doi.org/10.4204/EPTCS.245.2},
}

@InCollection{Marmsoler2017b,
  author    = {Marmsoler, Diego},
  title     = {On the Semantics of Temporal Specifications of Component-Behavior for Dynamic Architectures},
  booktitle = {Eleventh International Symposium on Theoretical Aspects of Software Engineering},
  publisher = {Springer},
  year      = {2017},
  file      = {:Me\\Marmsoler_2016_PropertiesDynamicArchitectures.pdf:PDF},
  owner     = {Diego},
  timestamp = {2016.09.13},
}

@Article{Marmsoler2016a,
  author       = {D. Marmsoler and M. Gleirscher},
  title        = {On Activation, Connection, and Behavior in Dynamic Architectures},
  journal      = {Scientific Annals of Computer Science},
  year         = {2016},
  volume       = {26},
  number       = {2},
  pages        = {187--248},
  doi          = {10.7561/SACS.2016.2.187},
  organization = {``A.I. Cuza'' University, Ia\c si, Rom\^ania},
  publisher    = {``A.I. Cuza'' University Press, Ia\c si},
}

@Article{Lochbihler2010,
  author    = {Lochbihler, Andreas},
  title     = {Coinduction},
  journal   = {The Archive of Formal Proof s. http://isa-afp.org/entries/Coinductive.html},
  year      = {2010},
  owner     = {Diego},
  timestamp = {2017.07.26},
}

@Article{Marmsoler2017d,
  author    = {Diego Marmsoler},
  title     = {Dynamic Architectures},
  journal   = {Archive of Formal Proofs},
  year      = {2017},
  month     = jul,
  issn      = {2150-914x},
  note      = {\url{http://isa-afp.org/entries/DynamicArchitectures.html}, Formal proof development},
  owner     = {Diego},
  timestamp = {2017-08-08},
}

@Article{Garlan2004,
  author    = {Garlan, David and Cheng, S-W and Huang, A-C and Schmerl, Bradley and Steenkiste, Peter},
  title     = {Rainbow: Architecture-based self-adaptation with reusable infrastructure},
  journal   = {Computer},
  year      = {2004},
  volume    = {37},
  number    = {10},
  pages     = {46--54},
  owner     = {Diego},
  publisher = {IEEE},
  timestamp = {2017.09.08},
}

@Proceedings{Bartoletti2016,
  title     = {Proceedings 9th Interaction and Concurrency Experience, {ICE} 2016, Heraklion, Greece, 8-9 June 2016},
  year      = {2016},
  editor    = {Massimo Bartoletti and Ludovic Henrio and Sophia Knight and Hugo Torres Vieira},
  volume    = {223},
  series    = {{EPTCS}},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl    = {http://dblp.org/rec/bib/journals/corr/BartolettiHKV16},
  doi       = {10.4204/EPTCS.223},
  owner     = {Diego},
  timestamp = {Wed, 14 Jun 2017 20:37:22 +0200},
  url       = {https://doi.org/10.4204/EPTCS.223},
}

@Article{Attie2016,
  author    = {Attie, Paul and Baranov, Eduard and Bliudze, Simon and Jaber, Mohamad and Sifakis, Joseph},
  title     = {A general framework for architecture composability},
  journal   = {Formal Aspects of Computing},
  year      = {2016},
  volume    = {28},
  number    = {2},
  pages     = {207--231},
  owner     = {Diego},
  publisher = {Springer},
  timestamp = {2017.09.27},
}

@Book{Steinberg2008,
  title     = {EMF: eclipse modeling framework},
  publisher = {Pearson Education},
  year      = {2008},
  author    = {Steinberg, Dave and Budinsky, Frank and Merks, Ed and Paternostro, Marcelo},
  owner     = {Diego},
  timestamp = {2017.09.27},
}

@InProceedings{Berghofer1999,
  author       = {Berghofer, Stefan and Wenzel, Markus},
  title        = {Inductive datatypes in HOL---lessons learned in Formal-Logic Engineering},
  booktitle    = {International Conference on Theorem Proving in Higher Order Logics},
  year         = {1999},
  pages        = {19--36},
  organization = {Springer},
  owner        = {Diego},
  timestamp    = {2017.10.18},
}

@Misc{Wenzel2004,
  author    = {Wenzel, Makarius and others},
  title     = {The isabelle/isar reference manual},
  year      = {2004},
  owner     = {Diego},
  timestamp = {2017.10.18},
}

@Book{Broy2012,
  title     = {Specification and development of interactive systems: focus on streams, interfaces, and refinement},
  publisher = {Springer Science \& Business Media},
  year      = {2012},
  author    = {Broy, Manfred and Stolen, Ketil},
  owner     = {Diego},
  timestamp = {2017.11.10},
}

@Article{Lotos1988,
  author    = {Lotos, ISO},
  title     = {A formal description technique based on the temporal ordering of observational behaviour},
  journal   = {International Organisation for Standardization-Information Processing Systems-Open Systems Interconnection, Geneva},
  year      = {1988},
  note      = {IS 8807},
  owner     = {Diego},
  timestamp = {2017.11.20},
}

@Book{Milner1989,
  title     = {Communication and concurrency},
  publisher = {Prentice hall New York etc.},
  year      = {1989},
  author    = {Milner, Robin},
  volume    = {84},
  owner     = {Diego},
  timestamp = {2017.11.20},
}

@Article{Misra1988,
  author  = {Misra, Jayadev and Chandy, KM},
  title   = {Parallel program design: a foundation},
  journal = {Addison-W esley},
  year    = {1988},
}

@InProceedings{Magee1996a,
  author    = {Jeff Magee and Jeff Kramer},
  title     = {Dynamic Structure in Software Architectures},
  booktitle = {{SIGSOFT} '96, Proceedings of the Fourth {ACM} {SIGSOFT} Symposium on Foundations of Software Engineering, San Francisco, California, USA, October 16-18, 1996},
  year      = {1996},
  editor    = {David Garlan},
  pages     = {3--14},
  publisher = {{ACM}},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl    = {http://dblp.org/rec/bib/conf/sigsoft/MageeK96},
  doi       = {10.1145/239098.239104},
  owner     = {Diego},
  timestamp = {2017.11.20},
}

@Article{Ommering2000,
  author    = {Rob C. van Ommering and Frank van der Linden and Jeff Kramer and Jeff Magee},
  title     = {The Koala Component Model for Consumer Electronics Software},
  journal   = {{IEEE} Computer},
  year      = {2000},
  volume    = {33},
  number    = {3},
  pages     = {78--85},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl    = {http://dblp.org/rec/bib/journals/computer/OmmeringLKM00},
  doi       = {10.1109/2.825699},
  owner     = {Diego},
  timestamp = {2017.11.20},
}

@InProceedings{Gorlick1991,
  author    = {Michael M. Gorlick and Rami R. Razouk},
  title     = {Using Weaves for Software Construction and Analysis},
  booktitle = {Proceedings of the 13th International Conference on Software Engineering, Austin, TX, USA, May 13-17, 1991.},
  year      = {1991},
  editor    = {Les Belady and David R. Barstow and Koji Torii},
  pages     = {23--34},
  publisher = {{IEEE} Computer Society / {ACM} Press},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl    = {http://dblp.org/rec/bib/conf/icse/GorlickR91},
  owner     = {Diego},
  timestamp = {2017.11.20},
  url       = {http://portal.acm.org/citation.cfm?id=256664.256677},
}

@Article{Garlan2000a,
  author  = {Garlan, David and Monroe, Robert T and Wile, David},
  title   = {Acme: Architectural description of component-based systems},
  journal = {Foundations of component-based systems},
  year    = {2000},
  volume  = {68},
  pages   = {47--68},
}

@PhdThesis{Rausch2001,
  author  = {Rausch, Andreas},
  title   = {Componentware},
  school  = {Technische Universität München},
  year    = {2001},
  type    = {Dissertation},
  address = {München},
}

@PhdThesis{Bergner1996,
  author    = {Klaus Bergner},
  title     = {Spezifikation großer Objektgeflechte mit Komponentendiagrammen},
  school    = {Technische Universität München},
  year      = {1996},
  owner     = {Diego},
  timestamp = {2017.11.20},
}

@PhdThesis{Spichkova2007,
  author = {Spichkova, Maria},
  title  = {Specification and seamless verification of embedded real-time systems: FOCUS on Isabelle},
  school = {Technical University Munich, Germany},
  year   = {2007},
}

@TechReport{Broy1993,
  author      = {Manfred Broy and Christian Facchi and Radu Grosu and et al.},
  title       = {The Requirement and Design Specification Language SPECTRUM -- An Informal Introduction},
  institution = {Technische Universität München},
  year        = {1993},
}

@InProceedings{Hoelzl2010,
  author    = {H\"{o}lzl, Florian and Feilkas, Martin},
  title     = {AutoFocus 3: A Scientific Tool Prototype for Model-based Development of Component-based, Reactive, Distributed Systems},
  booktitle = {Proceedings of the 2007 International Dagstuhl Conference on Model-based Engineering of Embedded Real-time Systems},
  year      = {2010},
  series    = {MBEERTS'07},
  pages     = {317--322},
  address   = {Berlin, Heidelberg},
  publisher = {Springer-Verlag},
  acmid     = {1927576},
  isbn      = {3-642-16276-2, 978-3-642-16276-3},
  location  = {Dagstuhl Castle, Germany},
  numpages  = {6},
  url       = {http://dl.acm.org/citation.cfm?id=1927558.1927576},
}

@Book{Bertot2013,
  title     = {Interactive theorem proving and program development: Coq’Art: the calculus of inductive constructions},
  publisher = {Springer Science \& Business Media},
  year      = {2013},
  author    = {Bertot, Yves and Cast{\'e}ran, Pierre},
}

@InProceedings{Aguirre2002a,
  author    = {Aguirre, Nazareno and Maibaum, Tom},
  title     = {Reasoning about Reconfigurable Object-Based Systems in a Temporal Logic Setting},
  booktitle = {Proceedings of IDPT},
  year      = {2002},
  owner     = {Diego},
  timestamp = {2017.11.21},
}

@Article{Fiadeiro1997,
  author    = {Fiadeiro, Jos{\'e}Luiz and Maibaum, Tom},
  title     = {Categorical semantics of parallel program design},
  journal   = {Science of Computer Programming},
  year      = {1997},
  volume    = {28},
  number    = {2-3},
  pages     = {111--138},
  owner     = {Diego},
  publisher = {Elsevier},
  timestamp = {2017.11.21},
}

@Book{Rumbaugh2004,
  title     = {Unified modeling language reference manual, the},
  publisher = {Pearson Higher Education},
  year      = {2004},
  author    = {Rumbaugh, James and Jacobson, Ivar and Booch, Grady},
}

@Article{Marmsoler2018,
  author    = {Diego Marmsoler},
  title     = {A Calculus of Component Behavior for Dynamic Architectures},
  journal   = {Science of Computer Programming},
  year      = {2018},
  note      = {Under review},
  owner     = {Diego},
  timestamp = {2017.11.21},
}

@InProceedings{Blanchette2014,
  author       = {Blanchette, Jasmin Christian and H{\"o}lzl, Johannes and Lochbihler, Andreas and Panny, Lorenz and Popescu, Andrei and Traytel, Dmitriy},
  title        = {Truly modular (co) datatypes for Isabelle/HOL},
  booktitle    = {International Conference on Interactive Theorem Proving},
  year         = {2014},
  pages        = {93--110},
  organization = {Springer},
  owner        = {Diego},
  timestamp    = {2017.12.12},
}

@Article{Marmsoler2018a,
  author    = {Diego Marmsoler},
  title     = {Axiomatic Specification and Verification of Architecture Design Patterns},
  journal   = {Formal Aspects of Computing},
  year      = {2018},
  note      = {Under review},
  owner     = {Diego},
  timestamp = {2017.12.14},
}

@InProceedings{Goethel2017,
  author       = {G{\"o}thel, Thomas and J{\"a}hnig, Nils and Seif, Simon},
  title        = {Refinement-Based Modelling and Verification of Design Patterns for Self-adaptive Systems},
  booktitle    = {International Conference on Formal Engineering Methods},
  year         = {2017},
  pages        = {157--173},
  organization = {Springer},
  owner        = {Diego},
  timestamp    = {2017.12.14},
}

@InProceedings{Gibson-Robinson2014,
  author       = {Gibson-Robinson, Thomas and Armstrong, Philip and Boulgakov, Alexandre and Roscoe, Andrew W},
  title        = {FDR3---a modern refinement checker for CSP},
  booktitle    = {International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
  year         = {2014},
  pages        = {187--201},
  organization = {Springer},
  owner        = {Diego},
  timestamp    = {2017.12.18},
}

@Article{Cimatti2000,
  author    = {Cimatti, Alessandro and Clarke, Edmund and Giunchiglia, Fausto and Roveri, Marco},
  title     = {NuSMV: a new symbolic model checker},
  journal   = {International Journal on Software Tools for Technology Transfer},
  year      = {2000},
  volume    = {2},
  number    = {4},
  pages     = {410--425},
  owner     = {Diego},
  publisher = {Springer},
  timestamp = {2017.12.20},
}

@Article{Reif1995,
  author    = {Reif, Wolfgang},
  title     = {The KIV-approach to software verification},
  journal   = {KORSO: Methods, Languages, and Tools for the Construction of Correct Software},
  year      = {1995},
  pages     = {339--368},
  owner     = {Diego},
  publisher = {Springer},
  timestamp = {2017.12.20},
}

@Proceedings{Russo2018,
  title     = {Fundamental Approaches to Software Engineering - 21th International Conference, {FASE} 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings},
  year      = {2018},
  editor    = {Alessandra Russo and Andy Schürr},
  series    = {Lecture Notes in Computer Science},
  publisher = {Springer},
  owner     = {Diego},
  timestamp = {2017.12.28},
}

@InProceedings{Marmsoler2018c,
  author    = {Diego Marmsoler},
  title     = {Hierarchical Specication and Verication of Architecture Design Patterns},
  booktitle = {Fundamental Approaches to Software Engineering - 21th International Conference, {FASE} 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings},
  year      = {2018},
  owner     = {Diego},
  timestamp = {2017.12.28},
}

@Proceedings{Buhnova2015,
  title     = {Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, {FESCA} 2015, London, United Kingdom, April 12th, 2015},
  year      = {2015},
  editor    = {Bara Buhnova and Lucia Happe and Jan Kofron},
  volume    = {178},
  series    = {{EPTCS}},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl    = {http://dblp.org/rec/bib/journals/corr/BuhnovaHK15},
  doi       = {10.4204/EPTCS.178},
  owner     = {Diego},
  timestamp = {Wed, 03 May 2017 14:47:56 +0200},
  url       = {https://doi.org/10.4204/EPTCS.178},
}

@Proceedings{Hung2017,
  title     = {Theoretical Aspects of Computing - {ICTAC} 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings},
  year      = {2017},
  editor    = {Dang Van Hung and Deepak Kapur},
  volume    = {10580},
  series    = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn      = {978-3-319-67728-6},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl    = {http://dblp.org/rec/bib/conf/ictac/2017},
  doi       = {10.1007/978-3-319-67729-3},
  owner     = {Diego},
  timestamp = {Fri, 29 Sep 2017 10:37:11 +0200},
  url       = {https://doi.org/10.1007/978-3-319-67729-3},
}

@Proceedings{Johnson2005,
  title     = {Proceedings of the 20th Annual {ACM} {SIGPLAN} Conference on Object-Oriented Programming, Systems, Languages, and Applications, {OOPSLA} 2005, October 16-20, 2005, San Diego, CA, {USA}},
  year      = {2005},
  editor    = {Ralph E. Johnson and Richard P. Gabriel},
  publisher = {{ACM}},
  isbn      = {1-59593-031-0},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl    = {http://dblp.org/rec/bib/conf/oopsla/2005},
  owner     = {Diego},
  timestamp = {Wed, 25 Jun 2008 19:46:34 +0200},
}

@Proceedings{Fiadeiro2014,
  title     = {Formal Aspects of Component Software - 10th International Symposium, {FACS} 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers},
  year      = {2014},
  editor    = {Jos{\'{e}} Luiz Fiadeiro and Zhiming Liu and Jinyun Xue},
  volume    = {8348},
  series    = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn      = {978-3-319-07601-0},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl    = {http://dblp.org/rec/bib/conf/facs2/2013},
  doi       = {10.1007/978-3-319-07602-7},
  owner     = {Diego},
  timestamp = {Fri, 19 May 2017 01:26:24 +0200},
  url       = {https://doi.org/10.1007/978-3-319-07602-7},
}

@Book{Milner1990,
  title     = {The definition of Standard ML},
  publisher = {MIT Pr.},
  year      = {1990},
  author    = {Robin Milner and Mads Tofte and Robert Harper},
  address   = {Cambridge, Mass. [u.a.]},
  isbn      = {0262631326},
  note      = {Literaturverz. S. [87] - 89},
  owner     = {Diego},
  pagetotal = {XI, 101},
  ppn_gvk   = {025236385},
  timestamp = {2018.01.10},
}

@Article{Sickert2016,
  author  = {Salomon Sickert},
  title   = {Linear Temporal Logic},
  journal = {Archive of Formal Proofs},
  year    = {2016},
  month   = mar,
  issn    = {2150-914x},
  note    = {\url{http://isa-afp.org/entries/LTL.html}, Formal proof development},
}

@Article{Mattolini2001,
  author    = {Mattolini, Riccardo and Nesi, Paolo},
  title     = {An interval logic for real-time system specification},
  journal   = {IEEE Transactions on Software Engineering},
  year      = {2001},
  volume    = {27},
  number    = {3},
  pages     = {208--227},
  owner     = {Diego},
  publisher = {IEEE},
  timestamp = {2018.01.29},
}

@InProceedings{Schimpf2009,
  author       = {Schimpf, Alexander and Merz, Stephan and Smaus, Jan-Georg},
  title        = {Construction of B{\"u}chi automata for LTL model checking verified in Isabelle/HOL},
  booktitle    = {International Conference on Theorem Proving in Higher Order Logics},
  year         = {2009},
  pages        = {424--439},
  organization = {Springer},
  owner        = {Diego},
  timestamp    = {2018.01.29},
}

@Article{Grov2011,
  author  = {Gudmund Grov and Stephan Merz},
  title   = {A Definitional Encoding of TLA* in Isabelle/HOL},
  journal = {Archive of Formal Proofs},
  year    = {2011},
  month   = nov,
  issn    = {2150-914x},
  note    = {\url{http://isa-afp.org/entries/TLA.html}, Formal proof development},
}

@InProceedings{Merz1999,
  author       = {Merz, Stephan},
  title        = {A more complete TLA},
  booktitle    = {International Symposium on Formal Methods},
  year         = {1999},
  pages        = {1226--1244},
  organization = {Springer},
  owner        = {Diego},
  timestamp    = {2018.01.29},
}

@InProceedings{Merz1995,
  author       = {Merz, Stephan},
  title        = {Mechanizing TLA in Isabelle},
  booktitle    = {Workshop on Verification in New Orientations},
  year         = {1995},
  pages        = {54--74},
  organization = {Citeseer},
  owner        = {Diego},
  timestamp    = {2018.01.29},
}

@Article{Lamport1994,
  author    = {Lamport, Leslie},
  title     = {The temporal logic of actions},
  journal   = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
  year      = {1994},
  volume    = {16},
  number    = {3},
  pages     = {872--923},
  owner     = {Diego},
  publisher = {ACM},
  timestamp = {2018.01.29},
}

@TechReport{Srivastava2005,
  author      = {Srivastava, Amitabh and Thiagarajan, Jay and Schertz, Craig},
  title       = {Efficient integration testing using dependency analysis},
  institution = {Technical Report MSR-TR-2005-94, Microsoft Research},
  year        = {2005},
  owner       = {Diego},
  timestamp   = {2018.02.01},
}

@Article{Podgurski1990,
  author    = {Podgurski, Andy and Clarke, Lori A.},
  title     = {A formal model of program dependences and its implications for software testing, debugging, and maintenance},
  journal   = {IEEE Transactions on software Engineering},
  year      = {1990},
  volume    = {16},
  number    = {9},
  pages     = {965--979},
  owner     = {Diego},
  publisher = {IEEE},
  timestamp = {2018.02.01},
}

@InProceedings{Sangal2005,
  author       = {Sangal, Neeraj and Jordan, Ev and Sinha, Vineet and Jackson, Daniel},
  title        = {Using dependency models to manage complex software architecture},
  booktitle    = {ACM Sigplan Notices},
  year         = {2005},
  volume       = {40},
  number       = {10},
  pages        = {167--176},
  organization = {ACM},
  owner        = {Diego},
  timestamp    = {2018.02.01},
}

@InProceedings{Gu2003,
  author       = {Gu, Zonghua and Kodase, Sharath and Wang, Shige and Shin, Kang G},
  title        = {A model-based approach to system-level dependency and real-time analysis of embedded software},
  booktitle    = {Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings. The 9th IEEE},
  year         = {2003},
  pages        = {78--85},
  organization = {IEEE},
  owner        = {Diego},
  timestamp    = {2018.02.01},
}

@InProceedings{Pich2008,
  author       = {Pich, Christian and Nachmanson, Lev and Robertson, George G},
  title        = {Visual analysis of importance and grouping in software dependency graphs},
  booktitle    = {Proceedings of the 4th ACM symposium on Software visualization},
  year         = {2008},
  pages        = {29--32},
  organization = {ACM},
  owner        = {Diego},
  timestamp    = {2018.02.01},
}

@InProceedings{Xiao2014,
  author       = {Xiao, Lu and Cai, Yuanfang and Kazman, Rick},
  title        = {Design rule spaces: A new form of architecture insight},
  booktitle    = {Proceedings of the 36th International Conference on Software Engineering},
  year         = {2014},
  pages        = {967--977},
  organization = {ACM},
  owner        = {Diego},
  timestamp    = {2018.02.01},
}

@InProceedings{Abadi1999,
  author       = {Abadi, Mart{\'\i}n and Banerjee, Anindya and Heintze, Nevin and Riecke, Jon G},
  title        = {A core calculus of dependency},
  booktitle    = {Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
  year         = {1999},
  pages        = {147--160},
  organization = {ACM},
  owner        = {Diego},
  timestamp    = {2018.02.01},
}

@InProceedings{Guo2002,
  author       = {Guo, Jiang},
  title        = {Using category theory to model software component dependencies},
  booktitle    = {Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the},
  year         = {2002},
  pages        = {185--192},
  organization = {IEEE},
  owner        = {Diego},
  timestamp    = {2018.02.01},
}

@Article{Broy2017,
  author    = {Broy, Manfred},
  title     = {A logical approach to systems engineering artifacts: semantic relationships and dependencies beyond traceability---from requirements to functional and architectural views},
  journal   = {Software \& Systems Modeling},
  year      = {2017},
  pages     = {1--29},
  publisher = {Springer},
}

@Article{Marmsoler2018d,
  author  = {Diego Marmsoler},
  title   = {A Theory of Architectural Design Patterns},
  journal = {Archive of Formal Proofs},
  year    = {2018},
  month   = mar,
  issn    = {2150-914x},
  note    = {\url{http://isa-afp.org/entries/Architectural_Design_Patterns.html}, Formal proof development},
}

@InCollection{Marmsoler2016,
  author    = {Marmsoler, Diego and Gleirscher, Mario},
  title     = {Specifying Properties of Dynamic Architectures using Configuration Traces},
  booktitle = {International Colloquium on Theoretical Aspects of Computing},
  publisher = {Springer},
  year      = {2016},
  pages     = {235--254},
  doi       = {10.1007/978-3-319-46750-4_14},
  file      = {:Me\\Marmsoler_2016_PropertiesDynamicArchitectures.pdf:PDF},
  owner     = {Diego},
  timestamp = {2016.09.13},
}

@Proceedings{DBLP:conf/itp/2017,
  title     = {Interactive Theorem Proving - 9th International Conference, {ITP} 2018, Proceedings},
  year      = {2018},
  editor    = {Mauricio Ayala{-}Rinc{\'{o}}n and C{\'{e}}sar A. Mu{\~{n}}oz},
  volume    = {10499},
  series    = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn      = {978-3-319-66106-3},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl    = {https://dblp.org/rec/bib/conf/itp/2017},
  doi       = {10.1007/978-3-319-66107-0},
  timestamp = {Wed, 06 Sep 2017 14:53:52 +0200},
  url       = {https://doi.org/10.1007/978-3-319-66107-0},
}

@Article{Nakamoto2008,
  author = {Nakamoto, Satoshi},
  title  = {Bitcoin: A peer-to-peer electronic cash system},
  year   = {2008},
}

@Misc{Pirlea2018,
  author    = {P{\^\i}rlea, George and Sergey, Ilya},
  title     = {Mechanising blockchain consensus},
  year      = {2018},
  publisher = {CPP},
}

@Article{Atzei,
  author = {Atzei, Nicola and Bartoletti, Massimo and Lande, Stefano and Zunino, Roberto},
  title  = {A formal model of Bitcoin transactions},
}

@Article{Abdellatif,
  author = {Abdellatif, Tesnim and Brousmiche, Kei-Leo},
  title  = {Formal verification of smart contracts based on users and blockchain behaviors models},
}

@InProceedings{Bhargavan2016,
  author       = {Bhargavan, Karthikeyan and Delignat-Lavaud, Antoine and Fournet, C{\'e}dric and Gollamudi, Anitha and Gonthier, Georges and Kobeissi, Nadim and Kulatova, Natalia and Rastogi, Aseem and Sibut-Pinote, Thomas and Swamy, Nikhil and others},
  title        = {Formal verification of smart contracts: Short paper},
  booktitle    = {Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security},
  year         = {2016},
  pages        = {91--96},
  organization = {ACM},
}

@InProceedings{Xu2017,
  author       = {Xu, Xiwei and Weber, Ingo and Staples, Mark and Zhu, Liming and Bosch, Jan and Bass, Len and Pautasso, Cesare and Rimba, Paul},
  title        = {A taxonomy of blockchain-based systems for architecture design},
  booktitle    = {Software Architecture (ICSA), 2017 IEEE International Conference on},
  year         = {2017},
  pages        = {243--252},
  organization = {IEEE},
}

@Article{Yli-Huumo2016,
  author    = {Yli-Huumo, Jesse and Ko, Deokyoon and Choi, Sujin and Park, Sooyong and Smolander, Kari},
  title     = {Where is current research on blockchain technology?---a systematic review},
  journal   = {PloS one},
  year      = {2016},
  volume    = {11},
  number    = {10},
  pages     = {e0163477},
  publisher = {Public Library of Science},
}

@InProceedings{Zheng2017,
  author       = {Zheng, Zibin and Xie, Shaoan and Dai, Hongning and Chen, Xiangping and Wang, Huaimin},
  title        = {An overview of blockchain technology: Architecture, consensus, and future trends},
  booktitle    = {Big Data (BigData Congress), 2017 IEEE International Congress on},
  year         = {2017},
  pages        = {557--564},
  organization = {IEEE},
}

@InProceedings{Garay2015,
  author       = {Garay, Juan and Kiayias, Aggelos and Leonardos, Nikos},
  title        = {The bitcoin backbone protocol: Analysis and applications},
  booktitle    = {Annual International Conference on the Theory and Applications of Cryptographic Techniques},
  year         = {2015},
  pages        = {281--310},
  organization = {Springer},
}

@InProceedings{Garay2017,
  author       = {Garay, Juan and Kiayias, Aggelos and Leonardos, Nikos},
  title        = {The bitcoin backbone protocol with chains of variable difficulty},
  booktitle    = {Annual International Cryptology Conference},
  year         = {2017},
  pages        = {291--323},
  organization = {Springer},
}

@InProceedings{Pass2017,
  author       = {Pass, Rafael and Seeman, Lior and Shelat, Abhi},
  title        = {Analysis of the blockchain protocol in asynchronous networks},
  booktitle    = {Annual International Conference on the Theory and Applications of Cryptographic Techniques},
  year         = {2017},
  pages        = {643--673},
  organization = {Springer},
}

@InProceedings{Hirai2017,
  author       = {Hirai, Yoichi},
  title        = {Defining the ethereum virtual machine for interactive theorem provers},
  booktitle    = {International Conference on Financial Cryptography and Data Security},
  year         = {2017},
  pages        = {520--535},
  organization = {Springer},
}

@Article{Hirai2017b,
  author  = {Hirai, Yoichi},
  title   = {Ethereum Virtual Machine for Coq (v0. 0.2)},
  journal = {Published online on},
  year    = {2017},
  volume  = {5},
}

@Article{Amani2018,
  author  = {Amani, Sidney and B{\'e}gel, Myriam and Bortin, Maksym and Staples, Mark},
  title   = {Towards Verifying Ethereum Smart Contract Bytecode in Isabelle/HOL},
  journal = {CPP. ACM. To appear},
  year    = {2018},
}

@Article{Wood2014,
  author  = {Wood, Gavin},
  title   = {Ethereum: A secure decentralised generalised transaction ledger},
  journal = {Ethereum Project Yellow Paper},
  year    = {2014},
  volume  = {151},
  pages   = {1--32},
}

@TechReport{Cachin2017,
  author      = {Cachin, Christian and De Caro, Angelo and Moreno-Sanchez, Pedro and Tackmann, Bj{\"o}rn and Vukolic, Marko},
  title       = {The Transaction Graph for Modeling Blockchain Semantics},
  institution = {Cryptology ePrint Archive, Report 2017/1070},
  year        = {2017},
}

@Misc{White2015,
  author = {White, Bill},
  title  = {A theory for lightweight cryptocurrency ledgers},
  year   = {2015},
}

@InProceedings{Dragoi2016,
  author       = {Dr{\u{a}}goi, Cezara and Henzinger, Thomas A and Zufferey, Damien},
  title        = {PSync: a partially synchronous language for fault-tolerant distributed algorithms},
  booktitle    = {ACM SIGPLAN Notices},
  year         = {2016},
  volume       = {51},
  number       = {1},
  pages        = {400--415},
  organization = {ACM},
}

@Article{Jaskelioff2005,
  author  = {Jaskelioff, Mauro and Merz, Stephan},
  title   = {Proving the correctness of disk paxos},
  journal = {The Archive of Formal Proofs. http://afp. sf. net/entries/DiskPaxos. shtml},
  year    = {2005},
}

@InProceedings{Wilcox2015a,
  author    = {Wilcox, James R and Woos, Doug and Panchekha, Pavel and Tatlock, Zachary and Wang, Xi and Ernst, Michael D and Anderson, Thomas},
  title     = {Verdi: A framework for formally verifying distributed system implementations},
  booktitle = {Proceedings of the 2015 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Portland, OR},
  year      = {2015},
}

@InProceedings{Woos2016,
  author       = {Woos, Doug and Wilcox, James R and Anton, Steve and Tatlock, Zachary and Ernst, Michael D and Anderson, Thomas},
  title        = {Planning for change in a formal verification of the Raft consensus protocol},
  booktitle    = {Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs},
  year         = {2016},
  pages        = {154--165},
  organization = {ACM},
}

@Article{Sergey2017,
  author    = {Sergey, Ilya and Wilcox, James R and Tatlock, Zachary},
  title     = {Programming and proving with distributed protocols},
  journal   = {Proceedings of the ACM on Programming Languages},
  year      = {2017},
  volume    = {2},
  number    = {POPL},
  pages     = {28},
  publisher = {ACM},
}

@InProceedings{Bentov2016,
  author    = {Iddo Bentov and Ariel Gabizon and Alex Mizrahi},
  title     = {Cryptocurrencies Without Proof of Work},
  booktitle = {Financial Cryptography and Data Security - {FC} 2016 International Workshops, BITCOIN, VOTING, and WAHC, Christ Church, Barbados, February 26, 2016, Revised Selected Papers},
  year      = {2016},
  editor    = {Jeremy Clark and Sarah Meiklejohn and Peter Y. A. Ryan and Dan S. Wallach and Michael Brenner and Kurt Rohloff},
  volume    = {9604},
  series    = {Lecture Notes in Computer Science},
  pages     = {142--157},
  publisher = {Springer},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl    = {https://dblp.org/rec/bib/conf/fc/BentovGM16},
  doi       = {10.1007/978-3-662-53357-4_10},
}

@Misc{Hirai2017a,
  author       = {Yoichi Hirai},
  title        = {A mechanized safety proof for PoS with dynamic validators},
  howpublished = {\url{https://web.archive.org/web/20180518100918/https://medium.com/@pirapira/a-mechanized-safety-proof-for-pos-with-dynamic-validators-17e9b45faff4}},
  month        = mar,
  year         = {2017},
}

@InProceedings{Kiayias2017,
  author       = {Kiayias, Aggelos and Russell, Alexander and David, Bernardo and Oliynykov, Roman},
  title        = {Ouroboros: A provably secure proof-of-stake blockchain protocol},
  booktitle    = {Annual International Cryptology Conference},
  year         = {2017},
  pages        = {357--388},
  organization = {Springer},
}

@InProceedings{Azaria2016,
  author        = {Azaria, Asaph and Ekblaw, Ariel and Vieira, Thiago and Lippman, Andrew},
  title         = {Medrec: Using blockchain for medical data access and permission management},
  booktitle     = {Open and Big Data (OBD), International Conference on},
  year          = {2016},
  pages         = {25--30},
  organization  = {IEEE},
  __markedentry = {[dmarm:]},
}

@Misc{Yurcan2016,
  author       = {Bryan Yurcan},
  title        = {How Blockchain Fits into the Future of Digital Identity},
  howpublished = {\url{https://web.archive.org/web/20170119054131/https://www.americanbanker.com/news/how-blockchain-fits-into-the-future-of-digital-identity}},
  month        = apr,
  year         = {2016},
}

@Misc{Chavez-Dreyfuss2016,
  author       = {GertrudeChavez-Dreyfuss},
  title        = {Sweden tests blockchain technology for land registry},
  howpublished = {\url{https://web.archive.org/web/20161024065806/http://www.reuters.com/article/us-sweden-blockchain-idUSKCN0Z22KV}},
  month        = jun,
  year         = {2016},
}

@Article{Lamport1982,
  author        = {Lamport, Leslie and Shostak, Robert and Pease, Marshall},
  title         = {The Byzantine generals problem},
  journal       = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
  year          = {1982},
  volume        = {4},
  number        = {3},
  pages         = {382--401},
  __markedentry = {[dmarm:6]},
  publisher     = {ACM},
}

@Comment{jabref-meta: databaseType:bibtex;}
