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

Radu Calinescu, Bernhard Rumpe
Proceedings of the 13th International Conference on Software Engineering and Formal Methods
SEFM, 2015.

FM
DBLP
Scholar
DOI
Full names Links ISxN
@proceedings{SEFM-2015,
	address       = "York, England, United Kingdom",
	doi           = "10.1007/978-3-319-22969-0",
	editor        = "Radu Calinescu and Bernhard Rumpe",
	isbn          = "978-3-319-22968-3",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 13th International Conference on Software Engineering and Formal Methods}",
	volume        = 9276,
	year          = 2015,
}

Contents (25 items)

SEFM-2015-JonesY #abstraction #reasoning #using
Reasoning about Separation Using Abstraction and Reification (CBJ, NY), pp. 3–19.
SEFM-2015-LohstrohL #interface #internet
An Interface Theory for the Internet of Things (ML, EAL), pp. 20–34.
SEFM-2015-Muhlberg0DLP #learning #source code #verification
Learning Assertions to Verify Linked-List Programs (JTM, DHW, MD, GL, FP), pp. 37–52.
SEFM-2015-Vanspauwen0 #encryption #implementation #library #protocol #specification #verification
Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications (GV, BJ), pp. 53–68.
SEFM-2015-AmighiDBH #source code #specification #verification
Specification and Verification of Atomic Operations in GPGPU Programs (AA, SD, SB, MH), pp. 69–83.
SEFM-2015-BlomHZ #behaviour #concurrent #functional #source code #verification
History-Based Verification of Functional Behaviour of Concurrent Programs (SB, MH, MZS), pp. 84–98.
SEFM-2015-ColomboDF #runtime #verification
Investigating Instrumentation Techniques for ESB Runtime Verification (CC, GD, AF), pp. 99–107.
SEFM-2015-ClarisoGC #bound #ocl #refinement #towards #uml #verification
Towards Domain Refinement for UML/OCL Bounded Verification (RC, CAG, JC), pp. 108–114.
SEFM-2015-HusterBELRKR #performance #testing
Efficient Testing of Different Loop Paths (SH, SB, HE, JL, JR, TK, WR), pp. 117–131.
SEFM-2015-SavaryFLL #modelling #robust #testing #using
Model-Based Robustness Testing in Event-B Using Mutation (AS, MF, ML, JLL), pp. 132–147.
SEFM-2015-HanazumiM #on the #testing
On the Testability of Properties Patterns (SH, ACVdM), pp. 148–155.
SEFM-2015-Jakobs #clustering #configuration management #reduction #validation
Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning (MCJ), pp. 159–174.
SEFM-2015-KamaliHKP #analysis #distributed #formal method
Formal Analysis of Proactive, Distributed Routing (MK, PH, MK, LP), pp. 175–189.
SEFM-2015-VollingerR #algorithm #certification #distributed #problem
Certification of Distributed Algorithms Solving Problems with Optimal Substructure (KV, WR), pp. 190–195.
SEFM-2015-KringsBL #proving
From Failure to Proof: The ProB Disprover for B and Event-B (SK, JB, ML), pp. 199–214.
SEFM-2015-LarmuseauC #formal method #interface
Formalizing a Secure Foreign Function Interface (AL, DC), pp. 215–230.
SEFM-2015-ShenB #formal method
A Formal Study of Backward Compatible Dynamic Software Updates (JS, RAB), pp. 231–248.
SEFM-2015-RochaBC #bound #c #generative #memory management #model checking #source code #testing #using
Memory Management Test-Case Generation of C Programs Using Bounded Model Checking (HR, RSB, LCC), pp. 251–267.
SEFM-2015-RockaiSB #c #c++ #model checking
Techniques for Memory-Efficient Model Checking of C and C++ Code (PR, VS, JB), pp. 268–282.
SEFM-2015-CarvalhoBCCMS #csp #natural language #requirements #testing
NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP (GC, FAB, AC, AC, AM, AS), pp. 283–290.
SEFM-2015-SukkerdGS #cyber-physical
Task Planning of Cyber-Human Systems (RS, DG, RS), pp. 293–309.
SEFM-2015-KnapikNP #generative #order
Generating None-Plans in Order to Find Plans (MK, AN, WP), pp. 310–324.
SEFM-2015-NicolaMPST #interactive #interpreter #modelling #twitter
Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter (RDN, AM, MP, AS, FT), pp. 327–343.
SEFM-2015-BeekDGMP #constraints #variability
From Featured Transition Systems to Modal Transition Systems with Variability Constraints (MHtB, FD, SG, FM, LP), pp. 344–359.
SEFM-2015-DawC #diagrams #process #semantics #uml
An Extensible Operational Semantics for UML Activity Diagrams (ZD, RC), pp. 360–368.

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.