Giorgio P. Faconti

According to our database, Giorgio P. Faconti authored at least 36 papers between 1982 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Resilience of Interaction Techniques to Interrupts: A Formal Model-Based Approach.

Maurice H. ter Beek, Giorgio P. Faconti, Mieke Massink, Philippe A. Palanque, Marco Winckler

Proceedings of the Human-Computer Interaction, 2009

A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems.

Philippe A. Palanque, Marco Winckler, Jean-François Ladry, Maurice H. ter Beek, Giorgio P. Faconti, Mieke Massink

Proceedings of the 1st ACM SIGCHI symposium on Engineering Interactive Computing System , 2009

2006

Analysis of Pointing Tasks on a White Board.

Giorgio P. Faconti, Mieke Massink

Proceedings of the Interactive Systems. Design, 2006

2002

A reference framework for continuous interaction.

Mieke Massink, Giorgio P. Faconti

Univers. Access Inf. Soc., 2002

Continuous interaction in future computing systems.

Gavin J. Doherty, Giorgio P. Faconti, Mieke Massink, Michael D. Wilson

Univers. Access Inf. Soc., 2002

2001

Using Hybrid Automata to Support Human Factors Analysis in a Critical System.

Gavin J. Doherty, Mieke Massink, Giorgio P. Faconti

Formal Methods Syst. Des., 2001

Continuous interaction with computers: issues and requirements.

Giorgio P. Faconti, Mieke Massink

Proceedings of the Universal Access In HCI: Towards an Information Society for All, 2001

A control centred approach to designing interaction with novel devices.

Gavin J. Doherty, Tim Anderson, Michael D. Wilson, Giorgio P. Faconti

Proceedings of the Universal Access In HCI: Towards an Information Society for All, 2001

Reasoning about Interactive Systems with Stochastic Models.

Gavin J. Doherty, Mieke Massink, Giorgio P. Faconti

Proceedings of the Interactive Systems: Design, 2001

2000

Formal Verification in the Design of Gestural Interaction.

Gavin J. Doherty, Giorgio P. Faconti, Mieke Massink

Proceedings of the Formal Methods Elsewhere, 2000

Towards Integrated Cognitive and Interface Analysis.

Howard Bowman, Giorgio P. Faconti, Mieke Massink

Proceedings of the Formal Methods Elsewhere, 2000

Haptic Cues for Image Disambiguation.

Giorgio P. Faconti, Mieke Massink, Monica Bordegoni, Franco De Angelis, S. Booth

Comput. Graph. Forum, 2000

Continuity in human computer interaction.

Giorgio P. Faconti, Mieke Massink

Proceedings of the CHI '00 Extended Abstracts on Human Factors in Computing Systems, 2000

1999

The Changing Face of Standardization: A Place for Formal Methods?

David A. Duce, David J. Duke, Giorgio P. Faconti, Ivan Herman

Formal Aspects Comput., 1999

Analysing Cognitive Behaviour using LOTOS and Mexitl.

Howard Bowman, Giorgio P. Faconti

Formal Aspects Comput., 1999

1998

Modelling and Verification of PREMO Synchronisable Objects.

Giorgio P. Faconti, Mieke Massink

Formal Aspects Comput., 1998

Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal.

Howard Bowman, Giorgio P. Faconti, Joost-Pieter Katoen, Diego Latella, Mieke Massink

Formal Aspects Comput., 1998

Specification and Verification of Media Constraints using UPAAL.

Howard Bowman, Giorgio P. Faconti, Mieke Massink

Proceedings of the Design, 1998

1997

Editorial.

Thomas Rist, Giorgio Faconti, Michael D. Wilson

Comput. Stand. Interfaces, 1997

A standard reference model for intelligent multimedia presentation systems.

Monica Bordegoni, Giorgio P. Faconti, Steven Feiner, Mark T. Maybury, Thomas Rist, Salvatore Ruggieri, Panos E. Trahanias, Michael D. Wilson

Comput. Stand. Interfaces, 1997

Investigating the behaviour of PREMO synchronizable objects.

Giorgio P. Faconti, Mieke Massink

Proceedings of the Design, 1997

1996

Reasoning on gestural interfaces through syndetic modelling].

Giorgio P. Faconti

ACM SIGCHI Bull., 1996

Formal Framework and Necessary Properties of the Fusion of Input Modes in User Interfaces.

Giorgio P. Faconti, Monica Bordegoni, Klaus Kansy, Panos E. Trahanias, Thomas Rist, Michael D. Wilson

Interact. Comput., 1996

Intelligent Multimedia Presentation Systems: A Proposal for a Reference Model.

Monica Bordegoni, Giorgio P. Faconti, Thomas Rist, Salvatore Ruggieri, Panos E. Trahanias, Michael D. Wilson

Proceedings of the 1996 MultiMedia Modeling: Towards The Information Society Superhighway, 1996

Architectural Models of Gesture Systems.

Monica Bordegoni, Giorgio P. Faconti

Proceedings of the Progress in Gestural Interaction, 1996

Device Models.

Giorgio P. Faconti, David J. Duke

Proceedings of the Design, 1996

1994

Visual Representation of Formal Specification: an Application to Hierarchical Logical Input Devices.

Giorgio P. Faconti, Angelo Fornari, Nicola Zani

Proceedings of the Design, 1994

Unifying Views of Interactors.

David J. Duke, Giorgio P. Faconti, Michael D. Harrison, Fabio Paternò

Proceedings of the Workshop on Advanced Visual Interfaces, 1994

1993

On The Application of Quantization and Dithering Techniques to History of Arts.

Primo Coltelli, Giorgio P. Faconti, F. Marfori

Comput. Graph. Forum, 1993

1992

A visual environment to define composition of interacting graphical objects.

Giorgio P. Faconti, Fabio Paternò

Vis. Comput., 1992

The Input Model of Standard Graphics Systems Revisited by Formal Specification.

Giorgio P. Faconti, Nicola Zani, Fabio Paternò

Comput. Graph. Forum, 1992

1990

An Approach to the Formal Specification of the Components of an Interaction.

Giorgio P. Faconti, Fabio Paternò

Proceedings of the 11th European Computer Graphics Conference and Exhibition, 1990

A Model of Interaction for Graphical Systems.

Giorgio P. Faconti, R. D. Bettarini, Fabio Paternò

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1990

1985

Extending GKS to a Distributed Architecture.

R. D. Bettarini, Giorgio Faconti, Laura Moltedo

Proceedings of the 6th European Computer Graphics Conference and Exhibition, 1985

1984

An APL interface to the open systems interconnection for large scale application systems.

Renzo Beltrame, Giorgio Faconti, Patrizia Palamidese

Proceedings of the international conference on APL, 1984

1982

Practicing on the CORE Graphics System.

Giorgio P. Faconti, Patrizia Palamidese

Proceedings of the international conference on APL, 1982