 | 2011 |
|---|
| 10 |       | Asaf Degani,
Andrew Gellatly,
Michael Heymann:
HMI aspects of automotive climate control systems.
SMC 2011: 1795-1800 |
| 2008 |
|---|
| 9 | | Michael Heymann,
David Paramelle,
Gilles Subra,
Eric Forest,
Jean Martinez,
Christophe Geourjon,
Gilbert Deléage:
MSX-3D: a tool to validate 3D protein models using mass spectrometry.
Bioinformatics 24(23): 2782-2783 (2008) |
| 2007 |
|---|
| 8 | | Michael Heymann,
Asaf Degani:
Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm.
Human Factors 49(2): 311-330 (2007) |
| 2002 |
|---|
| 7 | | Michael Heymann,
Asaf Degani:
On the Construction of Human-Automation Interfaces by Formal Abstraction.
SARA 2002: 99-115 |
| 6 | | Asaf Degani,
Michael Heymann:
Formal Verification of Human-Automation Interaction.
Human Factors 44(1): 28-43 (2002) |
| 1999 |
|---|
| 5 |  | Michael Heymann,
Feng Lin,
George Meyer,
Satya Ranjan Mohanty,
Vigyan Chandra,
Ratnesh Kumar:
Discrete Event Control with Active Events.
ICRA 1999: 131-136 |
| 1998 |
|---|
| 4 | | Michael Heymann,
Feng Lin,
George Meyer:
Synthesis and Viability of Minimally Interventive Legal Controllers for Hybrid Systems.
Discrete Event Dynamic Systems 8(2): 105-135 (1998) |
| 1997 |
|---|
| 3 | | Michael Heymann,
Feng Lin,
George Meyer:
Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety Constraints.
HART 1997: 376-390 |
| 1996 |
|---|
| 2 | | Michael Heymann,
Feng Lin,
George Meyer:
Synthesis of Minimally Restrictive Legal Controllers for a Class of Hybrid Systems.
Hybrid Systems 1996: 134-159 |
| 1993 |
|---|
| 1 | | Yitzhak Brave,
Michael Heymann:
On optimal attraction in discrete-event processes.
Inf. Sci. 67(3): 245-276 (1993) |
Data released under the ODC-BY 1.0 license — See also our legal information page