data structures and software dependability

• home

• contact

• members

• teaching

• research

• publications

• software

• events

selected references - Ph.D. theses

10 entries

• [Chodak21]
  Jacek Chodak:
  Spike – a tool for reproducible simulation experiments;
  PhD thesis, BTU Cottbus, Dep. of CS, December 2022. [ doi ] [ BibTeX ]
• [Assaf21]
  George Assaf:
  Fuzzy coloured Petri nets for modelling biological systems with uncertain kinetic parameters;
  PhD thesis, BTU Cottbus, Dep. of CS, December 2022. [ doi ] [ BibTeX ]
• [Rohr17]
  Christian Rohr:
  Simulative analysis of coloured extended stochastic Petri nets;
  PhD thesis, BTU Cottbus, Dep. of CS, January 2017. [ pdf ] [ BibTeX ]
• [Schwarick14]
  Martin Schwarick:
  Symbolic on-the-fly analysis of stochastic Petri nets;
  PhD thesis, BTU Cottbus, Dep. of CS, June 2014. [ pdf ] [ BibTeX ]
• [Herajy13]
  Mostafa Herajy:
  Computational Steering of Multi-Scale Biochemical Networks;
  PhD thesis, BTU Cottbus, Dep. of CS, January 2013. [ pdf ] [ BibTeX ]
• [Liu12]
  Fei Liu:
  Colored Petri Nets for Systems Biology;
  PhD thesis, BTU Cottbus, Dep. of CS, January 2012. [ pdf ] [ BibTeX ]
• [Tovchig08]
  Alexey Tovchigrechko:
  Efficient symbolic analysis of bounded Petri nets using Interval Decision Diagrams;
  PhD thesis, BTU Cottbus, Dep. of CS, October 2008. [ pdf ] [ BibTeX ]
• [Mertke03]
  Thomas Mertke:
  A Technical Language for Formal Safety Specification of Reactive Systems;
  PhD thesis, BTU Cottbus, Dep. of CS, October 2003. [ pdf ] [ BibTeX ]
• [Deussen01]
  Peter Deussen:
  Analysis of concurrent systems by Process Automata;
  PhD thesis, BTU Cottbus, Dep. of CS, December 2001. [ pdf ] [ BibTeX ]
• [Spranger01]
  Jochen Spranger:
  Symbolic LTL verification of Petri nets;
  PhD thesis, BTU Cottbus, Dep. of CS, December 2001. [ pdf ] [ BibTeX ]