Search results

Articles (7)

Journals (0)

1-7 of 7 results for parametric timed automata

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2016-3-4

Interrupt Timed Automata with Auxiliary Clocks and Parameters *

Beatrice Bérard, Serge Haddad, Aleksandra Jovanović [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2021

Parametric Analyses of Attack-fault Trees *

Étienne André, Didier Lime, Mathias Ramparison [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2026-2

A slope-based automatic identification and optimization of key time nodes method for adaptive control vector parameterization

Lanqing Dang, Shijin Ye, Tai-Fang Li

Transactions of the Institute of Measurement and Control

Retricted access

Research article

First published 2021

Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints *

Étienne André, Emmanuel Coquard, Laurent Fribourg [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2012-11

Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios

Artur Niewiadomski, Wojciech Penczek, Agata Połrola [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2016-3-4

Robustness of Time Petri Nets under Guard Enlargement

S. Akshay, Loïc Hélouët, Claude Jard [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2011-9

PlanICS - a Web Service Composition Toolset

Dariusz Doliwa, Wojciech Horzelski, Mariusz Jarocki [...]

Fundamenta Informaticae