data structures and software dependability

• home

• contact

• members

• teaching

• research

• publications

• software

• events

research - Projects

latest update: March 23, 2019, at 02:15 PM

Application-independent technologies

• Efficient Simulation of Coloured Hybrid Petri Nets, DAAD/GE-SEED grant (German Egyptian Mobility Program for Scientific Exchange and Excellence Development), 07/2014-06/2016
• Computational Steering, DAAD/GERLS grant (German Egyptian Research Long Term Scholarships), 04/2010 - 03/2013
• Petri net workbench

Biochemical networks

• NoPain – The Nociceptor Pain Model, BMBF grant, 01/2013-12/2015
• Petri nets for multiscale Systems Biology, EPSRC grant, 2011
• MoPS – Modelling Pain Switches, BMBF grant, 03/2009-02/2012
• Computational methods in systems biology
• Bayes nets and Petri nets in metabolomics

Technical networks (hardware software systems)

• Certifiable logic programmable controllers (DFG grant, 1997 - 2001)