( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Parametric Model-Checking of Stopwatch Petri Nets.

, , и . J. Univers. Comput. Sci., 15 (17): 3273-3304 (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Abdelhakim Limem

Leo Didier

Didier Béton

Didier Sangiorgio

Didier Fau

 

Другие публикации лиц с тем же именем

An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized Weighted Graphs., , и . LATA, том 12638 из Lecture Notes in Computer Science, стр. 279-290. Springer, (2021)Timed Non-interference Under Partial Observability and Bounded Memory., , и . FORMATS, том 14138 из Lecture Notes in Computer Science, стр. 122-137. Springer, (2023)A Turn-Based Approach for Qualitative Time Concurrent Games., , и . Petri Nets, том 12734 из Lecture Notes in Computer Science, стр. 76-92. Springer, (2021)Reachability and liveness in parametric timed automata., , и . Log. Methods Comput. Sci., (2022)Reachability in parametric Interval Markov Chains using constraints., , , , , и . Theor. Comput. Sci., (2018)Decidability Problems for Weak Time Petri Nets with Read, Reset and Transfer Arcs., , и . Petri Nets, том 15714 из Lecture Notes in Computer Science, стр. 333-353. Springer, (2025)On the Expressive Power of Invariants in Parametric Timed Automata., , и . ICECCS, стр. 87-96. IEEE, (2019)Analysis of Polka Contention Manager for use in Multicore Hard Real-Time Systems., , и . RTNS, стр. 11-21. ACM, (2020)Guaranteeing Timed Opacity using Parametric Timed Model Checking., , , и . ACM Trans. Softw. Eng. Methodol., 31 (4): 64:1-64:36 (2022)Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata., , , , и . TiCSA@ETAPS, том 392 из EPTCS, стр. 1-26. (2023)