BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
1 × Portugal
4 × USA
Collaborated with:
R.Bastide O.Sy L.Dourte C.Martinie D.Navarre C.Farenc G.Brat J.Ladry E.Barboni C.Sibertin-Blanc M.Galindo M.Winckler P.Forbrig
Talks about:
formal (5) system (4) interact (3) prototyp (2) specif (2) design (2) corba (2) architectur (1) curriculum (1) structur (1)

Person: Philippe A. Palanque

DBLP DBLP: Palanque:Philippe_A=

Facilitated 1 volumes:

CHI 2014Ed

Contributed to:

HCI p1 20132013
HCI p1 20092009
OOPSLA 20002000
ECOOP 19991999
HCI v1 19991999
CAiSE 19931993
HCI v2 19931993

Wrote 8 papers:

HCI-AMTE-2013-BratMP #interactive #model checking #semantics
V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems through Model Checking of Formal Description of Dialog (GB, CM, PAP), pp. 290–299.
HCI-AMTE-2013-GalindoMPWF #aspect-oriented #education #human-computer #interactive #student
Tuning an HCI Curriculum for Master Students to Address Interactive Critical Systems Aspects (MG, CM, PAP, MW, PF), pp. 51–60.
HCI-NT-2009-PalanqueLNB #interactive #prototype
High-Fidelity Prototyping of Interactive Systems Can Be Formal Too (PAP, JFL, DN, EB), pp. 667–676.
OOPSLA-2000-BastidePSN #corba #experience #lessons learnt #specification
Formal specification of CORBA services: experience and lessons learned (RB, PAP, OS, DN), pp. 105–117.
ECOOP-1999-BastideSP #corba #prototype #specification
Formal Specification and Prototyping of CORBA Systems (RB, OS, PAP), pp. 474–494.
HCI-EI-1999-FarencP #architecture #performance
An Extensible Architecture to Support the Structuring and the efficient Exploitation of Ergonomic Rules (CF, PAP), pp. 1038–1042.
CAiSE-1993-PalanqueBDS #design #interface #petri net #using
Design of User-Driven Interfaces Using Petri Nets and Objects (PAP, RB, LD, CSB), pp. 569–585.
HCI-SHI-1993-PalanqueBD #design #for free
Contextual Help for Free with Formal Dialogue Design (PAP, RB, LD), pp. 615–620.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.