Andrea Vandin

J. Syst. Softw., April, 2024

2023

Reducing Boolean networks with backward equivalence.

[BibT_eX]

[DOI]

BMC Bioinform., December, 2023

Algorithmic Minimization of Uncertain Continuous-Time Markov Chains.

[BibT_eX]

[DOI]

Luca Cardelli

Radu Grosu

Kim Guldstrand Larsen

IEEE Trans. Autom. Control., November, 2023

Formal lumping of polynomial differential equations through approximate equivalences.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., August, 2023

Proper Lumping for Positive Bilinear Control Systems.

[BibT_eX]

[DOI]

Antonio Jiménez-Pastor

CoRR, 2023

Coarse-graining Complex Networks for Control Equivalence.

[BibT_eX]

[DOI]

CoRR, 2023

Optimality-preserving Reduction of Chemical Reaction Networks.

[BibT_eX]

[DOI]

CoRR, 2023

Towards Novel Statistical Methods for Anomaly Detection in Industrial Processes.

[BibT_eX]

[DOI]

Simone Tonini

Fernando Barsacchi

Daniele Licari

Proceedings of the Companion of the 2023 ACM/SPEC International Conference on Performance Engineering, 2023

Minimization of Dynamical Systems over Monoids.

[BibT_eX]

[DOI]

Alexander Leguizamon-Robayo

Alexander Leguizamon-Robayo

LICS, 2023

Approximate Constrained Lumping of Polynomial Differential Equations.

[BibT_eX]

[DOI]

Antonio Jiménez-Pastor

Proceedings of the Computational Methods in Systems Biology, 2023

2022

Differential Equivalence for Linear Differential Algebraic Equations.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2022

Minimization of Dynamical Systems over Monoids.

[BibT_eX]

[DOI]

CoRR, 2022

An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022

Formal Analysis of Lending Pools in Decentralized Finance.

[BibT_eX]

[DOI]

Massimo Bartoletti

James Hsin-yu Chiang

Tommi Junttila

Massimiliano Mirelli

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2022

Process Mining Meets Statistical Model Checking: Towards a Novel Approach to Model Validation and Enhancement.

[BibT_eX]

[DOI]

Roberto Casaluce

Andrea Burattin

Isabel Cristina Pérez-Verona

Proceedings of the Business Process Management Workshops, 2022

2021

A large-scale assessment of exact lumping of quantitative models in the BioModels repository.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2021

A formal approach for the analysis of BPMN collaboration models.

[BibT_eX]

[DOI]

J. Syst. Softw., 2021

Automated and Distributed Statistical Analysis of Economic Agent-Based Models.

[BibT_eX]

[DOI]

Daniele Giachini

Francesco Lamperti

CoRR, 2021

Quantitative Security Risk Modeling and Analysis with RisQFLan.

[BibT_eX]

[DOI]

Isabel Cristina Pérez-Verona

Comput. Secur., 2021

Exact maximal reduction of stochastic reaction networks by species lumping.

[BibT_eX]

[DOI]

Luca Cardelli

Bioinform., 2021

Lumpability for Uncertain Continuous-Time Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021

Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

MultiVeStA: Statistical Analysis of Economic Agent-Based Models by Statistical Model Checking.

[BibT_eX]

[DOI]

Daniele Giachini

Francesco Lamperti

Proceedings of the From Data to Models and Back, 2021

Reducing Boolean Networks with Backward Boolean Equivalence.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2021

2020

A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2020

Improved estimations of stochastic chemical kinetics by finite state expansion.

[BibT_eX]

[DOI]

CoRR, 2020

Variability meets security: quantitative security modeling and analysis of highly customizable attack scenarios.

[BibT_eX]

[DOI]

Proceedings of the VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, 2020

2019

RCR Report for Analysis of Spatiotemporal Properties of Stochastic Systems Using TSTL.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 2019

Symbolic computation of differential equivalences.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2019

Comparing chemical reaction networks: A categorical and algorithmic perspective.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2019

UTOPIC: Under-Approximation Through Optimal Control.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems.

[BibT_eX]

