CS2BioModular Verification of Interactive Systems with Application to Biology Peter Dr´abik Andrea Maggiolo-Schettini Paolo Milazzo Dipartimento di Informatica, Universit`

Source URL: pages.di.unipi.it

• Gene expression
• Molecular biology
• Biochemistry
• Biology
• Lac operon
• Beta-galactosidase
• Inducer
• Allolactose
• Galactosidases
• Lac repressor
• Lactose
• Galactose

DYNAMIC SYNC-PROGRAMS FOR MODULAR VERIFICATION OF BIOLOGICAL SYSTEMS Peter Dr´abik, Andrea Maggiolo-Schettini and Paolo Milazzo Dipartimento di Informatica, Universit`a di Pisa

Source URL: pages.di.unipi.it

• Models of computation
• Concurrency
• Computing
• Formal methods
• Diagrams
• Petri net
• Finite automata
• Model checking
• Analog television
• Finite-state machine
• Actor model
• Information and communications technology

SMART SENSOR AND PRODUCTION SYSTEMS FOR INDUSTRIAL IOT Ein Trail im Smart Systems Hub aus dem Bereich Industrial IoT Dr. Jan Reimann (Fraunhofer IWU), Dr. Martina Vogel (Fraunhofer ENAS), Björn Schuster (N+P) Life-ID

Source URL: www.smart-systems-hub.de

GRADUATE SEMINAR C. Tyler Wood E-Semigroups and Product Systems PhD Student supervised by Dr. Remus Floricel July 30th, 2018

Source URL: www.uregina.ca

T DR AF Probabilistic Model Checking for Systems Biology

Source URL: qav.comlab.ox.ac.uk

• Temporal logic
• Theoretical computer science
• Linear temporal logic
• Fibroblast growth factor receptor
• Cell biology
• Markov chain
• Markov decision process
• Computation tree logic
• Fibroblast growth factor
• Probabilistic CTL
• Probability

Permissive Controller Synthesis for Probabilistic Systems Klaus Dr¨ ager3 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Mateusz Ujma1 1

Source URL: qav.comlab.ox.ac.uk

• Linear temporal logic
• Temporal logic
• Control theory
• Applied mathematics
• Systems science
• Mathematics

Clarifying the role of coastal and marine systems in climate mitigation Dr. Jennifer Howard MITIGATING CLIMATE CHANGE

Source URL: dels.nas.edu

IV: Alternative Advanced Systems Dr. Roberto Parra Sadívar

Source URL: gefcrew.org

Der Forschungsbereich Cyber-Physical Systems (Direktor: Prof. Dr. Rolf Drechsler) des Deutschen Forschungszentrums für Künstliche Intelligenz (DFKI) bearbeitet mit über 20 Mitarbeitern nationale und internationale For

Source URL: www-cps.hb.dfki.de