![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
17th SEFM 2019: Oslo, Norway
- Peter Csaba Ölveczky, Gwen Salaün:
Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings. Lecture Notes in Computer Science 11724, Springer 2019, ISBN 978-3-030-30445-4
Invited Paper
- Wil M. P. van der Aalst
:
Object-Centric Process Mining: Dealing with Divergence and Convergence in Event Data. 3-25
Cooperative Asynchronous Systems
- Mario Bravetti, Gianluigi Zavattaro:
Relating Session Types and Behavioural Contracts: The Asynchronous Case. 29-47 - Eduard Kamburjan, Crystal Chang Din
, Reiner Hähnle
, Einar Broch Johnsen:
Asynchronous Cooperative Contracts for Cooperative Scheduling. 48-66
Cyber-Physical Systems
- Ezio Bartocci
, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis
, Dejan Nickovic:
Automatic Failure Explanation in CPS Models. 69-86 - Mario Gleirscher
, Simon Foster
, Yakoub Nemouchi
:
Evolution of Formal Model-Based Assurance Cases for Autonomous Robots. 87-104 - Xingyu Zhao
, Matthew Osborne, Jenny Lantair, Valentin Robu
, David Flynn
, Xiaowei Huang, Michael Fisher
, Fabio Papacchini, Angelo Ferrando
:
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. 105-124
Feature-Oriented and Versioned Systems
- Paul Maximilian Bittner
, Thomas Thüm
, Ina Schaefer:
SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses. 127-144 - Luis Carvalho, João Costa Seco
:
Software Evolution with a Typeful Version Control System. 145-161 - Clemens Dubslaff:
Compositional Feature-Oriented Systems. 162-180
Model-Based Testing
- Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Mohammad Reza Mousavi, Augusto Sampaio:
Multi-objective Search for Effective Testing of Cyber-Physical Systems. 183-202 - Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher
:
Mutation Testing with Hyperproperties. 203-221 - I. S. W. B. Prasetya
, Rick Klomp:
Test Model Coverage Analysis Under Uncertainty. 222-239
Model Inference
- Florent Avellaneda, Alexandre Petrenko
:
Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT Approach. 243-256 - Michael Foster
, Achim D. Brucker
, Ramsay G. Taylor
, Siobhán North
, John Derrick
:
Incorporating Data into EFSM Inference. 257-272
Ontologies and Machine Learning
- Achim D. Brucker
, Burkhart Wolff:
Isabelle/DOF: Design and Implementation. 275-292 - Yusuke Kawamoto
:
Towards Logical Specification of Statistical Machine Learning. 293-311
Operating Systems
- Daniel Bristot de Oliveira
, Tommaso Cucinotta
, Rômulo Silva de Oliveira
:
Efficient Formal Verification for the Linux Kernel. 315-332 - Petr Rockai, Zuzana Baranová, Jan Mrázek
, Katarína Kejstová, Jiri Barnat:
Reproducible Execution of POSIX Programs with DiOS. 333-349
Program Analysis
- Bernhard Beckert
, Thorsten Bormer, Stephan Gocht, Mihai Herda
, Daniel Lentzsch, Mattias Ulbrich
:
Using Relational Verification for Program Slicing. 353-372 - Vladimír Still, Jiri Barnat:
Local Nontermination Detection for Parallel C++ Programs. 373-390
Relating Models and Implementations
- Raluca Lefticaru
, Robert M. Hierons
, Manuel Núñez
:
An Implementation Relation for Cyclic Systems with Refusals and Discrete Time. 393-409 - Anton Wijs
, Maciej Wilkowski:
Modular Indirect Push-Button Formal Verification of Multi-threaded Code Generators. 410-429
Runtime Verification
- Luca Aceto, Antonis Achilleos
, Adrian Francalanza
, Anna Ingólfsdóttir, Karoliina Lehtinen:
An Operational Guide to Monitorability. 433-453 - Martin Ring, Christoph Lüth:
Let's Prove It Later - Verification at Different Points in Time. 454-468
Security
- Marie Farrell
, Matthew Bradbury
, Michael Fisher
, Louise A. Dennis
, Clare Dixon
, Hu Yuan
, Carsten Maple:
Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages. 471-490 - Dorottya Papp
, Thorsten Tarrach
, Levente Buttyán
:
Towards Detecting Trigger-Based Behavior in Binaries: Uncovering the Correct Environment. 491-509
Verification
- Yassmeen Elderhalli, Matthias Volk
, Osman Hasan
, Joost-Pieter Katoen, Sofiène Tahar:
Formal Verification of Rewriting Rules for Dynamic Fault Trees. 513-531 - Luka Le Roux, Ciprian Teodorov:
Partially Bounded Context-Aware Verification. 532-548
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.