The introduction of Java applets has taken the World Wide Web by storm. Information
servers can customize the presentation of their content with server-supplied code which …

The synergy between software engineering (SE) and artificial intelligence (AI) catalyzes
software development, as numerous recent studies illustrate an intensified intersection …

Parametric timed automata (PTAs) are a powerful formalism to reason, simulate and formally
verify critical real-time systems. After 25 years of research on PTAs, it is now well understood …

Information leakage can have dramatic consequences on systems security. Among harmful
information leaks, the timing information leakage occurs whenever an attacker successfully …

Risk assessment of cyber-physical systems, such as power plants, connected devices and IT-
infrastructures has always been challenging: safety (ie, absence of unintentional failures) …

Timing information leakage occurs whenever an attacker successfully deduces confidential
internal information by observing some timed information such as events with timestamps …

This paper presents a rewriting logic “interpreter” for networks of parametric timed automata
with global variables (NPTAVs) in Real-Time Maude style. Since explicit-state analysis is not …

We study semi-algorithms to synthesise the constraints under which a Parametric Timed
Automaton satisfies some liveness requirement. The algorithms traverse a possibly infinite …

This work addresses the verification of current-state opacity with respect to a real-time
observation generated from time-dependent systems. The secret behavior of a time …

This paper presents a rewriting logic semantics for parametric timed automata (PTAs) and
shows that symbolic reachability analysis using Maude-with-SMT is sound and complete for …