| A Strategy-Based Formal Approach for Fog Systems Analysis. | 0 | 0.34 | 2022 |
| A Formal Language for Modelling and Verifying Systems-of-Systems Software Architectures. | 0 | 0.34 | 2022 |
| Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), Tabarka, Tunisia, December 18-20, 2021. | 0 | 0.34 | 2022 |
| From CA-BRS to BPMN - Formal Approach for Modeling Adaptive Security in Cyber-Physical Systems. | 0 | 0.34 | 2021 |
| Towards a Service-Driven Model for Industry-4.0. | 0 | 0.34 | 2021 |
| Formalizing And Simulating Cross-Layer Elasticity Strategies In Cloud Systems | 0 | 0.34 | 2020 |
| System of Systems Engineering: Meta-Modelling Perspective | 1 | 0.37 | 2020 |
| A Bigraphical Reactive Systems with Sharing for modeling Wireless Mesh Networks | 0 | 0.34 | 2020 |
| Formal modeling and analysis of complex software | 0 | 0.34 | 2020 |
| A Formal Quantitative Analysis of Elastic Cloud Systems based on PSMaude | 0 | 0.34 | 2020 |
| Timed CTL checking of time critical cloud applications using timed bigraphs | 0 | 0.34 | 2019 |
| Design Patterns Formal Composition And Analysis | 0 | 0.34 | 2019 |
| Formal Modeling and Verification of Cloud Elasticity with Maude and LTL. | 0 | 0.34 | 2019 |
| A formal framework-based K-Maude for modelling scalable software architectures | 0 | 0.34 | 2019 |
| Proceedings of the 3rd International Conference on Advanced Aspects of Software Engineering, ICAASE 2018, Constantine, Algeria, December 1-2, 2018. | 0 | 0.34 | 2019 |
| Formal modelling and verifying elasticity strategies in cloud systems | 0 | 0.34 | 2019 |
| Towards a Formal Approach Based on Bigraphs for Fog Security: Case of Oil and Gas Refinery Plant | 0 | 0.34 | 2019 |
| A Formal Model for Interaction Specification and Analysis in IoT Applications. | 1 | 0.36 | 2018 |
| A Component-based Modeling of Edge Systems Computing. | 0 | 0.34 | 2018 |
| Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud Systems. | 0 | 0.34 | 2018 |
| A Quality-driven Approach for Analyzing Elastic Cloud Computing. | 0 | 0.34 | 2018 |
| Architectural Method To Design And Control Dynamic Composite Web Services | 0 | 0.34 | 2018 |
| Towards a Fuzzy Bigraphical Multi Agent System for Cloud of Clouds Elasticity Management. | 1 | 0.34 | 2018 |
| BiAgent-Based Model for IoT Applications - Case of a Collision Avoidance System. | 0 | 0.34 | 2017 |
| A BRS Based Approach for Modeling Elastic Cloud Systems. | 1 | 0.35 | 2017 |
| A bigraphical model for specifying cloud-based elastic systems and their behaviour | 4 | 0.46 | 2017 |
| Big-Caf: A Bigraphical-Generic Cloud Architecture Framework | 0 | 0.34 | 2017 |
| A Formal Framework for Scalable Component-Based Systems | 0 | 0.34 | 2017 |
| A bigraph-based framework for specification and analysis of context-aware systems. | 2 | 0.36 | 2016 |
| Formal verification of cloud systems elasticity. | 0 | 0.34 | 2016 |
| K-based definition of Real Time Distributed Systems: from a meta-model to maude modules | 0 | 0.34 | 2015 |
| A BRS-Based Approach to Model and Verify Cloud Systems Elasticity | 4 | 0.40 | 2015 |
| Towards A Formalization Of Real-Time Patterns-Based Designs | 0 | 0.34 | 2015 |
| Towards Formal Modeling and Verification of Context-Aware Systems. | 3 | 0.40 | 2014 |
| Modeling Channel Allocation via BRS: Case of WMNs. | 2 | 0.39 | 2014 |
| Transactional Petri nets: a semantic framework for UML2 activities | 1 | 0.38 | 2014 |
| Mop-ECATNets for Formal Modeling Dynamic Web Services. | 0 | 0.34 | 2014 |
| RDTA: Recursive and Dynamic Timed Automata for Web Services Composition Analysis | 0 | 0.34 | 2014 |
| A BRS-Based Modeling Approach for Context-Aware Systems: A Case Study of Smart Car System | 2 | 0.44 | 2014 |
| A RT-Maude-based framework for component installation | 0 | 0.34 | 2014 |
| Model-Checking Cloud Systems Using BigMC. | 0 | 0.34 | 2014 |
| BiCloud-2M: A Combined Bigraph Maude-based Tool for Cloud Specification and Analysis. | 1 | 0.35 | 2014 |
| Towards formalising installation and reconfiguration tasks of AADL architecture | 0 | 0.34 | 2013 |
| Towards a Formal Model for Cloud Computing. | 8 | 0.59 | 2013 |
| Towards a bigraph-based model for context-aware adaptive systems | 3 | 0.42 | 2013 |
| A tile logic-based semantics for mobile software architectures | 1 | 0.38 | 2011 |
| A Novel Semantic Framework for Analyzing Dynamic Web Services | 0 | 0.34 | 2011 |
| Implémentation orientée objet d'ABAReL en Maude. | 0 | 0.34 | 2011 |
| Vers un Modèle de Déploiement à base de Bigraphes. | 0 | 0.34 | 2010 |
| For more understandable UML diagrams | 0 | 0.34 | 2010 |
