Lacaze, Xavier; Palanque, Philippe; Navarre, David; Bastide, Rémi Performance evaluation as a tool for quantitative assessment of complexity of interactive systems. (English) Zbl 1035.68622 Forbrig, Peter (ed.) et al., Interactive systems. Design, specification, and verification. 9th international workshop, DSV-IS 2002, Rostock, Germany, June 12–14, 2002. Revised papers. Berlin: Springer (ISBN 3-540-00266-9/pbk). Lect. Notes Comput. Sci. 2545, 208-222 (2002). MSC: 68U99 68U35 PDFBibTeX XMLCite \textit{X. Lacaze} et al., Lect. Notes Comput. Sci. 2545, 208--222 (2002; Zbl 1035.68622) Full Text: Link
Navarre, David; Palanque, Philippe; Paternò, Fabio; Santoro, Carmen; Bastide, Rémi A tool suite for integrating task and system models through scenarios. (English) Zbl 1051.68755 Johnson, Chris (ed.), Interactive systems. Design, specification, and verification. 8th international workshop, DSV-IS 2001. Glasgow, Scotland, GB, June 13–15, 2001. Revised papers. Berlin: Springer (ISBN 3-540-42807-0). Lect. Notes Comput. Sci. 2220, 88-113 (2001). MSC: 68U99 68U35 PDFBibTeX XMLCite \textit{D. Navarre} et al., Lect. Notes Comput. Sci. 2220, 88--113 (2001; Zbl 1051.68755) Full Text: Link
Bastide, R.; Lakos, C.; Palanque, P. A cooperative Petri net editor. (English) Zbl 0976.68535 Agha, Gul A. (ed.) et al., Concurrent object-oriented programming and Petri nets. Advances in Petri nets. Berlin: Springer. Lect. Notes Comput. Sci. 2001, 534-535 (2001). MSC: 68U99 68Q65 PDFBibTeX XMLCite \textit{R. Bastide} et al., Lect. Notes Comput. Sci. 2001, 534--535 (2001; Zbl 0976.68535) Full Text: Link
Bastide, Rémi; Palanque, Philippe Modeling a groupware editing tool with cooperative objects. (English) Zbl 0976.68557 Agha, Gul A. (ed.) et al., Concurrent object-oriented programming and Petri nets. Advances in Petri nets. Berlin: Springer. Lect. Notes Comput. Sci. 2001, 305-318 (2001). MSC: 68U99 68Q85 PDFBibTeX XMLCite \textit{R. Bastide} and \textit{P. Palanque}, Lect. Notes Comput. Sci. 2001, 305--318 (2001; Zbl 0976.68557) Full Text: Link
Bastide, Rémi; Sy, Ousmane; Palanque, Philippe A formal notation and tool for the engineering of CORBA systems. (English) Zbl 1008.68571 Concurrency Pract. Exp. 12, No. 14, 1379-1403 (2000). MSC: 68U99 68M14 68N15 68N19 PDFBibTeX XMLCite \textit{R. Bastide} et al., Concurrency Pract. Exp. 12, No. 14, 1379--1403 (2000; Zbl 1008.68571) Full Text: DOI
Bastide, Rémi; Sy, Ousmane; Navarre, David; Palanque, Philippe A formal specification of the CORBA event service. (English) Zbl 0968.68006 Smith, Scott F. (ed.) et al., Formal methods for open object-based distributed systems IV. IFIP TC6/WG6.1. 4th international conference, FMOODS 2000, Stanford, CA, USA, September 6-8, 2000. Boston: Kluwer Academic Publishers. 371-395 (2000). MSC: 68M14 68Q65 68Q85 PDFBibTeX XMLCite \textit{R. Bastide} et al., in: Formal methods for open object-based distributed systems IV. IFIP TC6/WG6. 1. 4th international conference, FMOODS 2000, Stanford, CA, USA, September 6--8, 2000. Boston: Kluwer Academic Publishers. 371--395 (2000; Zbl 0968.68006)
Palanque, P. (ed.); Paternó, F. (ed.) Formal methods in human-computer interaction. (English) Zbl 0920.68015 Berlin: Springer. xvii, 376 p. (1998). MSC: 68M99 68-01 PDFBibTeX XMLCite \textit{P. Palanque} (ed.) and \textit{F. Paternó} (ed.), Formal methods in human-computer interaction. Berlin: Springer (1998; Zbl 0920.68015)
Benyon, David (ed.); Palanque, Philippe (ed.) Critical issues in user interface systems engineering. Papers of the IFIP workshop, held September 1994. (English) Zbl 0840.68002 Berlin: Springer-Verlag. xv, 294 p. (1996). MSC: 68-06 00B25 PDFBibTeX XMLCite \textit{D. Benyon} (ed.) and \textit{P. Palanque} (ed.), Critical issues in user interface systems engineering. Papers of the IFIP workshop, held September 1994. Berlin: Springer-Verlag (1996; Zbl 0840.68002)
Palanque, Philippe (ed.); Bastide, Rémi (ed.) Design, specification and verification of interactive systems ’95. Proceedings of the Eurographics workshop in Toulouse, France, June 7-9, 1995. (English) Zbl 0829.68006 Springer Computer Science. Wien: Springer-Verlag. x, 370 p. (1995). MSC: 68-06 00B25 PDFBibTeX XMLCite \textit{P. Palanque} (ed.) and \textit{R. Bastide} (ed.), Design, specification and verification of interactive systems '95. Proceedings of the Eurographics workshop in Toulouse, France, June 7-9, 1995. Wien: Springer (1995; Zbl 0829.68006)