Category

Human Computer Interaction

Members /
: SebastienCombefis
News /
: LVLIsOrganizingAnHMIMeetingThisWeek
: PaperAcceptedAtSMC2011
: SebastienCombefisBecomesADoctor
: TwoPapersPresentedAtWorkshopsAtASE2011IncludingOneBestPaper
Publications /
: ABisimulation-BasedApproachToTheAnalysisOfHuman-ComputerInteraction
: AFormalFrameworkForDesignAndAnalysisOfHuman-MachineInteraction
: AFormalFrameworkForTheAnalysisOfHuman-MachineInteractions
: AJavaPathfinderExtensionToAnalyseHuman-MachineInteractions
: AMethodologyForAnalyzingHuman-AutomationInteractionsInFlightOperationsUsingFormalVerificationTechniques
: AutomaticDetectionOfPotentialAutomationSurprisesForADEPTModels
: LearningSystemAbstractionsForHumanOperators
: OperationalModelIntegratingUserTasksAndEnvironmentInformationWithSystemModel
: StateEventModelsForTheFormalAnalysisOfHuman-MachineInteractions
Research /
: HumanComputerInteractionVerification
Talks /
: EICS2009
: MALETS2011
: SMC2011

Find It