data structures and software dependability
computer science department
brandenburg university of technology cottbus
Prof. Dr.-Ing. Monika Heiner
latest update: February 08, 2012, at 08:39 PM
contact
| room | LG 1c, room 205 |
| phone | (+49) (+355) 69-3884 / 3885 |
| fax | (+49) (+355) 69-3587 |
| Monika (dot) Heiner (at) informatik (dot) tu-cottbus (dot) de |
Publications
my profile in 
or search in our local database
Short Biography
| ss 2011 | sabbatical 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 2010 | research stay, Universidad de Zaragoza/Spain; Group of Discrete Event Systems Engineering (GISED); research topics: (autonomous) continuous Petri nets; |
| ss 2007 | sabbatical leave, INRIA Rocquencourt/France; research topics: biochemical network analysis; |
| ss 2003 | sabbatical leave, University of Costa Rica/San José; course: validation of embedded systems; |
| ws 1999/2000 | sabbatical leave, Boston University, Metropolitan College; courses: object-oriented analysis and design, software technology; |
| since 09/1994 | professorship, 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 1994 | substitute professorship, University of Technology at Cottbus; research topics: data structures and efficient algorithms; |
| 02-03/1992 | research stay at International Computer Science Institute (ICSI) in Berkeley/California; |
| 1992-1994 | scientific staff member, Institute of Computer Architecture and Software Technique of GMD at Berlin (GMD/FIRST); research topics: software validation using Petri nets; |
| 1984-1991 | scientific staff member, Institute of Informatiques and Computer Techniques at Berlin (IIR/AdW); research topics: dependable systems; system verification & validation using Petri nets; |
| 1980-1984 | scientific staff member, University of Technology at Dresden; research topics: high-level pogramming languages in automation techniques; |
| 1980 | dissertation (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-1980 | studies of computer sciences, University of Technology at Dresden; research topics: programming languages and compiler technique; |
Scientific Service
Long-term activities
- Journal Natural Computing, Editorial board, Broader Perspective
- Computational Methods in Systems Biology (CMSB), Steering Committee
- International Workshop on Biological Processes & Petri Nets (BioPPN), a satellite events of PETRI NET Conference series, organisation and co-chairing
(BioPPN 2012, BioPPN 2011, BioPPN 2010)
Programme Committees, recent ones
- International Conference on Computational Methods in Systems Biology
(CMSB 2012, CMSB 2011, CMSB 2010, CMSB 2009, CMSB 2008, CMSB 2007, CMSB 2006, CMSB 2005) - International Conference on Application and Theory of Petri Nets and Other Models of Concurrency
(Petri Net 2011, Petri Net 2010, ICATPN 2007, ICATPN 2006) - Winter Simulation Conference, Berlin/Germany, special track on Petri nets, simulation and applications
(WSC 2012) - 2nd International Conference on Simulation and Modeling Methodologies, Technologies
(SIMULTECH 2012) - 21th Concurrency, Specification and Programming
(CS&P 2012) - 3rd International Workshop on Computational Models for Cell Processes, satellite event of CONCUR 2011
(COMPMOD 2011) - International Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools
(CPN 2009, CPN 2008, CPN 2007, CPN 2006, CPN 2005) - 9th European Conference on Computational Biology 2010 (ECCB10),
area of Protein interactions, molecular networks and systems biology (G) - 5th International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems
(Bionetics 2010) - 3rd International ICST Conference on Simulation Tools and Techniques
(SIMUTools 2010) - International Workshop on Computational Models for Cell Processes, satellite event of Formal Methods 2009
(CompMod 2009) - International Workshop on Petri Nets and Software Engineering, satellite event of Petri Nets 2009
(PNSE 2009) - International Workshop on Petri Nets Tools and APplications, satellite event of SIMUTools 2008
(PNTAP 2008) - International Conference on Computer Safety, Reliability and Security
(SAFECOMP 2007, SAFECOMP 2006, SAFECOMP 2005)
Further reviews, among others
. . . many journals
… the end …
Any comments or questions are welcome. Please direct them to: