Guido Wimmel

2005
15	EE	Jan Jürjens, Markus Lehrhuber, Guido Wimmel: Model-Based Design and Analysis of Permission-Based Security. ICECCS 2005: 224-233
2004
14	EE	Martin Deubler, Johannes Grünbauer, Gerhard Popp, Guido Wimmel, Chris Salzmann: Tool Supported Development of Service-Based Systems. APSEC 2004: 99-108
13	EE	Martin Deubler, Johannes Grünbauer, Jan Jürjens, Guido Wimmel: Sound development of secure service-based systems. ICSOC 2004: 115-124
12		Johannes Grünbauer, Jan Jürjens, Guido Wimmel: Modelling Secure IT Systems - A Survey. Modellierung 2004: 307-308
2003
11	EE	Jan Romberg, Jan Jürjens, Guido Wimmel, Oscar Slotosch, Gabor Hahn: AutoFOCUS and the MoDe Tool. ACSD 2003: 249-250
10	EE	Gerhard Popp, Jan Jürjens, Guido Wimmel, Ruth Breu: Security-Critical System Development with Extended Use Cases. APSEC 2003: 478-487
9	EE	David Bettencourt da Cruz, Bernhard Rumpe, Guido Wimmel: Retrofitting Security into a Web-Based Information System. ICWE 2003: 301-305
8	EE	Johannes Grünbauer, H. Hollmann, Jan Jürjens, Guido Wimmel: Modelling and Verification of Layered Security Protocols: A Bank Application. SAFECOMP 2003: 116-129
2002
7	EE	Guido Wimmel, Jan Jürjens: Specification-Based Test Generation for Security-Critical Systems Using Mutations. ICFEM 2002: 471-482
6	EE	Monika Vetterling, Guido Wimmel, Alexander K. Wißpeintner: Secure systems development based on the common criteria: the PalME project. SIGSOFT FSE 2002: 129-138
2001
5	EE	Jan Jürjens, Guido Wimmel: Formally Testing Fail-Safety of Electronic Purse Protocols. ASE 2001: 408-411
4	EE	Jan Jürjens, Guido Wimmel: Specification-Based Testing of Firewalls. Ershov Memorial Conference 2001: 308-316
3		Jan Jürjens, Guido Wimmel: Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications. I3E 2001: 489-506
2		Guido Wimmel, Alexander K. Wißpeintner: Extended Description Techniques for Security Engineering. SEC 2001: 469-
2000
1		Guido Wimmel, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch: Specification based test sequence generation with propositional logic. Softw. Test., Verif. Reliab. 10(4): 229-248 (2000)

Coauthor Index

1	Ruth Breu	[10]
2	David Bettencourt da Cruz	[9]
3	Martin Deubler	[13] [14]
4	Johannes Grünbauer	[8] [12] [13] [14]
5	Gabor Hahn	[11]
6	H. Hollmann	[8]
7	Jan Jürjens	[3] [4] [5] [7] [8] [10] [11] [12] [13] [15]
8	Markus Lehrhuber	[15]
9	Heiko Lötzbeyer	[1]
10	Gerhard Popp	[10] [14]
11	Alexander Pretschner	[1]
12	Jan Romberg	[11]
13	Bernhard Rumpe	[9]
14	Chris Salzmann	[14]
15	Oscar Slotosch	[1] [11]
16	Monika Vetterling	[6]
17	Alexander K. Wißpeintner	[2] [6]

Colors in the list of coauthors