Rémi Bastide

	2009
47		Rémi Bastide: An Integration of Task and Use-Case Meta-models. HCI (1) 2009: 579-586
	2007
46		Guillaume Gauffre, Emmanuel Dubois, Rémi Bastide: Domain Specific Methods and Tools for the Design of Advanced Interactive Techniques. MDDAUI 2007
45		Guillaume Gauffre, Emmanuel Dubois, Rémi Bastide: Domain-Specific Methods and Tools for the Design of Advanced Interactive Techniques. MoDELS Workshops 2007: 65-76
44		Syrine Charfi, Emmanuel Dubois, Rémi Bastide: Articulating Interaction and Task Models for the Design of Advanced Interactive Systems. TAMODIA 2007: 70-83
	2006
43		Rémi Bastide, Sandra Basnyat: Error Patterns: Systematic Investigation of Deviations in Task Models. TAMODIA 2006: 109-121
42		Rémi Bastide, Eric Barboni: Software Components: a Formal Semantics Based on Coloured Petri Nets. Electr. Notes Theor. Comput. Sci. 160: 57-73 (2006)
41		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. Interacting with Computers 18(5): 910-941 (2006)
	2005
40		Rémi Bastide, Philippe A. Palanque, Jörg Roth: Engineering Human Computer Interaction and Interactive Systems, Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers Springer 2005
39		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. INTERACT 2005: 170-183
38		Sandra Basnyat, Rémi Bastide, Philippe A. Palanque: Extending the Boundaries of Model-Based Development to Account for Errors. MDDAUI 2005
	2004
37		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. EHCI/DS-VIS 2004: 179-199
36		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. ICMI 2004: 243-250
	2003
35		Rémi Bastide, David Navarre, Philippe A. Palanque: A tool-supported design framework for safety critical interactive systems. Interacting with Computers 15(3): 309-328 (2003)
	2002
34		David Navarre, Philippe A. Palanque, Rémi Bastide: Model-Based Interactive Prototyping of Highly Interactive Applications. CADUI 2002: 205-216
33		Rémi Bastide, David Navarre, Philippe A. Palanque: A model-based tool for interactive prototyping of highly interactive applications. CHI Extended Abstracts 2002: 516-517
32		Xavier Lacaze, Philippe A. Palanque, David Navarre, Rémi Bastide: Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems. DSV-IS 2002: 208-222
	2001
31		Rémi Bastide, Philippe A. Palanque: Modeling a Groupware Editing Tool with Cooperative Objects. Concurrent Object-Oriented Programming and Petri Nets 2001: 305-318
30		Rémi Bastide, Charles Lakos, Philippe A. Palanque: A Cooperative Petri Net Editor. Concurrent Object-Oriented Programming and Petri Nets 2001: 534-535
29		David Navarre, Philippe A. Palanque, Fabio Paternò, Carmen Santoro, Rémi Bastide: A Tool Suite for Integrating Task and System Models through Scenarios. DSV-IS 2001: 88-113
28		David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy: A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications. IEEE International Workshop on Rapid System Prototyping 2001: 136-141
	2000
27		David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy: Structuring Interactive Systems Specifications for Executability and Prototypability. DSV-IS 2000: 97-119
26		Rémi Bastide, Ousmane Sy, David Navarre, Philippe A. Palanque: A Formal Specification of the CORBA Event Service. FMOODS 2000: 371-396
25		Rémi Bastide, Philippe A. Palanque, Ousmane Sy, David Navarre: Formal specification of CORBA services: experience and lessons learned. OOPSLA 2000: 105-117
24		Rémi Bastide, Ousmane Sy, Philippe A. Palanque: A formal notation and tool for the engineering of CORBA systems. Concurrency - Practice and Experience 12(14): 1379-1403 (2000)
	1999
23		Rémi Bastide, Ousmane Sy, Philippe A. Palanque: Formal Support for the Engineering of CORBA-based Distributed Object Systems. DOA 1999: 264-272
22		Rémi Bastide, Ousmane Sy, Philippe A. Palanque: Formal Specification and Prototyping of CORBA Systems. ECOOP 1999: 474-494
21		Rémi Bastide, Philippe A. Palanque, Ousmane Sy, Duc-Hoa Le, David Navarre: Petri Net Based Behavioural Specification of CORBA Systems. ICATPN 1999: 66-85
20		Rémi Bastide, Philippe A. Palanque: A Visual and Formal Glue between Application and Interaction. J. Vis. Lang. Comput. 10(4): 481-507 (1999)
	1998
19		Rémi Bastide, Philippe A. Palanque, Duc-Hoa Le, Jaime Munoz: Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems. DSV-IS 1998: 171-190
	1997
