logo EDITE Frédéric PESCHANSKI
Identité
Frédéric PESCHANSKI
État académique
Thèse soutenue le 2002-06-17
Laboratoire: personnel permanent
Encadrement de thèses (depuis 2007)
1
Voisinage
Ellipse bleue: doctorant, ellipse jaune: docteur, rectangle vert: permanent, rectangle jaune: HDR. Trait vert: encadrant de thèse, trait bleu: directeur de thèse, pointillé: jury d'évaluation à mi-parcours ou jury de thèse.
Productions scientifiques
978 1 60750 065 0
A Denotational Study of Mobility
Communicating Process Architectures 2009
oai:hal.archives-ouvertes.fr:hal-00628489
A Petri Net Interpretation of Open Reconfigurable Systems
Applications and Theory of Petri Nets, Newcastle Royaume-Uni 2011
oai:hal.archives-ouvertes.fr:hal-00628492
Parallel Computing with the Pi-calculus
Declarative Aspects of Multicore Programming, DAMP 2011, Austin, Texas États-Unis 2011
oai:hal.archives-ouvertes.fr:hal-00628499
A Decidable Characterization of a Graphical Pi-calculus with Iterators
International Workshop on Verification of Infinite-State Systems (INFINITY 2010), Singapour 2010
http://majecstic2009.univ-avignon.fr/Actes_MajecSTIC_RJCP/MajecSTIC/articles/1282.pdf
Intégration des fautes dans un modèle de programmation pour réseaux mobiles
MajecSTIC'09 2009
http://www-desir.lip6.fr/publications/pub_1284_1_bialkpesch.pdf
Logic for Mobility: A Denotational Approach
Second International Workshop on Logics for Agents and Mobility 2009
edite:13327925531175
Modelling and Verifying Mobile Systems Using Pi-Graphs
35th International Conference on Current Trends in Theory and Practice of Computer Science (Sofsem 2009) 2009
edite:13327925641303
Towards Efficient Coordination in Open MAS using Graphical Utility Models
International Workshop on Optimisation in Multi-Agent Systems 2009