Ramon Janssen

11 papers B 2C 2Misc 1Journal 3Unranked 3
YearRankTypeTitle / Venue / Authors
2022 — conf
Goodbye ioco.
A Journey from Process Algebra via Timed Automata to Model Learning
Jan Tretmans, Ramon Janssen
2021 — conf
Distributed Solving of Mixed-Integer Programs with COIN-OR CBC and Thrift.
OR
Jakob Görner, Ramon Janssen, Jochen Rethmann
2020 B conf
Combining Partial Specifications using Alternating Interface Automata.
FASE
Ramon Janssen
2020 J jnl
Combining Partial Specifications using Alternating Interface Automata.
CoRR
Ramon Janssen
2019 Misc conf
Matching implementations to specifications: the corner cases of ioco.
SAC
Ramon Janssen, Jan Tretmans
2019 B conf
Relating Alternating Relations for Conformance and Refinement.
IFM
Ramon Janssen, Frits W. Vaandrager, Jan Tretmans
2019 J jnl
Relating Alternating Relations for Conformance and Refinement.
CoRR
Ramon Janssen, Frits W. Vaandrager, Jan Tretmans
2019 J jnl
n-Complete test suites for IOCO.
Softw. Qual. J.
Petra van den Bos, Ramon Janssen, Joshua Moerman
2017 C conf
n-Complete Test Suites for IOCO.
ICTSS
Petra van den Bos, Ramon Janssen, Joshua Moerman
2016 — conf
Combining Model Learning and Model Checking to Analyze TCP Implementations.
CAV (2)
Paul Fiterau-Brostean, Ramon Janssen, Frits W. Vaandrager
2014 C conf
Learning Fragments of the TCP Network Protocol.
FMICS
Paul Fiterau-Brostean, Ramon Janssen, Frits W. Vaandrager
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling