Vassilis Mertsiotakis

12 papers A* 1A 1B 1C 1Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
2000 J jnl
Compositional performance modelling with the TIPPtool.
Perform. Evaluation
Holger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis, Markus Siegle
1999 A* conf
TIPPtool: Compositional Specification and Analysis of Markovian Performance Models.
CAV
Holger Hermanns, Vassilis Mertsiotakis, Markus Siegle
1998 — —
Approximate analysis methods for stochastic process algebras.
Vassilis Mertsiotakis
1998 — conf
Compositional Performance Modelling with TIPPtool.
Computer Performance Evaluation (Tools)
Holger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis, Markus Siegle
1998 J jnl
Stochastic Process Algebras - Between LOTOS and Markov Chains.
Comput. Networks
Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis
1997 — conf
Exploiting stochastic process algebra achievements for generalized stochastic Petri nets.
PNPM
Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach
1997 — conf
Throughput approximation of decision free processes using decomposition.
PNPM
Vassilis Mertsiotakis, Manuel Silva Suárez
1996 A conf
A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP.
TACAS
Holger Hermanns, Vassilis Mertsiotakis, Michael Rettelbach
1995 J jnl
A Simple Time Scale Decomposition Technique for Stochastic Process Algebras.
Comput. J.
Jane Hillston, Vassilis Mertsiotakis
1994 — conf
Automatic Scalability Analysis of Parallel Programs Based on Modeling Techniques.
Computer Performance Evaluation
Allen D. Malony, Vassilis Mertsiotakis, Andreas Quick
1994 B conf
Stochastic Modeling of Scaled Parallel Programs.
ICPADS
Allen D. Malony, Vassilis Mertsiotakis, Andreas Quick
1994 C conf
Stochastic process algebras: integrating qualitative and quantitative modelling.
FORTE
Jane Hillston, Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach
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