|
Search the dblp DataBase
Pierre-Loïc Garoche:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation. [Citation Graph (0, 0)][DBLP] FMOODS, 2006, pp:78-92 [Conf]
- Cyrille Artho, Pierre-Loïc Garoche
Accurate Centralization for Applying Model Checking on Networked Applications. [Citation Graph (0, 0)][DBLP] ASE, 2006, pp:177-188 [Conf]
- Kenji Tei, Christian Sommer 0002, Yoshiaki Fukazawa, Shinichi Honiden, Pierre-Loïc Garoche
Adaptive Geographically Bound Mobile Agents. [Citation Graph (0, 0)][DBLP] MSN, 2006, pp:353-364 [Conf]
- Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation [Citation Graph (0, 0)][DBLP] CoRR, 2006, v:0, n:, pp:- [Journal]
Towards a Formal Verification of Process Model's Properties SIMPLEPDL and TOCL Case Study. [Citation Graph (, )][DBLP]
A Property-Driven Approach to Formal Verification of Process Models. [Citation Graph (, )][DBLP]
Search in 0.046secs, Finished in 0.047secs
|