Max Tschaikowski

IEEE Trans. Autom. Control., November, 2024

Efficient Network Embedding by Approximate Equitable Partitions.

[BibT_eX]

[DOI]

CoRR, 2024

Forward and Backward Constrained Bisimulations for Quantum Circuits.

[BibT_eX]

[DOI]

Kim G. Larsen

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

Dissimilarity for Linear Dynamical Systems.

[BibT_eX]

[DOI]

Giorgio Bacci

Giovanni Bacci

Kim Guldstrand Larsen

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024

Optimality-Preserving Reduction of Chemical Reaction Networks.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024

White-Box Validation of Collective Adaptive Systems by Statistical Model Checking and Process Mining.

[BibT_eX]

[DOI]

Roberto Casaluce

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024

Approximate Reductions of Rational Dynamical Systems in CLUE.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 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

Coarse-graining Complex Networks for Control Equivalence.

[BibT_eX]

[DOI]

CoRR, 2023

Efficient Simulation of Quantum Circuits by Model Order Reduction.

[BibT_eX]

[DOI]

Kim G. Larsen

CoRR, 2023

Minimization of Dynamical Systems over Monoids.

[BibT_eX]

[DOI]

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

Approximate Constrained Lumping of Polynomial Differential Equations.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2023

2022

Publisher Correction: Closed-form continuous-time neural networks.

[BibT_eX]

[DOI]

Nat. Mac. Intell., December, 2022

Closed-form continuous-time neural networks.

[BibT_eX]

[DOI]

Nat. Mac. Intell., November, 2022

PID Control of Biochemical Reaction Networks.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 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

Efficient Estimation of Agent Networks.

[BibT_eX]

[DOI]

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]

Isabel Cristina Pérez-Verona

Proceedings of the Computational Methods in Systems Biology, 2022

2021

Closed-form Continuous-Depth Models.

[BibT_eX]

[DOI]

CoRR, 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

Reducing Boolean Networks with Backward Boolean Equivalence.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2021

2020

Over-Approximation of Fluid Models.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2020

From electric circuits to chemical networks.

[BibT_eX]

[DOI]

Luca Cardelli

Isabel Cristina Pérez-Verona

Nat. Comput., 2020

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

Fixed-Point Computation of Equilibria in Biochemical Regulatory Networks.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems Biology - 6th International Workshop, 2019

Under the Hood of a Stand-Alone Lagrangian Reachability Tool.

[BibT_eX]

[DOI]

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

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

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

Spatial fluid limits for stochastic mobile networks.

[BibT_eX]

[DOI]

Perform. Evaluation, 2017

A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment.

[BibT_eX]

[DOI]

Ann. Oper. Res., 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

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

Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 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

Scaling size and parameter spaces in variability-aware software performance models.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2016, 2016

Fluid Analysis of Spatio-Temporal Properties of Agents in a Population Model.

[BibT_eX]

[DOI]

Luca Bortolussi

Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2016

2015

Supporting Performance Awareness in Autonomous Ensembles.

[BibT_eX]

[DOI]

Lubomír Bulej

Tomás Bures

Ilias Gerostathopoulos

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

A unified framework for differential aggregations in Markovian process algebra.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2015

Scaling Size and Parameter Spaces in Variability-Aware Software Performance Models (T).

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Forward and Backward Bisimulations for Chemical Reaction Networks.

[BibT_eX]

[DOI]

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

2014

Exact fluid lumpability in Markovian process algebra.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

Tackling continuous state-space explosion in a Markovian process algebra.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

Extended Differential Aggregations in Process Algebra for Performance and Biology.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, 2014

A Partial-differential Approximation for Spatial Stochastic Process Algebra.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools, 2014

2013

Insensitivity to service-time distributions for fluid queueing models.

[BibT_eX]

[DOI]

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

2012

Generalised Communication for Interacting Agents.

[BibT_eX]

[DOI]