Author: Remi Bastide

Publications

Co-authors

Pierre Dragicevic

4

David Navarre

8

Philippe A. Palanque

26

Productive Colleagues

Carmen Santoro

33

Philippe A. Palanque

66

Fabio Paterno

126

Publications

Navarre, David, Palanque, Philippe A., Dragicevic, Pierre, Bastide, Remi (2006): An approach integrating two complementary model-based environments for the construction of. In Interacting with Computers, 18 (5) pp. 910-941. https://dx.doi.org/10.1016/j.intcom.2006.03.002

Bastide, Remi, Navarre, David, Palanque, Philippe A. (2003): A tool-supported design framework for safety critical interactive systems. In Interacting with Computers, 15 (3) pp. 309-328.

Bastide, Remi, Palanque, Philippe A. (1999): A Visual and Formal Glue between Application and Interaction. In J. Vis. Lang. Comput., 10 (4) pp. 481-507.

Palanque, Philippe A., Bastide, Remi (1997): Synergistic Modelling of Tasks, Users and Systems using Formal Specification Techniques. In Interacting with Computers, 9 (2) pp. 129-153.

Pedrali, Mauro, Bastide, Remi (1996): DAVID: A Multimedia Tool for Accident Investigation. In: Sasse, Martina Angela, Cunningham, R. J., Winder, R. L. (eds.) Proceedings of the Eleventh Conference of the British Computer Society Human Computer Interaction Specialist Group - People and Computers XI August, 1996, London, UK. pp. 349-368.

Palanque, Philippe A., Bastide, Remi (1996): Time Modelling in Petri Nets for the Design of Interactive Systems. In ACM SIGCHI Bulletin, 28 (2) pp. 43-46. https://www.acm.org/sigchi/bulletin/1996.2/Philippe-Palanque.html

Palanque, Philippe A., Bastide, Remi (1995): Formal Specification and Verification of CSCW using the Interactive Cooperative Object For. In: Kirby, M. A. R., Dix, Alan J., Finlay, Janet E. (eds.) Proceedings of the Tenth Conference of the British Computer Society Human Computer Interaction Specialist Group - People and Computers X August, 1995, Huddersfield, UK. pp. 213-231.

Bastide, Remi, Palanque, Philippe A. (1990): Petri Net Objects for the Design, Validation and Prototyping of User-Driven Interfaces. In: Diaper, Dan, Gilmore, David J., Cockton, Gilbert, Shackel, Brian (eds.) INTERACT 90 - 3rd IFIP International Conference on Human-Computer Interaction August 27-31, 1990, Cambridge, UK. pp. 625-631.

Tabary, D., Bastide, Remi, Palanque, Philippe A., Abed, M. (2001): Towards an Interactive Systems Design Based on the User Task with Petri Nets. In: Proceedings of the Ninth International Conference on Human-Computer Interaction , 2001, . pp. 61-65.

Palanque, Philippe A., Bastide, Remi, Winckler, M. (2003): Automatic Generation of Interactive Systems: Why A Task Model is not Enough. In: Stephanidis, Constantine (eds.) Proceedings of the Tenth International Conference on Human-Computer Interaction June 22-27, 2003, Crete, Greece. pp. 198-202.

Palanque, Philippe A., Bastide, Remi (2003): User-Centered Point of View to End-User Development. In: Stephanidis, Constantine (eds.) Proceedings of the Tenth International Conference on Human-Computer Interaction June 22-27, 2003, Crete, Greece. pp. 577-581.

Palanque, Philippe A., Bastide, Remi, Dourte, L. (1993): Contextual Help for Free with Formal Dialogue Design. In: Proceedings of the Fifth International Conference on Human-Computer Interaction , 1993, . pp. 615-620.

Palanque, Philippe A., Bastide, Remi, Senges, V. (1995): Task Model -- System Model: Towards an Unifying Formalism. In: Proceedings of the Sixth International Conference on Human-Computer Interaction July 9-14, 1995, Tokyo, Japan. pp. 489-494.

Navarre, D., Palanque, Philippe A., Bastide, Remi, Schyn, A., Winckler, M., Nedel, L. P., Freitas, C. M. D. S. (2005): A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Ap. In: Proceedings of IFIP INTERACT05: Human-Computer Interaction , 2005, . pp. 170-183. https://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1007/11555261_17

Bastide, Remi, Navarre, David, Palanque, Philippe A., Schyn, Amelie, Dragicevic, Pierre (2004): A model-based approach for real-time embedded multimodal systems in military aircrafts. In: Sharma, Rajeev, Darrell, Trevor, Harper, Mary P., Lazzari, Gianni, Turk, Matthew (eds.) Proceedings of the 6th International Conference on Multimodal Interfaces - ICMI 2004 October 13-15, 2004, State College, PA, USA. pp. 243-250. https://doi.acm.org/10.1145/1027933.1027974

