default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17th 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 - Luís 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
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.
last updated on 2025-11-29 00:04 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
