( en | de | ru )

 

Disambiguation of "Olivero, Alfredo"

Author of the publication

copydeleteadd this publication to your clipboard
An architecture-centric approach to the development of a distributed model-checker for timed automata.

, , and . ICSE, page 710. ACM, (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. You can also use the button next to the name to display some publications already assigned to the person.

Alfredo Cervera

Alfredo Ibáñez

Alfredo Märker

Alfredo Aliaga

Alfredo Palma

 

Other publications of authors with the same name

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