( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Using formal verification to evaluate the execution time of Spark applications.

, , , , и . Formal Aspects Comput., 32 (1): 33-70 (2020)

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.

Adelheid Rossi

Marcus Rossi

Gabriela Rossi

Rainer Rossi

Davide Rossi

 

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

Spreading of Localized Information across an Entire 3D Electrical Resistivity Volume via Constrained EMI Inversion Based on a Realistic Prior Distribution., , , и . Remote. Sens., 15 (16): 3993 (августа 2023)Formal verification and validation of embedded systems: the UML-based MADES approach., , , , , , , и . Softw. Syst. Model., 14 (1): 343-363 (2015)A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications., , , и . Theor. Comput. Sci., (2016)On How Bit-Vector Logic Can Help Verify LTL-Based Specifications., , и . IEEE Trans. Software Eng., 48 (4): 1154-1168 (2022)THOR: A Hybrid Recommender System for the Personalized Travel Experience., , , , , и . Big Data Cogn. Comput., 6 (4): 131 (2022)A Flexible Approach for Checking Timed Automata on Continuous Time Semantics., , , и . CoRR, (2018)Comments on temporal logics for real-time system specification., , и . ACM Comput. Surv., 41 (2): 13:1-13:5 (2009)SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability, , , , и . CoRR, (2010)Constraint LTL satisfiability checking without automata., , , , , и . J. Appl. Log., 12 (4): 522-557 (2014)Evolution of Intra-specific Regulatory Networks in a Multipartite Bacterial Genome., , , , , , , , , и 4 other автор(ы). PLoS Comput. Biol., (2015)