Palanque, Philippe A., Bastide, Remi, Senges, V. (1996): Validating interactive system design through the verification of formal task and system mo. In: Bass, Leonard J., Unger, Claus (eds.) Engineering for Human-Computer Interaction, Proceedings of the IFIP TC2/WG2.7 Working Conference on Engineering for Human-Computer Interaction August, 1996, Yellowstone Park, USA. pp. 189-212.

Bastide, Remi, Palanque, Philippe A., Roth, Jorg (eds.) Engineering Human Computer Interaction and Interactive Systems, Joint Working Conferences EHCI-DSVIS 2004 July 11-13, 2005, Hamburg, Germany.

Navarre, David, Dragicevic, Pierre, Palanque, Philippe A., Bastide, Remi, Schyn, Amelie (2005): Very-High-Fidelity Prototyping for Both Presentation and Dialogue Parts of Multimodal Inte. In: Bastide, Remi, Palanque, Philippe A., Roth, Jorg (eds.) Engineering Human Computer Interaction and Interactive Systems, Joint Working Conferences EHCI-DSVIS 2004 July 11-13, 2005, Hamburg, Germany. pp. 179-199. https://dx.doi.org/10.1007/11431879_11

Pedrali, Mauro, Bastide, Remi (1997): Can We Trace Back Cognitive Processes in Root Cause Analysis?. In: Smith, Michael J., Salvendy, Gavriel, Koubek, Richard J. (eds.) HCI International 1997 - Proceedings of the Seventh International Conference on Human-Computer Interaction - Volume 2 August 24-29, 1997, San Francisco, California, USA. pp. 59-62.

Lacaze, Xavier, Palanque, Philippe A., Navarre, David, Bastide, Remi (2002): Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive . In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 208-222. https://link.springer.de/link/service/series/0558/bibs/2545/25450208.htm

Palanque, Philippe A., Bastide, Remi (eds.) DSV-IS 1995 - Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop June 7-9, 1995, Toulouse, France.

Bastide, Remi, Palanque, Philippe A., Le, Duc-Hoa, Munoz, Jaime (1998): Integrating Rendering Specifications into a Formalism for the Design of Interactive System. In: Markopoulos, Panos, Johnson, Peter (eds.) DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Proceedings of the Fifth International Eurographics Workshop June 3-5, 1998, Abingdon, United Kingdom. pp. 171-190.

Moher, Tom, Dirda, Victor, Bastide, Remi, Palanque, Philippe A. (1996): Monolingual, Articulated Modeling of Users, Devices, and Interfaces. In: Bodart, Francois, Vanderdonckt, Jean M. (eds.) DSV-IS 1996 - Design, Specification and Verification of Interactive Systems96, Proceedings of the Third International Eurographics Workshop June 5-7, 1996, Namur, Belgium. pp. 312-329.

Navarre, David, Palanque, Philippe A., Bastide, Remi, Sy, Ousmane (2000): Structuring Interactive Systems Specifications for Executability and Prototypability. In: DSV-IS 2000 , 2000, . pp. 97-119. https://link.springer.de/link/service/series/0558/bibs/1946/19460097.htm

Navarre, David, Palanque, Philippe A., Paterno, Fabio, Santoro, Carmen, Bastide, Remi (2001): A Tool Suite for Integrating Task and System Models through Scenarios. In: Johnson, Chris (eds.) DSV-IS 2001 - Interactive Systems Design, Specification, and Verification, 8th International Workshop June 13-15, 2001, Glasgow, Scotland, UK. pp. 88-113. https://link.springer.de/link/service/series/0558/bibs/2220/22200088.htm

Palanque, Philippe A., Bastide, Remi (1994): Petri net based Design of User-driven Interfaces Using the Interactive Cooperative Objects. In: Paterno, Fabio (eds.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 383-400.

Palanque, Philippe A., Paterno, Fabio, Bastide, Remi, Mezzanotte, M. (1996): Towards an Integrated Proposal for Interactive Systems Design Based on TLIM and ICO. In: Bodart, Francois, Vanderdonckt, Jean M. (eds.) DSV-IS 1996 - Design, Specification and Verification of Interactive Systems96, Proceedings of the Third International Eurographics Workshop June 5-7, 1996, Namur, Belgium. pp. 162-187.

Bastide, Remi, Navarre, David, Palanque, Philippe A., Schyn, Amelie, Dragicevic, Pierre (2004): A model-based approach for real-time embedded multimodal systems in military aircrafts. In: Proceedings of the 2004 International Conference on Multimodal Interfaces , 2004, . pp. 243-250. https://doi.acm.org/10.1145/1027933.1027974