Specification based test sequence generation with propositional logic. - Guido Wimmel; Heiko Lötzbeyer; Alexander Pretschner; Oscar Slotosch (Softw. Test. Verification Reliab., 2000)

Specification-Based Testing of Firewalls. - Jan Jürjens; Guido Wimmel (Ershov Memorial Conference, 2001)

Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications. - Jan Jürjens; Guido Wimmel (I3E, 2001)

Formally Testing Fail-Safety of Electronic Purse Protocols. - Jan Jürjens; Guido Wimmel (ASE, 2001)

Extended Description Techniques for Security Engineering. - Guido Wimmel; Alexander K. Wißpeintner (SEC, 2001)

Specification-Based Test Generation for Security-Critical Systems Using Mutations. - Guido Wimmel; Jan Jürjens (ICFEM, 2002)

Secure systems development based on the common criteria: the PalME project. - Monika Vetterling; Guido Wimmel; Alexander K. Wißpeintner (SIGSOFT FSE, 2002)

AutoFOCUS and the MoDe Tool. - Jan Romberg; Jan Jürjens; Guido Wimmel; Oscar Slotosch; Gabor Hahn (ACSD, 2003)

Security-Critical System Development with Extended Use Cases. - Gerhard Popp; Jan Jürjens; Guido Wimmel; Ruth Breu (APSEC, 2003)

Retrofitting Security into a Web-Based Information System. - David Bettencourt da Cruz; Bernhard Rumpe; Guido Wimmel (ICWE, 2003)

Modelling and Verification of Layered Security Protocols: A Bank Application. - Johannes Grünbauer; Helia Hollmann; Jan Jürjens; Guido Wimmel (SAFECOMP, 2003)

Tool Supported Development of Service-Based Systems. - Martin R. Deubler; Johannes Grünbauer; Gerhard Popp; Guido Wimmel; Christian Salzmann (APSEC, 2004)

Sound development of secure service-based systems. - Martin R. Deubler; Johannes Grünbauer; Jan Jürjens; Guido Wimmel (ICSOC, 2004)

Modelling Secure IT Systems - A Survey. - Johannes Grünbauer; Jan Jürjens; Guido Wimmel (Modellierung, 2004)

Model-Based Design and Analysis of Permission-Based Security. - Jan Jürjens; Markus Lehrhuber; Guido Wimmel (ICECCS, 2005)

Model-based development of security-critical systems. - Guido Wimmel (2005)

A Framework for Realtime Online Auctions. - Bernhard Rumpe; Guido Wimmel (CoRR, 2014)