BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Jan Jürjens
SearchCollections
Map detail
Jan Jürjens8 visible / 8 total nodes / 7 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipJan JürjensAJan JürjensResearcherCritical Systems Development Using Modeling Languages. (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop)WCritical Systems Develo...preprint / 2014COIN: Counterfactual Image Generation for VQA InterpretationWCOIN: Counterfactual Im...preprint / 2022Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic ExecutionWExtracting and Verifyin...preprint / 2011Guiding a General-Purpose C Verifier to Prove Cryptographic ProtocolsWGuiding a General-Purpo...preprint / 2013Formalizing Cost Fairness for Two-Party Exchange Protocols using Game Theory and Applications to Blockchain (Extended Version)WFormalizing Cost Fairne...preprint / 2022An Efficient Approach towards Mitigating Soft Errors RisksWAn Efficient Approach t...preprint / 2011Checking Security Compliance between Models and CodeWChecking Security Compl...preprint / 2022
Person7 links

Jan Jürjens

Researcher

PaperCritical Systems Development Using Modeling Languages. (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop)Authorship / preprint / 2014PaperCOIN: Counterfactual Image Generation for VQA InterpretationAuthorship / preprint / 2022PaperExtracting and Verifying Cryptographic Models from C Protocol Code by Symbolic ExecutionAuthorship / preprint / 2011PaperGuiding a General-Purpose C Verifier to Prove Cryptographic ProtocolsAuthorship / preprint / 2013PaperFormalizing Cost Fairness for Two-Party Exchange Protocols using Game Theory and Applications to Blockchain (Extended Version)Authorship / preprint / 2022PaperAn Efficient Approach towards Mitigating Soft Errors RisksAuthorship / preprint / 2011PaperChecking Security Compliance between Models and CodeAuthorship / preprint / 2022

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)