Zur Hauptnavigation
Zum Inhaltsbereich
Zur Suche
Zum Seitenfuß
Bases Théoriques de l'Informatique
TGI
Cours
Recherche
Publications
Misc
Petri Nets World
TGI
Page de l'accueil
Annonces
Équipe
Étudiants
Cours
Cours (seulement en Allemand)
Mémoire (seulement en Allemand)
Recherche
Publications
Service
Service
Outils
Petri Nets World
UHH
>
MIN
>
Informatique
>
TGI
Bibliographie
Marcin Hewelt
2011
Marcin Hewelt
,
Thomas Wagner
, and
Lawrence Cabac
.
Integrating verification into the PAOSE approach
.
In Duvigneau et al. (éd.),
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 (éd.),
Petri Nets and Software Engineering, International Workshop, PNSE'09. Proceedings
, pages 207-226.
Responsable du site/mentions légales
Dernière modification: 17:16 05.06.2024