Alessandro Cimatti, Marjan Sirjani
Proceedings of the 15th International Conference on Software Engineering and Formal Methods
SEFM, 2017.

@proceedings{SEFM-2017,
	doi           = "10.1007/978-3-319-66197-1",
	editor        = "Alessandro Cimatti and Marjan Sirjani",
	isbn          = "['978-3-319-66196-4', '978-3-319-66197-1']",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 15th International Conference on Software Engineering and Formal Methods}",
	volume        = 10469,
	year          = 2017,
}

Contents (28 items)

SEFM-2017-GeorgetJPTT #concurrent #data flow #linux #memory management

Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory (LG, MJ, GP, FT, VVTT), pp. 1–16.

SEFM-2017-ZhangRHMC #certification #compilation #industrial #verification

Focused Certification of an Industrial Compilation and Static Verification Toolchain (ZZ, R, JH, YM, PC), pp. 17–34.

SEFM-2017-KumarS #data access #generative #modelling

A Complete Generative Label Model for Lattice-Based Access Control Models (NVNK, RKS), pp. 35–53.

SEFM-2017-BernasconiMSZG #model checking #modelling #proving

From Model Checking to a Temporal Proof for Partial Models (AB0, CM, PS, LDZ, CG), pp. 54–69.

SEFM-2017-NguyenSGM #evolution #modelling #reasoning #requirements

Modeling and Reasoning on Requirements Evolution with Constrained Goal Models (CMN, RS, PG, JM), pp. 70–86.

SEFM-2017-LutebergetCJS #framework #representation #verification

Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL (BL, JJC, CJ, GS), pp. 87–103.

SEFM-2017-BozzelliMMP #logic #model checking #regular expression

An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions (LB, AM, AM, AP), pp. 104–119.

SEFM-2017-Jakobs #analysis #proving

PART_PW : From Partial Analysis Results to a Proof Witness (MCJ), pp. 120–135.

SEFM-2017-WiikB #automation #data flow #network #specification #verification

Specification and Automated Verification of Dynamic Dataflow Networks (JW, PB), pp. 136–151.

SEFM-2017-FarrellMP #empirical #specification

Specification Clones: An Empirical Study of the Structure of Event-B Specifications (MF, RM, JFP), pp. 152–167.

SEFM-2017-DanasNHKD #user study

User Studies of Principled Model Finder Output (ND, TN, LH, SK, DJD), pp. 168–184.

SEFM-2017-TomascoN0TP #abstraction #design #memory management #modelling #using

Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models (ET, TLN, BF0, SLT, GP), pp. 185–202.

SEFM-2017-SantosR #constraints #on the #runtime #workflow

On Run-Time Enforcement of Authorization Constraints in Security-Sensitive Workflows (DRdS, SR), pp. 203–218.

SEFM-2017-AttardF #clustering #component #monitoring

Trace Partitioning and Local Monitoring for Asynchronous Components (DPA, AF), pp. 219–235.

SEFM-2017-FantechiHM #composition #scalability #verification

Compositional Verification of Interlocking Systems for Large Stations (AF, AEH, HDM), pp. 236–252.

SEFM-2017-MatteplackelPW #calculus #diagrams #formal method #requirements

Formalizing Timing Diagram Requirements in Discrete Duration Calculus (RMM, PKP, AW), pp. 253–268.

SEFM-2017-PolaSB #approximate #metric #on the

On Approximate Diagnosability of Metric Systems (GP, EDS, MDDB), pp. 269–283.

SEFM-2017-MasciZJC #analysis #identification #requirements #safety #user interface

A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices (PM, YZ0, PLJ, JCC), pp. 284–299.

SEFM-2017-GreinerMB #component #composition #data flow #security #verification

Modular Verification of Information Flow Security in Component-Based Systems (SG, MM, BB), pp. 300–315.

SEFM-2017-LiuW #api #named #program analysis

IJIT: An API for Boolean Program Analysis with Just-in-Time Translation (PL, TW), pp. 316–331.

SEFM-2017-MahmudSL #analysis #embedded #logic #requirements #semantics #specification

Specification and Semantic Analysis of Embedded Systems Requirements: From Description Logic to Temporal Logic (NM, CS, OL), pp. 332–348.

SEFM-2017-MarckerB0K #evaluation #implementation

Computing Conditional Probabilities: Implementation and Evaluation (SM, CB, JK0, SK), pp. 349–366.

SEFM-2017-FachiniM #programming language #validation

Validating the Meta-Theory of Programming Languages (Short Paper) (GF, AM), pp. 367–374.

SEFM-2017-CamilliGSB #development #nondeterminism #quantifier #towards

Towards Inverse Uncertainty Quantification in Software Development (Short Paper) (MC, AG, PS, CB), pp. 375–381.

SEFM-2017-CabodiCPPV #bound #learning #model checking

Interpolation-Based Learning as a Mean to Speed-Up Bounded Model Checking (Short Paper) (GC, PC, MP, PP, DV), pp. 382–387.

SEFM-2017-HillahABDRGLMMM #adaptation #automation #deployment #hybrid #self #towards

Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds (Short Paper) (LMH, REA, AB, MED, FDR, VCG, FL, APM, LM, EM, BM, AV, JI), pp. 388–393.

SEFM-2017-LeildeRTD #framework #verification

A Diagnosis Framework for Critical Systems Verification (Short Paper) (VL, VR, CT, PD), pp. 394–400.

SEFM-2017-GioulekasPKKBBP #dependence #design #embedded

Design of Embedded Systems with Complex Task Dependencies and Shared Resource Interference (Short Paper) (FG, PP, RK, PK, MB, SB, PP), pp. 401–407.