Search results for "Guido Wimmel"

Found 15 publication records. Showing 15 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Jan Jürjens, Markus Lehrhuber, Guido Wimmel	Model-Based Design and Analysis of Permission-Based Security.	ICECCS	2005	DBLP DOI BibTeX RDF
1	Martin Deubler, Johannes Grünbauer, Gerhard Popp, Guido Wimmel, Chris Salzmann	Tool Supported Development of Service-Based Systems.	APSEC	2004	DBLP DOI BibTeX RDF
1	Martin Deubler, Johannes Grünbauer, Jan Jürjens, Guido Wimmel	Sound development of secure service-based systems.	ICSOC	2004	DBLP DOI BibTeX RDF	security, UML, automotive, model-based software engineering, service-based systems, autofocus
1	Johannes Grünbauer, Jan Jürjens, Guido Wimmel	Modelling Secure IT Systems - A Survey.	Modellierung	2004	DBLP BibTeX RDF
1	Gerhard Popp, Jan Jürjens, Guido Wimmel, Ruth Breu	Security-Critical System Development with Extended Use Cases.	APSEC	2003	DBLP DOI BibTeX RDF
1	Jan Romberg, Jan Jürjens, Guido Wimmel, Oscar Slotosch, Gabor Hahn	AutoFOCUS and the MoDe Tool.	ACSD	2003	DBLP DOI BibTeX RDF
1	David Bettencourt da Cruz, Bernhard Rumpe, Guido Wimmel	Retrofitting Security into a Web-Based Information System.	ICWE	2003	DBLP DOI BibTeX RDF
1	Johannes Grünbauer, H. Hollmann, Jan Jürjens, Guido Wimmel	Modelling and Verification of Layered Security Protocols: A Bank Application.	SAFECOMP	2003	DBLP DOI BibTeX RDF
1	Guido Wimmel, Jan Jürjens	Specification-Based Test Generation for Security-Critical Systems Using Mutations.	ICFEM	2002	DBLP DOI BibTeX RDF	E-Commerce Systems, Security-Critical Systems, Validation and Analysis, Computer-aided Software Engineering (CASE), Formal Methods, Test Case Generation, Test Specification, AutoFocus
1	Monika Vetterling, Guido Wimmel, Alexander K. Wißpeintner	Secure systems development based on the common criteria: the PalME project.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	graphical description techniques, software engineering, formal methods, requirements engineering, case study, software design, development process, CASE, security engineering, common criteria, AutoFocus
1	Guido Wimmel, Alexander K. Wißpeintner	Extended Description Techniques for Security Engineering.	SEC	2001	DBLP BibTeX RDF
1	Jan Jürjens, Guido Wimmel	Specification-Based Testing of Firewalls.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
1	Jan Jürjens, Guido Wimmel	Formally Testing Fail-Safety of Electronic Purse Protocols.	ASE	2001	DBLP DOI BibTeX RDF
1	Jan Jürjens, Guido Wimmel	Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications.	I3E	2001	DBLP BibTeX RDF
1	Guido Wimmel, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch	Specification based test sequence generation with propositional logic.	Softw. Test., Verif. Reliab.	2000	DBLP DOI BibTeX RDF

Publications of "Guido Wimmel" ( http://dblp.L3S.de/Authors/Guido_Wimmel )