Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Philippe A. Palanque
2010 – today
- 2013
[c89]Philippe A. Palanque, Fabio Paternò, Jeffrey Nichols, Nuno Jardim Nunes, Brad A. Myers: The role of engineering work in CHI. CHI Extended Abstracts 2013: 2477-2480- [c88]Jonathan Lazar, Simone Diniz Junqueira Barbosa, Jan Gulliksen, Tom McEwan, Loïc Martínez Normand, Philippe A. Palanque, Raquel Oliveira Prates, Janice Y. Tsai, Marco Winckler, Volker Wulf: Workshop on engaging the human-computer interaction community with public policymaking internationally. CHI Extended Abstracts 2013: 3279-3282
- 2012
- [c87]Célia Martinie, Philippe A. Palanque, Alberto Pasquini, Martina Ragosta, E. Rigaud, S. Silvagni: Using complementary models-based approaches for representing and analysing ATM systems' variability. ATACSS 2012: 146-157
- [c86]Ruven Brooks, T. C. Nicholas Graham, Jeffrey Nichols, Philippe A. Palanque, Fabio Paternò: Invited engineering community SIG: the role of engineering work in CHI. CHI Extended Abstracts 2012: 1205-1208
- [c85]Thomas Mirlacher, Philippe A. Palanque, Regina Bernhaupt: Engineering animations in user interfaces. EICS 2012: 111-120
- [c84]Llúcia Masip, Célia Martinie, Marco Winckler, Philippe A. Palanque, Toni Granollers, Marta Oliva: A Design Process for Exhibiting Design Choices and Trade-Offs in (Potentially) Conflicting User Interface Guidelines. HCSE 2012: 53-71
- [c83]Célia Martinie, Philippe A. Palanque, David Navarre, Eric Barboni: A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments. HCSE 2012: 72-93
- [c82]Camille Fayollas, Jean-Charles Fabre, David Navarre, Philippe A. Palanque, Yannick Deleris: Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach. SERENE 2012: 32-46
- [e20]Simone Diniz Junqueira Barbosa, José Creissac Campos, Rick Kazman, Philippe A. Palanque, Michael D. Harrison, Steve Reeves (Eds.): ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12, Copenhagen, Denmark - June 25 - 28, 2012. ACM 2012, ISBN 978-1-4503-1168-7
- 2011
- [j12]David Navarre, Philippe A. Palanque, Eric Barboni, Jean-François Ladry, Célia Martinie: Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach. Rel. Eng. & Sys. Safety 96(1): 38-52 (2011)
- [c81]Philippe A. Palanque, Regina Bernhaupt, Florent Montesano, Célia Martinie: Exploiting gaming research and practice for engineering interactive critical systems. ATACSS 2011: 41-49
- [c80]Célia Martinie, Philippe A. Palanque, Eric Barboni, Marco Winckler, Martina Ragosta, Alberto Pasquini, Paola Lanzi: Formal tasks and systems models as a tool for specifying and assessing automation designs. ATACSS 2011: 50-59
- [c79]Regina Bernhaupt, Guy A. Boy, Michael Feary, Philippe A. Palanque: Engineering automation in interactive critical systems. CHI Extended Abstracts 2011: 69-72
- [c78]Philippe A. Palanque, Eric Barboni, Célia Martinie, David Navarre, Marco Winckler: A model-based approach for supporting engineering usability evaluation of interaction techniques. EICS 2011: 21-30
- [c77]Célia Martinie, Philippe A. Palanque, David Navarre, Marco Winckler, Erwann Poupart: Model-based training: an approach supporting operability of critical interactive systems. EICS 2011: 53-62
- [c76]Célia Martinie, Philippe A. Palanque, Marco Winckler: Structuring and Composition Mechanisms to Address Scalability Issues in Task Models. INTERACT (3) 2011: 589-609
- [c75]A. Tankeu-Choitat, David Navarre, Philippe A. Palanque, Yannick Deleris, Jean-Charles Fabre, Camille Fayollas: Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques. PRDC 2011: 164-173
- [c74]Célia Martinie, Philippe A. Palanque, Eric Barboni, Martina Ragosta: Task-model based assessment of automation levels: Application to space ground segments. SMC 2011: 3267-3273
- [e19]Pedro F. Campos, T. C. Nicholas Graham, Joaquim A. Jorge, Nuno Jardim Nunes, Philippe A. Palanque, Marco Winckler (Eds.): Human-Computer Interaction - INTERACT 2011 - 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part I. Lecture Notes in Computer Science 6946, Springer 2011, ISBN 978-3-642-23773-7
- [e18]Pedro Campos, T. C. Nicholas Graham, Joaquim A. Jorge, Nuno Jardim Nunes, Philippe A. Palanque, Marco Winckler (Eds.): Human-Computer Interaction - INTERACT 2011 - 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part II. Lecture Notes in Computer Science 6947, Springer 2011, ISBN 978-3-642-23770-6
- [e17]Pedro Campos, T. C. Nicholas Graham, Joaquim A. Jorge, Nuno Jardim Nunes, Philippe A. Palanque, Marco Winckler (Eds.): Human-Computer Interaction - INTERACT 2011 - 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part III. Lecture Notes in Computer Science 6948, Springer 2011, ISBN 978-3-642-23764-5
- [e16]Pedro Campos, T. C. Nicholas Graham, Joaquim A. Jorge, Nuno Jardim Nunes, Philippe A. Palanque, Marco Winckler (Eds.): Human-Computer Interaction - INTERACT 2011 - 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part IV. Lecture Notes in Computer Science 6949, Springer 2011, ISBN 978-3-642-23767-6
- 2010
- [j11]María Dolores Lozano, José A. Gallud, Philippe A. Palanque: Mobile Context-Aware Applications for Ubiquitous Computing. J. UCS 16(15): 1927-1928 (2010)
- [c73]Eric Barboni, Jean-François Ladry, David Navarre, Philippe A. Palanque, Marco Winckler: Beyond modelling: an integrated environment supporting co-execution of tasks and systems models. EICS 2010: 165-174
- [c72]Jean-François Ladry, Philippe A. Palanque, David Navarre, Eric Barboni, Marco Winckler: Une approche à base de modèles pour l'ingénierie logicielle de techniques d'interaction. IHM 2010: 81-88
- [c71]Célia Martinie, Philippe A. Palanque, Marco Winckler, Stéphane Conversy: DREAMER: a design rationale environment for argumentation, modeling and engineering requirements. SIGDOC 2010: 73-80
- [e15]Philippe A. Palanque, Jean Vanderdonckt, Marco Winckler (Eds.): Human Error, Safety and Systems Development, 7th IFIP WG 13.5 Working Conference, HESSD 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers. Lecture Notes in Computer Science 5962, Springer 2010, ISBN 978-3-642-11749-7
- [e14]David England, Philippe A. Palanque, Jean Vanderdonckt, Peter J. Wild (Eds.): Task Models and Diagrams for User Interface Design, 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers. Lecture Notes in Computer Science 5963, Springer 2010, ISBN 978-3-642-11796-1
2000 – 2009
- 2009
- [j10]David Navarre, Philippe A. Palanque, Jean-François Ladry, Eric Barboni: ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability. ACM Trans. Comput.-Hum. Interact. 16(4) (2009)
- [c70]David Navarre, Philippe A. Palanque: The future of design specification and verification of safety critical interactive systems.: can our systems be sure (safe, usable, reliable and evolvable)? EICS 2009: 155-156
- [c69]Philippe A. Palanque, Marco Winckler, Jean-François Ladry, Maurice H. ter Beek, Giorgio P. Faconti, Mieke Massink: A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems. EICS 2009: 211-220
- [c68]Philippe A. Palanque, Jean-François Ladry, David Navarre, Eric Barboni: High-Fidelity Prototyping of Interactive Systems Can Be Formal Too. HCI (1) 2009: 667-676
- [c67]Denis Lalanne, Laurence Nigay, Philippe A. Palanque, Peter Robinson, Jean Vanderdonckt, Jean-François Ladry: Fusion engines for multimodal input: a survey. ICMI 2009: 153-160
- [c66]Jean-François Ladry, David Navarre, Philippe A. Palanque: Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces. ICMI 2009: 185-192
- [c65]Philippe A. Palanque, Jean-François Ladry, Eric Barboni, David Navarre, Marco Winckler: Une approche formelle pour i'evaluation de la tolérance aux interruptions des système interactifs. IHM 2009: 141-150
- [c64]Maurice H. ter Beek, Giorgio P. Faconti, Mieke Massink, Philippe A. Palanque, Marco Winckler: Resilience of Interaction Techniques to Interrupts: A Formal Model-Based Approach. INTERACT (1) 2009: 494-509
- [p2]David Navarre, Philippe A. Palanque, Marco Winckler: Task Models and System Models as A Bridge Between Hci and Software Engineering. Human-Centered Software Engineering 2009: 357-385
- [e13]Gaëlle Calvary, Joëlle Coutaz, Philippe A. Palanque (Eds.): Proceedings of the 21st International Conference of the Association Francophone d'Interaction Homme-Machine, Grenoble, France, October 13-16, 2009. ACM International Conference Proceeding Series, ACM 2009, ISBN 978-1-60558-461-4
- [e12]Tom Gross, Jan Gulliksen, Paula Kotzé, Lars Oestreicher, Philippe A. Palanque, Raquel Oliveira Prates, Marco Winckler (Eds.): Human-Computer Interaction - INTERACT 2009, 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part I. Lecture Notes in Computer Science 5726, Springer 2009, ISBN 978-3-642-03654-5
- [e11]Tom Gross, Jan Gulliksen, Paula Kotzé, Lars Oestreicher, Philippe A. Palanque, Raquel Oliveira Prates, Marco Winckler (Eds.): Human-Computer Interaction - INTERACT 2009, 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part II. Lecture Notes in Computer Science 5727, Springer 2009, ISBN 978-3-642-03657-6
- 2008
- [c63]David Navarre, Philippe A. Palanque, Jean-François Ladry, Sandra Basnyat: An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces. DSV-IS 2008: 208-224
- [c62]David Navarre, Philippe A. Palanque, Sandra Basnyat: A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems. SAFECOMP 2008: 373-386
- [p1]Regina Bernhaupt, David Navarre, Philippe A. Palanque, Marco Winckler: Tailoring Usability into Agile Software Development Projects. Maturing Usability 2008: 96-119
- [e10]T. C. Nicholas Graham, Philippe A. Palanque (Eds.): Interactive Systems. Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008, Revised Papers. Lecture Notes in Computer Science 5136, Springer 2008, ISBN 978-3-540-70568-0
- [e9]Jan Gulliksen, Morten Borup Harning, Philippe A. Palanque, Gerrit C. van der Veer, Janet Wesson (Eds.): Engineering Interactive Systems - EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers. Lecture Notes in Computer Science 4940, Springer 2008, ISBN 978-3-540-92697-9
- 2007
- [c61]Philippe A. Palanque, Sandra Basnyat, Regina Bernhaupt, Ronald L. Boring, Chris Johnson, Peter Johnson: Beyond usability for safety critical systems: how to be sure (safe, usable, reliable, and evolvable)? CHI Extended Abstracts 2007: 2133-2136
- [c60]Stéphane Conversy, Eric Barboni, David Navarre, Philippe A. Palanque: Improving Modularity of Interactive Software with the MDPC Architecture. EHCI/DS-VIS 2007: 321-338
- [c59]Regina Bernhaupt, Philippe A. Palanque, Marco Winckler, David Navarre: Usability Study of Multi-modal Interfaces Using Eye-Tracking. INTERACT (2) 2007: 412-424
- [c58]Xavier Lacaze, Philippe A. Palanque: DREAM & TEAM: A Tool and a Notation Supporting Exploration of Options and Traceability of Choices for Safety Critical Interactive Systems. INTERACT (2) 2007: 525-540
- [c57]Eric Barboni, David Navarre, Philippe A. Palanque, Sandra Basnyat: A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661. SIES 2007: 250-257
- [c56]David Navarre, Philippe A. Palanque, Eric Barboni, Tomasz Mistrzyk: On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing. TAMODIA 2007: 140-154
- [c55]Philippe A. Palanque, Sandra Basnyat, David Navarre: Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare. USAB 2007: 21-40
- [e8]Maria Cecília Calani Baranauskas, Philippe A. Palanque, Julio Abascal, Simone Diniz Junqueira Barbosa (Eds.): Human-Computer Interaction - INTERACT 2007, 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part I. Lecture Notes in Computer Science 4662, Springer 2007, ISBN 978-3-540-74794-9
- [e7]Maria Cecília Calani Baranauskas, Philippe A. Palanque, Julio Abascal, Simone Diniz Junqueira Barbosa (Eds.): Human-Computer Interaction - INTERACT 2007, 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part II. Lecture Notes in Computer Science 4663, Springer 2007, ISBN 978-3-540-74799-4
- [e6]Marco Winckler, Hilary Johnson, Philippe A. Palanque (Eds.): Task Models and Diagrams for User Interface Design, 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007, Proceedings. Lecture Notes in Computer Science 4849, Springer 2007, ISBN 978-3-540-77221-7
- 2006
- [j9]Marco Winckler, Eric Barboni, Philippe A. Palanque, Christelle Farenc: What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications? Electr. Notes Theor. Comput. Sci. 157(2): 207-211 (2006)
- [j8]David Navarre, Philippe A. Palanque, Pierre Dragicevic, Rémi Bastide: An approach integrating two complementary model-based environments for the construction of multimodal interactive applications. Interacting with Computers 18(5): 910-941 (2006)
- [j7]Sandra Basnyat, Nick Chozos, Philippe A. Palanque: Multidisciplinary perspective on accident investigation. Rel. Eng. & Sys. Safety 91(12): 1502-1520 (2006)
- [c54]Eric Barboni, Stéphane Conversy, David Navarre, Philippe A. Palanque: Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. DSV-IS 2006: 25-38
- [c53]T. C. Nicholas Graham, Paul Curzon, Gavin Doherty, Philippe A. Palanque, Richard Potter, Christopher Roast, Shamus P. Smith: Usability and Computer Games: Working Group Report. DSV-IS 2006: 265-268
- 2005
- [c52]Sandra Basnyat, Nick Chozos, Chris Johnson, Philippe A. Palanque: Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems. DSV-IS 2005: 51-66
- [c51]David Navarre, Philippe A. Palanque, Rémi Bastide, Amélie Schyn, Marco Winckler, Luciana Porcher Nedel, Carla Maria Dal Sasso Freitas: A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications. INTERACT 2005: 170-183
- [c50]Effie Lai-Chong Law, Ebba Thora Hvannberg, Gilbert Cockton, Philippe A. Palanque, Dominique L. Scapin, Mark Springett, Christian Stary, Jean Vanderdonckt: Towards the Maturation of IT Usability Evaluation (MAUSE). INTERACT 2005: 1134-1137
- [c49]Sandra Basnyat, Rémi Bastide, Philippe A. Palanque: Extending the Boundaries of Model-Based Development to Account for Errors. MDDAUI 2005
- [c48]Marco Winckler, Eric Barboni, Philippe A. Palanque, Christelle Farenc: What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications? WWV 2005: 33-36
- [e5]Rémi Bastide, Philippe A. Palanque, Jörg Roth (Eds.): Engineering Human Computer Interaction and Interactive Systems, Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3425, Springer 2005, ISBN 3-540-26097-8
- 2004
- [c47]Marco Winckler, Eric Barboni, Christelle Farenc, Philippe A. Palanque: SWCEDITOR: a Model-Based Tool for Interactive Modelling of Web Navigation. CADUI 2004: 55-66
- [c46]Philippe A. Palanque, Floor Koornneef, Chris Johnson, Gerd Szwillus, Peter C. Wright: Safety-critical interaction: usability in incidents and accidents. CHI Extended Abstracts 2004: 1600-1601
- [c45]David Navarre, Pierre Dragicevic, Philippe A. Palanque, Rémi Bastide, Amélie Schyn: Very-High-Fidelity Prototyping for Both Presentation and Dialogue Parts of Multimodal Interactive Systems. EHCI/DS-VIS 2004: 179-199
- [c44]Rémi Bastide, David Navarre, Philippe A. Palanque, Amélie Schyn, Pierre Dragicevic: A model-based approach for real-time embedded multimodal systems in military aircrafts. ICMI 2004: 243-250
- [c43]Philippe A. Palanque, Sandra Basnyat: Task Patterns for Taking Into Account in an Efficient and Systematic Way User Behaviours. Human Error, Safety and Systems Development 2004: 109-130
- [c42]Marco Winckler, Philippe A. Palanque, Carla Maria Dal Sasso Freitas: Tasks and scenario-based evaluation of information visualization techniques. TAMODIA 2004: 165-172
- [e4]Chris W. Johnson, Philippe A. Palanque (Eds.): Human Error, Safety and Systems Development, IFIP 18th World Computer Congress, TC13 / WG13.5 7th Working Conference on Human Error, Safety and Systems Development, 22-27 August 2004, Toulouse, France. Kluwer 2004, ISBN 1-4020-8152-9
- [e3]Pavel Slavík, Philippe A. Palanque (Eds.): Task Models and Diagrams for User Interface Design: Proceedings of the Third International Workshop on Task Models and Diagrams for User Interface Design - TAMODIA 2004, November 15 - 16, 2004, Prague, Czech Republic. ACM 2004
- 2003
- [j6]Rémi Bastide, David Navarre, Philippe A. Palanque: A tool-supported design framework for safety critical interactive systems. Interacting with Computers 15(3): 309-328 (2003)
- [c41]Marco Winckler, Philippe A. Palanque: StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications. DSV-IS 2003: 61-76
- [c40]Amélie Schyn, David Navarre, Philippe A. Palanque, Luciana Porcher Nedel: Formal description of a multimodal interaction technique in an immersive virtual reality application. IHM 2003: 150-157
- [c39]Philippe A. Palanque, Amélie Schyn: A Model-Based Approach for Engineering Multimodal Interactive Systems. INTERACT 2003
- 2002
- [c38]David Navarre, Philippe A. Palanque, Rémi Bastide: Model-Based Interactive Prototyping of Highly Interactive Applications. CADUI 2002: 205-216
- [c37]Rémi Bastide, David Navarre, Philippe A. Palanque: A model-based tool for interactive prototyping of highly interactive applications. CHI Extended Abstracts 2002: 516-517
- [c36]Xavier Lacaze, Philippe A. Palanque, David Navarre, Rémi Bastide: Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems. DSV-IS 2002: 208-222
- [c35]Xavier Lacaze, Philippe A. Palanque, David Navarre: Analyse de performance et modéles de Tâches comme support â la conception rationnelle des systèmes interactifs. IHM 2002: 17-24
- [c34]Marco Winckler, Christelle Farenc, Philippe A. Palanque: Une démarche structurée pour la conception et l'évaluation d'applications Web par l'exploitation synergique des modèles de tâche et de navigation. IHM 2002: 153-160
- [c33]Marco Winckler, Philippe A. Palanque, Christelle Farenc, Marcelo Soares Pimenta: Task-Based Assessment of Web Navigation Design. TAMODIA 2002: 161-169
- 2001
- [j5]Philippe A. Palanque, Fabio Paternò: Design, specification, and verification of interactive systems. ACM SIGSOFT Software Engineering Notes 26(1): 74-75 (2001)
- [c32]Rémi Bastide, Philippe A. Palanque: Modeling a Groupware Editing Tool with Cooperative Objects. Concurrent Object-Oriented Programming and Petri Nets 2001: 305-318
- [c31]Rémi Bastide, Charles Lakos, Philippe A. Palanque: A Cooperative Petri Net Editor. Concurrent Object-Oriented Programming and Petri Nets 2001: 534-535
- [c30]David Navarre, Philippe A. Palanque, Fabio Paternò, Carmen Santoro, Rémi Bastide: A Tool Suite for Integrating Task and System Models through Scenarios. DSV-IS 2001: 88-113
- [c29]Christelle Farenc, Philippe A. Palanque, J. M. Christian Bastien, Dominique L. Scapin, Marco Winckler: Towards a general guidance and support tool for usability optimization. HCI 2001: 160-164
- [c28]David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy: A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications. IEEE International Workshop on Rapid System Prototyping 2001: 136-141
- 2000
- [j4]Rémi Bastide, Ousmane Sy, Philippe A. Palanque: A formal notation and tool for the engineering of CORBA systems. Concurrency - Practice and Experience 12(14): 1379-1403 (2000)
- [c27]David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy: Structuring Interactive Systems Specifications for Executability and Prototypability. DSV-IS 2000: 97-119
- [c26]Rémi Bastide, Ousmane Sy, David Navarre, Philippe A. Palanque: A Formal Specification of the CORBA Event Service. FMOODS 2000: 371-396
- [c25]Philippe A. Palanque, Fabio Paternò: Design, specification, and verification of interactive systems (workshop session). ICSE 2000: 803-804
- [c24]Rémi Bastide, Philippe A. Palanque, Ousmane Sy, David Navarre: Formal specification of CORBA services: experience and lessons learned. OOPSLA 2000: 105-117
- [e2]Philippe A. Palanque, Fabio Paternò (Eds.): Interactive Systems: Design, Specification, and Verification, 7th International Workshop DSV-IS, Limerick, Ireland, June 5-6, 2000, Proceedings. Lecture Notes in Computer Science 1946, Springer 2000, ISBN 3-540-41663-3
1990 – 1999
- 1999
- [j3]Wayne D. Gray, Philippe A. Palanque, Fabio Paternò: Introduction to the special issue on interface issues and designs for safety-critical interactive systems: when there is no room for user error. ACM Trans. Comput.-Hum. Interact. 6(4): 309-310 (1999)
- [j2]Rémi Bastide, Philippe A. Palanque: A Visual and Formal Glue between Application and Interaction. J. Vis. Lang. Comput. 10(4): 481-507 (1999)
- [c23]Rémi Bastide, Philippe A. Palanque, Ousmane Sy, Duc-Hoa Le, David Navarre: Petri Net Based Behavioural Specification of CORBA Systems. ICATPN 1999: 66-85
- [c22]Christelle Farenc, Philippe A. Palanque: A Generic Framework based on Ergonomics Rules for Computer Aided Design of User Interface. CADUI 1999: 281-292
- [c21]Rémi Bastide, Ousmane Sy, Philippe A. Palanque: Formal Support for the Engineering of CORBA-based Distributed Object Systems. DOA 1999: 264-272
- [c20]Rémi Bastide, Ousmane Sy, Philippe A. Palanque: Formal Specification and Prototyping of CORBA Systems. ECOOP 1999: 474-494
- [c19]Christelle Farenc, Philippe A. Palanque: An Extensible Architecture to Support the Structuring and the efficient Exploitation of Ergonomic Rules. HCI (1) 1999: 1038-1042
- 1998
- [c18]Rémi Bastide, Philippe A. Palanque, Duc-Hoa Le, Jaime Munoz: Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems. DSV-IS 1998: 171-190
- 1997
- [j1]Philippe A. Palanque, Rémi Bastide: Synergistic Modelling of Tasks, Users and Systems using Formal Specification Techniques. Interacting with Computers 9(2): 129-153 (1997)
- [c17]Michelle Jacomi, Stéphane Chatty, Philippe A. Palanque: A Making-Movies Metaphor for Structuring Software Components in Highly Interactive Applications. BCS HCI 1997: 155-173
- [c16]Johnny Accot, Stéphane Chatty, Sébastien Maury, Philippe A. Palanque: Formal transducers: Models of devices and building bricks for the design of highly interactive systems. DSV-IS 1997: 143-159
- [c15]Philippe A. Palanque, Rémi Bastide, Fabio Paternò: Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems. INTERACT 1997: 323-330
- 1996
- [c14]Rémi Bastide, Philippe A. Palanque: Implementation Techniques for Petri Net Based Specifications of Human-Computer Dialogues. CADUI 1996: 285-302
- [c13]Johnny Accot, Stéphane Chatty, Philippe A. Palanque: A Formal Description of Low Level Interaction and its Application to Multimodal Interactive Systems. DSV-IS 1996: 92-104
- [c12]Philippe A. Palanque, Fabio Paternò, Rémi Bastide, M. Mezzanotte: Towards an Integrated Proposal for Interactive Systems Design Based on TLIM and ICO. DSV-IS 1996: 162-187
- [c11]Tom Moher, Victor Dirda, Rémi Bastide, Philippe A. Palanque: Monolingual, Articulated Modeling of Users, Devices, and Interfaces. DSV-IS 1996: 312-329
- 1995
- [c10]Rémi Bastide, Philippe A. Palanque: A Petri Net based Environment for the Design of Event-driven Interfaces. Application and Theory of Petri Nets 1995: 66-83
- [c9]Philippe A. Palanque, Rémi Bastide: Formal Specification and Verification of CSCW using the Interactive Cooperative Object Formalism. BCS HCI 1995: 213-231
- [c8]Philippe A. Palanque, Rémi Bastide, V. Sengès: Validating interactive system design through the verification of formal task and system models. EHCI 1995: 189-212
- [c7]Olivier Esteban, Stéphane Chatty, Philippe A. Palanque: Whizz'Ed: a visual environment for building highly interactive software. INTERACT 1995: 121-126
- [c6]Philippe A. Palanque, Rémi Bastide: Verification of an interactive software by analysis of its formal specification. INTERACT 1995: 191-196
- [c5]Olivier Esteban, Stéphane Chatty, Philippe A. Palanque: Visual Construction of Highly Interactive Applications. VDB 1995: 304-316
- [e1]Philippe A. Palanque, Rémi Bastide (Eds.): Design, Specification and Verification of Interactive Systems '95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995. Springer 1995, ISBN 3-211-82739-0
- 1994
- [c4]Philippe A. Palanque, Rémi Bastide: Petri net based Design of User-driven Interfaces Using the Interactive Cooperative Objects Formalism. DSV-IS 1994: 383-400
- 1993
- [c3]Philippe A. Palanque, Rémi Bastide, Louis Dourte, Christophe Sibertin-Blanc: Design of User-Driven Interfaces Using Petri Nets and Objects. CAiSE 1993: 569-585
- [c2]Philippe A. Palanque, Rémi Bastide, Louis Dourte: Contextual Help for Free with Formal Dialogue Design. HCI (2) 1993: 615-620
- 1990
- [c1]Rémi Bastide, Philippe A. Palanque: Petri net objects for the design, validation and prototyping of user-driven interfaces. INTERACT 1990: 625-631
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-01 02:36 CEST by the dblp team