Publications :: Search

Show author

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

Author information
First name:	Claire
Last name:	Loiseaux
DBLP:	87/2231
Rating:	(not rated yet)
Bookmark:

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

Show item 1 to 7 of 7  

Select a publication
Show	Title	Venue	Rating	Date
	Daniel Le Métayer, Claire Loiseaux. ASTRA : A Security Analysis Method Based on Asset Tracking.	Proceedings of The IFIP TC-11 23rd International Information Security Conference, IFIP 20th World Computer Congress, IFIP SEC 2008, September 7-10, 2008, Milano, Italy 2008	(0)	2008
	Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux. Formal Methods in Context: Security and Java Card.	Java on Smart Cards: Programming and Security, First International Workshop, JavaCard 2000, Cannes, France, September 14, 2000, Revised Papers 2001	(0)	2000
	Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux. Formal Methods in Practice: The Missing Links. A Perspective from the Security Area.	Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 2001	(0)	2000
	Claire Loiseaux, Susanne Graf, Joseph Sifakis, Ahmed Bouajjani, Saddek Bensalem. Property Preserving Abstractions for the Verification of Concurrent Systems.	Formal Methods in System Design 1995, Volume 6	(0)	1995
	Susanne Graf, Claire Loiseaux. A Tool for Symbolic Program Verification and Abstration.	Computer Aided Verification, 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993, Proceedings 1993	(0)	1993
	Susanne Graf, Claire Loiseaux. Property Preserving Abstractions under Parallel Composition.	TAPSOFT'93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings 1993	(0)	1993
	Saddek Bensalem, Ahmed Bouajjani, Claire Loiseaux, Joseph Sifakis. Property Preserving Simulations.	Computer Aided Verification, Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings 1993	(0)	1992

Your query returned 7 matches in the database.