FM 2009 - PDF Preprint Papers

FM 2009 World Congress on Formal Methods

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed FM-2009 Paper

click to vote

FM
2009
Springer

190views Formal Methods» more FM 2009»

Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects

14 years 7 months ago

Download heim.ifi.uio.no

Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugﬁxes, feature extensions, or changing user requirements. To facilit...

Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	190	Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects	claim
2	189	Model-Based GUI Testing Using Uppaal at Novo Nordisk	claim
3	171	Formal Management of CAD/CAM Processes	claim
4	169	Model Checking Linearizability via Refinement	claim
5	164	The Denotational Semantics of slotted-Circus	claim
6	163	Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks	claim
7	157	Symbolic Predictive Analysis for Concurrent Programs	claim
8	155	Towards an Operational Semantics for Alloy	claim
9	154	Specification and Verification of Web Applications in Rewriting Logic	claim
10	153	Iterative Refinement of Reverse-Engineered Models by Model-Based Testing	claim
11	146	Verifying Real-Time Systems against Scenario-Based Requirements	claim
12	138	What Can Formal Methods Bring to Systems Biology?	claim
13	134	Partial Order Reductions Using Compositional Confluence Detection	claim
14	127	Automated Property Verification for Large Scale B Models	claim
15	127	A Tableau for CTL	claim
16	124	An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method	claim
17	124	Reasoning about Memory Layouts	claim
18	123	"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis	claim
19	118	Abstract Object Creation in Dynamic Logic	claim
20	118	Certifiable Specification and Verification of C Programs	claim
21	116	Language and Tool Support for Class and State Machine Refinement in UML-B	claim
22	115	Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study	claim
23	110	Reduced Execution Semantics of MPI: From Theory to Practice	claim
24	106	Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way	claim
25	105	Three-Valued Spotlight Abstractions	claim
26	104	A Metric Encoding for Bounded Model Checking	claim
27	104	A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis	claim
28	104	Verifying Information Flow Control over Unbounded Processes	claim
29	104	Sums and Lovers: Case Studies in Security, Compositionality and Refinement	claim
30	101	Formal Reasoning about Expectation Properties for Continuous Random Variables	claim
31	98	Recursive Abstractions for Parameterized Systems	claim
32	95	A Robust Semantics Hides Fewer Errors	claim
33	95	Industrial Practice in Formal Methods: A Review	claim
34	95	It's Doomed; We Can Prove It	claim
35	95	On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery	claim
36	94	Formal Methods for Privacy	claim
37	92	Field-Sensitive Value Analysis by Field-Insensitive Analysis	claim
38	90	Fair Model Checking with Process Counter Abstraction	claim
39	80	Unifying Probability with Nondeterminism	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers