Dimitra Giannakopoulou, Gwen Salaün
Proceedings of the 12th International Conference on Software Engineering and Formal Methods
SEFM, 2014.

@proceedings{SEFM-2014,
	address       = "Grenoble, France",
	doi           = "10.1007/978-3-319-10431-7",
	editor        = "Dimitra Giannakopoulou and Gwen Salaün",
	isbn          = "978-3-319-10430-0",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 12th International Conference on Software Engineering and Formal Methods}",
	volume        = 8702,
	year          = 2014,
}

Contents (30 items)

8 ×#verification
5 ×#formal method
5 ×#using
4 ×#modelling
4 ×#tool support
3 ×#framework
3 ×#logic
3 ×#testing
2 ×#analysis
2 ×#behaviour

SEFM-2014-Leroy #code generation #proving #tool support #verification

Formal Proofs of Code Generation and Verification Tools (XL), pp. 1–4.

SEFM-2014-ArmstrongGS #higher-order #lightweight #tool support #verification

Lightweight Program Construction and Verification Tools in Isabelle/HOL (AA, VBFG, GS), pp. 5–19.

SEFM-2014-TatsutaC #induction #logic #verification

Completeness of Separation Logic with Inductive Definitions for Program Verification (MT, WNC), pp. 20–34.

SEFM-2014-LovatoMS #diagrams #library #thread

A Thread-Safe Library for Binary Decision Diagrams (AL, DM, FS), pp. 35–49.

SEFM-2014-PunSS #behaviour #concurrent

Effect-Polymorphic Behaviour Inference for Deadlock Checking (KIP, MS, VS), pp. 50–64.

SEFM-2014-ChristakisMW #detection #invariant #testing

Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations (MC, PM, VW), pp. 65–80.

SEFM-2014-KeshishzadehM #consistency #domain-specific language #formal method #reasoning #semantics #testing

Formalizing DSL Semantics for Reasoning and Conformance Testing (SK, AJM), pp. 81–95.

SEFM-2014-BonifacioM #modelling #testing

Test Suite Completeness and Partial Models (ALB, AVM), pp. 96–110.

SEFM-2014-AlrajehC #automation #composition #detection #specification

Automated Error-Detection and Repair for Compositional Software Specifications (DA, RC), pp. 111–127.

SEFM-2014-AttieBBJS #architecture #framework

A General Framework for Architecture Composability (PCA, EB, SB, MJ, JS), pp. 128–143.

SEFM-2014-BianculliGK #logic #metric #pipes and filters #using

Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce (DB, CG, SK), pp. 144–158.

SEFM-2014-GrovO #analysis #consistency #formal method #multi

Increasing Consistency in Multi-site Data Stores: Megastore-CGC and Its Formal Analysis (JG, PCÖ), pp. 159–174.

SEFM-2014-HajisheykhiEK #fault #modelling #using

Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL (RH, AE, SSK), pp. 175–189.

SEFM-2014-ReicherdtG #matlab #modelling #using #verification

Formal Verification of Discrete-Time MATLAB/Simulink Models Using Boogie (RR, SG), pp. 190–204.

SEFM-2014-BeckerSAB #analysis #constraints #deployment #fault tolerance #formal method

A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems (KB, BS, MA, CB), pp. 205–219.

SEFM-2014-DobrikovL #model checking #optimisation #partial order #reduction #using

Optimising the ProB Model Checker for B Using Partial Order Reduction (ID, ML), pp. 220–234.

SEFM-2014-MotaFDW #agile #model checking #prototype #semantics

Rapid Prototyping of a Semantically Well Founded Circus Model Checker (AM, AF, AD, JW), pp. 235–249.

SEFM-2014-CasselHJS #finite #learning #state machine

Learning Extended Finite State Machines (SC, FH, BJ, BS), pp. 250–264.

SEFM-2014-WangW #database

Translating Event-B Machines to Database Applications (QW, TW), pp. 265–270.

SEFM-2014-BratNSV #abstract interpretation #framework #named #static analysis

IKOS: A Framework for Static Analysis Based on Abstract Interpretation (GB, JAN, NS, AV), pp. 271–277.

SEFM-2014-KoreckoSDS #development #education #formal method #tool support

A Toolset for Support of Teaching Formal Software Development (SK, JS, ZD, BS), pp. 278–283.

SEFM-2014-RodriguezFHM #erlang #execution #state machine #uml #verification

Execution and Verification of UML State Machines with Erlang (RJR, LÅF, ÁHN, JM), pp. 284–289.

SEFM-2014-DiagneMF #verification

A Tool for Verifying Dynamic Properties in B (FD, AM, MF), pp. 290–295.

SEFM-2014-HauzarK #named #php #verification #web

WeVerca: Web Applications Verification for PHP (DH, JK), pp. 296–301.

SEFM-2014-HusterHERBKR #flexibility #invariant #specification

More Flexible Object Invariants with Less Specification Overhead (SH, PH, HE, JR, SB, TK, WR), pp. 302–316.

SEFM-2014-DuboisR #functional #using

Verified Functional Iterators Using the FoCaLiZe Environment (CD, RR), pp. 317–331.

SEFM-2014-SznukS #education #hoare #logic #tool support

Tool Support for Teaching Hoare Logic (TS, AS), pp. 332–346.

SEFM-2014-DeganoFG #adaptation #reliability #static analysis

A Two-Phase Static Analysis for Reliable Adaptation (PD, GLF, LG), pp. 347–362.

SEFM-2014-LaibinisTGMK #behaviour #formal method #modelling #verification

Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B (LL, ET, ZG, FM, AHK), pp. 363–377.

SEFM-2014-PardoS #framework #network #policy #privacy #social

A Formal Privacy Policy Framework for Social Networks (RP, GS), pp. 378–392.