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.

Michael Leuschel
SearchCollections
Map detail
Michael Leuschel13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMichael LeuschelAMichael LeuschelResearcherProlog for Verification, Analysis and Transformation ToolsWProlog for Verification...preprint / 2020Fifty Years of Prolog and BeyondWFifty Years of Prolog a...preprint / 2022Making ProB compatible with SWI-PrologWMaking ProB compatible ...preprint / 2022Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal SpecificationWValidation Obligations:...preprint / 2021Constraint-Based Deadlock Checking of High-Level SpecificationsWConstraint-Based Deadlo...preprint / 2011Checking Computations of Formal Method Tools - A Secondary Toolchain for ProBWChecking Computations o...preprint / 2014Constraint Logic Programming over Infinite Domains with an Application to ProofWConstraint Logic Progra...preprint / 2017Trace Refinement in B and Event-BWTrace Refinement in B a...preprint / 2022On the Performance of Bytecode Interpreters in PrologWOn the Performance of B...preprint / 2020Formally Checking Large Data Sets in the RailwaysWFormally Checking Large...preprint / 2012Who watches the watchers: Validating the ProB Validation ToolWWho watches the watcher...preprint / 2014Symbolic Reachability Analysis of B through ProB and LTSminWSymbolic Reachability A...preprint / 2016
Person12 links

Michael Leuschel

Researcher

PaperProlog for Verification, Analysis and Transformation ToolsAuthorship / preprint / 2020PaperFifty Years of Prolog and BeyondAuthorship / preprint / 2022PaperMaking ProB compatible with SWI-PrologAuthorship / preprint / 2022PaperValidation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal SpecificationAuthorship / preprint / 2021PaperConstraint-Based Deadlock Checking of High-Level SpecificationsAuthorship / preprint / 2011PaperChecking Computations of Formal Method Tools - A Secondary Toolchain for ProBAuthorship / preprint / 2014PaperConstraint Logic Programming over Infinite Domains with an Application to ProofAuthorship / preprint / 2017PaperTrace Refinement in B and Event-BAuthorship / 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)