( en | de | ru )

 

Disambiguation of "Olivero, Alfredo"

Author of the publication

copydeleteadd this publication to your clipboard
ObsSlice: A Timed Automata Slicer Based on Observers.

, , and . CAV, volume 3114 of Lecture Notes in Computer Science, page 470-474. Springer, (2004)

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 Palma

Alfredo Grau

 

Other publications of authors with the same name

Verifying Quantitative Real-Time Properties of Synchronous Programs., , and . CAV, volume 697 of Lecture Notes in Computer Science, page 347-358. Springer, (1993)Hypervolume Approximation in Timed Automata Model Checking., , , and . FORMATS, volume 4763 of Lecture Notes in Computer Science, page 69-81. Springer, (2007)Visual Timed Event Scenarios., , , and . ICSE, page 168-177. IEEE Computer Society, (2004)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)ObsSlice: A Timed Automata Slicer Based on Observers., , and . CAV, volume 3114 of Lecture Notes in Computer Science, page 470-474. Springer, (2004)Improving the Verification of Timed Systems Using Influence Information., , and . TACAS, volume 2280 of Lecture Notes in Computer Science, page 21-36. Springer, (2002)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)Dealing with practical limitations of distributed timed model checking for timed automata., , and . Formal Methods Syst. Des., 29 (2): 197-214 (2006)Issues in distributed timed model checking., , and . Int. J. Softw. Tools Technol. Transf., 7 (1): 4-18 (2005)A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties., , and . IEEE Trans. Software Eng., 31 (12): 1028-1041 (2005)