Publikációk

Export 54 results:
Rendezés: Szerző [ Cím  (Desc)] Típus Év
Szűrők: A Cím Első Betűje = S  [Minden szűrő visszaállítása]
A B C D E F G H I J K L M N O P Q R [S] T U V W X Y Z   [MINDENT mutat]
S
Molnár, V., Darvas, D., Vörös, A., and Bartha, T., "Saturation-based Incremental LTL Model Checking with Inductive Proofs", Tools and Algorithms for the Construction and Analysis of Systems, vol. 9035: Springer, pp. 643-657, 2015.
Molnár, V., and Majzik, I., "Saturation Enhanced with Conditional Locality: Application to Petri Nets", Application and Theory of Petri Nets and Concurrency - 40th International Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019, Proceedings, pp. 342–361, 06/2019.
Szombath, I., "Sampling the IT infrastructure", Spring Wind 2011, Piliscsaba, Hungary, 2011.
Szombath, I., "Sampling and Parameter Testing in Large IT Infrastructure Graphs", Proc. of the 18th PhD Mini-Symposium, Budapest, Hungary, pp. 10–14, 2011.