Proceedings of the 10th International Conference on Software Engineering and Formal Methods
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

FM
DBLP
Scholar
DOI
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.