Author: Remi Bastide

Publication Overview

Publication period start: 2004
Number of co-authors: 24

Co-Authors

Number of publications with favourite co-authors

Pierre Dragicevic
4
David Navarre
8
Philippe A. Palanque
26

Productive Colleagues

Most productive colleagues in number of publications

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
Privacy Settings
By using this site, you accept our Cookie Policy and Terms of Use.
Customize
Accept all

Feel Stuck? Want Freedom?

Join 326,062+ designers who get one powerful email each week. Learn to design a life you love.

Next email in
0
days
22
hrs
7
mins
56
secs

Free forever. No spam. Unsubscribe anytime.