Logo

data structures and software dependability

computer science department

brandenburg university of technology cottbus - senftenberg

Prof. Dr.-Ing. Monika Heiner

latest update: February 10, 2016, at 08:15 PM


  • Professor for Data Structures and Software Dependability, Brandenburg University of Technology Cottbus-Senftenberg, Computer Science Department
  • Visiting Professor, Brunel University London, Institute of Environment, Health and Societies; Synthetic Biology, Computational, Mathematical & Statistical Synthetic Biology

contact

emailMonika [period] Heiner [snail] b-tu [period] de
 Monika [period] Heiner [snail] brunel [period] ac [period] uk
phone(+49) (+355) 69-3884 / 3885
fax(+49) (+355) 69-3587

visiting address

Building VG 1c - 2nd floor, room 2.38
Walther-Pauer-Str. 2
D-03046 Cottbus


further information

Publications

For a feature of our Petri net related research, Courtesy of International Innovation – a leading scientific dissemination service, see

  • [H14-feature]
    Research Media:
    The power of Petri nets;
    In International Innovation, Special Focus - Women in Healthcare, Research Media, volume 137, pages 72-74, May 2014. [ url ] [ pdf ] [ BibTeX ]

For a summary of our Petri net related research profile, see

  • [H14]
    M Heiner:
    Petri Nets Research at BTU in Cottbus, Germany;
    In Petri Net Newsletter, GI, Newsletter of the Special Interest Group on Petri Nets and Related System Models, ISSN 0391-1804, volume 83, pages 19-25, April 2014. [ pdf ] [ BibTeX ]

my profile in Google Scholar

search in DBLP Computer Science Bibliography

search in our local database

Short Biography

ss 2015sabbatical leave, Visiting Professor at Brunel University London, Centre for Systems and Synthetic Biology;
partially supported by the SEED fund to promote multi-disciplinary research of the College of Engineering, Design and Physical Sciences;
research topics: Bacterial BioEngineering - model-based design of microbial systems;
10/2013Visiting Professor at Laboratoire Spécification et Vérification (LSV/ENS), Cachan/Paris;
research topics: efficient model checking of rare events;
ss 2011sabbatical leave, Visiting Professor at Brunel University, Uxbridge/London,
funded by EPSRC (RC Grant reference: EP/I036168/1, with David Gilbert as host Principal Investigator);
research topics: Petri nets for multiscale Systems; project website
March 2010research stay, Universidad de Zaragoza/Spain; Group of Discrete Event Systems Engineering (GISED);
research topics: (autonomous) continuous Petri nets;
ss 2007sabbatical leave, INRIA Rocquencourt/France;
research topics: biochemical network analysis;
ss 2003sabbatical leave, University of Costa Rica/San José;
course: validation of embedded systems;
ws 1999/2000sabbatical leave, Boston University, Metropolitan College;
courses: object-oriented analysis and design, software technology;
since 09/1994professorship, Brandenburg University of Technology at Cottbus;
research topics: data structures and software dependability, modelling and analysis of technical as well as (since 1998) biochemical networks using Petri nets;
ss 1994substitute professorship, University of Technology at Cottbus;
research topics: data structures and efficient algorithms;
02-03/1992research stay at International Computer Science Institute (ICSI) in Berkeley/California;
1992-1994scientific staff member, Institute of Computer Architecture and Software Technique of GMD at Berlin (GMD/FIRST);
research topics: software validation using Petri nets;
1984-1991scientific staff member, Institute of Informatiques and Computer Techniques at Berlin (IIR/AdW);
research topics: dependable systems; system verification & validation using Petri nets;
1980-1984scientific staff member, University of Technology at Dresden;
research topics: high-level pogramming languages in automation techniques;
1980dissertation (Ph. D. thesis) "A Contribution to Deadlock Analysis Based on a Language-guided Programming Methodology" (in German);
research topics: static analysis approaches, application of Petri nets to model and analyse concurrent programs;
1973-1980studies of computer sciences, University of Technology at Dresden;
research topics: programming languages and compiler technique;

Scientific Service

see my profile on

Long-term activities

Programme Committees, recent ones

Further reviews, among others

  • . . . many journals, see my profile on

… the end …

Any comments or questions are welcome. Please direct them to monika [period] heiner [snail] b-tu [period] de