Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti
Proceedings of the 11th International Conference on Software Engineering and Formal Methods
SEFM, 2013.

@proceedings{SEFM-2013,
	address       = "Madrid, Spain",
	doi           = "10.1007/978-3-642-40561-7",
	editor        = "Robert M. Hierons and Mercedes G. Merayo and Mario Bravetti",
	isbn          = "978-3-642-40560-0",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 11th International Conference on Software Engineering and Formal Methods}",
	volume        = 8137,
	year          = 2013,
}

Contents (21 items)

5 ×#verification
3 ×#behaviour
3 ×#modelling
3 ×#specification
3 ×#using
2 ×#approach
2 ×#automation
2 ×#detection
2 ×#fault
2 ×#generative

SEFM-2013-SuryadevaraSMP #behaviour #using #verification

Verifying MARTE/CCSL Mode Behaviors Using UPPAAL (JS, CCS, FM, PP), pp. 1–15.

SEFM-2013-MenadD #approach #multi #requirements

A Transformation Approach for Multiform Time Requirements (NM, PD), pp. 16–30.

SEFM-2013-AmanC #migration #realtime

Real-Time Migration Properties of rTiMo Verified in Uppaal (BA, GC), pp. 31–45.

SEFM-2013-OliveiraJW #csp #multi #protocol

A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP (MVMO, ISdMJ, JW), pp. 46–60.

SEFM-2013-Klimek #logic #modelling #requirements #specification #verification

From Extraction of Logical Specifications to Deduction-Based Formal Verification of Requirements Models (RK), pp. 61–75.

SEFM-2013-BorekMSR #approach #model checking #modelling

Model Checking of Security-Critical Applications in a Model-Driven Approach (MB, NM, KS, WR), pp. 76–90.

SEFM-2013-GesellMS #verification

Lifting Verification Results for Preemption Statements (MG, AM, KS), pp. 91–105.

SEFM-2013-PerceboisST #graph transformation #invariant #transitive #verification

Rule-Level Verification of Graph Transformations for Invariants Based on Edges’ Transitive Closure (CP, MS, HNT), pp. 106–121.

SEFM-2013-VanspauwenJ #preprocessor

Sound Symbolic Linking in the Presence of Preprocessing (GV, BJ), pp. 122–136.

SEFM-2013-KringsL #modelling #physics

Inferring Physical Units in B Models (SK, ML), pp. 137–151.

SEFM-2013-SargolzaeiSAA #approximate #behaviour #web #web service

A Tool for Behaviour-Based Discovery of Approximately Matching Web Services (MS, FS, FA, HA), pp. 152–166.

SEFM-2013-DardhaGL #component #type system

A Type System for Components (OD, EG, ML), pp. 167–181.

SEFM-2013-KeshishzadehMM #automation #debugging #detection #domain-specific language #fault #smt #using

Early Fault Detection in DSLs Using SMT Solving and Automated Debugging (SK, AJM, MRM), pp. 182–196.

SEFM-2013-SalehKBW #detection #fault #implementation #specification #static analysis #using

Static Detection of Implementation Errors Using Formal Code Specification (IS, GK, MBB, YW), pp. 197–211.

SEFM-2013-TranST #composition #static analysis #transaction

Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting (TMTT, MS, HT), pp. 212–228.

SEFM-2013-CristiaRF #framework #generative #testing

{log} as a Test Case Generator for the Test Template Framework (MC, GR, CSF), pp. 229–243.

SEFM-2013-WonischSW #monitoring #runtime

Zero Overhead Runtime Monitoring (DW, AS, HW), pp. 244–258.

SEFM-2013-BoerGW #runtime #verification

Run-Time Verification of Coboxes (FSdB, SdG, PYHW), pp. 259–273.

SEFM-2013-BennaceurCIJ #automation #behaviour #ontology #reasoning #synthesis

Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning (AB, CC, MI, BJ), pp. 274–288.

SEFM-2013-JiHB #deduction #execution #program transformation #symbolic computation

Program Transformation Based on Symbolic Execution and Deduction (RJ, RH, RB), pp. 289–304.

SEFM-2013-Choi #constraints #generative #operating system #specification #testing

Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems (YC), pp. 305–319.