[DOI]

Isabel Cristina Pérez-Verona

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2019

2018

Replicated Computations Results (RCR) Report for "A Holistic Approach for Collaborative Workload Execution in Volunteer Clouds".

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 2018

Speeding up stochastic and Deterministic simulation by Aggregation: an Advanced Tutorial.

[BibT_eX]

[DOI]

Proceedings of the 2018 Winter Simulation Conference, 2018

Statistical Analysis of CARMA Models: an Advanced Tutorial.

[BibT_eX]

[DOI]

Proceedings of the 2018 Winter Simulation Conference, 2018

Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Differential Equivalence Yields Network Centrality.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

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

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 22nd International Symposium, 2018

Backward Invariance for Linear Differential Algebraic Equations.

[BibT_eX]

[DOI]

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017

Maximal aggregation of polynomial dynamical systems.

[BibT_eX]

[DOI]

Proc. Natl. Acad. Sci. USA, 2017

Language-based Abstractions for Dynamical Systems.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, 2017

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

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

BProVe: tool support for business process verification.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

BProVe: a formal verification framework for business process models.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Transient and Steady-State Statistical Analysis for Discrete Event Simulators.

[BibT_eX]

[DOI]

Stephen Gilmore

Daniël Reijsbergen

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

EGAC: a genetic algorithm to compare chemical reaction networks.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2017

Syntactic Markovian Bisimulation for Chemical Reaction Networks.

[BibT_eX]

[DOI]

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016

Efficient Syntax-Driven Lumping of Differential Equations.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Quantitative Abstractions for Collective Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, 2016

A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Statistical Model Checking for Product Lines.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015

The SCEL Language: Design, Implementation, Verification.

[BibT_eX]

[DOI]

Rocco De Nicola

Diego Latella

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

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

[BibT_eX]

[DOI]

Martin Wirsing

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Tools for Ensemble Design and Runtime.

[BibT_eX]

[DOI]

Dhaminda B. Abeywickrama

Giacoma Valentina Monreale

Michele Loreti

Andrea Margheri

Philip Mayer

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Modelling and analyzing adaptive self-assembly strategies with Maude.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

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

[BibT_eX]

[DOI]

Proceedings of the Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, 2015

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

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Software Product Line, 2015

Differential Bisimulation for a Markovian Process Algebra.

[BibT_eX]

[DOI]

Giulio Iacobelli

Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

Forward and Backward Bisimulations for Chemical Reaction Networks.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Concurrency Theory, 2015

A White Box Perspective on Behavioural Adaptation.

[BibT_eX]

[DOI]

Proceedings of the Software, 2015

Awareness and Control in Adaptable Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015

2014

An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems.

[BibT_eX]

[DOI]

Stephen Gilmore

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Distributed statistical analysis of complex systems modeled through a chemical metaphor.

[BibT_eX]

[DOI]

Danilo Pianini

Stefano Sebastio

Proceedings of the International Conference on High Performance Computing & Simulation, 2014

Reasoning (on) Service Component Ensembles in Rewriting Logic.

[BibT_eX]

[DOI]

Proceedings of the Specification, Algebra, and Software, 2014

2013

Adaptation is a Game.

[BibT_eX]

[DOI]

Tiny Trans. Comput. Sci., 2013

MultiVeStA: statistical model checking for discrete event simulators.

[BibT_eX]

[DOI]

Stefano Sebastio

Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013

2012

Counterpart Semantics for a Second-Order μ-Calculus.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2012

Adaptable Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

State Space c-Reductions of Concurrent Systems in Rewriting Logic.

[BibT_eX]

[DOI]

José Meseguer

Proceedings of the Formal Methods and Software Engineering, 2012

Specification and Verification of Modal Properties for Structured Systems.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations - 6th International Conference, 2012

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

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations - 6th International Conference, 2012

A Conceptual Framework for Adaptation.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011

Towards a Maude Tool for Model Checking Temporal Graph Properties.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

2010

Counterpart Semantics for a Second-Order <i>µ</i>-Calculus.

[BibT_eX]

[DOI]