Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Étienne
Last name:	Payet
DBLP:	00/5618
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 10 of 23  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Étienne Payet, Fausto Spoto. Static analysis of Android programs.	Information Software Technology 2012, Volume 54	(0)	2012
	Conference paper Étienne Payet, Fausto Spoto. Static Analysis of Android Programs.	Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings 2011	(0)	2011
	Journal article Fausto Spoto, Étienne Payet. Magic-sets for localised analysis of Java bytecode.	Higher-Order and Symbolic Computation 2010, Volume 23	(0)	2010
	Conference paper Fausto Spoto, Frédéric Mesnard, Étienne Payet. A termination analyzer for Java bytecode based on path-length.	ACM Trans. Program. Lang. Syst. 2010, Volume 32	(0)	2010
	Conference paper Étienne Payet, Fausto Spoto. Experiments with Non-Termination Analysis for Java Bytecode.	Electr. Notes Theor. Comput. Sci. 2009, Volume 253	(0)	2009
	Conference paper Étienne Payet, Frédéric Mesnard. A non-termination criterion for binary constraint logic programs.	TPLP 2009, Volume 9	(0)	2009
	Conference paper Étienne Payet, Frédéric Mesnard. A Non-Termination Criterion for Binary Constraint Logic Programs	CoRR 2008, Volume 0	(0)	2008
	Conference paper Étienne Payet. Loop detection in term rewriting using the eliminating unfoldings.	Theor. Comput. Sci. 2008, Volume 403	(0)	2008
	Conference paper Étienne Payet, Fausto Spoto. Magic-Sets Transformation for the Analysis of Java Bytecode.	Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings 2007	(0)	2007
	Conference paper Étienne Payet. Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator.	Logic-Based Program Synthesis and Transformation, 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers 2007	(0)	2006

Show item 1 to 10 of 23  

Your query returned 23 matches in the database.