Experimental Biological Protocols with Formal Semantics

  title={Experimental Biological Protocols with Formal Semantics},
  author={Alessandro Abate and Luca Cardelli and M. Kwiatkowska and Luca Laurenti and Boyan Yordanov},
  booktitle={Computational Methods in Systems Biology},
Both experimental and computational biology is becoming increasingly automated. Laboratory experiments are now performed automatically on high-throughput machinery, while computational models are synthesized or inferred automatically from data. However, integration between automated tasks in the process of biological discovery is still lacking, largely due to incompatible or missing formal representations. While theories are expressed formally as computational models, existing languages for… 

A Language for Modeling and Optimizing Experimental Biological Protocols

A language to model and optimize experimental biochemical protocols that facilitates such an integrated description, and that can be combined with experimental data is presented, and probabilistic semantics for the language in terms of Gaussian processes based on the linear noise approximation that formally characterizes the uncertainties in the data collection, the underlying model, and the protocol operations.

The Kaemika Language

Here this work presents one such modeling framework, rooted in languages for chemical reaction networks, and for lab protocols, which can be used for model synthesis and falsification by taking into account uncertainties in the both model structure and in equipment tolerances.

The Kaemika*Apparoach to Integrated Modeling of Reaction Networks and Protocols

This work states that an integrated description is essential to carry out automated model synthesis and falsification by taking into account uncertainties in the both model structure and in equipment tolerances.

Kaemika app, Integrating protocols and chemical simulation

Kaemika is an app that provides deterministic and stochastic simulation, supporting natural chemical notation enhanced with recursive and conditional generation of chemical reaction networks through novel and unambiguous representation of directed multigraphs.

Formal methods for modelling and validation of biological models

L’objectif de cette these est la modelisation et l’etude de systemes biologiques par l’intermediaire de methodes formelles. Les systemes biologiques demontrent des comportements continus mais sont



Biocoder: A programming language for standardizing and automating biology protocols

It is argued that BioCoder exposes and resolves ambiguities in existing protocols, and could provide the software foundations for future automation platforms.

Harnessing QbD, Programming Languages, and Automation for Reproducible Biology.

Syntax-Guided Optimal Synthesis for Chemical Reaction Networks

This work designs and implements a novel algorithm for the optimal synthesis of CRNs that employs almost complete refutation procedure for SMT over reals and ODEs, and exploits a meta-sketching abstraction controlling the search strategy.

Toward a mathematical semantics for computer languages

The purpose of a mathematical semantics is to give a correct and meaningful correspondence between programs and mathematical entities in a way that is entirely independent of an implementation.

Statistical Model Checking: An Overview

This tutorial surveys the statistical approach to model checking, and outlines its main advantages in terms of efficiency, uniformity, and simplicity.

A programming language for composable DNA circuits

A programming language for designing and simulating DNA circuits in which strand displacement is the main computational mechanism and includes basic elements of sequence domains, toeholds and branch migration, and assumes that strands do not possess any secondary structure is presented.

Programmable chemical controllers made from DNA.

This work implements several building-block reaction types and combines them into a network that realizes, at the molecular level, an algorithm used in distributed control systems for achieving consensus between multiple agents.

Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks

This work proposes a novel numerical approach that combines the strengths of aggregation techniques (state-space reduction) with those of simulation-based approaches (automatic updates that adapt to the process dynamics) and provides rigorous precision guarantees under different measures.