A Conceptual Framework for Adaptation

A White Box Perspective on Behavioural Adaptation

A formal approach for the analysis of BPMN collaboration models

scientific article published in October 2021

Adaptable Transition Systems

BProVe: A formal verification framework for business process models

BProVe: Tool support for business process verification

Comparing Chemical Reaction Networks

scholarly article published 2016

Comparing chemical reaction networks: A categorical and algorithmic perspective

Counterpart Semantics for a Second-Order μ-Calculus

Differential Equivalence for Linear Differential Algebraic Equations

scientific article published in 2022

ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations

article

Efficient Syntax-Driven Lumping of Differential Equations

Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models

Formal Lumping of Polynomial Differential Equations Through Approximate Equivalences

scientific article published in 2022

Maximal aggregation of polynomial dynamical systems

scientific article published on 6 September 2017

Modelling and Analyzing Adaptive Self-assembly Strategies with Maude

Modelling and analyzing adaptive self-assembly strategies with Maude

QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems

Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking ⬇️

article

Quantitative Security Risk Modeling and Analysis with RisQFLan

scientific article published in 2021

Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation

Reproducibility Report for the Paper: Efficient Non-Blocking Event Management for Speculative Parallel Discrete Event Simulation

scientific article published on 18 June 2024

State Space c-Reductions of Concurrent Systems in Rewriting Logic

Statistical Model Checking for Product Lines

Statistical analysis of probabilistic models of software product lines with quantitative constraints

scholarly article published 2015

Symbolic computation of differential equivalences

article published in 2016

Syntactic Markovian Bisimulation for Chemical Reaction Networks

The SCEL Language: Design, Implementation, Verification

article by Rocco De Nicola et al published 2015 in Lecture Notes in Computer Science

Tools for Ensemble Design and Runtime