HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:decomposition

Papers
Extended formulations for the min-max-min problem with few recourse solutions
Marco Silva, Ayse Nur Arslan and Michael Poss
EasyChair Preprint no. 2493
Coordinated railway traffic rescheduling with the Resource Conflict Graph model
Ambra Toletti, Marco Laumanns and Ulrich Weidmann
EasyChair Preprint no. 884
Compositional Verification of Security Properties for Embedded Execution Platforms
Christoph Baumann, Oliver Schwarz and Mads Dam
In:PROOFS 2017. 6th International Workshop on Security Proofs for Embedded Systems
Copyright © 2012-2023 easychair.org. All rights reserved.