Pierre-Loïc Garoche

	2012
12		Pierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche, Eric Feron: A generic ellipsoid abstract domain for linear time invariant systems. HSCC 2012: 105-114
11		Heber Herencia-Zapana, Romain Jobredeaux, Sam Owre, Pierre-Loïc Garoche, Eric Feron, Gilberto Perez, Pablo Ascariz: PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL. NASA Formal Methods 2012: 147-161
10		Temesghen Kahsai, Pierre-Loïc Garoche, Cesare Tinelli, Mike Whalen: Incremental Verification with Mode Variable Invariants in State Machines. NASA Formal Methods 2012: 388-402
	2010
9		Pierre Roux, Remi Delmas, Pierre-Loïc Garoche: SMT-AI: an Abstract Interpreter as Oracle for k-induction. Electr. Notes Theor. Comput. Sci. 267(2): 55-68 (2010)
	2009
8		Benoît Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux: Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification. JSW 4(9): 943-958 (2009)
	2007
7		Benoît Combemale, Pierre-Loïc Garoche, Xavier Crégut, Xavier Thirioux, François Vernadat: Towards a Formal Verification of Process Model's Properties SIMPLEPDL and TOCL Case Study. ICEIS (3) 2007: 80-89
6		Benoît Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux, François Vernadat: A Property-Driven Approach to Formal Verification of Process Models. ICEIS (Selected Papers) 2007: 286-300
5		Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux: Abstract Interpretation-based Static Safety for Actors. JSW 2(3): 87-98 (2007)
	2006
4		Cyrille Artho, Pierre-Loïc Garoche: Accurate Centralization for Applying Model Checking on Networked Applications. ASE 2006: 177-188
3		Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux: Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation. FMOODS 2006: 78-92
2		Kenji Tei, Christian Sommer, Yoshiaki Fukazawa, Shinichi Honiden, Pierre-Loïc Garoche: Adaptive Geographically Bound Mobile Agents. MSN 2006: 353-364
1		Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux: Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation CoRR abs/cs/0611139: (2006)

Coauthor Index

1	Cyrille Artho (Cyrille Valentin Artho)	[4]
2	Pablo Ascariz	[11]
3	Benoît Combemale	[6] [7] [8]
4	Xavier Crégut	[6] [7] [8]
5	Remi Delmas	[9]
6	Eric Feron	[11] [12]
7	Yoshiaki Fukazawa	[2]
8	Heber Herencia-Zapana	[11]
9	Shinichi Honiden	[2]
10	Romain Jobredeaux	[11] [12]
11	Temesghen Kahsai	[10]
12	Sam Owre	[11]
13	Marc Pantel	[1] [3] [5]
14	Gilberto Perez	[11]
15	Pierre Roux	[9] [12]
16	Christian Sommer	[2]
17	Kenji Tei	[2]
18	Xavier Thirioux	[1] [3] [5] [6] [7] [8]
19	Cesare Tinelli	[10]
20	François Vernadat	[6] [7]
21	Mike Whalen	[10]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page