| 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
|
|
2007 | Conférences avec actes | Internationales | | |
[1] N. Giambiasi, J.-L. Paillet, “DECM with Min-Max Delays”, in: CEDS'07 Conference on Computer Design, Las Vegas, U.S.A., June 25-28 2007.[bib] |
|
|
2004 | Conférences avec actes | | |
[2] J.-L. Paillet, W. Jumpamule, N. Giambiasi, “Using DECM to Formally Describe the Behaviour of Controlled Systems”, in: Conference on Conceptual Modeling and Simulation, Gênes, Italie, 29-31 octobre 2004.[bib] |
|
|
|
[3] F. Chane, N. Giambiasi, J.-L. Paillet, “Formal Specification of Reactive Systems: DEVS or Timed Automata”, in: Conference on Conceptual Modeling and Simulation, Gênes, Italie, 29-31 octobre 2004.[bib] |
|
|
|
[4] F. Chane, N. Giambiasi, J.-L. Paillet, “From DEVS Model to Timed Automata”, in: SERP'04, International Conference on Software Engineering Research and Practice, Las Vegas, Nevada, USA, 21-24 juin 2004.[bib] |
|
|
2003 | Articles (revue) | Internationaux | | |
[5] W. Jumpamule, J.-L. Paillet, N. Giambiasi, “Using Simulation for the Validation of High Level Specifications of Control Systems”, in: Journal of Intelligent & Robotic Systems, vol. 38, n° 3/4, pp. 345-375, décembre 2003. Kluwer Acad. Publ., Netherlands.[bib] |
|
|
Conférences avec actes | Internationales | | |
[6] N. Giambiasi, J.-L. Paillet, F. Chane, “From Timed Automata to DEVS Models”, in: WSC'03, New Orleans, décembre 2003.[bib] |
|
|
|
[7] G. Blanc, J.-L. Paillet, N. Giambiasi, “A correspondence between DECM and Event Graphs”, in: SCSC'03, Summer Computer Simulation Conference, Montreal, Canada, juillet 2003.[bib] |
|
|
Rapports de recherche | | |
[8] W. Jumpamule, J.-L. Paillet, N. Giambiasi, “A Methodology for Building High Level Specifications”, Rapport de recherche, LSIS, Université de Provence,, n° LSIS.RR.2003.004, mars 2003.[bib] |
|
|
2002 | Articles (revue) | Internationaux | | |
[9] J.-L. Paillet, N. Giambiasi, “DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real- Time Systems”, in: Journal of Intelligent & Robotic Systems, n° 34, pp. 27-81, Kluwer Academic Publishers, 2002.[bib] |
|
|
Conférences avec actes | Internationales | | |
[10] J.-L. Paillet, N. Giambiasi, “Hardware Implementation of Control Systems from DECM High Level Specifications”, in: AIS'2002, AI, Simulation and Planning in High Autonomy Systems, pp. 51-56, Lisbonne, Portugal, 2002.[bib] |
|
|
2001 | Conférences avec actes | | |
[11] W. Jumpamule, J.-L. Paillet, N. Giambiasi, “DECM Modelling Methodology for Control Systems”, in: Proc. of NCSEC 2001, Fith National Computer Science and Engineering Conference, pp. 177-184, Chiang Mai, Thaïlande, 2001.[bib] |
|
|
|
[12] W. Jumpamule, N. Giambiasi, J.-L. Paillet, “Validation of Discrete Event High Level Specification by Simulation”, in: Proc. of ESM2001, 15th European Simulation Multiconference, pp. 230-234, Prague, Rep. Tchèque, 2001.[bib] |
|
|
|
[13] N. Giambiasi, W. Jumpamule, J.-L. Paillet, “An extension of Discrete Event High Level Specification DECM Formal Language”, in: ESS01,3th European Simulation Symposium and Exhibition, Marseille, France, 2001.[bib] |
|
|
|
[14] J.-L. Paillet, “Formal Methods: High Level Specifications of Discrete Event Systems”, in: Proc. of NCSEC 2001, Fith Nationel Computer Science and Engineering Conference, pp. 13-22, Chiang Mai, Thaïlande, 2001. conférence invitée,.[bib] |
|
|
|
[15] N. Giambiasi, J.-L. Paillet, W.Jumpamule, “An extension of Discrete Event High Level Specification DECM Formal Language”, in: Proc. of ESS'01 (13th European Simulation Symposium and Exhibition), Marseille, France, octobre 2001.[bib] |
|
|
2000 | Conférences avec actes | | |
[16] N. Giambiasi, J.-L. Paillet, “FEOS-DECM: a High Level Event Oriented Formalism for the Specification of Control Systems”, in: AIS'2000, AI Simulation and Planning in High Autonomy Systems, Tucson, USA, 2000.[bib] |
|
|
|
[17] J.-L. Paillet, N. Giambiasi, “An User Oriented Discrete Event Language for High Level Specification.”, in: 4th World Multiconf. on Systemics, Cybernetics and Informatics (SCI'2000) and 6th Intern. Conf. on Information Systems Analysis and Synthesis (ISAS'2000), Orlando, Florida, USA, 2000.[bib] |
|
|
1999 | Conférences avec actes | | |
[18] N. Giambiasi, W. Jumpamule, J.-L. Paillet, “High Level Specifications of Control systems”, in: 15th International Conference on CAD/CAM, Robotics and Factories of the Future CARS and FOF'99, Aguas de Lindoia, Bresil, 1999.[bib] |
|
|
|
[19] J.-L. Paillet, T. Muntean, “Tau-calculus, a Multilevel Specification and Design Methodology for Reliable Systems”, in: Conf. on High Reliable Hard- and Software Systems, HighSys'99, München, 1999.[bib] |
|
|
|
[20] J.-L. Paillet, “Tau-calculus, a multilevel specification methodology”, in: EDCC-3, European Dependable Computing Conference, Prague, 1999.[bib] |
|
|
Rapports de recherche | | |
[21] J.-L. Paillet, “DECM (Discrete Event Calculus Model): Un modèle à événements discrets pour la spécification de haut niveau des systèmes réactifs”, Rapport de recherche, LIM, Université de Provence, n° 308, 1999.[bib] |
|
|
1998 | Conférences avec actes | Internationales | | |
[22] J.-L. Paillet, N. Giambiasi, “Discrete Event Calculus Model, a hilgh level specification language for discrete event systems”, in: ESS'98, 10th European Simulation Symposium and Exhibition, Nottingham, 1998.[bib] |
|
|
|
[23] J.-L. Paillet, “A Case Study: Specifying an Invoicing System by means of the P-calculus”, in: Proc. of Internat. Workshop on Comparing Systems Specification Techniques, Invoice98, pp. 35-50, Nantes, France, 1998.[bib] |
|
|
|
|
|
|
| Recherche |
|
|
|
|
| Enseignement |
|
|
|
|
| Liens |
|
|
|
|
|
