The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Rémi Bastide: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Rémi Bastide, Philippe A. Palanque
    A Petri Net based Environment for the Design of Event-driven Interfaces. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1995, pp:66-83 [Conf]
  2. Rémi Bastide, Philippe A. Palanque, Ousmane Sy, Duc-Hoa Le, David Navarre
    Petri Net Based Behavioural Specification of CORBA Systems. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1999, pp:66-85 [Conf]
  3. Philippe A. Palanque, Rémi Bastide
    Formal Specification and Verification of CSCW using the Interactive Cooperative Object Formalism. [Citation Graph (0, 0)][DBLP]
    BCS HCI, 1995, pp:213-231 [Conf]
  4. Mauro Pedrali, Rémi Bastide
    DAVID: A Multimedia Tool for Accident Investigation. [Citation Graph (0, 0)][DBLP]
    BCS HCI, 1996, pp:349-368 [Conf]
  5. David Navarre, Philippe A. Palanque, Rémi Bastide
    Model-Based Interactive Prototyping of Highly Interactive Applications. [Citation Graph (0, 0)][DBLP]
    CADUI, 2002, pp:205-216 [Conf]
  6. Rémi Bastide, Philippe A. Palanque
    Implementation Techniques for Petri Net Based Specifications of Human-Computer Dialogues. [Citation Graph (0, 0)][DBLP]
    CADUI, 1996, pp:285-302 [Conf]
  7. Philippe A. Palanque, Rémi Bastide, Louis Dourte, Christophe Sibertin-Blanc
    Design of User-Driven Interfaces Using Petri Nets and Objects [Citation Graph (0, 0)][DBLP]
    CAiSE, 1993, pp:569-585 [Conf]
  8. Rémi Bastide, David Navarre, Philippe A. Palanque
    A model-based tool for interactive prototyping of highly interactive applications. [Citation Graph (0, 0)][DBLP]
    CHI Extended Abstracts, 2002, pp:516-517 [Conf]
  9. Rémi Bastide, Charles Lakos, Philippe A. Palanque
    A Cooperative Petri Net Editor. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:534-535 [Conf]
  10. Rémi Bastide, Philippe A. Palanque
    Modeling a Groupware Editing Tool with Cooperative Objects. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:305-318 [Conf]
  11. Rémi Bastide, Ousmane Sy, Philippe A. Palanque
    Formal Support for the Engineering of CORBA-based Distributed Object Systems. [Citation Graph (0, 0)][DBLP]
    DOA, 1999, pp:264-272 [Conf]
  12. Xavier Lacaze, Philippe A. Palanque, David Navarre, Rémi Bastide
    Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2002, pp:208-222 [Conf]
  13. Rémi Bastide, Philippe A. Palanque, Duc-Hoa Le, Jaime Munoz
    Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1998, pp:171-190 [Conf]
  14. Tom Moher, Victor Dirda, Rémi Bastide, Philippe A. Palanque
    Monolingual, Articulated Modeling of Users, Devices, and Interfaces. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1996, pp:312-329 [Conf]
  15. David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy
    Structuring Interactive Systems Specifications for Executability and Prototypability. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2000, pp:97-119 [Conf]
  16. David Navarre, Philippe A. Palanque, Fabio Paternò, Carmen Santoro, Rémi Bastide
    A Tool Suite for Integrating Task and System Models through Scenarios. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2001, pp:88-113 [Conf]
  17. Philippe A. Palanque, Rémi Bastide
    Petri net based Design of User-driven Interfaces Using the Interactive Cooperative Objects Formalism. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1994, pp:383-400 [Conf]
  18. Philippe A. Palanque, Fabio Paternò, Rémi Bastide, M. Mezzanotte
    Towards an Integrated Proposal for Interactive Systems Design Based on TLIM and ICO. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1996, pp:162-187 [Conf]
  19. Rémi Bastide, Ousmane Sy, Philippe A. Palanque
    Formal Specification and Prototyping of CORBA Systems. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1999, pp:474-494 [Conf]
  20. Rémi Bastide, Didier Buchs
    Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop). [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1997, pp:221-255 [Conf]
  21. Philippe A. Palanque, Rémi Bastide, V. Sengès
    Validating interactive system design through the verification of formal task and system models. [Citation Graph (0, 0)][DBLP]
    EHCI, 1995, pp:189-212 [Conf]
  22. David Navarre, Pierre Dragicevic, Philippe A. Palanque, Rémi Bastide, Amélie Schyn
    Very-High-Fidelity Prototyping for Both Presentation and Dialogue Parts of Multimodal Interactive Systems. [Citation Graph (0, 0)][DBLP]
    EHCI/DS-VIS, 2004, pp:179-199 [Conf]
  23. Rémi Bastide, Ousmane Sy, David Navarre, Philippe A. Palanque
    A Formal Specification of the CORBA Event Service. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2000, pp:371-396 [Conf]
  24. Philippe A. Palanque, Rémi Bastide, Louis Dourte
    Contextual Help for Free with Formal Dialogue Design. [Citation Graph (0, 0)][DBLP]
    HCI (2), 1993, pp:615-620 [Conf]
  25. Mauro Pedrali, Rémi Bastide
    Can We Trace Back Cognitive Processes in Root Cause Analysis? [Citation Graph (0, 0)][DBLP]
    HCI (2), 1997, pp:59-62 [Conf]
  26. Rémi Bastide, David Navarre, Philippe A. Palanque, Amélie Schyn, Pierre Dragicevic
    A model-based approach for real-time embedded multimodal systems in military aircrafts. [Citation Graph (0, 0)][DBLP]
    ICMI, 2004, pp:243-250 [Conf]
  27. Rémi Bastide, Philippe A. Palanque
    Petri net objects for the design, validation and prototyping of user-driven interfaces. [Citation Graph (0, 0)][DBLP]
    INTERACT, 1990, pp:625-631 [Conf]
  28. David Navarre, Philippe A. Palanque, Rémi Bastide, Amélie Schyn, Marco Winckler, Luciana Porcher Nedel, Carla Maria Dal Sasso Freitas
    A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications. [Citation Graph (0, 0)][DBLP]
    INTERACT, 2005, pp:170-183 [Conf]
  29. Philippe A. Palanque, Rémi Bastide
    Verification of an interactive software by analysis of its formal specification. [Citation Graph (0, 0)][DBLP]
    INTERACT, 1995, pp:191-196 [Conf]
  30. Philippe A. Palanque, Rémi Bastide, Fabio Paternò
    Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems. [Citation Graph (0, 0)][DBLP]
    INTERACT, 1997, pp:323-330 [Conf]
  31. Rémi Bastide, Philippe A. Palanque, Ousmane Sy, David Navarre
    Formal specification of CORBA services: experience and lessons learned. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2000, pp:105-117 [Conf]
  32. David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy
    A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications. [Citation Graph (0, 0)][DBLP]
    IEEE International Workshop on Rapid System Prototyping, 2001, pp:136-141 [Conf]
  33. Sandra Basnyat, Rémi Bastide, Philippe A. Palanque
    Extending the Boundaries of Model-Based Development to Account for Errors. [Citation Graph (0, 0)][DBLP]
    MDDAUI, 2005, pp:- [Conf]
  34. Thierry Levoir, Rémi Bastide
    SADS: Generic Web access to space data. [Citation Graph (0, 0)][DBLP]
    WebNet, 1996, pp:- [Conf]
  35. Rémi Bastide, Ousmane Sy, Philippe A. Palanque
    A formal notation and tool for the engineering of CORBA systems. [Citation Graph (0, 0)][DBLP]
    Concurrency - Practice and Experience, 2000, v:12, n:14, pp:1379-1403 [Journal]
  36. Rémi Bastide, Eric Barboni
    Software Components: a Formal Semantics Based on Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:57-73 [Journal]
  37. Rémi Bastide, David Navarre, Philippe A. Palanque
    A tool-supported design framework for safety critical interactive systems. [Citation Graph (0, 0)][DBLP]
    Interacting with Computers, 2003, v:15, n:3, pp:309-328 [Journal]
  38. Philippe A. Palanque, Rémi Bastide
    Synergistic Modelling of Tasks, Users and Systems using Formal Specification Techniques. [Citation Graph (0, 0)][DBLP]
    Interacting with Computers, 1997, v:9, n:2, pp:129-153 [Journal]
  39. David Navarre, Philippe A. Palanque, Pierre Dragicevic, Rémi Bastide
    An approach integrating two complementary model-based environments for the construction of multimodal interactive applications. [Citation Graph (0, 0)][DBLP]
    Interacting with Computers, 2006, v:18, n:5, pp:910-941 [Journal]
  40. Rémi Bastide, Philippe A. Palanque
    A Visual and Formal Glue between Application and Interaction. [Citation Graph (0, 0)][DBLP]
    J. Vis. Lang. Comput., 1999, v:10, n:4, pp:481-507 [Journal]
  41. Rémi Bastide, Sandra Basnyat
    Error Patterns: Systematic Investigation of Deviations in Task Models. [Citation Graph (0, 0)][DBLP]
    TAMODIA, 2006, pp:109-121 [Conf]

  42. An Integration of Task and Use-Case Meta-models. [Citation Graph (, )][DBLP]


  43. Domain Specific Methods and Tools for the Design of Advanced Interactive Techniques. [Citation Graph (, )][DBLP]


  44. Domain-Specific Methods and Tools for the Design of Advanced Interactive Techniques. [Citation Graph (, )][DBLP]


  45. Articulating Interaction and Task Models for the Design of Advanced Interactive Systems. [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.009secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002