George Eleftherakis, Mike Hinchey, Mike Holcombe
Proceedings of the 10th International Conference on Software Engineering and Formal Methods
SEFM, 2012.

@proceedings{SEFM-2012,
	address       = "Thessaloniki, Greece",
	doi           = "10.1007/978-3-642-33826-7",
	editor        = "George Eleftherakis and Mike Hinchey and Mike Holcombe",
	isbn          = "978-3-642-33825-0",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 10th International Conference on Software Engineering and Formal Methods}",
	volume        = 7504,
	year          = 2012,
}

Contents (26 items)

7 ×#approach
5 ×#verification
3 ×#analysis
3 ×#automation
3 ×#composition
3 ×#concurrent
3 ×#named
2 ×#abstraction
2 ×#generative
2 ×#source code

SEFM-2012-Jones #abstraction #concurrent #formal method

Abstraction as a Unifying Link for Formal Approaches to Concurrency (CBJ), pp. 1–15.

SEFM-2012-NikolicPZ #imperative #modelling #rule-based #simulation

A Rule-Based and Imperative Language for Biochemical Modeling and Simulation (DN, CP, RZ), pp. 16–32.

SEFM-2012-AmighiGGH #control flow #exception #graph #java #source code

Sound Control-Flow Graph Extraction for Java Programs with Exceptions (AA, PdCG, DG, MH), pp. 33–47.

SEFM-2012-BarnatBB #requirements

Checking Sanity of Software Requirements (JB, PB, LB), pp. 48–62.

SEFM-2012-FerraraFJ #analysis

TVAL+ : TVLA and Value Analyses Together (PF, RF, UJ), pp. 63–77.

SEFM-2012-FathabadiBR #approach #composition

A Systematic Approach to Atomicity Decomposition in Event-B (ASF, MJB, AR), pp. 78–93.

SEFM-2012-DinDO #composition #reasoning

Compositional Reasoning about Shared Futures (CCD, JD, OO), pp. 94–108.

SEFM-2012-ZhangKJ #composition #verification

Verification of Aspectual Composition in Feature-Modeling (QZ, RK, JJ), pp. 109–125.

SEFM-2012-ZhaoZZH #calculus

A Denotational Model for Instantaneous Signal Calculus (YZ, LZ, HZ, JH), pp. 126–140.

SEFM-2012-CiobanuKS #semantics

A Timed Mobility Semantics Based on Rewriting Strategies (GC, MK, LJS), pp. 141–155.

SEFM-2012-CosmoZZ #component #towards

Towards a Formal Component Model for the Cloud (RDC, SZ, GZ), pp. 156–171.

SEFM-2012-ZhuXMQQ #approach #concurrent #source code #verification

The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs (HZ, QX, CM, SQ, ZQ), pp. 172–187.

SEFM-2012-PaulSS #assembly #automation #verification

Completing the Automated Verification of a Small Hypervisor — Assembler Code Verification (WJP, SS, AS), pp. 188–202.

SEFM-2012-JanuzajKBM #approach

A Configuration Approach for IMA Systems (VJ, SK, FB, RM), pp. 203–217.

SEFM-2012-ColomboFMP #bound #configuration management #monitoring #named #resource management #runtime #verification

polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries (CC, AF, RM, GJP), pp. 218–232.

SEFM-2012-CuoqKKPSY #analysis #named #perspective

Frama-C — A Software Analysis Perspective (PC, FK, NK, VP, JS, BY), pp. 233–247.

SEFM-2012-AbdelhalimST #approach #effectiveness #model checking #optimisation

An Optimization Approach for Effective Formalized fUML Model Checking (IA, SS, HT), pp. 248–262.

SEFM-2012-OuchaniMD #abstraction #diagrams #performance #probability #process

Efficient Probabilistic Abstraction for SysML Activity Diagrams (SO, OAM, MD), pp. 263–277.

SEFM-2012-AyraultBDP #analysis #dependence #ml

ML Dependency Analysis for Assessors (PA, VB, CD, FP), pp. 278–292.

SEFM-2012-LefticaruI #algorithm #approach #finite #generative #search-based #state machine #testing #using

An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms (RL, FI), pp. 293–307.

SEFM-2012-BistarelliS #concurrent #constraints #programming

Securely Accessing Shared Resources with Concurrent Constraint Programming (SB, FS), pp. 308–322.

SEFM-2012-BicknellRBCS #approach #using #verification

A Practical Approach for Closed Systems Formal Verification Using Event-B (BB, JR, MJB, JC, CFS), pp. 323–332.

SEFM-2012-MatichukM #automation #proving #specification #using

Extensible Specifications for Automatic Re-use of Specifications and Proofs (DM, TCM), pp. 333–341.

SEFM-2012-FilhoO #implementation #refinement

Implementing Tactics of Refinement in CRefine (MCF, MVMO), pp. 342–351.

SEFM-2012-DranidisBI #automation #generative #named #testing

JSXM: A Tool for Automated Test Generation (DD, KB, FI), pp. 352–366.

SEFM-2012-VorobyovKS #approach #data flow #security

A Low-Overhead, Value-Tracking Approach to Information Flow Security (KV, PK, PS), pp. 367–381.