Jan J\"urjens

Identifiers

• name variant Jan J\"urjens 0.60 · backfill

Papers (5)

1. Comparing Bug Finding Tools with Reviews and Tests cs.SE · 2017 · author #2
2. Critical Systems Development Using Modeling Languages. (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop) cs.SE · 2014 · author #1
3. Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols cs.CR · 2013 · author #3
4. An Efficient Approach towards Mitigating Soft Errors Risks cs.OH · 2011 · author #4
5. Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution cs.CR · 2011 · author #3

Mentions

• 1312.6532 #3 · backfill · confidence 0.70 Jan J\"urjens
• 1110.3969 #4 · backfill · confidence 0.70 Jan J\"urjens
• 1107.1017 #3 · backfill · confidence 0.70 Jan J\"urjens

Frequent Coauthors

• Andrew D. Gordon 1 shared papers
• Andrew D.Gordon 1 shared papers
• Bernhard Rumpe 1 shared papers
• Claudia Koller 1 shared papers
• Constance Heitmeyer 1 shared papers
• David A. Naumann 1 shared papers
• Eduardo B. Fernandez 1 shared papers
• Fran\c{c}ois Dupressoir 1 shared papers
• Md. Mizanur Rahman Khan 1 shared papers
• Md. Nazim Uddin 1 shared papers
• Mihhail Aizatulin 1 shared papers
• Muhammad Sheikh Sadi 1 shared papers
• Peter Trischberger 1 shared papers
• Robert B. France 1 shared papers
• Stefan Wagner 1 shared papers