Concepedia

Guido Wimmel

GW

5

Publications

207

Citations

5

H-Index

2000

Active since

Affiliations

Technical University of Munich(Current)

Guido Wimmel is an author at Technical University of Munich specializing in software analysis, engineering, and information security.

Top concepts

EngineeringSoftware AnalysisSystem SoftwareComputer ScienceProgram AnalysisSystems EngineeringInformation SecuritySoftware EngineeringSecurityData Security

Publications per year

2000–2005

5

Publications

5

Security-critical system development with extended use cases

Gerhard Popp, Jan Jürjens, Guido Wimmel et al. · 2004 · 48 citations

System Development, Engineering, Information Security +16

Secure systems development based on the common criteria

Monika Vetterling, Guido Wimmel, Alexander Wisspeintner · 2002 · 46 citations

Engineering, Security Critical Systems, Information Security +20

Specification based test sequence generation with propositional logic

Guido Wimmel, H. L�tzbeyer, Alexander Pretschner et al. · Software Testing Verification and Reliability · 2000 · 41 citations

Engineering, Verification, Test Data Generation +22

Sound development of secure service-based systems

Martin Deubler, Johannes Grünbauer, Jan Jürjens et al. · 2004 · 40 citations

Secure Service, Engineering, Service Security +22

Formally testing fail-safety of electronic purse protocols

Jan Jürjens, Guido Wimmel · 2005 · 32 citations

Case Tool Autofocus, Engineering, Information Security +20

Rows per page

1–5 of 5