Antonio Cerone, Stefan Gruner
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods
SEFM, 2008.

@proceedings{SEFM-2008,
	address       = "Cape Town, South Africa",
	editor        = "Antonio Cerone and Stefan Gruner",
	ee            = "http://www.computer.org/csdl/proceedings/sefm/2008/3437/00/index.html",
	isbn          = "978-0-7695-3437-4",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods}",
	year          = 2008,
}

Contents (40 items)

6 ×#modelling
6 ×#testing
4 ×#using
4 ×#verification
3 ×#behaviour
3 ×#component
3 ×#generative
2 ×#abstract interpretation
2 ×#aspect-oriented
2 ×#calculus

SEFM-2008-Giacobazzi #abstract interpretation #security

Abstract Interpretation in Code Security (RG), p. 3.

SEFM-2008-Giacobazzi08a #obfuscation

Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking (RG), pp. 7–18.

SEFM-2008-Spoto #analysis

Nullness Analysis in Boolean Form (FS), pp. 21–30.

SEFM-2008-Cortesi #abstract interpretation

Widening Operators for Abstract Interpretation (AC), pp. 31–40.

SEFM-2008-Ferrara #parallel #source code #static analysis #thread

Static Analysis of the Determinism of Multithreaded Programs (PF), pp. 41–50.

SEFM-2008-HansenG

Cheap and Small Counterexamples (HH, JG), pp. 53–62.

SEFM-2008-FranzleH #approximate #calculus #model checking #performance

Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations (MF, MRH), pp. 63–72.

SEFM-2008-EdelkampS #ltl #model checking

Flash-Efficient LTL Model Checking with Minimal Counterexamples (SE, DS), pp. 73–82.

SEFM-2008-HofnerKM #algebra

Algebraic View Reconciliation (PH, RK, BM), pp. 85–94.

SEFM-2008-SchaeferP #adaptation #composition #embedded #modelling #reasoning #verification

Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems (IS, APH), pp. 95–104.

SEFM-2008-TschantzW #policy

Extracting Conditional Confidentiality Policies (MCT, JMW), pp. 107–116.

SEFM-2008-SalasK #modelling #policy #privacy #testing #using

Testing Privacy Policies Using Models (PAPS, PK), pp. 117–126.

SEFM-2008-BartheKPS #hybrid #proving #verification

Preservation of Proof Pbligations for Hybrid Verification Methods (GB, CK, DP, JSF), pp. 127–136.

SEFM-2008-BonifacioMS #generative #modelling #testing

A Generalized Model-Based Test Generation Method (ALB, AVM, AdSS), pp. 139–148.

SEFM-2008-KahsaiRS #product line #testing

Specification-Based Testing for Software Product Lines (TK, MR, BHS), pp. 149–158.

SEFM-2008-Gladisch #branch #generative #testing

Verification-Based Test Case Generation for Full Feasible Branch Coverage (CG), pp. 159–168.

SEFM-2008-BhatejaM #message passing #testing

Tagging Make Local Testing of Message-Passing Systems Feasible (PB, MM), pp. 171–180.

SEFM-2008-XavierHM #fault tolerance #source code #using #verification

Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs (KSX, SH, ACVdM), pp. 181–190.

SEFM-2008-SampathRRS #behaviour #code generation #testing

Behaviour Directed Testing of Auto-code Generators (PS, ACR, SR, KCS), pp. 191–200.

SEFM-2008-MerayoHN

Extending Stream X-Machines to Specify and Test Systems with Timeouts (MGM, RMH, MN), pp. 201–210.

SEFM-2008-Roggenbach #csp #tool support

Tools for CSP (MR), pp. 213–214.

SEFM-2008-SilvaSL #object-oriented #semantics

Laws of Object-Orientation with Reference Semantics (LS, AS, ZL), pp. 217–226.

SEFM-2008-DjokoDF #aspect-oriented

Specialized Aspect Languages Preserving Classes of Properties (SDD, RD, PF), pp. 227–236.

SEFM-2008-GorankoS #distributed #logic #multi

Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge (VG, DS), pp. 237–246.

SEFM-2008-CimattiRST #constraints #modelling

Object Models with Temporal Constraints (AC, MR, AS, ST), pp. 249–258.

SEFM-2008-PhamTTC #algorithm #bound #java #memory management #performance

A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets (THP, AHT, NTT, WNC), pp. 259–267.

SEFM-2008-BalakrishnanG #fault #named

PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes (GB, MKG), pp. 268–278.

SEFM-2008-OliveiraGC #calculus #named #refinement

CRefine: Support for the Circus Refinement Calculus (MO, ACG, CGdC), pp. 281–290.

SEFM-2008-TavaresSM #constraints #embedded #energy #scheduling

An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints (ET, BS, PRMM), pp. 291–300.

SEFM-2008-IzadiBC #component #modelling

Modeling Component Connectors: Synchronisation and Context-Dependency (MI, MMB, DC), pp. 303–312.

SEFM-2008-Salaun #generative #protocol #specification

Generation of Service Wrapper Protocols from Choreography Specifications (GS), pp. 313–322.

SEFM-2008-LaneseGMZ

Bridging the Gap between Interaction- and Process-Oriented Choreographies (IL, CG, FM, GZ), pp. 323–332.

SEFM-2008-GuoS #finite #impact analysis #proving #state machine #theorem proving #using

Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover (BG, MS), pp. 335–344.

SEFM-2008-GhassemiFM #process #strict

Restricted Broadcast Process Theory (FG, WF, AM), pp. 345–354.

SEFM-2008-RuksenasCB #behaviour #game studies #modelling

Modelling Rational User Behaviour as Games between an Angel and a Demon (RR, PC, AB), pp. 355–364.

SEFM-2008-PetrenkoP #challenge #formal method

Formal Methods and Innovation Economy: Facing New Challenges (AKP, OLP), pp. 367–371.

SEFM-2008-Hammal #behaviour #component

Behavioral Compatibility of Active Components (YH), pp. 372–376.

SEFM-2008-QuintonG #component #contract #verification

Contract-Based Verification of Hierarchical Systems of Components (SQ, SG), pp. 377–381.

SEFM-2008-TruongTHNTH #aspect-oriented #interactive #interface #programming #protocol #using

Checking Interface Interaction Protocols Using Aspect-Oriented Programming (AHT, TBT, DVH, VHN, NTTT, PDH), pp. 382–386.

SEFM-2008-GeihsBRW #automation #model transformation #ontology

Ontology-Based Automatic Model Transformations (KG, PAB, RR, JW), pp. 387–391.