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.

Lukas Westhofen
SearchCollections
Map detail
Lukas Westhofen8 visible / 8 total nodes / 7 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipLukas WesthofenALukas WesthofenResearcherUsing Ontologies for the Formalization and Recognition of Criticality for Automated DrivingWUsing Ontologies for th...preprint / 2022Criticality Metrics for Automated Driving: A Review and Suitability Analysis of the State of the ArtWCriticality Metrics for...preprint / 2022Benchmarking Software Model Checkers on Automotive CodeWBenchmarking Software M...preprint / 20206-Layer Model for a Structured Description and Categorization of Urban Traffic and EnvironmentW6-Layer Model for a Str...preprint / 2021Fundamental Considerations around Scenario-Based Testing for Automated DrivingWFundamental Considerati...preprint / 2020SymX: Energy-based Simulation from Symbolic ExpressionsWSymX: Energy-based Simu...preprint / 2025Bounded Model Checking for Probabilistic ProgramsWBounded Model Checking ...preprint / 2016
Person7 links

Lukas Westhofen

Researcher

PaperUsing Ontologies for the Formalization and Recognition of Criticality for Automated DrivingAuthorship / preprint / 2022PaperCriticality Metrics for Automated Driving: A Review and Suitability Analysis of the State of the ArtAuthorship / preprint / 2022PaperBenchmarking Software Model Checkers on Automotive CodeAuthorship / preprint / 2020Paper6-Layer Model for a Structured Description and Categorization of Urban Traffic and EnvironmentAuthorship / preprint / 2021PaperFundamental Considerations around Scenario-Based Testing for Automated DrivingAuthorship / preprint / 2020PaperSymX: Energy-based Simulation from Symbolic ExpressionsAuthorship / preprint / 2025PaperBounded Model Checking for Probabilistic ProgramsAuthorship / preprint / 2016

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)