|
Search the dblp DataBase
Rémi Bastide:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- 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]
- 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]
- Mauro Pedrali, Rémi Bastide
DAVID: A Multimedia Tool for Accident Investigation. [Citation Graph (0, 0)][DBLP] BCS HCI, 1996, pp:349-368 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- Thierry Levoir, Rémi Bastide
SADS: Generic Web access to space data. [Citation Graph (0, 0)][DBLP] WebNet, 1996, pp:- [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
An Integration of Task and Use-Case Meta-models. [Citation Graph (, )][DBLP]
Domain Specific Methods and Tools for the Design of Advanced Interactive Techniques. [Citation Graph (, )][DBLP]
Domain-Specific Methods and Tools for the Design of Advanced Interactive Techniques. [Citation Graph (, )][DBLP]
Articulating Interaction and Task Models for the Design of Advanced Interactive Systems. [Citation Graph (, )][DBLP]
Search in 0.011secs, Finished in 0.315secs
|