Publications :: Search

Show venue

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

Conference
Name:	Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings 2008
DBLP:	db/conf/fmoods/fmoods2008.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 15  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Jan Schäfer, Arnd Poetzsch-Heffter. CoBoxes: Unifying Active Objects and Structured Heaps.	Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings 2008	(1)	2008
	Conference paper Tim McComb, Graeme Smith. A Minimal Set of Refactoring Rules for Object-Z.	Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings 2008	(0)	2008
	Conference paper Andrew Myers. Guiding Distributed Systems Synthesis with Language-Based Security Policies.	Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings 2008	(0)	2008
	Conference paper Alexander Gruler, Martin Leucker, Kathrin D. Scheidemann. Modeling and Model Checking Software Product Lines.	Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings 2008	(0)	2008
	Conference paper Xavier Renault, Jérôme Hugues, Fabrice Kordon. Formal Modeling of a Generic Middleware to Ensure Invariant Properties.	Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings 2008	(0)	2008
	Conference paper John Derrick, Gerhard Schellhorn, Heike Wehrheim. Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.	Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings 2008	(0)	2008
	Conference paper Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos. Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus.	Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings 2008	(0)	2008
	Conference paper Dries Vanoverberghe, Frank Piessens. A Caller-Side Inline Reference Monitor for an Object-Oriented Intermediate Language.	Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings 2008	(0)	2008
	Conference paper Michael Katelman, José Meseguer, Jennifer C. Hou. Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking.	Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings 2008	(0)	2008
	Conference paper Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini. Termination Analysis of Java Bytecode.	Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings 2008	(0)	2008

Show item 1 to 10 of 15  

Your query returned 15 matches in the database.