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. - Marcin Hewelt, Thomas Wagner, and Lawrence Cabac .
2010
-
- Simon Adameit, Tobias Betz, Lawrence Cabac , Florian Hars, Marcin Hewelt, Michael Köhler-Bußmeier, Daniel Moldt, Dimitri Popov, Jose 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. - Simon Adameit, Tobias Betz, Lawrence Cabac , Florian Hars, Marcin Hewelt, Michael Köhler-Bußmeier, Daniel Moldt, Dimitri Popov, Jose Quenum, Axel Theilmann, Thomas Wagner, Timo Warns, and Lars Wüstenberg.
