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

Einar Broch Johnsen, Ina Schaefer
Proceedings of the 16th International Conference on Software Engineering and Formal Methods
SEFM, 2018.

FM
DBLP
Scholar
DOI
Full names Links ISxN
@proceedings{SEFM-2018,
	doi           = "10.1007/978-3-319-92970-5",
	editor        = "Einar Broch Johnsen and Ina Schaefer",
	isbn          = "['978-3-319-92969-9', '978-3-319-92970-5']",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 16th International Conference on Software Engineering and Formal Methods}",
	volume        = 10886,
	year          = 2018,
}

Contents (18 items)

SEFM-2018-Harman #semantics #testing
We Need a Testability Transformation Semantics (MH), pp. 3–17.
SEFM-2018-HallerstedeHKLL #constraints #programming #specification
From Software Specifications to Constraint Programming (SH, MH, SK, PGL, ML), pp. 21–36.
SEFM-2018-SchulzeCL #analysis #automation #specification
Automated Specification Extraction and Analysis with Specstractor (CS0, RC, ML), pp. 37–53.
SEFM-2018-GolraDSSG #requirements #specification #using
Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation (FRG, FD, JS, IS, SG), pp. 54–69.
SEFM-2018-DinSC #exception #using #verification
Program Verification for Exception Handling on Active Objects Using Futures (CCD, RS, TCC), pp. 73–88.
SEFM-2018-SchuppA #analysis #concurrent #hybrid #multi #safety #thread
Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems (SS, ), pp. 89–104.
SEFM-2018-SchellhornWTKW #case study #proving
FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity (GS, MW, OT, JK, HW), pp. 105–120.
SEFM-2018-LuckowPV #monte carlo #source code
Monte Carlo Tree Search for Finding Costly Paths in Programs (KSL, CSP, WV), pp. 123–138.
SEFM-2018-Balasubramanian #execution #framework #program analysis
A Cloud-Based Execution Framework for Program Analysis (DB, DK, KSL, RK, GK), pp. 139–154.
SEFM-2018-TonderG #architecture #synthesis
Cross-Architecture Lifter Synthesis (RvT, CLG), pp. 155–170.
SEFM-2018-Barbon0S #liveness
Counterexample Simplification for Liveness Property Violation (GB, VL0, GS), pp. 173–188.
SEFM-2018-BendikGWC #induction #online
Online Enumeration of All Minimal Inductive Validity Cores (JB, EG, MWW, IC), pp. 189–204.
SEFM-2018-BabaeeGF #framework #learning #predict #runtime #statistics #using #verification
Prevent : A Predictive Run-Time Verification Framework Using Statistical Learning (RB, AG, SF), pp. 205–220.
SEFM-2018-RashidSH #verification
Formal Verification of Platoon Control Strategies (AR, US, OH), pp. 223–238.
SEFM-2018-DuboisGPC #interactive #protocol #proving #theorem proving #using
Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover (CD, OG, JP, MC), pp. 239–253.
SEFM-2018-Choi #automation #generative #source code #validation
Automated Validation of IoT Device Control Programs Through Domain-Specific Model Generation (YC), pp. 254–268.
SEFM-2018-ArndtJMN #analysis #graph
Graph-Based Shape Analysis Beyond Context-Freeness (HA, CJ, CM, TN0), pp. 271–286.
SEFM-2018-Campeanu #component #embedded #reuse #usability
Facilitating Component Reusability in Embedded Systems with GPUs (GC), pp. 287–301.

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.