Demo Data from EDBT 2026 / reviewers in the wild / expert
Elly Winner
dblp:64/6944
· DBLP profile ↗
3ranked-venue papers
1as first author
0since 2021 · last 2003
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 2 · 1 first-authorSystems, architecture and hardware · 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.
| Artificial intelligence
1 paper |
Planning, search and constraint satisfaction · 100% | |
| Software engineering, system software, and programming languages
1 paper |
Program synthesis and code generation · 100% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Embedded and real-time systems · 77% Electronic design automation · 23% |
Topics — the 2 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Embedded and real-time systems › real-time system design
real-time system specification |
0.0 | 1 | 2000 | A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications · IEEE Trans. Computers 2000 |
Electronic design automation › hardware verification and test › hardware verification
assertion-based verification |
0.0 | 1 | 2000 | A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications · IEEE Trans. Computers 2000 |
Methods — techniques the papers use, named apart from their topics
imitation learning · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2003 | DISTILL: Learning Domain-Specific Planners by Example
Elly Winner, Manuela M. Veloso |
ICML | 1 |
| 2000 | A Flexible, Extensible Simulation Environment for Testing Real-Time SpecificationsabstractThis paper describes MTSim, an extensible, customizable simulation platform for the Modechart toolset (MT). MTSim provides support for "plugging in" user-defined viewers useful in simulating system behavior in different ways, including application-specific ways. MTSim also supports full user participation in the generation of simulations by allowing users to inject events into the execution trace. Moreover, MTSim provides monitoring and assertion checking of execution traces and the invocation of user-specified handlers upon assertion violation. This paper also introduces an MTSim component called WebSim, a suite of simulation tools for MT, and an application-specific component of MTSim which displays the cockpit of an F-18 aircraft and which responds to user inputs to model a bomb release function. Monica Brockmeyer, Farnam Jahanian, Constance L. Heitmeyer, Elly Winner |
IEEE Trans. Computers | 4 |
| 1999 | CM-Trio-99
Manuela M. Veloso, Scott Lenser, Elly Winner, James Bruce |
RoboCup | 3 |