|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11 occurrences of 8 keywords
|
|
|
|
|
Results
Found 10 publication records. Showing 10 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 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 | 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 | Rémi Bastide, Sandra Basnyat |
Error Patterns: Systematic Investigation of Deviations in Task Models. |
TAMODIA |
2006 |
DBLP DOI 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 | 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 | Sandra Basnyat, Joan De Boeck, Erwin Cuppens, Leonel Nóbrega, Francisco Montero, Fabio Paternò, Kevin Schneider |
Future Challenges of Model-Based Design. |
DSV-IS |
2005 |
DBLP DOI 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 |
|
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")