Publications :: Search

Show venue

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

Conference
Name:	FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings 2011
URL:	http://dx.doi.org/10.1007/978-3-642-21437-0
DBLP:	db/conf/fm/fm2011.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 32  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Gabriel Ciobanu, Maciej Koutny. Timed Migration and Interaction with Access Permissions.	FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings 2011	(1)	2011
	Conference paper Guodong Li. Validated Compilation through Logic.	FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings 2011	(0)	2011
	Conference paper Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß. The 1st Verified Software Competition: Experience Report.	FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings 2011	(0)	2011
	Conference paper Nuno Amálio, Christian Glodt, Pierre Kelsen. Building VCL Models and Automatically Generating Z Specifications from Them.	FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings 2011	(0)	2011
	Conference paper Gilles Barthe, Juan Manuel Crespo, César Kunz. Relational Verification Using Product Programs.	FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings 2011	(0)	2011
	Conference paper Zhenbang Chen, Zhiming Liu, Ji Wang. Failure-Divergence Refinement of Compensating Communicating Processes.	FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings 2011	(0)	2011
	Conference paper Peter Müller, Joseph N. Ruskiewicz. Using Debuggers to Understand Failed Verification Attempts.	FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings 2011	(0)	2011
	Conference paper Jonathan P. Bowen, Steve Reeves. From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community.	FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings 2011	(0)	2011
	Conference paper Werner Damm, Bernd Finkbeiner. Does It Pay to Extend the Perimeter of a World Model?	FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings 2011	(0)	2011
	Conference paper Fabienne Boyer, Olivier Gruber, Gwen Salaün. Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS NT and CADP.	FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings 2011	(0)	2011

Show item 1 to 25 of 32  

Your query returned 32 matches in the database.