formal methods | Sciweavers

32

click to vote

FMOODS
2008

114views Formal Methods» more FMOODS 2008»

Sessions and Pipelines for Structured Service Programming

14 years 1 months ago

Download www.di.unipi.it

Michele Boreale, Roberto Bruni, Rocco De Nicola, M...

claim paper

Read More »

64

click to vote

FMOODS
2008

187views Formal Methods» more FMOODS 2008»

Symbolic Step Encodings for Object Based Communicating State Machines

14 years 1 months ago

Download www.tcs.hut.fi

In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...

Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko

claim paper

Read More »

26

click to vote

FMOODS
2008

108views Formal Methods» more FMOODS 2008»

Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers

14 years 1 months ago

Download seclab.uiuc.edu

Rohit Chadha, Carl A. Gunter, José Meseguer...

claim paper

Read More »

39

click to vote

FMOODS
2008

149views Formal Methods» more FMOODS 2008»

Termination Analysis of Java Bytecode

14 years 1 months ago

Download www.clip.dia.fi.upm.es

Abstract. Termination analysis has received considerable attention, traditionally in the context of declarative programming, and recently also for imperative languages. In existing...

Elvira Albert, Puri Arenas, Michael Codish, Samir ...

claim paper

Read More »

37

click to vote

FMOODS
2008

114views Formal Methods» more FMOODS 2008»

Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus

14 years 1 months ago

Download wslc.math.ist.utl.pt

We analyse the relationship between object-oriented modelling and session-based, service-oriented modelling, starting from a typical UML Sequence Diagram and providing a program tr...

Luís Cruz-Filipe, Ivan Lanese, Francisco Ma...

claim paper

Read More »

34

click to vote

FMOODS
2008

125views Formal Methods» more FMOODS 2008»

Modeling and Model Checking Software Product Lines

14 years 1 months ago

Download www4.in.tum.de

Abstract. Software product line engineering combines the individual developments of systems to the development of a family of systems consisting of common and variable assets. In t...

Alexander Gruler, Martin Leucker, Kathrin D. Schei...

claim paper

Read More »

42

click to vote

FORTE
2007

177views Formal Methods» more FORTE 2007»

Coordination Via Types in an Event-Based Framework

14 years 1 months ago

Download rap.dsi.unifi.it

We propose a novel approach to service choreography through a typed process calculus that features an event notiﬁcation paradigm for coordinating distributed components (e.g., se...

GianLuigi Ferrari, Roberto Guanciale, Daniele Stro...

claim paper

Read More »

37

click to vote

FORTE
2007

139views Formal Methods» more FORTE 2007»

The DHCP Failover Protocol: A Formal Perspective

14 years 1 months ago

Download groups.csail.mit.edu

Abstract. We present a formal speciﬁcation and analysis of a faulttolerant DHCP algorithm, used to automatically conﬁgure certain host parameters in an IP network. Our algorith...

Rui Fan, Ralph E. Droms, Nancy D. Griffeth, Nancy ...

claim paper

Read More »

23

click to vote

FORTE
2007

100views Formal Methods» more FORTE 2007»

Improvements for the Symbolic Verification of Timed Automata

14 years 1 months ago

Download www-verimag.imag.fr

Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan...

claim paper