@phdthesis{Spranger, author = {Spranger, Jochen}, title = {Symbolische LTL-Verifikation von Petrinetzen}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-000000179}, language = {de} } @phdthesis{Deussen, author = {Deussen, Peter H.}, title = {Analyse verteilter Systeme mit Hilfe von Prozeßautomaten}, publisher = {Brandenburgische Techn. Univ.}, address = {Cottbus}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-000000275}, language = {de} } @inproceedings{HeinerHeiselHateburetal., author = {Heiner, Monika and Heisel, Maritta and Hatebur, Denis and Rottke, Thomas}, title = {A Problem-Oriented Approach to common Criteria Certification}, series = {Computer safety, reliability and security, 21st international conference, SAFECOMP 2002, Catania, Italy, September 10 - 13, 2002}, booktitle = {Computer safety, reliability and security, 21st international conference, SAFECOMP 2002, Catania, Italy, September 10 - 13, 2002}, editor = {Anderson, Stuart}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-44157-3}, pages = {334 -- 346}, abstract = {Abstract. There is an increasing demand to certify the security of systems according to the Common Criteria (CC). The CC distinguish several evaluation assurance levels (EALs), level EAL7 being the highest and requiring the application of formal techniques. We present a method for requirements engineering an (semi-formal and formal) modeling of systems to be certified according to the higher evaluation assurance levels of the CC. The method is problem oriented, i.e. it is driven by the environment in which the system will operate and by a mission statement. We illustrate our approach by an industrial case study, namely an electronic purse card (EPC) to be implemented on a Java Smart Card. As a novelty, we treat the mutual asymmetric authentication of the card an the terminal into which the card is inserted.}, language = {en} } @inproceedings{MertkeDeussenHeiner, author = {Mertke, Thomas and Deussen, Peter H. and Heiner, Monika}, title = {Eine anwenderorientierte Sicherheitsfachsprache zur Verifikation von Steuerungsprogrammen}, language = {de} } @incollection{Heiner, author = {Heiner, Monika}, title = {Understanding Network Behavior by Structured Representations of Transition Invariants}, language = {en} } @incollection{HeinerDonaldsonGilbert, author = {Heiner, Monika and Donaldson, Robin and Gilbert, David}, title = {Petri Nets for Systems Biology}, series = {Symbolic systems biology}, booktitle = {Symbolic systems biology}, editor = {Iyengar, M. Sriram}, publisher = {Jones and Bartlett Learning}, address = {Sudbury, Mass. [u.a.]}, isbn = {978-0-7637-5370-2}, language = {en} } @incollection{HeinerGilbertBreitlingetal., author = {Heiner, Monika and Gilbert, David and Breitling, Rainer and Orton, Richard}, title = {Computation modelling of kinase signalling cascades}, language = {en} } @incollection{HeinerGilbert, author = {Heiner, Monika and Gilbert, David}, title = {How Might Petri Nets Enhance Your Systems Biology Toolkit}, language = {en} } @incollection{HeinerMarwanRohr, author = {Heiner, Monika and Marwan, Wolfgang and Rohr, Christian}, title = {Petri nets in Snoopy: A unifying framework for the graphical display, computational modelling, and simulation of bacterial regulatory networks}, language = {en} } @incollection{Heiner, author = {Heiner, Monika}, title = {Understanding Network Behaviour by Structured Representations of Transition Invariants - A Petri Net Perspective on Systems and Synthetic Biology}, language = {en} }