| 2005 | ICECCS | Model-Based Design and Analysis of Permission-Based Security. | Jan Jrjens, Markus Lehrhuber, Guido Wimmel |
| 2004 | APSEC | Tool Supported Development of Service-Based Systems. | Martin R. Deubler, Johannes Grnbauer, Gerhard Popp, Guido Wimmel, Christian Salzmann |
| 2004 | ICSOC | Sound development of secure service-based systems. | Martin R. Deubler, Johannes Grnbauer, Jan Jrjens, Guido Wimmel |
| 2003 | APSEC | Security-Critical System Development with Extended Use Cases. | Gerhard Popp, Jan Jrjens, Guido Wimmel, Ruth Breu |
| 2003 | ICWE | Retrofitting Security into a Web-Based Information System. | David Bettencourt da Cruz, Bernhard Rumpe, Guido Wimmel |
| 2003 | SAFECOMP | Modelling and Verification of Layered Security Protocols: A Bank Application. | Johannes Grnbauer, Helia Hollmann, Jan Jrjens, Guido Wimmel |
| 2002 | ICFEM | Specification-Based Test Generation for Security-Critical Systems Using Mutations. | Guido Wimmel, Jan Jrjens |
| 2001 | SEC | Extended Description Techniques for Security Engineering. | Guido Wimmel, Alexander K. Wipeintner |