Proceedings of the 11th 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

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

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

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.

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.