• Esparza-Peidro J, Muñoz-Escoí F and Bernabéu-Aubán J. (2024). Modeling microservice architectures. Journal of Systems and Software. 213:C. Online publication date: 1-Jul-2024.

    https://doi.org/10.1016/j.jss.2024.112041

  • Bozga M, Iosif R and Sifakis J. (2023). Verification of component-based systems with recursive architectures. Theoretical Computer Science. 10.1016/j.tcs.2022.10.022. 940. (146-175). Online publication date: 1-Jan-2023.

    https://linkinghub.elsevier.com/retrieve/pii/S0304397522006181

  • Ahrens E, Bozga M, Iosif R and Katoen J. (2022). Reasoning about distributed reconfigurable systems. Proceedings of the ACM on Programming Languages. 6:OOPSLA2. (145-174). Online publication date: 31-Oct-2022.

    https://doi.org/10.1145/3563293

  • Bozga M, Bueri L and Iosif R. (2022). Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems. Automated Reasoning. 10.1007/978-3-031-10769-6_40. (691-711).

    https://link.springer.com/10.1007/978-3-031-10769-6_40

  • (2018). An approach for managing the dynamic reconfiguration of software architectures. International Journal of Computational Science and Engineering. 17:2. (220-233). Online publication date: 1-Jan-2018.

    /doi/10.5555/3282692.3282700

  • Rychly M. Dynamically Reconfigurable Architectures. Computer Systems and Software Engineering. 10.4018/978-1-5225-3923-0.ch022. (539-556).

    http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-3923-0.ch022

  • Mavridou A, Rutz V and Bliudze S. (2017). Coordination of Dynamic Software Components with JavaBIP. Formal Aspects of Component Software. 10.1007/978-3-319-68034-7_3. (39-57).

    http://link.springer.com/10.1007/978-3-319-68034-7_3

  • Fu Y and Shuvo M. (2016). An approach to analyzing adaptive intelligent vehicle system using SMT solver 2016 International Conference on Control, Decision and Information Technologies (CoDIT). 10.1109/CoDIT.2016.7593580. 978-1-5090-2188-8. (313-319).

    http://ieeexplore.ieee.org/document/7593580/

  • Li C, Huang L and Chen L. (2015). Breeze graph grammar. Software—Practice & Experience. 45:8. (1023-1050). Online publication date: 1-Aug-2015.

    https://doi.org/10.1002/spe.2271

  • Rodriguez I, Lacouture J and Drira K. (2015). Self-adaptive communication for collaborative mobile entities in ERCMS. International Journal of Autonomous and Adaptive Communications Systems. 8:1. (1-22). Online publication date: 1-Feb-2015.

    https://doi.org/10.1504/IJAACS.2015.067696

  • Jiang H and Wang R. (2014). Trusted Software Architecture Evolution Based on Graph Transformation Rule. Advanced Materials Research. 10.4028/www.scientific.net/AMR.989-994.4940. 989-994. (4940-4944).

    https://www.scientific.net/AMR.989-994.4940

  • Rychly M. Dynamically Reconfigurable Architectures. Handbook of Research on Architectural Trends in Service-Driven Computing. 10.4018/978-1-4666-6178-3.ch002. (26-43).

    http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-6178-3.ch002

  • Kemper S and Etzien C. (2014). A Visual Logic for the Description of Highway Traffic Scenarios. Complex Systems Design & Management. 10.1007/978-3-319-02812-5_17. (233-245).

    https://link.springer.com/10.1007/978-3-319-02812-5_17

  • Li X and Huang L. An Approach to Reliable Software Architectures Evolution. Proceedings of the 2013 13th International Conference on Quality Software. (305-312).

    https://doi.org/10.1109/QSIC.2013.26

  • Li C, Huang L, Chen L and Yu C. Breeze/ADL. Proceedings of the 2013 IEEE 37th Annual Computer Software and Applications Conference. (800-805).

    https://doi.org/10.1109/COMPSAC.2013.131

  • Li C, Huang L, Chen L and Yu C. BGG. Proceedings of the 2013 Seventh International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing. (291-298).

    https://doi.org/10.1109/IMIS.2013.56

  • Etzien C, Gezgin T, Froschle S, Henkler S and Rettberg A. (2013). Contracts for evolving systems 2013 IEEE 16th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC). 10.1109/ISORC.2013.6913235. 978-1-4799-2111-9. (1-8).

    http://ieeexplore.ieee.org/document/6913235/

  • Li C, Huang L, Chen L, Li X and Luo W. Dynamic software architectures. Proceedings of the Fourth Asia-Pacific Symposium on Internetware. (1-8).

    https://doi.org/10.1145/2430475.2430480

  • Gezgin T, Etzien C, Henkler S and Rettberg A. Towards a Rigorous Modeling Formalism for Systems of Systems. Proceedings of the 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops. (204-211).

    https://doi.org/10.1109/ISORCW.2012.42

  • Kallel S, Hadj Kacem M and Jmaiel M. (2012). Modeling and enforcing invariants of dynamic software architectures. Software and Systems Modeling (SoSyM). 11:1. (127-149). Online publication date: 1-Feb-2012.

    https://doi.org/10.1007/s10270-010-0162-z

  • Bouassida Rodriguez I, Ben Halima R, Drira K, Chassot C and Jmaiel M. (2012). A Graph Grammar-Based Dynamic Reconfiguration for Virtualized Web Service-Based Composite Architectures. Business System Management and Engineering. 10.1007/978-3-642-32439-0_11. (181-196).

    http://link.springer.com/10.1007/978-3-642-32439-0_11

  • Rodriguez I, Drira K, Chassot C, Guennoun K and Jmaiel M. (2010). A rule-driven approach for architectural self adaptation in collaborative activities using graph grammars. International Journal of Autonomic Computing. 1:3. (226-245). Online publication date: 1-May-2010.

    https://doi.org/10.1504/IJAC.2010.033007

  • Autili M, Inverardi P and Tivoli M. (2010). Run Time Models in Adaptive Service Infrastructure. Run-time Models for Self-managing Systems and Applications. 10.1007/978-3-0346-0433-8_6. (125-152).

    https://link.springer.com/10.1007/978-3-0346-0433-8_6

  • Costa-Soria C and Heckel R. Modelling the asynchronous dynamic evolution of architectural types. Proceedings of the First international conference on Self-organizing architectures. (198-229).

    /doi/10.5555/1880569.1880582

  • Rodriguez I, Drira K, Chassot C and Jmaiel M. (2009). A model-based multi-level architectural reconfiguration applied to adaptability management in context-aware cooperative communication support systems 3rd European Conference on Software Architecture (ECSA). 10.1109/WICSA.2009.5290829. 978-1-4244-4984-2. (353-356).

    http://ieeexplore.ieee.org/document/5290829/

  • Inverardi P and Tivoli M. The Future of Software. Software Engineering. (1-31).

    https://doi.org/10.1007/978-3-540-95888-8_1

  • Becker B and Giese H. Modeling of correct self-adaptive systems. Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology. (508-516).

    https://doi.org/10.1145/1456223.1456326

  • Rodriguez I, Guennoun K, Drira K, Chassot C and Jmaiel M. Implementing a rule-driven approach for architectural self configuration in collaborative activities using a graph rewriting formalism. Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology. (484-491).

    https://doi.org/10.1145/1456223.1456322

  • Corradini A. Ugo Montanari and Graph Transformation. Concurrency, Graphs and Models. (9-15).

    https://doi.org/10.1007/978-3-540-68679-8_2

  • Hirsch M, Henkler S and Giese H. Modeling collaborations with dynamic structural adaptation in mechatronic UML. Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems. (33-40).

    https://doi.org/10.1145/1370018.1370026

  • Bisztray D, Heckel R and Ehrig H. Verification of architectural refactorings by rule extraction. Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering. (347-361).

    /doi/10.5555/1792838.1792872

  • Goldsby H, Cheng B and Zhang J. AMOEBA-RT. Models in Software Engineering. (212-224).

    https://doi.org/10.1007/978-3-540-69073-3_23

  • Bisztray D, Heckel R and Ehrig H. Verification of Architectural Refactorings by Rule Extraction. Fundamental Approaches to Software Engineering. 10.1007/978-3-540-78743-3_26. (347-361).

    http://link.springer.com/10.1007/978-3-540-78743-3_26

  • Flexible Software Architecture. Software Architecture. 10.1007/978-3-540-74343-9_8. (274-312).

    http://link.springer.com/10.1007/978-3-540-74343-9_8

  • Bhattacharya S and Perry D. Predicting Emergent Properties of Component Based Systems. Proceedings of the Sixth International IEEE Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems. (41-50).

    https://doi.org/10.1109/ICCBSS.2007.25

  • Inverardi P. Software of the Future Is the Future of Software?. Trustworthy Global Computing. 10.1007/978-3-540-75336-0_5. (69-85).

    http://link.springer.com/10.1007/978-3-540-75336-0_5

  • Inverardi P. Software of the future is the future of software?. Proceedings of the 2nd international conference on Trustworthy global computing. (69-85).

    /doi/10.5555/1776656.1776663

  • Zhang J and Cheng B. Model-based development of dynamically adaptive software. Proceedings of the 28th international conference on Software engineering. (371-380).

    https://doi.org/10.1145/1134285.1134337

  • Miseldine P and Taleb-Bendiab A. CA-SPA. Proceedings of the 20th International Conference on Advanced Information Networking and Applications - Volume 02. (471-475).

    https://doi.org/10.1109/AINA.2006.120

  • Baresi L and Pezzè M. From graph transformation to software engineering and back. Formal Methods in Software and Systems Modeling. (24-37).

    /doi/10.5555/2137662.2137665

  • Baresi L and Pezzè M. (2005). From Graph Transformation to Software Engineering and Back. Formal Methods in Software and Systems Modeling. 10.1007/978-3-540-31847-7_2. (24-37).

    http://link.springer.com/10.1007/978-3-540-31847-7_2

  • Hawthorne M and Perry D. Exploiting architectural prescriptions for self-managing, self-adaptive systems. Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems. (75-79).

    https://doi.org/10.1145/1075405.1075420

  • Bradbury J, Cordy J, Dingel J and Wermelinger M. A survey of self-management in dynamic software architecture specifications. Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems. (28-33).

    https://doi.org/10.1145/1075405.1075411

  • Padberg J. (2003). Basic Ideas for Transformations of Specification Architectures1 1This work has been achieved during maternity leave and has been strongly supported by my family.. Electronic Notes in Theoretical Computer Science. 10.1016/S1571-0661(04)80625-X. 72:4. (46-58). Online publication date: 1-Mar-2003.

    http://linkinghub.elsevier.com/retrieve/pii/S157106610480625X

  • Georgiadis I, Magee J and Kramer J. Self-organising software architectures for distributed systems. Proceedings of the first workshop on Self-healing systems. (33-38).

    https://doi.org/10.1145/582128.582135

  • Corradini A. (2002). GETGRATS. Electronic Notes in Theoretical Computer Science. 10.1016/S1571-0661(04)80191-9. 51. (1-64). Online publication date: 1-May-2002.

    http://linkinghub.elsevier.com/retrieve/pii/S1571066104801919

  • Bardohl R, Ermel C and Padberg J. (2002). Transforming Specification Architectures by GenGED. Graph Transformation. 10.1007/3-540-45832-8_5. (30-44).

    http://link.springer.com/10.1007/3-540-45832-8_5

  • Ermel C, Bardohl R and Padberg J. (2001). Visual Design of Software Architecture and Evolution based on Graph Transformation. Electronic Notes in Theoretical Computer Science. 10.1016/S1571-0661(04)80943-5. 44:4. (52-66). Online publication date: 1-Jul-2001.

    https://linkinghub.elsevier.com/retrieve/pii/S1571066104809435

  • Hirsch D, Inverardi P and Montanari U. (2000). Reconfiguration of Software Architecture Styles with Name Mobility. Coordination Languages and Models. 10.1007/3-540-45263-X_10. (148-163).

    http://link.springer.com/10.1007/3-540-45263-X_10