Demo Data from EDBT 2026 / reviewers in the wild / expert
Simona Caramihai
dblp:84/8743 · also Simona Iuliana Caramihai
· DBLP profile ↗
5ranked-venue papers
4as first author
1since 2021 · last 2025
0000-0002-8850-1197ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Human-computer interaction and ubiquitous computing · 3 · 2 first-author · 1 since 2021Applied, interdisciplinary, general and emerging computing · 3 · 2 first-author · 1 since 2021Artificial intelligence and machine learning · 1 · 1 first-authorSystems, architecture and hardware · 1 · 1 first-authorDatabases, data management, data science and information retrieval · 1 · 1 first-author
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
1 paper |
Automated reasoning and model checking · 50% Automata and formal languages · 50% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Embedded and real-time systems · 100% |
Topics — the 5 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Automated reasoning and model checking
discrete event systems |
0.0 | 1 | 1998 | On the Synthesis of a Controllable Supervisor for Discrete Processes Modeled by Temporal Petri Nets · ICRA 1998 |
Automata and formal languages
petri nets |
0.0 | 1 | 1998 | On the Synthesis of a Controllable Supervisor for Discrete Processes Modeled by Temporal Petri Nets · ICRA 1998 |
Automated reasoning and model checking › discrete event systems
supervisory control |
0.0 | 1 | 1998 | On the Synthesis of a Controllable Supervisor for Discrete Processes Modeled by Temporal Petri Nets · ICRA 1998 |
Automata and formal languages › petri nets
temporal petri nets |
0.0 | 1 | 1998 | On the Synthesis of a Controllable Supervisor for Discrete Processes Modeled by Temporal Petri Nets · ICRA 1998 |
Embedded and real-time systems › manufacturing systems
flexible manufacturing systems |
0.0 | 1 | 1998 | On the Synthesis of a Controllable Supervisor for Discrete Processes Modeled by Temporal Petri Nets · ICRA 1998 |
Methods — techniques the papers use, named apart from their topics
petri net synthesis · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Performance of Neural Networks for Recognizing Images of UML Class, Sequence and State Diagrams
Irina-Gabriela Nedelcu, Stefan Alexandru Mocanu, Daniela Saru, Simona Caramihai, Anca Daniela Ionita |
ITS (2) | 4 |
| 2019 | A Neuro-inspired Approach for a Generic Knowledge Management System of the Intelligent Cyber-EnterpriseabstractThe paradigm of Cyber-Physical Systems may be successfully applied to a large number of case-studies, but the most challenging of them are focusing on large scale systems whose dynamics is adapting to various functional scenarios and environmental conditions as energy networks, traffic systems and especially different kinds of cooperative networks of enterprises. However, the large spectrum of possible configurations of such processes raises many issues with respect to the identification of problems to be solved, and furthermore, of the solving method itself, making the efficient use of available knowledge a real challenge. This paper is presenting a neuro-inspired approach for the design of a knowledge management system dedicated to complex networking enterprises organized as Cyber-Physical Systems, and whose functioning is implying dynamical reconfiguration in response to environmental changes, based on the gathering and use of large flows of information, which are referred to as Intelligent Cyber-Enterprises. The proposed ideas are based on a human brain model of reasoning and learning. Simona Caramihai, Ioan Dumitrache, Mihnea Alexandru Moisescu, Daniela Saru, Ioan Stefan Sacala |
KEOD | 1 |
| 2010 | Integrated modeling and control platform for urban traffic networksabstractThe paper presents respectively a modeling and a control approach of urban traffic networks, integrated into a software application. These approaches are based on an agent-oriented methodology and have as a goal the possibility of simulating, evaluating and optimizing the traffic in crowded areas, such as large cities, using both off line scenario policies and fine tuning scenario control. Simona Caramihai, Ioan Dumitrache, Monica Voinescu, Andreea Udrea, Calin Munteanu |
SMC | 1 |
| 1998 | On the Synthesis of a Controllable Supervisor for Discrete Processes Modeled by Temporal Petri NetsabstractThe paper presents the conceptual framework and the synthesis procedure for temporal discrete event system supervisor. The approach is suitable in controlling systems as flexible manufacturing systems, in which certain durations of operations are not precisely known a priori. In this way, the model embodies temporal uncertainties of the process and the supervisor is "robust" to this indeterminism. The synthesis procedure could result in one ore more controllable supervision policies. Simona Caramihai, H. Alla |
ICRA | 1 |
| 1998 | Real-time supervision for intelligent manufacturing supported by T-temporal Petri net modelsabstractThe paper presents the architecture and functioning of an intelligent supervisory module designed for building a supervising heterarchy for real-time manufacturing systems control. The supervisory module is conceived to have intrinsic properties such as robustness to a class of modeling uncertainties (i.e. duration of operations) and adaptivity to a class of resource break-downs. The robustness property is assured by using a modeling support capable of integrating nondeterministic time: T-temporal Petri nets (TTPN). The adaptivity is a consequence of specific local rescheduling procedures based on the modeling approach and of the structure of the control/supervision architecture. A case study illustrates the basic functioning of a supervision module. Simona Caramihai, Ioan Dumitrache, Aurelian Mihai Stanescu |
SMC | 1 |