Peter Csaba Ölveczky, Gwen Salaün
Proceedings of the 17th International Conference on Software Engineering and Formal Methods
SEFM, 2019.

@proceedings{SEFM-2019,
	doi           = "10.1007/978-3-030-30446-1",
	editor        = "Peter Csaba Ölveczky and Gwen Salaün",
	isbn          = "['978-3-030-30445-4', '978-3-030-30446-1']",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 17th International Conference on Software Engineering and Formal Methods}",
	volume        = 11724,
	year          = 2019,
}

Contents (28 items)

SEFM-2019-Aalst #convergence #mining #process

Object-Centric Process Mining: Dealing with Divergence and Convergence in Event Data (WMPvdA), pp. 3–25.

SEFM-2019-BravettiZ #behaviour #contract

Relating Session Types and Behavioural Contracts: The Asynchronous Case (MB, GZ), pp. 29–47.

SEFM-2019-KamburjanDHJ #contract #scheduling

Asynchronous Cooperative Contracts for Cooperative Scheduling (EK, CCD, RH, EBJ), pp. 48–66.

SEFM-2019-BartocciMMMN #automation #continuation #modelling

Automatic Failure Explanation in CPS Models (EB, NM, LM, CM, DN), pp. 69–86.

SEFM-2019-GleirscherFN #assurance #evolution #formal method #modelling

Evolution of Formal Model-Based Assurance Cases for Autonomous Robots (MG, SF0, YN), pp. 87–104.

SEFM-2019-ZhaoOLRFHFPF #health #towards #verification

Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management (XZ, MO, JL, VR, DF, XH0, MF0, FP, AF), pp. 105–124.

SEFM-2019-BittnerTS #case study #configuration management #constraints #encoding #satisfiability

SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses (PMB, TT, IS), pp. 127–144.

SEFM-2019-CarvalhoS #evolution #version control

Software Evolution with a Typeful Version Control System (LC, JCS), pp. 145–161.

SEFM-2019-Dubslaff #composition #feature model

Compositional Feature-Oriented Systems (CD), pp. 162–180.

SEFM-2019-AraujoCMS #cyber-physical #effectiveness #multi #testing

Multi-objective Search for Effective Testing of Cyber-Physical Systems (HLSA, GC, MRM, AS), pp. 183–202.

SEFM-2019-FellnerBW #mutation testing #testing

Mutation Testing with Hyperproperties (AF, MTB, GW), pp. 203–221.

SEFM-2019-PrasetyaK #analysis #nondeterminism

Test Model Coverage Analysis Under Uncertainty (ISWBP, RK), pp. 222–239.

SEFM-2019-AvellanedaP #approach #automaton #learning #satisfiability

Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT Approach (FA, AP), pp. 243–256.

SEFM-2019-FosterBTND

Incorporating Data into EFSM Inference (MF0, ADB, RGT, SN, JD), pp. 257–272.

SEFM-2019-BruckerW #design #implementation #named

Isabelle/DOF: Design and Implementation (ADB, BW), pp. 275–292.

SEFM-2019-Kawamoto #logic #machine learning #specification #statistics #towards

Towards Logical Specification of Statistical Machine Learning (YK0), pp. 293–311.

SEFM-2019-OliveiraCO #kernel #linux #performance #verification

Efficient Formal Verification for the Linux Kernel (DBdO, TC, RSdO), pp. 315–332.

SEFM-2019-RockaiBMKB #execution #source code

Reproducible Execution of POSIX Programs with DiOS (PR, ZB, JM, KK, JB), pp. 333–349.

SEFM-2019-BeckertBGHLU #relational #slicing #using #verification

Using Relational Verification for Program Slicing (BB, TB, SG, MH, DL, MU), pp. 353–372.

SEFM-2019-StillB #c++ #detection #parallel #source code

Local Nontermination Detection for Parallel C++ Programs (VS, JB), pp. 373–390.

SEFM-2019-LefticaruHN #implementation

An Implementation Relation for Cyclic Systems with Refusals and Discrete Time (RL, RMH, MN0), pp. 393–409.

SEFM-2019-WijsW #code generation #composition #concurrent #multi #thread #verification

Modular Indirect Push-Button Formal Verification of Multi-threaded Code Generators (AW, MW), pp. 410–429.

SEFM-2019-AcetoAFIL

An Operational Guide to Monitorability (LA, AA, AF, AI, KL), pp. 433–453.

SEFM-2019-RingL #verification

Let's Prove It Later - Verification at Different Points in Time (MR, CL), pp. 454–468.

SEFM-2019-FarrellBFDDYM #analysis #case study #using #verification

Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages (MF, MB, MF0, LAD, CD, HY, CM), pp. 471–490.

SEFM-2019-PappTB #behaviour #detection #towards

Towards Detecting Trigger-Based Behavior in Binaries: Uncovering the Correct Environment (DP, TT, LB), pp. 491–509.

SEFM-2019-ElderhalliVHKT #fault #verification

Formal Verification of Rewriting Rules for Dynamic Fault Trees (YE, MV0, OH, JPK, ST), pp. 513–531.

SEFM-2019-RouxT #bound #verification

Partially Bounded Context-Aware Verification (LLR, CT), pp. 532–548.