Author: Sandra Basnyat
Publication Overview
Publication period start: 2007
Number of co-authors: 11
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
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.
https://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.
https://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.
https://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.
https://dx.doi.org/10.1007/978-3-540-76805-0_2