18		Rémi Bastide, Didier Buchs: Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop). ECOOP Workshops 1997: 221-255
17		Mauro Pedrali, Rémi Bastide: Can We Trace Back Cognitive Processes in Root Cause Analysis? HCI (2) 1997: 59-62
16		Philippe A. Palanque, Rémi Bastide, Fabio Paternò: Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems. INTERACT 1997: 323-330
15		Philippe A. Palanque, Rémi Bastide: Synergistic Modelling of Tasks, Users and Systems using Formal Specification Techniques. Interacting with Computers 9(2): 129-153 (1997)
	1996
14		Mauro Pedrali, Rémi Bastide: DAVID: A Multimedia Tool for Accident Investigation. BCS HCI 1996: 349-368
13		Rémi Bastide, Philippe A. Palanque: Implementation Techniques for Petri Net Based Specifications of Human-Computer Dialogues. CADUI 1996: 285-302
12		Philippe A. Palanque, Fabio Paternò, Rémi Bastide, M. Mezzanotte: Towards an Integrated Proposal for Interactive Systems Design Based on TLIM and ICO. DSV-IS 1996: 162-187
11		Tom Moher, Victor Dirda, Rémi Bastide, Philippe A. Palanque: Monolingual, Articulated Modeling of Users, Devices, and Interfaces. DSV-IS 1996: 312-329
10		Thierry Levoir, Rémi Bastide: SADS: Generic Web access to space data. WebNet 1996
	1995
9		Philippe A. Palanque, Rémi Bastide: Design, Specification and Verification of Interactive Systems '95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995 Springer 1995
8		Rémi Bastide, Philippe A. Palanque: A Petri Net based Environment for the Design of Event-driven Interfaces. Application and Theory of Petri Nets 1995: 66-83
7		Philippe A. Palanque, Rémi Bastide: Formal Specification and Verification of CSCW using the Interactive Cooperative Object Formalism. BCS HCI 1995: 213-231
6		Philippe A. Palanque, Rémi Bastide, V. Sengès: Validating interactive system design through the verification of formal task and system models. EHCI 1995: 189-212
5		Philippe A. Palanque, Rémi Bastide: Verification of an interactive software by analysis of its formal specification. INTERACT 1995: 191-196
	1994
4		Philippe A. Palanque, Rémi Bastide: Petri net based Design of User-driven Interfaces Using the Interactive Cooperative Objects Formalism. DSV-IS 1994: 383-400
	1993
3		Philippe A. Palanque, Rémi Bastide, Louis Dourte, Christophe Sibertin-Blanc: Design of User-Driven Interfaces Using Petri Nets and Objects CAiSE 1993: 569-585
2		Philippe A. Palanque, Rémi Bastide, Louis Dourte: Contextual Help for Free with Formal Dialogue Design. HCI (2) 1993: 615-620
	1990
1		Rémi Bastide, Philippe A. Palanque: Petri net objects for the design, validation and prototyping of user-driven interfaces. INTERACT 1990: 625-631

Coauthor Index

1	Eric Barboni	[42]
2	Sandra Basnyat	[38] [43]
3	Didier Buchs	[18]
4	Syrine Charfi	[44]
5	Victor Dirda	[11]
6	Louis Dourte	[2] [3]
7	Pierre Dragicevic	[36] [37] [41]
8	Emmanuel Dubois	[44] [45] [46]
9	Carla Maria Dal Sasso Freitas (Carla M. D. S. Freitas)	[39]
10	Guillaume Gauffre	[45] [46]
11	Xavier Lacaze	[32]
12	Charles Lakos	[30]
13	Duc-Hoa Le	[19] [21]
14	Thierry Levoir	[10]
15	M. Mezzanotte	[12]
16	Tom Moher	[11]
17	Jaime Munoz	[19]
18	David Navarre	[21] [25] [26] [27] [28] [29] [32] [33] [34] [35] [36] [37] [39] [41]
19	Luciana Porcher Nedel	[39]
20	Philippe A. Palanque	[1] [2] [3] [4] [5] [6] [7] [8] [9] [11] [12] [13] [15] [16] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41]
21	Fabio Paternò	[12] [16] [29]
22	Mauro Pedrali	[14] [17]
23	Jörg Roth	[40]
24	Carmen Santoro	[29]
25	Amélie Schyn	[36] [37] [39]
26	V. Sengès	[6]
27	Christophe Sibertin-Blanc	[3]
28	Ousmane Sy	[21] [22] [23] [24] [25] [26] [27] [28]
29	Marco Winckler	[39]

Colors in the list of coauthors