15 Einträge gefunden

1. Safeness for object nets

   1. Köhler-Bußmeier, Michael
   2. Heitmann, Frank

   2010 - Forschungsinformationssystem der UHH
2. A Survey of Decidability Results for Elementary Object Systems

   1. Köhler-Bußmeier, Michael

   2010 - ReposIt
3. Safeness for Object Nets

   1. Köhler-Bußmeier, Michael
   2. Heitmann, Frank

   2010 - ReposIt
4. SONAR/oredi: a tool for creation and deployment of organisation models

   1. Deliu, Endri
   2. Köhler-Bußmeier, Michael

   2010 - Forschungsinformationssystem der UHH
5. Modelling an open and controlled system unit as a modular component of systems of systems

   1. Wester-Ebbinghaus, Matthias
   2. Moldt, Daniel
   3. Köhler-Bußmeier, Michael

   2010 - ReposIt
6. Modelling an open and controlled system unit as a modular component of systems of systems

   1. Wester-Ebbinghaus, Matthias
   2. Moldt, Daniel
   3. Köhler-Bußmeier, Michael

   2010 - Forschungsinformationssystem der UHH
7. Modelling distributed network security in a petri net- and agent-based approach

   1. Adameit, Simon
   2. Betz, Tobias
   3. Cabac, Lawrence
   4. Hewelt, Marcin
   5. Köhler-Bußmeier, Michael
   6. Moldt, Daniel
   7. Popov, Dimitri

   2010 - Forschungsinformationssystem der UHH
8. Generating Executable MAS-Prototypes from SONAR Specifications

   1. Köhler-Bußmeier, Michael
   2. Wester-Ebbinghaus, Matthias
   3. Moldt, Daniel

   2010 - ReposIt
9. Liveness of safe object nets

   1. Köhler-Bußmeier, Michael
   2. Heitmann, Frank

   2010 - Forschungsinformationssystem der UHH
10. Modelling Distributed Network Security in a Petri Net and Agent-based Approach

    1. Moldt, Daniel
    2. Köhler-Bußmeier, Michael
    3. Theilmann, Axel
    4. Adameit, Simon
    5. Betz, Tobias
    6. Cabac, Lawrence
    7. Hars, Florian

    2010 - ReposIt
11. Herold : agent-oriented, policy-based network security management

    1. Adameit, Simon
    2. Betz, Tobias
    3. Cabac, Lawrence
    4. Hars, Florian
    5. Hewelt, Marcin
    6. Köhler-Bußmeier, Michael
    7. Moldt, Daniel

    2010 - ReposIt
12. SONAR/OREDI: A Tool for Creation and Deployment of Organisation Models

    1. Köhler-Bußmeier, Michael
    2. Deliu, Endri

    2010 - ReposIt
13. Liveness of Safe Object Nets

    1. Köhler-Bußmeier, Michael
    2. Heitmann, Frank

    2010 - ReposIt
14. Modeling organizational units as modular components of systems of systems

    1. Wester-Ebbinghaus, Matthias
    2. Moldt, Daniel
    3. Köhler-Bußmeier, Michael

    2010 - Forschungsinformationssystem der UHH
15. Complexity of LTL Model-Checking for Safe Object Nets

    1. Köhler-Bußmeier, Michael
    2. Heitmann, Frank

    2010 - ReposIt