Rocco De Nicola, eva Kühn
Proceedings of the 14th International Conference on Software Engineering and Formal Methods
SEFM, 2016.

@proceedings{SEFM-2016,
	doi           = "10.1007/978-3-319-41591-8",
	editor        = "Rocco De Nicola and eva Kühn",
	isbn          = "978-3-319-41590-1",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 14th International Conference on Software Engineering and Formal Methods}",
	volume        = 9763,
	year          = 2016,
}

Contents (27 items)

SEFM-2016-Agha #abstraction #analysis #concurrent #modelling #problem #semantics #tool support

Abstractions, Semantic Models and Analysis Tools for Concurrent Systems: Progress and Open Problems - (Extended Abstract) (GA), pp. 3–8.

SEFM-2016-AbrahamK #satisfiability #theory and practice

Satisfiability Checking: Theory and Applications (EÁ, GK), pp. 9–23.

SEFM-2016-SchwarzD #automation #framework #platform

Automatic Derivation of Platform Noninterference Properties (OS, MD), pp. 27–44.

SEFM-2016-DohertyD

Linearizability and Causality (SD, JD), pp. 45–60.

SEFM-2016-JahnigGG #communication #verification

Refinement-Based Verification of Communicating Unstructured Code (NJ, TG, SG), pp. 61–75.

SEFM-2016-FeistMP #control flow #execution #symbolic computation #using

Guided Dynamic Symbolic Execution Using Subgraph Control-Flow Information (JF, LM, MLP), pp. 76–81.

SEFM-2016-AndreescuJL #correlation #functional #specification

Correlating Structured Inputs and Outputs in Functional Specifications (OFA, TPJ, SL), pp. 85–103.

SEFM-2016-Yavuz #abstraction #approximate #fixpoint

Combining Predicate Abstraction with Fixpoint Approximations (TY), pp. 104–120.

SEFM-2016-BendikBBC #analysis #bound #order #requirements #safety #set

Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis (JB, NB, JB, IC), pp. 121–136.

SEFM-2016-DernehlHK #abstract interpretation #analysis #diagrams #execution #symbolic computation

Combining Abstract Interpretation with Symbolic Execution for a Static Value Range Analysis of Block Diagrams (CD, NH, SK), pp. 137–152.

SEFM-2016-HusienS #generative #model checking #using

Program Generation Using Simulated Annealing and Model Checking (IH, SS), pp. 155–171.

SEFM-2016-BezdekBBC #automaton #ltl #parametricity #synthesis

LTL Parameter Synthesis of Parametric Timed Automata (PB, NB, JB, IC), pp. 172–187.

SEFM-2016-Smith #model checking #simulation

Model Checking Simulation Rules for Linearizability (GS), pp. 188–203.

SEFM-2016-DobrikovLP #ltl #model checking

LTL Model Checking under Fairness in ProB (ID, ML, DP), pp. 204–211.

SEFM-2016-HauzarMM #proving

Counterexamples from Proof Failures in SPARK (DH, CM, YM), pp. 215–233.

SEFM-2016-HenselGFS #execution #proving #source code #symbolic computation #termination

Proving Termination of Programs with Bitvector Arithmetic by Symbolic Execution (JH, JG, FF, TS), pp. 234–252.

SEFM-2016-ArcainiGR #automation #proving #refinement #smt

SMT-Based Automatic Proof of ASM Model Refinement (PA, AG, ER), pp. 253–269.

SEFM-2016-ZhangQ #coq #framework #implementation #object-oriented #verification

Coq Implementation of OO Verification Framework VeriJ (KZ, ZQ), pp. 270–276.

SEFM-2016-ZellerP #consistency #framework #information management #proving #towards

Towards a Proof Framework for Information Systems with Weak Consistency (PZ0, APH), pp. 277–283.

SEFM-2016-Cerone #analysis #framework #interactive #logic

A Cognitive Framework Based on Rewriting Logic for the Analysis of Interactive Systems (AC), pp. 287–303.

SEFM-2016-GuptaSTDP #game studies

Incentive Stackelberg Mean-Payoff Games (AG, SS, AT0, MSKD, BKP), pp. 304–320.

SEFM-2016-CanalS #adaptation #communication

Stability-Based Adaptation of Asynchronously Communicating Software (CC, GS), pp. 321–336.

SEFM-2016-AzzopardiCPV #ecosystem

Compliance Checking in the Open Payments Ecosystem (SA, CC, GJP, BV), pp. 337–343.

SEFM-2016-ChampionGKT #contract #named

CoCoSpec: A Mode-Aware Contract Language for Reactive Systems (AC, AG, TK, CT), pp. 347–366.

SEFM-2016-El-HokayemFJ #component

Modularizing Crosscutting Concerns in Component-Based Systems (AEH, YF, MJ), pp. 367–385.

SEFM-2016-CimattiDT #contract #refinement

Tightening a Contract Refinement (AC, RD, ST), pp. 386–402.

SEFM-2016-LadenbergerL #agile #named #prototype

BMotionWeb: A Tool for Rapid Creation of Formal Prototypes (LL, ML), pp. 403–417.