( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
ZEUS: A Distributed Timed Model-Checker Based on KRONOS.

, , и . PDMC@CONCUR, том 68 из Electronic Notes in Theoretical Computer Science, стр. 503-522. Elsevier, (2002)

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.

Alfredo Cervera

Alfredo Märker

Alfredo Ibáñez

Alfredo Bergés

Alfredo Aliaga

 

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

Hypervolume Approximation in Timed Automata Model Checking., , , и . FORMATS, том 4763 из Lecture Notes in Computer Science, стр. 69-81. Springer, (2007)Verifying Quantitative Real-Time Properties of Synchronous Programs., , и . CAV, том 697 из Lecture Notes in Computer Science, стр. 347-358. Springer, (1993)On Improving Backwards Verification of Timed Automata., , и . Theory and Practice of Timed Systems @ ETAPS, том 65 из Electronic Notes in Theoretical Computer Science, стр. 60-67. Elsevier, (2002)Visual Timed Event Scenarios., , , и . ICSE, стр. 168-177. IEEE Computer Society, (2004)ObsSlice: A Timed Automata Slicer Based on Observers., , и . CAV, том 3114 из Lecture Notes in Computer Science, стр. 470-474. Springer, (2004)Improving the Verification of Timed Systems Using Influence Information., , и . TACAS, том 2280 из Lecture Notes in Computer Science, стр. 21-36. Springer, (2002)Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis., , , , и . FORMATS, том 5813 из Lecture Notes in Computer Science, стр. 58-72. Springer, (2009)A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties., , и . IEEE Trans. Software Eng., 31 (12): 1028-1041 (2005)Issues in distributed timed model checking., , и . Int. J. Softw. Tools Technol. Transf., 7 (1): 4-18 (2005)Dealing with practical limitations of distributed timed model checking for timed automata., , и . Formal Methods Syst. Des., 29 (2): 197-214 (2006)