E-LIB Suche - Ergebnisse für: Stankovič, Miroslav

1

Exact and Approximate Moment Derivation for Probabilistic L..:

Kofnov, Andrey ; Moosbrugger, Marcel ; Stankovič, Miroslav..
ACM Transactions on Modeling and Computer Simulation. 34 (2024) 3 - p. 1-25 , 2024

Link: https://doi.org/10.1145/..

2

(Un)Solvable loop analysis:

Amrollahi, Daneshvar ; Bartocci, Ezio ; Kenison, George...
Formal Methods in System Design. , 2024

Link: https://doi.org/10.1007/..

3

Solving Invariant Generation for Unsolvable Loops:

, In: Static Analysis; Lecture Notes in Computer Science,

Amrollahi, Daneshvar ; Bartocci, Ezio ; Kenison, George... - p. 19-43 , 2022

Link: https://doi.org/10.1007/..

4

Distribution Estimation for Probabilistic Loops:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,

Karimi, Ahmad ; Moosbrugger, Marcel ; Stankovič, Miroslav... - p. 26-42 , 2022

Link: https://doi.org/10.1007/..

5

Moment-based analysis of Bayesian network properties:

Stankovič, Miroslav ; Bartocci, Ezio ; Kovács, Laura
Theoretical Computer Science. 903 (2022) - p. 113-133 , 2022

Link: https://doi.org/10.1016/..

6

This is the moment for probabilistic loops:

Moosbrugger, Marcel ; Stankovič, Miroslav ; Bartocci, Ezio.
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA2 - p. 1497-1525 , 2022

Link: https://doi.org/10.1145/..

7

Moment-Based Invariants for Probabilistic Loops with Non-po..:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,

Kofnov, Andrey ; Moosbrugger, Marcel ; Stankovič, Miroslav.. - p. 3-25 , 2022

Link: https://doi.org/10.1007/..

8

Transesterification of Sunflower Oil over Waste Chicken Egg..:

Pavlović, Stefan ; Šelo, Gordana ; Marinković, Dalibor...
Micromachines. 12 (2021) 2 - p. 120 , 2021

Link: https://doi.org/10.3390/..

9

Nickel oxide on mechanochemically synthesized TiO2–CeO2: ph..:

Petrović, Srdjan ; Stanković, Miroslav ; Pavlović, Stefan...
Reaction Kinetics, Mechanisms and Catalysis. 133 (2021) 2 - p. 1097-1110 , 2021

Link: https://doi.org/10.1007/..

10

The Effect of Ni Precursor Salts on Diatomite Supported Ni-..:

Sun, Chao ; Krstic, Jugoslav ; Radonjic, Vojkan..
Materials Science Forum. 1016 (2021) - p. 1417-1422 , 2021

Link: https://doi.org/10.4028/..

11

Analysis of Bayesian Networks via Prob-Solvable Loops:

, In: Theoretical Aspects of Computing – ICTAC 2020; Lecture Notes in Computer Science,

Bartocci, Ezio ; Kovács, Laura ; Stankovič, Miroslav - p. 221-241 , 2020

Link: https://doi.org/10.1007/..

12

Characterization analysis of activated carbon derived from ..:

Dodevski, Vladimir ; Janković, Bojan ; Radović, Ivana...
Energy & Environment. 31 (2020) 4 - p. 583-612 , 2020

Link: https://www.jstor.org/st..

13

Macroporous monoliths based оn natural mineral sources, cla..:

Kokunesoski, Maja ; Stankovic, Miroslav ; Vukovic, Marina...
Science of Sintering. 52 (2020) 3 - p. 339-348 , 2020

Link: https://doi.org/10.2298/..

14

Mora - Automatic Generation of Moment-Based Invariants:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Bartocci, Ezio ; Kovács, Laura ; Stankovič, Miroslav - p. 492-498 , 2020

Link: https://doi.org/10.1007/..

15

Automatic Generation of Moment-Based Invariants for Prob-So..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Bartocci, Ezio ; Kovács, Laura ; Stankovič, Miroslav - p. 255-276 , 2019

Link: https://doi.org/10.1007/..