The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Philippe A. Palanque: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Rémi Bastide, Philippe A. Palanque
    A Petri Net based Environment for the Design of Event-driven Interfaces. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1995, pp:66-83 [Conf]
  2. Rémi Bastide, Philippe A. Palanque, Ousmane Sy, Duc-Hoa Le, David Navarre
    Petri Net Based Behavioural Specification of CORBA Systems. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1999, pp:66-85 [Conf]
  3. Michelle Jacomi, Stéphane Chatty, Philippe A. Palanque
    A Making-Movies Metaphor for Structuring Software Components in Highly Interactive Applications. [Citation Graph (0, 0)][DBLP]
    BCS HCI, 1997, pp:155-173 [Conf]
  4. Philippe A. Palanque, Rémi Bastide
    Formal Specification and Verification of CSCW using the Interactive Cooperative Object Formalism. [Citation Graph (0, 0)][DBLP]
    BCS HCI, 1995, pp:213-231 [Conf]
  5. David Navarre, Philippe A. Palanque, Rémi Bastide
    Model-Based Interactive Prototyping of Highly Interactive Applications. [Citation Graph (0, 0)][DBLP]
    CADUI, 2002, pp:205-216 [Conf]
  6. Rémi Bastide, Philippe A. Palanque
    Implementation Techniques for Petri Net Based Specifications of Human-Computer Dialogues. [Citation Graph (0, 0)][DBLP]
    CADUI, 1996, pp:285-302 [Conf]
  7. Christelle Farenc, Philippe A. Palanque
    A Generic Framework based on Ergonomics Rules for Computer Aided Design of User Interface. [Citation Graph (0, 0)][DBLP]
    CADUI, 1999, pp:281-292 [Conf]
  8. Marco Winckler, Eric Barboni, Christelle Farenc, Philippe A. Palanque
    SWCEDITOR: a Model-Based Tool for Interactive Modelling of Web Navigation. [Citation Graph (0, 0)][DBLP]
    CADUI, 2004, pp:55-66 [Conf]
  9. Philippe A. Palanque, Rémi Bastide, Louis Dourte, Christophe Sibertin-Blanc
    Design of User-Driven Interfaces Using Petri Nets and Objects [Citation Graph (0, 0)][DBLP]
    CAiSE, 1993, pp:569-585 [Conf]
  10. Rémi Bastide, David Navarre, Philippe A. Palanque
    A model-based tool for interactive prototyping of highly interactive applications. [Citation Graph (0, 0)][DBLP]
    CHI Extended Abstracts, 2002, pp:516-517 [Conf]
  11. Philippe A. Palanque, Floor Koornneef, Chris Johnson, Gerd Szwillus, Peter Wright
    Safety-critical interaction: usability in incidents and accidents. [Citation Graph (0, 0)][DBLP]
    CHI Extended Abstracts, 2004, pp:1600-1601 [Conf]
  12. 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)? [Citation Graph (0, 0)][DBLP]
    CHI Extended Abstracts, 2007, pp:2133-2136 [Conf]
  13. Rémi Bastide, Charles Lakos, Philippe A. Palanque
    A Cooperative Petri Net Editor. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:534-535 [Conf]
  14. Rémi Bastide, Philippe A. Palanque
    Modeling a Groupware Editing Tool with Cooperative Objects. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:305-318 [Conf]
  15. Rémi Bastide, Ousmane Sy, Philippe A. Palanque
    Formal Support for the Engineering of CORBA-based Distributed Object Systems. [Citation Graph (0, 0)][DBLP]
    DOA, 1999, pp:264-272 [Conf]
  16. Xavier Lacaze, Philippe A. Palanque, David Navarre, Rémi Bastide
    Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2002, pp:208-222 [Conf]
  17. 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. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1997, pp:143-159 [Conf]
  18. Johnny Accot, Stéphane Chatty, Philippe A. Palanque
    A Formal Description of Low Level Interaction and its Application to Multimodal Interactive Systems. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1996, pp:92-104 [Conf]
  19. Sandra Basnyat, Nick Chozos, Chris Johnson, Philippe A. Palanque
    Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2005, pp:51-66 [Conf]
  20. Rémi Bastide, Philippe A. Palanque, Duc-Hoa Le, Jaime Munoz
    Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1998, pp:171-190 [Conf]
  21. Tom Moher, Victor Dirda, Rémi Bastide, Philippe A. Palanque
    Monolingual, Articulated Modeling of Users, Devices, and Interfaces. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1996, pp:312-329 [Conf]
  22. Marco Winckler, Philippe A. Palanque
    StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2003, pp:61-76 [Conf]
  23. David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy
    Structuring Interactive Systems Specifications for Executability and Prototypability. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2000, pp:97-119 [Conf]
  24. David Navarre, Philippe A. Palanque, Fabio Paternò, Carmen Santoro, Rémi Bastide
    A Tool Suite for Integrating Task and System Models through Scenarios. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2001, pp:88-113 [Conf]
  25. Philippe A. Palanque, Rémi Bastide
    Petri net based Design of User-driven Interfaces Using the Interactive Cooperative Objects Formalism. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1994, pp:383-400 [Conf]
  26. Philippe A. Palanque, Fabio Paternò, Rémi Bastide, M. Mezzanotte
    Towards an Integrated Proposal for Interactive Systems Design Based on TLIM and ICO. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1996, pp:162-187 [Conf]
  27. 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. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2006, pp:265-268 [Conf]
  28. Eric Barboni, Stéphane Conversy, David Navarre, Philippe A. Palanque
    Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2006, pp:25-38 [Conf]
  29. Rémi Bastide, Ousmane Sy, Philippe A. Palanque
    Formal Specification and Prototyping of CORBA Systems. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1999, pp:474-494 [Conf]
  30. Philippe A. Palanque, Rémi Bastide, V. Sengès
    Validating interactive system design through the verification of formal task and system models. [Citation Graph (0, 0)][DBLP]
    EHCI, 1995, pp:189-212 [Conf]
  31. 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. [Citation Graph (0, 0)][DBLP]
    EHCI/DS-VIS, 2004, pp:179-199 [Conf]
  32. Rémi Bastide, Ousmane Sy, David Navarre, Philippe A. Palanque
    A Formal Specification of the CORBA Event Service. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2000, pp:371-396 [Conf]
  33. Christelle Farenc, Philippe A. Palanque
    An Extensible Architecture to Support the Structuring and the efficient Exploitation of Ergonomic Rules. [Citation Graph (0, 0)][DBLP]
    HCI (1), 1999, pp:1038-1042 [Conf]
  34. Christelle Farenc, Philippe A. Palanque, J. M. Christian Bastien, Dominique L. Scapin, Marco Winckler
    Towards a general guidance and support tool for usability optimization. [Citation Graph (0, 0)][DBLP]
    HCI, 2001, pp:160-164 [Conf]
  35. Philippe A. Palanque, Rémi Bastide, Louis Dourte
    Contextual Help for Free with Formal Dialogue Design. [Citation Graph (0, 0)][DBLP]
    HCI (2), 1993, pp:615-620 [Conf]
  36. 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. [Citation Graph (0, 0)][DBLP]
    ICMI, 2004, pp:243-250 [Conf]
  37. Philippe A. Palanque, Fabio Paternò
    Design, specification, and verification of interactive systems (workshop session). [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:803-804 [Conf]
  38. Philippe A. Palanque, Sandra Basnyat
    Task Patterns for Taking Into Account in an Efficient and Systematic Way User Behaviours. [Citation Graph (0, 0)][DBLP]
    Human Error, Safety and Systems Development, 2004, pp:109-130 [Conf]
  39. Rémi Bastide, Philippe A. Palanque
    Petri net objects for the design, validation and prototyping of user-driven interfaces. [Citation Graph (0, 0)][DBLP]
    INTERACT, 1990, pp:625-631 [Conf]
  40. Olivier Esteban, Stéphane Chatty, Philippe A. Palanque
    Whizz'Ed: a visual environment for building highly interactive software. [Citation Graph (0, 0)][DBLP]
    INTERACT, 1995, pp:121-126 [Conf]
  41. 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). [Citation Graph (0, 0)][DBLP]
    INTERACT, 2005, pp:1134-1137 [Conf]
  42. 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. [Citation Graph (0, 0)][DBLP]
    INTERACT, 2005, pp:170-183 [Conf]
  43. Philippe A. Palanque, Rémi Bastide
    Verification of an interactive software by analysis of its formal specification. [Citation Graph (0, 0)][DBLP]
    INTERACT, 1995, pp:191-196 [Conf]
  44. Philippe A. Palanque, Rémi Bastide, Fabio Paternò
    Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems. [Citation Graph (0, 0)][DBLP]
    INTERACT, 1997, pp:323-330 [Conf]
  45. Philippe A. Palanque, Amélie Schyn
    A Model-Based Approach for Engineering Multimodal Interactive Systems. [Citation Graph (0, 0)][DBLP]
    INTERACT, 2003, pp:- [Conf]
  46. Rémi Bastide, Philippe A. Palanque, Ousmane Sy, David Navarre
    Formal specification of CORBA services: experience and lessons learned. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2000, pp:105-117 [Conf]
  47. David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy
    A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications. [Citation Graph (0, 0)][DBLP]
    IEEE International Workshop on Rapid System Prototyping, 2001, pp:136-141 [Conf]
  48. Marco Winckler, Philippe A. Palanque, Christelle Farenc, Marcelo Soares Pimenta
    Task-Based Assessment of Web Navigation Design. [Citation Graph (0, 0)][DBLP]
    TAMODIA, 2002, pp:161-169 [Conf]
  49. Marco Winckler, Philippe A. Palanque, Carla Maria Dal Sasso Freitas
    Tasks and scenario-based evaluation of information visualization techniques. [Citation Graph (0, 0)][DBLP]
    TAMODIA, 2004, pp:165-172 [Conf]
  50. Sandra Basnyat, Rémi Bastide, Philippe A. Palanque
    Extending the Boundaries of Model-Based Development to Account for Errors. [Citation Graph (0, 0)][DBLP]
    MDDAUI, 2005, pp:- [Conf]
  51. Olivier Esteban, Stéphane Chatty, Philippe A. Palanque
    Visual Construction of Highly Interactive Applications. [Citation Graph (0, 0)][DBLP]
    VDB, 1995, pp:304-316 [Conf]
  52. Marco Winckler, Eric Barboni, Philippe A. Palanque, Christelle Farenc
    What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications? [Citation Graph (0, 0)][DBLP]
    WWV, 2005, pp:33-36 [Conf]
  53. Rémi Bastide, Ousmane Sy, Philippe A. Palanque
    A formal notation and tool for the engineering of CORBA systems. [Citation Graph (0, 0)][DBLP]
    Concurrency - Practice and Experience, 2000, v:12, n:14, pp:1379-1403 [Journal]
  54. Marco Winckler, Eric Barboni, Philippe A. Palanque, Christelle Farenc
    What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications? [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:157, n:2, pp:207-211 [Journal]
  55. Rémi Bastide, David Navarre, Philippe A. Palanque
    A tool-supported design framework for safety critical interactive systems. [Citation Graph (0, 0)][DBLP]
    Interacting with Computers, 2003, v:15, n:3, pp:309-328 [Journal]
  56. Philippe A. Palanque, Rémi Bastide
    Synergistic Modelling of Tasks, Users and Systems using Formal Specification Techniques. [Citation Graph (0, 0)][DBLP]
    Interacting with Computers, 1997, v:9, n:2, pp:129-153 [Journal]
  57. 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. [Citation Graph (0, 0)][DBLP]
    Interacting with Computers, 2006, v:18, n:5, pp:910-941 [Journal]
  58. 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. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput.-Hum. Interact., 1999, v:6, n:4, pp:309-310 [Journal]
  59. Rémi Bastide, Philippe A. Palanque
    A Visual and Formal Glue between Application and Interaction. [Citation Graph (0, 0)][DBLP]
    J. Vis. Lang. Comput., 1999, v:10, n:4, pp:481-507 [Journal]
  60. 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. [Citation Graph (0, 0)][DBLP]
    INTERACT (2), 2007, pp:525-540 [Conf]
  61. Regina Bernhaupt, Philippe A. Palanque, Marco Winckler, David Navarre
    Usability Study of Multi-modal Interfaces Using Eye-Tracking. [Citation Graph (0, 0)][DBLP]
    INTERACT (2), 2007, pp:412-424 [Conf]
  62. Philippe A. Palanque, Sandra Basnyat, David Navarre
    Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare. [Citation Graph (0, 0)][DBLP]
    USAB, 2007, pp:21-40 [Conf]

  63. An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces. [Citation Graph (, )][DBLP]


  64. High-Fidelity Prototyping of Interactive Systems Can Be Formal Too. [Citation Graph (, )][DBLP]


  65. Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces. [Citation Graph (, )][DBLP]


  66. Fusion engines for multimodal input: a survey. [Citation Graph (, )][DBLP]


  67. Resilience of Interaction Techniques to Interrupts: A Formal Model-Based Approach. [Citation Graph (, )][DBLP]


  68. A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems. [Citation Graph (, )][DBLP]


  69. On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing. [Citation Graph (, )][DBLP]


  70. A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661. [Citation Graph (, )][DBLP]


  71. Formal description of a multimodal interaction technique in an immersive virtual reality application. [Citation Graph (, )][DBLP]


  72. 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. [Citation Graph (, )][DBLP]


  73. Analyse de performance et modéles de Tâches comme support â la conception rationnelle des systèmes interactifs. [Citation Graph (, )][DBLP]


  74. Une approche formelle pour i'evaluation de la tolérance aux interruptions des système interactifs. [Citation Graph (, )][DBLP]


  75. The future of design specification and verification of safety critical interactive systems.: can our systems be sure (safe, usable, reliable and evolvable)? [Citation Graph (, )][DBLP]


  76. A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems. [Citation Graph (, )][DBLP]


  77. Beyond modelling: an integrated environment supporting co-execution of tasks and systems models. [Citation Graph (, )][DBLP]


Search in 0.209secs, Finished in 0.214secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002