| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Tankeu-Choitat, David Navarre, Philippe A. Palanque, Y. Deleris, Jean-Charles Fabre, C. Fayollas |
Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Célia Martinie, Philippe A. Palanque, Eric Barboni, Martina Ragosta |
Task-model based assessment of automation levels: Application to space ground segments. |
SMC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Célia Martinie, Philippe A. Palanque, Marco Winckler |
Structuring and Composition Mechanisms to Address Scalability Issues in Task Models. |
INTERACT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
INTERACT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
INTERACT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
INTERACT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
INTERACT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Regina Bernhaupt, Guy A. Boy, Michael Feary, Philippe A. Palanque |
Engineering automation in interactive critical systems. |
CHI Extended Abstracts |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | María Dolores Lozano, José A. Gallud, Philippe A. Palanque |
Mobile Context-Aware Applications for Ubiquitous Computing. |
J. UCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
task and systems models, tool support, models integration |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Célia Martinie, Philippe A. Palanque, Marco Winckler, Stéphane Conversy |
DREAMER: a design rationale environment for argumentation, modeling and engineering requirements. |
SIGDOC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
TAMODIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
HESSD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
performance evaluation, human computer interaction, interruptions, formal description techniques, model-based approaches |
| 1 | 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 |
DBLP DOI BibTeX RDF |
engineering interactive systems, human-computer interaction, formal description techniques |
| 1 | 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 |
IHM |
2009 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
performance evaluation, interruptions, formal description techniques, model-based approaches |
| 1 | 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 |
DBLP DOI BibTeX RDF |
fusion engines, interactive software engineering, safety-critical interactive systems, multimodal interfaces, formal description techniques, model-based approaches |
| 1 | Denis Lalanne, Laurence Nigay, Philippe A. Palanque, Peter Robinson, Jean Vanderdonckt, Jean-François Ladry |
Fusion engines for multimodal input: a survey. |
ICMI |
2009 |
DBLP DOI BibTeX RDF |
fusion engine, interaction techniques, multimodal interfaces |
| 1 | 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 |
INTERACT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
INTERACT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe A. Palanque, Jean-François Ladry, David Navarre, Eric Barboni |
High-Fidelity Prototyping of Interactive Systems Can Be Formal Too. |
HCI |
2009 |
DBLP DOI BibTeX RDF |
reliability, evolvability, formal description techniques, Model-based approaches, interactive prototyping |
| 1 | Regina Bernhaupt, David Navarre, Philippe A. Palanque, Marco Winckler |
Tailoring Usability into Agile Software Development Projects. |
Maturing Usability |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
EHCI/DS-VIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Navarre, Philippe A. Palanque, Sandra Basnyat |
A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
ARINC 661 specification, interactive software engineering, interactive cockpits, formal description techniques, Model-Based approaches |
| 1 | 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 |
DBLP DOI BibTeX RDF |
ARINC 661 specification, interactive software engineering, interactive cockpits, formal description techniques, Model-based approaches |
| 1 | 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 |
DSV-IS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Conversy, Eric Barboni, David Navarre, Philippe A. Palanque |
Improving Modularity of Interactive Software with the MDPC Architecture. |
EHCI/DS-VIS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Regina Bernhaupt, Philippe A. Palanque, Marco Winckler, David Navarre |
Usability Study of Multi-modal Interfaces Using Eye-Tracking. |
INTERACT |
2007 |
DBLP DOI BibTeX RDF |
two mice, Multimodal interfaces, speech, usability evaluation method |
| 1 | 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 |
INTERACT |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
INTERACT |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
TAMODIA |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Scenarios based simulation, Task modelling, Model-based design, Dialog modelling |
| 1 | Eric Barboni, David Navarre, Philippe A. Palanque, Sandra Basnyat |
A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661. |
SIES |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe A. Palanque, Sandra Basnyat, David Navarre |
Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare. |
USAB |
2007 |
DBLP DOI BibTeX RDF |
Incident and Accident Investigation, Human-Computer Interaction, Medical Informatics, Formal Description Techniques, Patient Monitoring |
| 1 | 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 |
DBLP DOI BibTeX RDF |
reliability safety critical systems, usability, safety, human error |
| 1 | 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 |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
EHCI/DS-VIS |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Sandra Basnyat, Rémi Bastide, Philippe A. Palanque |
Extending the Boundaries of Model-Based Development to Account for Errors. |
MDDAUI |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Interactive Systems Engineering, Post-WIMP, Formal methods, Prototyping, Multimodal interaction, CASE tools, formal description techniques |
| 1 | Marco Winckler, Eric Barboni, Christelle Farenc, Philippe A. Palanque |
SWCEDITOR: a Model-Based Tool for Interactive Modelling of Web Navigation. |
CADUI |
2004 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
embedded systems, formal description techniques, model-based approaches |
| 1 | Marco Winckler, Philippe A. Palanque, Carla Maria Dal Sasso Freitas |
Tasks and scenario-based evaluation of information visualization techniques. |
TAMODIA |
2004 |
DBLP DOI BibTeX RDF |
visualization tasks, evaluation, information visualization, task modeling |
| 1 | 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 |
TAMODIA |
2004 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
Human Error, Safety and Systems Development |
2004 |
DBLP BibTeX RDF |
|
| 1 | Philippe A. Palanque, Floor Koornneef, Chris Johnson, Gerd Szwillus, Peter Wright |
Safety-critical interaction: usability in incidents and accidents. |
CHI Extended Abstracts |
2004 |
DBLP DOI BibTeX RDF |
usability, reliability, safety critical systems, human error |
| 1 | Rémi Bastide, David Navarre, Philippe A. Palanque |
A tool-supported design framework for safety critical interactive systems. |
Interacting with Computers |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
formal specification, interaction techniques, multimodal interfaces |
| 1 | Philippe A. Palanque, Amélie Schyn |
A Model-Based Approach for Engineering Multimodal Interactive Systems. |
INTERACT |
2003 |
DBLP BibTeX RDF |
|
| 1 | Marco Winckler, Philippe A. Palanque |
StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications. |
DSV-IS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
QOC, add on, performance analysis, task modelling, design rationale |
| 1 | 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 |
DBLP DOI BibTeX RDF |
usability evaluation, task modeling, web design, notations, navigation modeling |
| 1 | David Navarre, Philippe A. Palanque, Rémi Bastide |
Model-Based Interactive Prototyping of Highly Interactive Applications. |
CADUI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Marco Winckler, Philippe A. Palanque, Christelle Farenc, Marcelo Soares Pimenta |
Task-Based Assessment of Web Navigation Design. |
TAMODIA |
2002 |
DBLP BibTeX RDF |
|
| 1 | Rémi Bastide, David Navarre, Philippe A. Palanque |
A model-based tool for interactive prototyping of highly interactive applications. |
CHI Extended Abstracts |
2002 |
DBLP DOI BibTeX RDF |
safety critical systems, formal description techniques, model-based approaches |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Rémi Bastide, Philippe A. Palanque |
Modeling a Groupware Editing Tool with Cooperative Objects. |
Concurrent Object-Oriented Programming and Petri Nets |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Bastide, Charles Lakos, Philippe A. Palanque |
A Cooperative Petri Net Editor. |
Concurrent Object-Oriented Programming and Petri Nets |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Bastide, Ousmane Sy, Philippe A. Palanque |
A formal notation and tool for the engineering of CORBA systems. |
Concurrency - Practice and Experience |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Bastide, Ousmane Sy, David Navarre, Philippe A. Palanque |
A Formal Specification of the CORBA Event Service. |
FMOODS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Rémi Bastide, Philippe A. Palanque, Ousmane Sy, David Navarre |
Formal specification of CORBA services: experience and lessons learned. |
OOPSLA |
2000 |
DBLP DOI BibTeX RDF |
distributed systems, CORBA, CORBA, high-level Petri nets, behavioral specification |
| 1 | Philippe A. Palanque, Fabio Paternò |
Design, specification, and verification of interactive systems (workshop session). |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe A. Palanque, Fabio Paternò (eds.) |
Interactive Systems: Design, Specification, and Verification, 7th International Workshop DSV-IS, Limerick, Ireland, June 5-6, 2000, Proceedings |
DSV-IS |
2000 |
DBLP BibTeX RDF |
|
| 1 | David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy |
Structuring Interactive Systems Specifications for Executability and Prototypability. |
DSV-IS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Bastide, Philippe A. Palanque |
A Visual and Formal Glue between Application and Interaction. |
J. Vis. Lang. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Bastide, Philippe A. Palanque, Ousmane Sy, Duc-Hoa Le, David Navarre |
Petri Net Based Behavioural Specification of CORBA Systems. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
behavioural specification, Distributed systems, CORBA, high-level Petri nets |
| 1 | Christelle Farenc, Philippe A. Palanque |
A Generic Framework based on Ergonomics Rules for Computer Aided Design of User Interface. |
CADUI |
1999 |
DBLP BibTeX RDF |
|
| 1 | Rémi Bastide, Ousmane Sy, Philippe A. Palanque |
Formal Support for the Engineering of CORBA-based Distributed Object Systems. (PDF / PS) |
DOA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Christelle Farenc, Philippe A. Palanque |
An Extensible Architecture to Support the Structuring and the efficient Exploitation of Ergonomic Rules. |
HCI |
1999 |
DBLP BibTeX RDF |
|
| 1 | Rémi Bastide, Ousmane Sy, Philippe A. Palanque |
Formal Specification and Prototyping of CORBA Systems. |
ECOOP |
1999 |
DBLP DOI BibTeX RDF |
Formal methods, Petri nets, CORBA, behavioral specification, Distributed object-oriented systems |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Philippe A. Palanque, Rémi Bastide |
Synergistic Modelling of Tasks, Users and Systems using Formal Specification Techniques. |
Interacting with Computers |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe A. Palanque, Rémi Bastide, Fabio Paternò |
Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems. |
INTERACT |
1997 |
DBLP BibTeX RDF |
|
| 1 | Michelle Jacomi, Stéphane Chatty, Philippe A. Palanque |
A Making-Movies Metaphor for Structuring Software Components in Highly Interactive Applications. |
BCS HCI |
1997 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Rémi Bastide, Philippe A. Palanque |
Implementation Techniques for Petri Net Based Specifications of Human-Computer Dialogues. |
CADUI |
1996 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Tom Moher, Victor Dirda, Rémi Bastide, Philippe A. Palanque |
Monolingual, Articulated Modeling of Users, Devices, and Interfaces. |
DSV-IS |
1996 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")