E-mail senden E-Mail Adresse kopieren

Alle PubliKationen 

Das wichtigste Messinstrument für unsere wissenschaftliche Exzellenz und unseren Impact sind wissenschaftliche Publikationen. In den vergangenen Jahren haben CISPA-WissenschaftlerInnen Papiere auf wissenschaftlichen Konferenzen – die meisten davon auf den Top-Konferenzen – und Artikel in angesehenen Zeitschriften veröffentlicht. In unserer Publikationsdatenbank sind die Publikationen ab dem Jahr 2011 aufgeführt und jeweils direkt mit dem Originalpapier verlinkt.

Filter

Jahr 2023

2023-05-01

Grammar-Based String Refinement Types

Konferenz / Medium

International Conference on Software Engineering - Companion (ICSE-Companion)

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
Zum Paper Detail-Seite besuchen
2023-05

The complexity of 2-vertex-connected orientation in mixed graphs

Artikel

Discrete Optimization

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
Zum Paper Detail-Seite besuchen
2023-05

The Complexity of Routing Problems in Forbidden-Transition Graphs and Edge-Colored Graphs

Artikel

Algorithmica

Tags
Algorithmische Grundlagen und Kryptographie
Autor:innen
  • Thomas Bellitto
  • Shaohua Li
  • Karolina Okrasa
  • Marcin Pilipczuk
  • Manuel Sorge
Zum Paper Detail-Seite besuchen
2023-05

Iterative Circuit Repair Against Formal Specifications

Konferenz / Medium

International Conference on Learning Representations (ICLR)

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
Zum Paper Detail-Seite besuchen
2023-05

Hammulator: Simulate Now - Exploit Later

Konferenz / Medium

Workshop on DRAM Security (DRAMSec)

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
Zum Paper Detail-Seite besuchen
2023-05

High-Fidelity Cyber and Physical Simulation of Water Distribution Systems. I: Models and Data

Artikel

Journal of Water Resources Planning and Management

Tags
Sichere vernetzte und mobile Systeme
Autor:innen
  • Andrés Murillo
  • Riccardo Taormina
  • Nils Ole Tippenhauer
  • Davide Salaorni
  • Robert van Dijk
  • Luc Jonker
  • Simcha Vos
  • Maarten Weyns
  • Stefano Galelli
Zum Paper Detail-Seite besuchen
2023-05

High-Fidelity Cyber and Physical Simulation of Water Distribution Systems. II: Enabling Cyber-Physical Attack Localization

Artikel

Journal of Water Resources Planning and Management

Tags
Sichere vernetzte und mobile Systeme
Autor:innen
Zum Paper Detail-Seite besuchen
2023-04-29

Why Are We Waiting? Discovering Interpretable Models for Predicting Sojourn and Waiting Times.

Konferenz / Medium

SIAM International Conference on Data Mining (SDM)

Tags
Vertrauenswürdige Informations­verarbeitung
Autor:innen
Zum Paper Detail-Seite besuchen
2023-04-27

Nothing but Regrets — Privacy-Preserving Federated Causal Discovery

Konferenz / Medium

International Conference on Artificial Intelligence and Statistics (AISTATS)

Tags
Vertrauenswürdige Informations­verarbeitung
Autor:innen
Zum Paper Detail-Seite besuchen