Author: Sandra Basnyat

Sandra Basnyat

Sandra Basnyat

Publications

Publication period start: 2005
Publication period end: 2008
Number of co-authors: 11

Co-authors

Number of publications with favourite co-authors
Jean-François Ladry
1
David Navarre
2
Philippe A. Palanque
3

Productive Colleagues

Most productive colleagues in number of publications
Joan De Boeck
44
Philippe A. Palanque
66
Fabio Paterno
126

Publications

Basnyat, Sandra, Boeck, Joan De, Cuppens, Erwin, Nóbrega, Leonel, Montero, Francisco, Paterno, Fabio, Schneider, Kevin (2005): Future Challenges of Model-Based Design. In: Gilroy, Stephen W., Harrison, Michael D. (eds.) DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop July 13-15, 2005, Newcastle upon Tyne, UK. pp. 261. http://dx.doi.org/10.1007/11752707_22

Basnyat, Sandra, Chozos, Nick, Johnson, Chris, Palanque, Philippe A. (2005): Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Crit. In: Gilroy, Stephen W., Harrison, Michael D. (eds.) DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop July 13-15, 2005, Newcastle upon Tyne, UK. pp. 51-66. http://dx.doi.org/10.1007/11752707_5

Navarre, David, Palanque, Philippe A., Ladry, Jean-François, Basnyat, Sandra (2008): An Architecture and a Formal Description Technique for the Design and Implementation of Re. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 208-224. http://dx.doi.org/10.1007/978-3-540-70569-7_20

Palanque, Philippe A., Basnyat, Sandra, Navarre, David (2007): Improving Interactive Systems Usability Using Formal Description Techniques: Application t. In: Holzinger, Andreas (eds.) USAB 2007 - Third Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society November, 22, 2007, Graz, Austria. pp. 21-40. http://dx.doi.org/10.1007/978-3-540-76805-0_2