| Seamless Reconfiguration of Rule-based IoT Applications | 0 | 0.34 | 2021 |
| Consistent Substitution of Object in Rule-based IoT Applications | 0 | 0.34 | 2021 |
| Quantifying The Similarity Of Non-Bisimilar Labelled Transition Systems | 0 | 0.34 | 2021 |
| Debugging of Behavioural Models using Counterexample Analysis | 1 | 0.36 | 2021 |
| R-MOZART: A Reconfiguration Tool for WebThings Applications | 0 | 0.34 | 2021 |
| Resource provisioning strategies for BPMN processes: Specification and analysis using Maude | 0 | 0.34 | 2021 |
| Clusters of Faulty States for Debugging Behavioural Models | 1 | 0.36 | 2020 |
| MOZART: Design and Deployment of Advanced IoT Applications | 0 | 0.34 | 2020 |
| F3ARIoT: A framework for autonomic resilience of IoT applications in the Fog | 0 | 0.34 | 2020 |
| Verification of a Failure Management Protocol for Stateful IoT Applications. | 0 | 0.34 | 2020 |
| Analysis of the Runtime Resource Provisioning of BPMN Processes Using Maude. | 0 | 0.34 | 2020 |
| Rigorous design and deployment of IoT applications | 0 | 0.34 | 2019 |
| Checking business process evolution. | 0 | 0.34 | 2019 |
| Quantifying the Similarity of Non-bisimilar Labelled Transition Systems. | 0 | 0.34 | 2019 |
| Automated Composition, Analysis and Deployment of IoT Applications. | 0 | 0.34 | 2019 |
| Designing and Implementing Resilient IoT Applications in the Fog: A Smart Home Use Case | 0 | 0.34 | 2019 |
| Visual debugging of behavioural models | 0 | 0.34 | 2019 |
| Debugging of Behavioural Models with CLEAR. | 0 | 0.34 | 2019 |
| IoT composer: composition and deployment of IoT applications | 1 | 0.35 | 2019 |
| A rewriting logic approach to resource allocation analysis in business process models. | 1 | 0.36 | 2019 |
| Resilience Of Stateful Iot Applications In A Dynamic Fog Environment | 3 | 0.38 | 2018 |
| Stochastic analysis of BPMN with time in rewriting logic. | 0 | 0.34 | 2018 |
| Computing the Parallelism Degree of Timed BPMN Processes. | 0 | 0.34 | 2018 |
| Symbolic Specification And Verification Of Data-Aware Bpmn Processes Using Rewriting Modulo Smt | 1 | 0.35 | 2018 |
| Automated analysis of industrial workflow-based models. | 0 | 0.34 | 2018 |
| Preface: Special issue on Foundations of Coordination Languages and Self-adaptive Systems. | 0 | 0.34 | 2018 |
| Compatibility flooding: measuring interaction of services interfaces. | 0 | 0.34 | 2017 |
| Preface: Special issue on software verification and testing. | 0 | 0.34 | 2017 |
| Asynchronous synthesis techniques for coordinating autonomic managers in the cloud. | 3 | 0.39 | 2017 |
| VBPMN: Automated Verification of BPMN Processes (Tool Paper). | 0 | 0.34 | 2017 |
| Robust and reliable reconfiguration of cloud applications | 12 | 0.56 | 2016 |
| Automated Analysis of Asynchronously Communicating Systems. | 3 | 0.38 | 2016 |
| Checking Business Process Evolution. | 0 | 0.34 | 2016 |
| Formal design of dynamic reconfiguration protocol for cloud applications | 3 | 0.37 | 2016 |
| Stability-Based Adaptation of Asynchronously Communicating Software. | 1 | 0.35 | 2016 |
| Special issue on Software Verification and Testing (SAC-SVT'15). | 0 | 0.34 | 2016 |
| Debugging Process Algebra Specifications | 0 | 0.34 | 2015 |
| Asynchronous Coordination of Stateful Autonomic Managers in the Cloud. | 2 | 0.37 | 2015 |
| Preface: Special section on foundations of coordination languages and software architectures (selected papers from FOCLASA'10). | 0 | 0.34 | 2014 |
| Adaptation of Asynchronously Communicating Software. | 2 | 0.38 | 2014 |
| Preface: Special section on formal methods for industrial critical systems (Selected papers from FMICS'11) | 0 | 0.34 | 2014 |
| Reliable self-deployment of cloud applications | 7 | 0.49 | 2014 |
| Robust reconfiguration of cloud applications | 2 | 0.42 | 2014 |
| Quantifying the parallelism in BPMN processes using model checking | 4 | 0.38 | 2014 |
| Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12). | 0 | 0.34 | 2014 |
| PIC2LNT: model transformation for model checking an applied pi-calculus | 0 | 0.34 | 2013 |
| VerChor: a framework for verifying choreographies | 7 | 0.46 | 2013 |
| An experience report on the verification of autonomic protocols in the cloud | 3 | 0.38 | 2013 |
| Counterexample guided synthesis of monitors for realizability enforcement | 18 | 0.78 | 2012 |
| Realizability of Choreographies Using Process Algebra Encodings | 34 | 1.20 | 2012 |
