Zur Hauptnavigation
Zum Inhaltsbereich
Zur Suche
Zum Seitenfuß
Theoretische Grundlagen der Informatik
TGI
Personen
Lehre
Forschung
Publikationen
Misc
Petri Nets World
TGI
Heimatseite
Ankündigungen
Personen
Mitarbeiterinnen und Mitarbeiter
Studentinnen und Studenten
Lehre
Lehre
Abschlussarbeiten
Forschung
Publikationen
Service
Service
Tools
Petri Nets World
UHH
>
MIN
>
Informatik
>
TGI
Bibliographie
Marcin Hewelt
2011
Marcin Hewelt
,
Thomas Wagner
, and
Lawrence Cabac
.
Integrating verification into the PAOSE approach
.
In Duvigneau et al. (Hrsg.),
Petri Nets and Software Engineering. International Workshop PNSE'11, Newcastle upon Tyne, UK, June 2011. Proceedings
, pages 124-135.
2010
Simon Adameit,
Tobias Betz
,
Lawrence Cabac
, Florian Hars,
Marcin Hewelt
,
Michael Köhler
-Bußmeier,
Daniel Moldt
, Dimitri Popov,
José Quenum
, Axel Theilmann,
Thomas Wagner
, Timo Warns, and
Lars Wüstenberg
.
Herold - agent-oriented, policy-based network security management
.
In
Future Security, 5th Security Research Conference, Berlin; 2010
, 2010.
Daniel Moldt
,
Michael Köhler
-Bußmeier, Axel Theilmann, Simon Adameit,
Tobias Betz
,
Lawrence Cabac
, Florian Hars,
Marcin Hewelt
, Dimitri Popov,
José Quenum
,
Thomas Wagner
, Timo Warns, and
Lars Wüstenberg
.
Modelling distributed network security in a Petri net and agent-based approach
.
In Jürgen Dix and Cees Witteveen, editors,
Multiagent System Technologies. 8th German Conference, MATES 2010, Leipzig, Germany, September 27-28, 2010. Proceedings
, volume 6251 of
Lecture Notes in Artificial Intelligence
, pages 209-220, Berlin, Heidelberg, New York, September 2010. Springer-Verlag.
2009
Marcin Hewelt
and
Matthias Wester-Ebbinghaus
.
United - a Petri net based framework for modeling complex and adaptive systems
.
In Moldt (Hrsg.),
Petri Nets and Software Engineering, International Workshop, PNSE'09. Proceedings
, pages 207-226.
Impressum
Letzte Änderung: 17:16 05.06.2024