Software Technologies: Applications and Foundations
STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers
Page
%P
16 Result(s)
-
Article
Open AccessCausal analysis of positive Reaction Systems
Cause/effect analysis of complex systems is instrumental in better understanding many natural phenomena. Moreover, formal analysis requires the availability of suitable abstract computational models that someh...
-
Chapter and Conference Paper
Validation of a Simulation Algorithm for Safety-Critical Human Multitasking
Multitasking has become surprisingly present in our life. This is mostly due to the fact that nowadays most of our activities involve the interaction with one or more devices. In such a context the brain mecha...
-
Article
Formal modeling and analysis of safety-critical human multitasking
When a person is concurrently interacting with different systems, the amount of cognitive resources required (cognitive load) could be too high and might prevent some tasks from being completed. When such huma...
-
Chapter and Conference Paper
Multiset Patterns and Their Application to Dynamic Causalities in Membrane Systems
In this paper we investigate dynamic causalities in membrane systems by proposing the concept of “predictor”, originally defined in the context of Ehrenfeucht and Rozemberg’s reaction systems. The goal is to c...
-
Chapter and Conference Paper
An Executable Formal Framework for Safety-Critical Human Multitasking
When a person is concurrently interacting with different systems, the amount of cognitive resources required (cognitive load) could be too high and might prevent some tasks from being completed. When such huma...
-
Chapter and Conference Paper
Formalizing a Notion of Concentration Robustness for Biochemical Networks
The main goal of systems biology is to understand the dynamical properties of biological systems by investigating the interactions among the components of a biological system. In this work, we focus on the rob...
-
Chapter and Conference Paper
Applications of P Systems in Population Biology and Ecology: The Cases of MPP and APP Systems
We describe two extensions of P systems for the modelling of populations and ecosystems. They are the Minimal Probabilistic P systems (MPP systems) and the Attributed Probabilistic P systems (APP systems). We ...
-
Book and Conference Proceedings
-
Chapter and Conference Paper
A High-Level Model Checking Language with Compile-Time Pruning of Local Variables
Among Model Checking tools, the behaviour of a system is often formalized as a transition system with atomic propositions associated with states (Kripke structure). In current modelling languages, transitions are...
-
Chapter and Conference Paper
A Mathematical Model for Assessing KRAS Mutation Effect on Monoclonal Antibody Treatment of Colorectal Cancer
The most challenging task in colorectal cancer research nowadays is to understand the development of acquired resistance to anti-EGFR drugs. The key reason for this problem is the KRAS mutations produced after...
-
Chapter and Conference Paper
Modelling Population Dynamics Using Grid Systems
A new formalism, Grid Systems, aimed at modelling population dynamics is presented. The formalism is inspired by concepts of Membrane Computing (P Systems) and spatiality dynamics of Cellular Automata. The semant...
-
Chapter and Conference Paper
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations
European water frog populations are mainly composed by two species: Pelophylax lessonae (pool frog) and Pelophylax esculentus (edible frog). These populations are called L-E complexes. Edible frogs are a hybrid f...
-
Chapter and Conference Paper
Simulation of Kohn’s Molecular Interaction Maps through Translation into Stochastic CLS+
Kohn’s Molecular Interaction Maps (MIMs) are a graphical notation for describing bioregulatory networks at the molecular level. Even if the meaning of Kohn’s diagrams can be often easily understood, in many ca...
-
Chapter and Conference Paper
The Calculus of Loo** Sequences
We describe the Calculus of Loo** Sequences (CLS) which is suitable for modeling microbiological systems and their evolution. We present two extensions, CLS with links (LCLS) and Stochastic CLS. LCLS simplif...
-
Chapter and Conference Paper
Modeling Long–Running Transactions with Communicating Hierarchical Timed Automata
Long-running transactions consist of tasks which may be executed sequentially and in parallel, may contain sub-tasks, and may require to be completed before a deadline. These transactions are not atomic and, i...
-
Chapter and Conference Paper
Bisimulation Congruences in the Calculus of Loo** Sequences
The Calculus of Loo** Sequences (CLS) is a calculus suitable to describe biological systems and their evolution. CLS terms are constructed by starting from basic constituents and composing them by means of o...
