Guido Wimmel

According to our database, Guido Wimmel authored at least 17 papers between 2000 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

A Framework for Realtime Online Auctions.

Bernhard Rumpe, Guido Wimmel

CoRR, 2014

2005

Model-based development of security-critical systems.

Guido Wimmel

PhD thesis, 2005

Model-Based Design and Analysis of Permission-Based Security.

Jan Jürjens, Markus Lehrhuber, Guido Wimmel

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

2004

Modelling Secure IT Systems - A Survey.

Johannes Grünbauer, Jan Jürjens, Guido Wimmel

Proceedings of the Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, 2004

Sound development of secure service-based systems.

Martin R. Deubler, Johannes Grünbauer, Jan Jürjens, Guido Wimmel

Proceedings of the Service-Oriented Computing, 2004

Tool Supported Development of Service-Based Systems.

Martin R. Deubler, Johannes Grünbauer, Gerhard Popp, Guido Wimmel, Christian Salzmann

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

2003

Modelling and Verification of Layered Security Protocols: A Bank Application.

Johannes Grünbauer, Helia Hollmann, Jan Jürjens, Guido Wimmel

Proceedings of the Computer Safety, 2003

Retrofitting Security into a Web-Based Information System.

David Bettencourt da Cruz, Bernhard Rumpe, Guido Wimmel

Proceedings of the Web Engineering, International Conference, 2003

Security-Critical System Development with Extended Use Cases.

Gerhard Popp, Jan Jürjens, Guido Wimmel, Ruth Breu

Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

AutoFOCUS and the MoDe Tool.

Jan Romberg, Jan Jürjens, Guido Wimmel, Oscar Slotosch, Gabor Hahn

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002

Secure systems development based on the common criteria: the PalME project.

Monika Vetterling, Guido Wimmel, Alexander K. Wißpeintner

Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, 2002

Specification-Based Test Generation for Security-Critical Systems Using Mutations.

Guido Wimmel, Jan Jürjens

Proceedings of the Formal Methods and Software Engineering, 2002

2001

Extended Description Techniques for Security Engineering.

Guido Wimmel, Alexander K. Wißpeintner

Proceedings of the Trusted Information: The New Decade Challenge, 2001

Formally Testing Fail-Safety of Electronic Purse Protocols.

Jan Jürjens, Guido Wimmel

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications.

Jan Jürjens, Guido Wimmel

Proceedings of the Towards The E-Society: E-Commerce, 2001

Specification-Based Testing of Firewalls.

Jan Jürjens, Guido Wimmel

Proceedings of the Perspectives of System Informatics, 2001

2000

Specification based test sequence generation with propositional logic.

Guido Wimmel, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch

Softw. Test. Verification Reliab., 2000