Rémi Bastide
Rémi Bastide
Professor, IRIT, ISIS School of Engineering
Verified email at - Homepage
Cited by
Cited by
Formal specification of CORBA services: experience and lessons learned
R Bastide, P Palanque, O Sy, D Navarre
Proceedings of the 15th ACM SIGPLAN conference on Object-oriented …, 2000
Petri net based design of user-driven interfaces using the interactive cooperative objects formalism
PA Palanque, R Bastide
Interactive Systems: Design, Specification, and Verification: 1st …, 1995
Validating interactive system design through the verification of formal task and system models
P Palanque, R Bastide, V Sengès
Engineering for Human-Computer Interaction: Proceedings of the IFIP TC2/WG2 …, 1996
Approaches in unifying Petri nets and the object-oriented approach
R Bastide
1st Workshop on Object-Oriented Programming and Models of Concurrency …, 1995
A formal description of multimodal interaction techniques for immersive virtual reality applications
D Navarre, P Palanque, R Bastide, A Schyn, M Winckler, LP Nedel, ...
Human-Computer Interaction-INTERACT 2005: IFIP TC13 International Conference …, 2005
A Petri net based environment for the design of event-driven interfaces
R Bastide, P Palanque
Application and Theory of Petri Nets 1995: 16th International Conference …, 1995
Petri net objects for the design, validation and prototyping of user-driven interfaces.
R Bastide, PA Palanque
Interact 90, 625-631, 1990
A framework for organizing web usability guidelines
D Scapin, C Leulier, J Vanderdonckt, C Mariage, C Bastien, C Farenc, ...
6th Conference on Human Factors and the Web (HF Web 2000), 2000
Synergistic modelling of tasks, users and systems using formal specification techniques
P Palanque, R Bastide
Interacting with computers 9 (2), 129-153, 1997
A model-based approach for real-time embedded multimodal systems in military aircrafts
R Bastide, D Navarre, P Palanque, A Schyn, P Dragicevic
Proceedings of the 6th international conference on Multimodal interfaces …, 2004
Formal specification and prototyping of CORBA systems
R Bastide, O Sy, P Palanque
ECOOP’99—Object-Oriented Programming: 13th European Conference Lisbon …, 1999
A tool suite for integrating task and system models through scenarios
D Navarre, P Palanque, F Paternò, C Santoro, R Bastide
International Workshop on Design, Specification, and Verification of …, 2001
Design of user-driven interfaces using petri nets and objects
PA Palanque, R Bastide, L Dourte, C Sibertin-Blanc
Advanced Information Systems Engineering: 5th International Conference …, 1993
Contextual help for free with formal dialogue design
P Palanque, R Bastide, L Dourte
HCI (2), 615-620, 1993
A model-based tool for interactive prototyping of highly interactive applications
R Bastide, D Navarre, P Palanque
CHI'02 extended abstracts on Human factors in Computing Systems, 516-517, 2002
Verification of an interactive software by analysis of its formal specification
P Palanque, R Bastide
Human—Computer Interaction: Interact’95, 191-196, 1995
Cooperative objects: A concurrent, petri-net based, object-oriented language
R Bastide, C Sibertin-Blanc, P Palanque
Proceedings of IEEE Systems Man and Cybernetics Conference-SMC 3, 286-291, 1993
Formal specification as a tool for objective assessment of safety-critical interactive systems
P Palanque, R Bastide, F Paternò
Human-Computer Interaction INTERACT’97: IFIP TC13 International Conference …, 1997
A visual and formal glue between application and interaction
R Bastide, P Palanque
Journal of Visual Languages & Computing 10 (5), 481-507, 1999
A tool-supported design framework for safety critical interactive systems
R Bastide, D Navarre, P Palanque
Interacting with computers 15 (3), 309-328, 2003
The system can't perform the operation now. Try again later.
Articles 1–20