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.

Peter Schrammel
SearchCollections
Map detail
Peter Schrammel20 visible / 20 total nodes / 55 links

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

Related contextCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipAuthorshipAuthorshipAuthorshipWorks onWorks onAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalAuthorshipAuthorshipAuthorshipPeter SchrammelAPeter SchrammelResearcherStefan HanglerAStefan HanglerResearcherMaximilian EhrhartAMaximilian EhrhartResearcherBenedikt DornauerABenedikt DornauerResearcherLeon KoglerALeon KoglerResearcherRoland WuerschingARoland WuerschingResearcherChaining Test Cases for Reactive System Testing (extended version)WChaining Test Cases for...preprint / 2013Incremental Bounded Model Checking for Embedded Software (extended version)WIncremental Bounded Mod...preprint / 2014Challenges in Decomposing Encodings of Verification ProblemsWChallenges in Decomposi...preprint / 2016Software EngineeringTSoftware Engineering3620 worksArtificial IntelligenceTArtificial Intelligence22915 worksBlueCov: Integrating Test Coverage and Model Checking with JBMCWBlueCov: Integrating Te...preprint / 2022Abstract Acceleration of General Linear LoopsWAbstract Acceleration o...preprint / 2014Speeding Up Logico-Numerical Strategy Iteration (extended version)WSpeeding Up Logico-Nume...preprint / 20142LS: Heap Analysis and Memory Safety (Competition Contribution)W2LS: Heap Analysis and ...preprint / 2020Sound Static Deadlock Analysis for C/Pthreads (Extended Version)WSound Static Deadlock A...preprint / 2016Synthesising Interprocedural Bit-Precise Termination Proofs (extended version)WSynthesising Interproce...preprint / 2015Safety Verification and Refutation by k-invariants and k-induction (extended version)WSafety Verification and...preprint / 2015Assisted Coverage ClosureWAssisted Coverage Closurepreprint / 2015RESTestBench: A Benchmark for Evaluating the Effectiveness of LLM-Generated REST API Test Cases from NL RequirementsWRESTestBench: A Benchma...preprint / 2026
Person19 links

Peter Schrammel

Researcher

PersonStefan HanglerCo-authorship / ResearcherPersonMaximilian EhrhartCo-authorship / ResearcherPersonBenedikt DornauerCo-authorship / ResearcherPersonLeon KoglerCo-authorship / ResearcherPersonRoland WuerschingCo-authorship / ResearcherPaperChaining Test Cases for Reactive System Testing (extended version)Authorship / preprint / 2013PaperIncremental Bounded Model Checking for Embedded Software (extended version)Authorship / preprint / 2014PaperChallenges in Decomposing Encodings of Verification ProblemsAuthorship / 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)