| Accueil |
 |
|
|
 |
| Équipes |
|
|
|
 |
| Projets struct. |
|
|
|
|
| Vie du laboratoire |
|
|
|
|
|
 |
Jean-Luc PAILLET
|
 |
|
|
|
Membre de l'équipe COSI |
| |
| Fonction : |
Maître de conférences (MCF) |
| UFR : |
Université de Provence (U1) |
| |
| Tél. : |
04 91 11 36 10 |
| E-mail : |
jean-luc paillet cmiuniv-mrsfr |
| |
| Adresse : |
LSIS - UMR CNRS 6168
Domaine Universitaire de Saint-Jérôme
Avenue Escadrille Normandie-Niemen
13397 MARSEILLE CEDEX 20 |
|
PUBLICATIONS
|
|
@inproceedings {NGiambiasiPaillet07,
audience = {internationale},
author = {N.Giambiasi and J.L. Paillet},
title = {DECM with Min-Max Delays},
booktitle = {CEDS'07 Conference on Computer Design},
address = {Las Vegas, U.S.A.},
month = {June 25--28},
year = {2007},
equipe = {COSI}
}
|
|
|
@inproceedings {ChaneGiambiasiPaillet04a,
audience = {internationale},
author = {F. Chane and N. Giambiasi and J.-L. Paillet},
title = {Formal Specification of Reactive Systems: DEVS or Timed Automata},
booktitle = {Conference on Conceptual Modeling and Simulation},
address = {G\^{e}nes, Italie},
month = {29--31 octobre},
year = {2004},
equipe = {COSI}
}
|
|
|
@inproceedings {PailletJumpamuleGiambiasi04,
audience = {internationale},
author = {J. L. Paillet and W. Jumpamule and N. Giambiasi},
title = {Using DECM to Formally Describe the Behaviour of Controlled Systems},
booktitle = {Conference on Conceptual Modeling and Simulation},
address = {G\^{e}nes, Italie},
month = {29--31 octobre},
year = {2004},
equipe = {COSI}
}
|
|
|
@inproceedings {ChaneGiambiasiPaillet04,
audience = {internationale},
author = {F. Chane and N. Giambiasi and J.-L. Paillet},
title = {From DEVS Model to Timed Automata},
booktitle = {SERP'04, International Conference on Software Engineering Research and Practice},
address = {Las Vegas, Nevada, USA},
month = {21--24 juin},
year = {2004},
equipe = {COSI}
}
|
|
|
@article {JumpamulePailletGiambiasi04,
audience = {internationale},
author = {W. Jumpamule and J.L. Paillet and N. Giambiasi},
title = {Using Simulation for the Validation of High Level Specifications of Control Systems},
journal = {Journal of Intelligent \& Robotic Systems},
volume = {38},
number = {3/4},
pages = {345--375},
month = {d\'{e}cembre},
year = {2003},
note = {Kluwer Acad. Publ., Netherlands},
equipe = {COSI}
}
|
|
|
@inproceedings {GiambiasiPailletChane03,
audience = {internationale},
author = {N. Giambiasi and J.L. Paillet and F. Chane},
title = {From Timed Automata to DEVS Models},
booktitle = {WSC'03},
address = {New Orleans},
month = {d\'{e}cembre},
year = {2003},
equipe = {COSI}
}
|
|
|
@inproceedings {BlancPailletGiambiasi03,
audience = {internationale},
author = {G. Blanc and J.L. Paillet and N. Giambiasi},
title = {A correspondence between DECM and Event Graphs},
booktitle = {SCSC'03, Summer Computer Simulation Conference},
address = {Montreal, Canada},
month = {juillet},
year = {2003},
equipe = {COSI}
}
|
|
|
@techreport {JumpamulePailletGiambiasi03,
author = {W. Jumpamule and J.L. Paillet and N. Giambiasi},
title = {A Methodology for Building High Level Specifications},
type = {Rapport de recherche},
institution = {LSIS, Universit\'{e} de Provence},},
number = {LSIS.RR.2003.004},
month = {mars},
year = {2003},
equipe = {COSI}
}
|
|
|
@article {PailletGiambiasi02,
audience = {internationale},
author = {J.L. Paillet and N. Giambiasi},
title = {DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real- Time Systems},
journal = {Journal of Intelligent \& Robotic Systems},
number = {34},
pages = {27-81},
publisher = {Kluwer Academic Publishers},
year = {2002},
equipe = {COSI}
}
|
|
|
@inproceedings {PailletGiambiasi02a,
audience = {internationale},
author = {J.L. Paillet and N.Giambiasi},
title = {Hardware Implementation of Control Systems from DECM High Level Specifications},
booktitle = {AIS'2002, AI, Simulation and Planning in High Autonomy Systems},
pages = {51-56},
address = {Lisbonne, Portugal},
year = {2002},
equipe = {COSI}
}
|
|
|
@inproceedings {GiambiasiPailletJumpamule01,
audience = {internationale},
author = {N.Giambiasi and W. Jumpamule and J.L. Paillet},
title = {An extension of Discrete Event High Level Specification DECM Formal Language},
booktitle = {ESS01,3th European Simulation Symposium and Exhibition},
address = {Marseille, France},
year = {2001},
equipe = {COSI}
}
|
|
|
@inproceedings {JumpamuleGiambiasiPaillet01,
audience = {internationale},
author = {W. Jumpamule and N.Giambiasi and J.L. Paillet},
title = {Validation of Discrete Event High Level Specification by Simulation},
booktitle = {Proc. of ESM2001, 15th European Simulation Multiconference},
pages = {230-234},
address = {Prague, Rep. Tch\`{e}que},
year = {2001},
equipe = {COSI}
}
|
|
|
@inproceedings {JumpamulePailletGiambiasi01,
audience = {internationale},
author = {W. Jumpamule and J.L. Paillet and N.Giambiasi},
title = {DECM Modelling Methodology for Control Systems},
booktitle = {Proc. of NCSEC 2001, Fith National Computer Science and Engineering Conference},
pages = {177-184},
address = {Chiang Mai, Tha\"{\i}lande},
year = {2001},
equipe = {COSI}
}
|
|
|
@inproceedings {Paillet01,
audience = {internationale},
author = {J.L. Paillet},
title = {Formal Methods: High Level Specifications of Discrete Event Systems},
booktitle = {Proc. of NCSEC 2001, Fith Nationel Computer Science and Engineering Conference},
pages = {13-22},
address = {Chiang Mai, Tha\"{\i}lande},
year = {2001},
note = {conf\'{e}rence invit\'{e}e},},
equipe = {COSI}
}
|
|
|
@inproceedings {GiambiasiJumpamulePaillet01,
audience = {internationale},
author = {N.Giambiasi and J.L.Paillet and W.Jumpamule},
title = {An extension of Discrete Event High Level Specification DECM Formal Language},
booktitle = {Proc. of ESS'01 (13th European Simulation Symposium and Exhibition)},
address = {Marseille, France},
month = {octobre},
year = {2001},
equipe = {COSI}
}
|
|
|
@inproceedings {GiambiasiPaillet00,
audience = {internationale},
author = {N. Giambiasi and J.L. Paillet},
title = {FEOS-DECM: a High Level Event Oriented Formalism for the Specification of Control Systems},
booktitle = {AIS'2000, AI Simulation and Planning in High Autonomy Systems},
address = {Tucson, USA},
year = {2000},
equipe = {COSI}
}
|
|
|
@inproceedings {PailletGiambiasi00,
audience = {internationale},
author = {J.L. Paillet and N. Giambiasi},
title = {An User Oriented Discrete Event Language for High Level Specification.},
booktitle = {4th World Multiconf. on Systemics, Cybernetics and Informatics (SCI'2000) and 6th Intern. Conf. on Information Systems Analysis and Synthesis (ISAS'2000)},
address = {Orlando, Florida, USA},
year = {2000},
equipe = {COSI}
}
|
|
|
@inproceedings {GiambiasiJumpamulePaillet99,
audience = {internationale},
author = {N. Giambiasi and W. Jumpamule and J.L. Paillet},
title = {High Level Specifications of Control systems},
booktitle = {15th International Conference on CAD/CAM, Robotics and Factories of the Future CARS and FOF'99},
address = {Aguas de Lindoia, Bresil},
year = {1999},
equipe = {COSI}
}
|
|
|
@inproceedings {Paillet99,
audience = {internationale},
author = {J.L. Paillet},
title = {Tau-calculus, a multilevel specification methodology},
booktitle = {EDCC-3, European Dependable Computing Conference},
address = {Prague},
year = {1999},
equipe = {COSI}
}
|
|
|
@inproceedings {PailletMuntean99,
audience = {internationale},
author = {J.L. Paillet and T. Muntean},
title = {Tau-calculus, a Multilevel Specification and Design Methodology for Reliable Systems},
booktitle = {Conf. on High Reliable Hard- and Software Systems, HighSys'99},
address = {M\"{u}nchen},
year = {1999},
equipe = {COSI}
}
|
|
|
@techreport {Paillet99a,
author = {J.L. Paillet},
title = {DECM (Discrete Event Calculus Model): Un mod\`{e}le \`{a} \'{e}v\'{e}nements discrets pour la sp\'{e}cification de haut niveau des syst\`{e}mes r\'{e}actifs},
type = {Rapport de recherche},
institution = {LIM, Universit\'{e} de Provence},
number = {308},
year = {1999},
equipe = {COSI}
}
|
|
|
@inproceedings {Paillet98,
audience = {internationale},
author = {J.L. Paillet},
title = {A Case Study: Specifying an Invoicing System by means of the P-calculus},
booktitle = {Proc. of Internat. Workshop on Comparing Systems Specification Techniques, Invoice98},
pages = {35-50},
address = {Nantes, France},
year = {1998},
equipe = {COSI}
}
|
|
|
@inproceedings {PailletGiambiasi98,
audience = {internationale},
author = {J.L. Paillet and N. Giambiasi},
title = {Discrete Event Calculus Model, a hilgh level specification language for discrete event systems},
booktitle = {ESS'98, 10th European Simulation Symposium and Exhibition},
address = {Nottingham},
year = {1998},
equipe = {COSI}
}
|
|
|
|
|
|
|
| Recherche |
|
|
|
|
| Enseignement |
|
|
|
|
| Liens |
|
|
|
|
|
