Guido Wimmel

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