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, 383-400, 1995
Validating interactive system design through the verification of formal task and system models
P Palanque, R Bastide, V Sengès
IFIP International Conference on Engineering for Human-Computer Interaction …, 1995
A Petri net based environment for the design of event-driven interfaces
R Bastide, P Palanque
International Conference on Application and Theory of Petri Nets, 66-83, 1995
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, ...
IFIP Conference on Human-Computer Interaction, 170-183, 2005
Petri net objects for the design, validation and prototyping of user-driven interfaces.
R Bastide, PA Palanque
Interact 90, 625-631, 1990
Formal specification and prototyping of CORBA systems
R Bastide, O Sy, P Palanque
European Conference on Object-Oriented Programming, 474-494, 1999
Synergistic modelling of tasks, users and systems using formal specification techniques
P Palanque, R Bastide
Interacting with computers 9 (2), 129-153, 1997
A framework for organizing web usability guidelines
D Scapin, C Leulier, J Vanderdonckt, C Mariage, C Bastien, C Farenc, ...
6th Conf. on Human Factors and the Web HFWeb’2000, 2000
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
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
International Conference on Advanced Information Systems Engineering, 569-585, 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, 191-196, 1995
Formal specification as a tool for objective assessment of safety-critical interactive systems
P Palanque, R Bastide, F Paternò
Human-Computer Interaction INTERACT’97, 323-330, 1997
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
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