Demo Data from EDBT 2026 / reviewers in the wild / expert
N. Viswanadham
dblp:136/9791
· DBLP profile ↗
4ranked-venue papers
1as first author
0since 2021 · last 1987
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 3 · 1 first-authorSystems, architecture and hardware · 3 · 1 first-authorGraphics, computer vision, multimedia, augmented reality and games · 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.
| Theoretical computer science
2 papers |
Automata and formal languages · 90% Automated reasoning and model checking · 10% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Embedded and real-time systems · 100% | |
| Software engineering, system software, and programming languages
1 paper |
Program verification · 77% Requirements engineering and software design · 23% |
Topics — the 6 heaviest of 7, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Automata and formal languages
petri nets |
0.0 | 2 | 1987 | Coloured Petri net models for automated manufacturing systems · ICRA 1987 Applications of petri net based models in the modelling and analysis of flexible manufacturing systems · ICRA 1986 |
Embedded and real-time systems › manufacturing systems
flexible manufacturing systems |
0.0 | 1 | 1987 | Coloured Petri net models for automated manufacturing systems · ICRA 1987 |
Embedded and real-time systems › cyber-physical system platforms
industrial automation |
0.0 | 1 | 1987 | Coloured Petri net models for automated manufacturing systems · ICRA 1987 |
Automata and formal languages › petri nets
colored petri nets |
0.0 | 1 | 1987 | Coloured Petri net models for automated manufacturing systems · ICRA 1987 |
Program verification › concurrent program verification
deadlock verification |
0.0 | 1 | 1986 | Applications of petri net based models in the modelling and analysis of flexible manufacturing systems · ICRA 1986 |
Automated reasoning and model checking › program verification › verification of concurrent systems
deadlock analysis |
0.0 | 1 | 1987 | Coloured Petri net models for automated manufacturing systems · ICRA 1987 |
Methods — techniques the papers use, named apart from their topics
simulation · 0.0petri net modeling · 0.0invariant analysis · 0.0coloured petri net modeling · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1987 | Reliability analysis of flexible manufacturing systemsabstractHigh productivity is the primary goal of flexible manufacturing systems (FMSs) in which semi-independent workstations are integrated using automated material-transport systems and hierarchical local networks. Availability of various subsystems and of the system as a whole is a prerequisite for achieving functional integration as well as high throughput. An FMS also has inherent routing and operation flexibilities that provide it with a certain degree of fault tolerance. A certain volume of production can thus be maintained in the face of subsystem (i.e., machines, robots, material handling system, etc.) failures. In this article, we propose two reliability measures, namely, part reliability (PR) and FMS reliability (FMSR) for manufacturing systems and present algorithms to evaluate them. We also consider the dynamic or time-dependent reliability analysis as a natural generalization of the static analysis. The methods outlined use an algorithm that generates process-spanning graphs (PSGs), which are used to evaluate the reliability measures. L. Miriyala, N. Viswanadham |
ICRA | 2 |
| 1987 | Coloured Petri net models for automated manufacturing systemsabstractIn this paper, we propose an approach, using Coloured Petri Nets (CPN) for modelling flexible manufacturing systems. We illustrate our methodology for a Flexible Manufacturing Cell (FMC) with three machines and three robots. We also consider the analysis of the FMC for deadlocks using the invariant analysis of CPNs. N. Viswanadham, Y. Narahari 0001 |
ICRA | 1 |
| 1986 | Applications of petri net based models in the modelling and analysis of flexible manufacturing systemsabstractPetri nets have evolved into a powerful tool for analyzing asynchronous concurrent systems. In this paper we review the applications of Petri nets to FMSs. We present applications of Petri net models in the design of simulators for flexible manufacturing systems (FMSs) and in the verification (by investigating the presence/absence of deadlock) of the logic used to design the hardware/software for controllers used in FMSs. Manjunath Kamath, N. Viswanadham |
ICRA | 2 |
| 1979 | A parallel processor for real-time speech signal processingabstractThis paper describes the structure of a parallel processing system, primarily suitable for real-time Linear Prediction (LP) analysis and synthesis of speech signals. This system employs specially developed parallel forms of the well known algorithms (Levinson's Recursion, SIFT as well as LP synthesis filter) for this purpose. The feasibility of implementing the proposed structure using microprogrammable microprocessors, is then discussed. The proposed scheme can be readily adapted for on-line identification of autoregressive processes. A. V. Ashajayanthi, N. Viswanadham |
ICASSP | 3 |