( en | de | ru )

 

Disambiguierung von "Olivero, Alfredo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
ObsSlice: A Timed Automata Slicer Based on Observers.

, , und . CAV, Volume 3114 von Lecture Notes in Computer Science, Seite 470-474. Springer, (2004)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Alfredo Cervera

Alfredo Märker

Alfredo Ibáñez

Alfredo Bergés

Alfredo Aliaga

 

Weitere Publikationen von Autoren mit dem selben Namen

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