Giorgio P. Faconti

33 papers B 2Misc 3Journal 14Unranked 14

Year	Rank	Type	Title / Venue / Authors
2009	Misc	`conf`	A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems. EICS Philippe A. Palanque, Marco Winckler, Jean-François Ladry, Maurice H. ter Beek, Giorgio P. Faconti, Mieke Massink
2009	—	`conf`	Resilience of Interaction Techniques to Interrupts: A Formal Model-Based Approach. INTERACT (1) Maurice H. ter Beek, Giorgio P. Faconti, Mieke Massink, Philippe A. Palanque, Marco Winckler
2006	—	`conf`	Analysis of Pointing Tasks on a White Board. DSV-IS Giorgio P. Faconti, Mieke Massink
2002	J	`jnl`	A reference framework for continuous interaction. Univers. Access Inf. Soc. Mieke Massink, Giorgio P. Faconti
2002	J	`jnl`	Continuous interaction in future computing systems. Univers. Access Inf. Soc. Gavin J. Doherty, Giorgio P. Faconti, Mieke Massink, Michael D. Wilson
2001	Misc	`conf`	A control centred approach to designing interaction with novel devices. HCI Gavin J. Doherty, Tim Anderson, Michael D. Wilson, Giorgio P. Faconti
2001	Misc	`conf`	Continuous interaction with computers: issues and requirements. HCI Giorgio P. Faconti, Mieke Massink
2001	—	`conf`	Reasoning about Interactive Systems with Stochastic Models. DSV-IS Gavin J. Doherty, Mieke Massink, Giorgio P. Faconti
2001	J	`jnl`	Using Hybrid Automata to Support Human Factors Analysis in a Critical System. Formal Methods Syst. Des. Gavin J. Doherty, Mieke Massink, Giorgio P. Faconti
2000	—	`conf`	Continuity in human computer interaction. CHI Extended Abstracts Giorgio P. Faconti, Mieke Massink
2000	—	`conf`	Formal Verification in the Design of Gestural Interaction. FM-Everywhere@FORTE/PSTV Gavin J. Doherty, Giorgio P. Faconti, Mieke Massink
2000	J	`jnl`	Haptic Cues for Image Disambiguation. Comput. Graph. Forum Giorgio P. Faconti, Mieke Massink, Monica Bordegoni, Franco De Angelis, S. Booth
2000	—	`conf`	Towards Integrated Cognitive and Interface Analysis. FM-Everywhere@FORTE/PSTV Howard Bowman, Giorgio P. Faconti, Mieke Massink
1999	J	`jnl`	Analysing Cognitive Behaviour using LOTOS and Mexitl. Formal Aspects Comput. Howard Bowman, Giorgio P. Faconti
1999	J	`jnl`	The Changing Face of Standardization: A Place for Formal Methods? Formal Aspects Comput. David A. Duce, David J. Duke, Giorgio P. Faconti, Ivan Herman
1998	J	`jnl`	Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal. Formal Aspects Comput. Howard Bowman, Giorgio P. Faconti, Joost-Pieter Katoen, Diego Latella, Mieke Massink
1998	J	`jnl`	Modelling and Verification of PREMO Synchronisable Objects. Formal Aspects Comput. Giorgio P. Faconti, Mieke Massink
1998	—	`conf`	Specification and Verification of Media Constraints using UPAAL. DSV-IS Howard Bowman, Giorgio P. Faconti, Mieke Massink
1997	J	`jnl`	A standard reference model for intelligent multimedia presentation systems. Comput. Stand. Interfaces Monica Bordegoni, Giorgio P. Faconti, Steven Feiner, Mark T. Maybury, Thomas Rist, Salvatore Ruggieri, Panos E. Trahanias, Michael D. Wilson
1997	—	`conf`	Investigating the behaviour of PREMO synchronizable objects. DSV-IS Giorgio P. Faconti, Mieke Massink
1996	—	`conf`	Architectural Models of Gesture Systems. Gesture Workshop Monica Bordegoni, Giorgio P. Faconti
1996	—	`conf`	Device Models. DSV-IS Giorgio P. Faconti, David J. Duke
1996	J	`jnl`	Formal Framework and Necessary Properties of the Fusion of Input Modes in User Interfaces. Interact. Comput. Giorgio P. Faconti, Monica Bordegoni, Klaus Kansy, Panos E. Trahanias, Thomas Rist, Michael D. Wilson
1996	B	`conf`	Intelligent Multimedia Presentation Systems: A Proposal for a Reference Model. MMM Monica Bordegoni, Giorgio P. Faconti, Thomas Rist, Salvatore Ruggieri, Panos E. Trahanias, Michael D. Wilson
1996	J	`jnl`	Reasoning on gestural interfaces through syndetic modelling]. ACM SIGCHI Bull. Giorgio P. Faconti
1994	B	`conf`	Unifying Views of Interactors. Advanced Visual Interfaces David J. Duke, Giorgio P. Faconti, Michael D. Harrison, Fabio Paternò
1994	—	`conf`	Visual Representation of Formal Specification: an Application to Hierarchical Logical Input Devices. DSV-IS Giorgio P. Faconti, Angelo Fornari, Nicola Zani
1993	J	`jnl`	On The Application of Quantization and Dithering Techniques to History of Arts. Comput. Graph. Forum Primo Coltelli, Giorgio P. Faconti, F. Marfori
1992	J	`jnl`	A visual environment to define composition of interacting graphical objects. Vis. Comput. Giorgio P. Faconti, Fabio Paternò
1992	J	`jnl`	The Input Model of Standard Graphics Systems Revisited by Formal Specification. Comput. Graph. Forum Giorgio P. Faconti, Nicola Zani, Fabio Paternò
1990	—	`conf`	A Model of Interaction for Graphical Systems. DISCO Giorgio P. Faconti, R. D. Bettarini, Fabio Paternò
1990	—	`conf`	An Approach to the Formal Specification of the Components of an Interaction. Eurographics Giorgio P. Faconti, Fabio Paternò
1982	—	`conf`	Practicing on the CORE Graphics System. APL Giorgio P. Faconti, Patrizia Palamidese