EDBT 2026 Demo / reviewers in the wild / expert
Pradyumna Mishra
dblp:75/1768
· DBLP profile ↗
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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Embedded and real-time systems › embedded software
embedded control software |
0.0 | 1 | 2003 | Hierarchical modeling and analysis of embedded systems · Proc. IEEE 2003 |
Embedded and real-time systems › cyber-physical system platforms
hybrid systems |
0.0 | 1 | 2003 | Hierarchical modeling and analysis of embedded systems · Proc. IEEE 2003 |
Embedded and real-time systems › cyber-physical systems
automated highway systems |
0.0 | 1 | 2003 | Hierarchical modeling and analysis of embedded systems · Proc. IEEE 2003 |
Embedded and real-time systems
cyber-physical systems |
0.0 | 1 | 2003 | 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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2003 | Hierarchical modeling and analysis of embedded systemsabstractThis 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. IEEE | 8 |