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: Palanque:Philippe_A=
Facilitated 1 volumes:
EdContributed to:
20132009
2000
19991999
19931993Wrote 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.