A Formal Approach to Enforcing Consistency in Self-adaptive Systems

Software Architecture - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15114-9_21 ◽

2010 ◽

pp. 279-294

Author(s):

Najla Hadj Kacem ◽

Ahmed Hadj Kacem ◽

Khalil Drira

Keyword(s):

Adaptive Systems ◽

Formal Approach ◽

Self Adaptive

Download Full-text

Towards a Formal Approach for Prototyping and Verifying Self-Adaptive Systems

Lecture Notes in Business Information Processing - Advanced Information Systems Engineering Workshops ◽

10.1007/978-3-642-38490-5_39 ◽

2013 ◽

pp. 432-446 ◽

Cited By ~ 3

Author(s):

Juan F. Inglés-Romero ◽

Cristina Vicente-Chicote

Keyword(s):

Adaptive Systems ◽

Formal Approach ◽

Self Adaptive

Download Full-text

Resilient Monitoring in Self-Adaptive Systems through Behavioral Parameter Estimation

Journal of Systems Architecture ◽

10.1016/j.sysarc.2021.102177 ◽

2021 ◽

pp. 102177

Author(s):

Mehran Alidoost Nia ◽

Mehdi Kargahi ◽

Alessandro Abate

Keyword(s):

Parameter Estimation ◽

Adaptive Systems ◽

Behavioral Parameter ◽

Self Adaptive

Download Full-text

Applying deep learning to reduce large adaptation spaces of self-adaptive systems with multiple types of goals

Proceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems ◽

10.1145/3387939.3391605 ◽

2020 ◽

Cited By ~ 1

Author(s):

Jeroen Van Der Donckt ◽

Danny Weyns ◽

Federico Quin ◽

Jonas Van Der Donckt ◽

Sam Michiels

Keyword(s):

Deep Learning ◽

Adaptive Systems ◽

Self Adaptive

Download Full-text

Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems

Journal of Systems and Software ◽

10.1016/j.jss.2015.05.028 ◽

2015 ◽

Vol 107 ◽

pp. 50-70 ◽

Cited By ~ 18

Author(s):

Manzoor Ahmad ◽

Nicolas Belloir ◽

Jean-Michel Bruel

Keyword(s):

Adaptive Systems ◽

Functional Requirements ◽

Self Adaptive

Download Full-text

A fast Reconfigurable 2D HW core architecture on FPGAs for evolvable Self-Adaptive Systems

2011 NASA/ESA Conference on Adaptive Hardware and Systems (AHS) ◽

10.1109/ahs.2011.5963956 ◽

2011 ◽

Cited By ~ 12

Author(s):

Andres Otero ◽

Ruben Salvador ◽

Javier Mora ◽

Eduardo de la Torre ◽

Teresa Riesgo ◽

...

Keyword(s):

Adaptive Systems ◽

Self Adaptive

Download Full-text

Engineering self-adaptive systems and dynamic software product line

Proceedings of the 17th International Software Product Line Conference on - SPLC '13 ◽

10.1145/2491627.2493906 ◽

2013 ◽

Cited By ~ 3

Author(s):

Mahdi Bashari ◽

Ebrahim Bagheri

Keyword(s):

Adaptive Systems ◽

Software Product Line ◽

Product Line ◽

Software Product ◽

Dynamic Software ◽

Self Adaptive

Download Full-text

Enhancing the Smart, Digitized Food Supply Chain through Self-Learning and Self-Adaptive Systems

10.1109/acsos-c52956.2021.00081 ◽

2021 ◽

Author(s):

Elia Henrichs

Keyword(s):

Supply Chain ◽

Food Supply ◽

Adaptive Systems ◽

Food Supply Chain ◽

Self Learning ◽

Self Adaptive

Download Full-text

Bayesian artificial intelligence for tackling uncertainty in self-adaptive systems: The case of dynamic decision networks

2013 2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE) ◽

10.1109/raise.2013.6615198 ◽

2013 ◽

Cited By ~ 4

Author(s):

Nelly Bencomo ◽

Amel Belaggoun ◽

Valerie Issarny

Keyword(s):

Artificial Intelligence ◽

Adaptive Systems ◽

Decision Networks ◽

Bayesian Artificial Intelligence ◽

Self Adaptive

Download Full-text

A Petri Net-Based Model of Self-adaptive Systems and Its (Semi-)Automated Support

Trends and Innovations in Information Systems and Technologies - Advances in Intelligent Systems and Computing ◽

10.1007/978-3-030-45688-7_70 ◽

2020 ◽

pp. 715-725

Author(s):

Lorenzo Capra

Keyword(s):

Petri Net ◽

Adaptive Systems ◽

Automated Support ◽

Self Adaptive

Download Full-text

Evaluating Reconfiguration Impact in Self-Adaptive Systems -- An Approach Based on Combinatorial Interaction Testing

2015 41st Euromicro Conference on Software Engineering and Advanced Applications ◽

10.1109/seaa.2015.72 ◽

2015 ◽

Cited By ~ 3

Author(s):

Sagar Sen ◽

Stefano Di Alesio ◽

Dusica Marijan ◽

Arnab Sarkar

Keyword(s):

Adaptive Systems ◽

Interaction Testing ◽

Combinatorial Interaction Testing ◽

Self Adaptive

Download Full-text