( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
TiPEX: A Tool Chain for Timed Property Enforcement During eXecution.

, , , и . RV, том 9333 из Lecture Notes in Computer Science, стр. 306-320. Springer, (2015)

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.

Giovanni Falcone

Giovanni Falcone

Andrés Falcone

Franco Harald Falcone

Rainer Andrea Falcone

 

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

Weave droid: aspect-oriented programming on Android devices: fully embedded or in the cloud., и . ASE, стр. 350-353. ACM, (2012)Verifying Policy Enforcers., , , и . RV, том 10548 из Lecture Notes in Computer Science, стр. 241-258. Springer, (2017)Runtime Verification: The Application Perspective., и . ISoLA (1), том 7609 из Lecture Notes in Computer Science, стр. 284-291. Springer, (2012)Runtime enforcement of regular timed properties., , , и . SAC, стр. 1279-1286. ACM, (2014)Etude et mise en œuvre de techniques de validation à l'exécution. (Study and implementation of runtime validation techniques).. Joseph Fourier University, Grenoble, France, (2009)Runtime verification: the application perspective., и . Int. J. Softw. Tools Technol. Transf., 17 (2): 121-123 (2015)Optimal enforcement of (timed) properties with uncontrollable events., , , , и . Math. Struct. Comput. Sci., 29 (1): 169-214 (2019)Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation., , , , и . Softw. Syst. Model., 14 (1): 173-199 (2015)A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)., , , , , , , , , и 6 other автор(ы). CoRR, (2018)From high-level modeling toward efficient and trustworthy circuits., , , и . Int. J. Softw. Tools Technol. Transf., 21 (2): 143-163 (2019)