Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page
Demo Data from EDBT 2026 / reviewers in the wild / expert

John Rose

dblp:41/2865 · DBLP profile ↗
← Back
3ranked-venue papers
0as first author
0since 2021 · last 2015
0000-0001-8487-5370ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 2Artificial intelligence and machine learning · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
2 papers
Electronic design automation · 75% Embedded and real-time systems · 25%
Software engineering, system software, and programming languages
1 paper
Programming languages and type systems · 100%

Topics — the 7 heaviest of 7, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Electronic design automation
hardware verification and test		 0.212015
Ensuring functional safety compliance for ISO 26262 · DAC 2015
Programming languages and type systems
language design		 0.112007
Language Extensions to SystemC: Process Control Constructs · DAC 2007
Electronic design automation › hardware description language
systemc		 0.112007
Language Extensions to SystemC: Process Control Constructs · DAC 2007
Electronic design automation
system-level simulation		 0.112007
Language Extensions to SystemC: Process Control Constructs · DAC 2007
Embedded and real-time systems
automotive systems		 0.112015
Ensuring functional safety compliance for ISO 26262 · DAC 2015
Embedded and real-time systems
cyber-physical system platforms		 0.112015
Ensuring functional safety compliance for ISO 26262 · DAC 2015
Electronic design automation › hardware verification and test
hardware verification		 0.012007
Language Extensions to SystemC: Process Control Constructs · DAC 2007

Methods — techniques the papers use, named apart from their topics

digital simulation · 0.2kernel extension · 0.1
YearPublicationVenuePosition
2015 Ensuring functional safety compliance for ISO 26262
abstract
In this paper, we describe the verification flow to ensure safety compliance for ISO 26262 focusing on digital simulation.
Adam D. Sherer, John Rose, Riccardo Oddone
 DAC2
2007 Language Extensions to SystemC: Process Control Constructs
abstract
The SystemC language has established itself as a popular choice for both modeling and verification at the system level. A well known deficiency in SystemC is the lack of process control constructs - e.g., suspend-resume, kill, reset - that are necessary in many applications domains. This paper identifies and describes a fundamental set of general purpose SystemC kernel extensions that fulfills this deficiency. Effective application of our language extensions are demonstrated in testbench and abstract hardware modeling scenarios.
Bishnupriya Bhattacharya, John Rose, Stuart Swan
 DAC2
1998 BISMARC: a biologically inspired system for map-based autonomous rover control
Terrance L. Huntsberger, John Rose
 Neural Networks2