Guido Wimmel

Publication Activity (10 Years)

Years Active: 2000-2014
Publications (10 Years): 0

Top Venues

CoRR

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

David Bettencourt da Cruz, Bernhard Rumpe, Guido Wimmel
Retrofitting Security into a Web-Based Information System. CoRR (2014)
Bernhard Rumpe, Guido Wimmel
A Framework for Realtime Online Auctions. CoRR (2014)
Jan Jürjens, Markus Lehrhuber, Guido Wimmel
Model-Based Design and Analysis of Permission-Based Security. ICECCS (2005)
Johannes Grünbauer, Jan Jürjens, Guido Wimmel
Modelling Secure IT Systems - A Survey. Modellierung (2004)
Martin R. Deubler, Johannes Grünbauer, Jan Jürjens, Guido Wimmel
Sound development of secure service-based systems. ICSOC (2004)
Martin R. Deubler, Johannes Grünbauer, Gerhard Popp, Guido Wimmel, Christian Salzmann
Tool Supported Development of Service-Based Systems. APSEC (2004)
Johannes Grünbauer, Helia Hollmann, Jan Jürjens, Guido Wimmel
Modelling and Verification of Layered Security Protocols: A Bank Application. SAFECOMP (2003)
David Bettencourt da Cruz, Bernhard Rumpe, Guido Wimmel
Retrofitting Security into a Web-Based Information System. ICWE (2003)
Gerhard Popp, Jan Jürjens, Guido Wimmel, Ruth Breu
Security-Critical System Development with Extended Use Cases. APSEC (2003)
Jan Romberg, Jan Jürjens, Guido Wimmel, Oscar Slotosch, Gabor Hahn
AutoFOCUS and the MoDe Tool. ACSD (2003)
Guido Wimmel, Jan Jürjens
Specification-Based Test Generation for Security-Critical Systems Using Mutations. ICFEM (2002)
Monika Vetterling, Guido Wimmel, Alexander K. Wißpeintner
Secure systems development based on the common criteria: the PalME project. SIGSOFT FSE (2002)
Jan Jürjens, Guido Wimmel
Formally Testing Fail-Safety of Electronic Purse Protocols. ASE (2001)
Guido Wimmel, Alexander K. Wißpeintner
Extended Description Techniques for Security Engineering. SEC (2001)
Jan Jürjens, Guido Wimmel
Specification-Based Testing of Firewalls. Ershov Memorial Conference (2001)
Jan Jürjens, Guido Wimmel
Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications. I3E (2001)
Guido Wimmel, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch
Specification based test sequence generation with propositional logic. Softw. Test. Verification Reliab. 10 (4) (2000)

Guido Wimmel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Guido Wimmel