For the most recent entries see the
Petri Nets Newsletter.
Palanque, P.
-
Basnyat, Sandra;
Chozos, Nick;
Johnson, Chris;
Palanque, Philippe:
Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems.
2006.
-
Bastide, Rémi;
Navarre, David;
Palanque, Philippe;
Schyn, Amélie;
Dragicevic, Pierre:
A model-based approach for real-time embedded multimodal systems in military aircrafts.
2004.
-
Bastide, Rémi;
Navarre, David;
Palanque, Philippe:
A tool-supported design framework for safety critical interactive systems.
2003.
-
Bastide, R.;
Lakos, C.;
Palanque, P.:
A Cooperative Petri Net Editor.
2001.
-
Bastide, R.;
Palanque, P.:
Modeling a Groupware Editing Tool with Cooperative Objects.
2001.
-
Bastide, Rémi;
Sy, Ousmane;
Palanque, Philippe:
A formal notation and tool for the engineering of CORBA systems.
2000.
-
Bastide, Rémi;
Sy, Ousmane;
Palanque, Philippe;
Navarre, David:
Formal specification of CORBA services: experience and lessons learned.
2000.
-
Bastide, Rémi;
Sy, Ousmane;
Palanque, Philippe;
Navarre, David:
A Formal Specification of the CORBA Event Service.
2000.
-
Bastide, R.;
Palanque, P.:
A visual and formal glue between application and interaction.
1999.
-
Bastide, Rémi;
Palanque, Philippe;
Sy, Ousmane;
Le, Duc-Hoa;
Navarre, David:
Petri Net Based Behavioural Specification of CORBA Systems.
1999.
-
Accot, J.;
Chatty, S.;
Maury, S.;
Palanque, Ph.:
Formal Transducers: Models of Devices and Building Bricks for Highly Interactive Systems.
1997.
-
Palanque, Ph.;
Bastide, R.;
Paterno, F.:
Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems.
1997.
-
Palanque, Ph.;
Paterno, F.;
Bastide, R.:
Formal Specification for Designing User Interfaces of Air Traffic Control Applications.
1997.
-
Bastide, R.;
Palanque, Ph.:
A Petri Net Based Environment for the Design of Event-Driven Interfaces.
1995.
-
Bastide, R.;
Palanque, P.:
Petri Net Objects for the Design, Validation and Prototyping of User-Driven Interfaces.
1990.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
The link to the author's homepage is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography