![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Article
Open AccessA real-world cohort study of first-line afatinib in patients with EGFR-mutant advanced non-small cell lung cancer in Vietnam
This study aimed to evaluate the efficacy and side effects of first-line afatinib treatment in a real-world setting in Vietnam.
-
Article
Distributed parametric model checking timed automata under non-Zenoness assumption
Model checking timed systems may be negatively impacted by the presence of Zeno runs as counterexamples. Such runs contain an infinite number of discrete actions occurring in a finite time, which is unrealisti...
-
Chapter and Conference Paper
Parametric Model Checking Timed Automata Under Non-Zenoness Assumption
Real-time systems often involve hard timing constraints and concurrency, and are notoriously hard to design or verify. Given a model of a real-time system and a property, parametric model-checking aims at synt...
-
Chapter and Conference Paper
Enhanced Distributed Behavioral Cartography of Parametric Timed Automata
Parametric timed automata (PTA) allow the specification and verification of timed systems incompletely specified, or subject to future changes. The behavioral cartography splits the parameter space of PTA in t...
-
Chapter and Conference Paper
Reachability Preservation Based Parameter Synthesis for Timed Automata
The synthesis of timing parameters consists in deriving conditions on the timing constants of a concurrent system such that it meets its specification. Parametric timed automata are a powerful formalism for pa...