Sampling Distributed Schedulers for Resilient Space Communication

von D'Argenio, Pedro R.
Veröffentlicht in NFM (12. : 2020 : Moffett Field, Calif.; Online) NASA formal methods (2020)

CONCUR 2013 - concurrency theory : 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27 - 30, 2013 ; proceedings

Veröffentlicht 2013

MaskD: A Tool for Measuring Masking Fault-Tolerance

von Putruele, Luciano
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 1 (2022)

Comparing Statistical and Analytical Routing Approaches for Delay-Tolerant Networks

von D’Argenio, Pedro R.
Veröffentlicht in QEST (19. : 2022 : Warschau) Quantitative evaluation of systems (2022)

Playing Against Fair Adversaries in Stochastic Games with Total Rewards

von Castro, Pablo F.
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 2 (2022)

Testing timed automata

von Springintveld, Jan
Veröffentlicht 1997

Rare Event Simulation for Non-Markovian Repairable Fault Trees

von Budde, Carlos E.
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2020)

Quantitative evaluation of systems : 10th international conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013 ; proceedings

Veröffentlicht 2013