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 VLDB 2026 / reviewers in the wild / expert

Pradyumna Mishra

dblp:75/1768 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
0since 2021 · last 2003
—ORCID · none

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

Applied, interdisciplinary, general and emerging computing · 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
1 paper
Embedded and real-time systems · 100%

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

TopicWeightPapersLastEvidence papers
Embedded and real-time systems › embedded software
embedded control software		 0.012003
Hierarchical modeling and analysis of embedded systems · Proc. IEEE 2003
Embedded and real-time systems › cyber-physical system platforms
hybrid systems		 0.012003
Hierarchical modeling and analysis of embedded systems · Proc. IEEE 2003
Embedded and real-time systems › cyber-physical systems
automated highway systems		 0.012003
Hierarchical modeling and analysis of embedded systems · Proc. IEEE 2003
Embedded and real-time systems
cyber-physical systems		 0.012003
Hierarchical modeling and analysis of embedded systems · Proc. IEEE 2003

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

hierarchical modeling · 0.0formal semantics · 0.0compositional refinement · 0.0
YearPublicationVenuePosition
2003 Hierarchical modeling and analysis of embedded systems
abstract
This paper describes the modeling language CHARON for modular design of interacting hybrid systems. The language allows specification of architectural as well as behavioral hierarchy and discrete as well as continuous activities. The modular structure of the language is not merely syntactic, but is exploited by analysis tools and is supported by a formal semantics with an accompanying compositional theory of refinement. We illustrate the benefits of CHARON in the design of embedded control software using examples from automated highways concerning vehicle coordination.
Rajeev Alur, Thao Dang 0001, Joel M. Esposito, Yerang Hur, Franjo Ivancic, Vijay Kumar 0001, Insup Lee 0001, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky
 Proc. IEEE8