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

Elly Winner

dblp:64/6944 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Embedded and real-time systems › real-time system design
real-time system specification
0.012000
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.012000
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
YearPublicationVenuePosition
2003 DISTILL: Learning Domain-Specific Planners by Example
Elly Winner, Manuela M. Veloso
ICML1
2000 A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications
abstract
This 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. Computers4
1999 CM-Trio-99
Manuela M. Veloso, Scott Lenser, Elly Winner, James Bruce
RoboCup3