Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13,... von Hillston, Jane, Soudjani, Sadegh, Waga, Masaki

Volltext

Fluid Rewards for a Stochastic Process Algebra von Tribastone, M., Jie Ding, Gilmore, S., Hillston, J.

Volltext

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software S... von Bernardo, Marco, De Nicola, Rocco, Hillston, Jane

Volltext

Process algebras for quantitative analysis von Hillston, J.

Volltext

Bio-PEPA: A framework for the modelling and analysis of biological systems von Ciocchetta, Federica, Hillston, Jane

Volltext

Tuning Systems: From Composition to Performance von Hillston, Jane

Volltext

Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, M... von Hutchison, David, Kanade, Takeo, Kittler, Josef

Volltext

Scalable Differential Analysis of Process Algebra Models von Tribastone, M., Gilmore, S., Hillston, J.

Volltext

Scalable context-dependent analysis of emergency egress models von Massink, M., Latella, D., Bracciali, A., Harrison, M. D., Hillston, J.

Volltext

An efficient algorithm for aggregating PEPA models von Gilmore, S., Hillston, J., Ribaudo, M.

Volltext

Fluid flow approximation of PEPA models von Hillston, J.

Volltext bestellen

Numerically Representing Stochastic Process Algebra Models von Ding, Jie, Hillston, Jane

Volltext

Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools von Loreti, Michele, Hillston, Jane

Volltext

An Expressive Timed Modal Mu-Calculus for Timed Automata von Cleaveland, Rance, Keiren, Jeroen J. A., Fontana, Peter

Volltext

Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes von Baier, Christel, Chau, Calvin, Klüppelholz, Sascha

Volltext

Multi-agent Path Finding for Timed Tasks Using Evolutionary Games von Paul, Sheryl, Balakrishnan, Anand, Qin, Xin, Deshmukh, Jyotirmoy V.

Volltext

Approximation of Cumulative Distribution Functions by Bernstein Phase-Type Distributions von Horváth, András, Horváth, Illés, Paolieri, Marco, Telek, Miklós, Vicario, Enrico

Volltext

On Parametric DBMs and Their Applications to Time Petri Nets von Leclercq, Loriane, Lime, Didier, Roux, Olivier H.

Volltext

IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale STochastic Systems von Wooding, Ben, Lavaei, Abolfazl

Volltext

Adaption of Stochastic Models (ASMo) - A Tool for Input Modeling von Bause, Falko, Blume, Andreas, Buchholz, Peter, Puzicha, Alexander, Timmermann, Alina

Volltext