|
Showing 1 - 6 of
6 matches in All Departments
The use of stochastic models in computer science is wide spread,
for instance in performance modeling, analysis of randomized
algorithms and communication protocols which form the structure of
the Internet. Stochastic model checking is an important field in
stochastic analysis. It has rapidly gained popularity, due to its
powerful and systematic methods to model and analyze stochastic
systems. This book presents 7 tutorial lectures given by leading
scientists at the ROCKS Autumn School on Stochastic Model Checking,
held in Vahrn, Italy, in October 2012. The 7 chapters of this
tutorial went through two rounds of reviewing and improvement and
are summarizing the state-of-the-art in the field, centered around
the tree areas of stochastic models, abstraction techniques and
stochastic model checking.
|
Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings (Paperback, 2013 ed.)
Kaustubh Joshi, Markus Siegle, Marielle Stoelinga, Pedro R. D'Argenio
|
R1,620
Discovery Miles 16 200
|
Ships in 10 - 15 working days
|
This book constitutes the thoroughly refereed proceedings of the
10th International Conference on Quantitative Evaluation of
Systems, QEST 2013, held in Buenos Aires, Argentina, August 27-30,
2013. The 21 revised full papers presented together with 9 tool
demonstrations were carefully reviewed and selected from 52
submissions. The papers are organized in topics such as
probabilistic automata and Markov automata, population models,
model checking and systems, systems, control and games, timed
automata and simulation.
This book constitutes the proceedings of the 17th International
Workshop on Formal Methods for Industrial Critical Systems, FMICS
2012, held in Paris, France, in August 2012. The 14 papers
presented were carefully reviewed and selected from 37 submissions.
The aim of the FMICS workshop series is to provide a forum for
researchers who are interested in the development and application
of formal methods in industry. It also strives to promote research
and development for the improvement of formal methods and tools for
industrial applications.
This Festschrift, dedicated to Frits W. Vaandrager on the occasion
of his 60th birthday, contains papers written by many of his
closest collaborators. Frits has been a Professor of Informatics
for Technical Applications at Radboud University Nijmegen since
1995, where his research focuses on formal methods, concurrency
theory, verification, model checking, and automata learning. The
volume contains contributions of colleagues, Ph.D. students, and
researchers with whom Frits has collaborated and inspired,
reflecting a wide spectrum of scientific interests, and
demonstrating successful work at the highest levels of both theory
and practice.
|
Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings (Paperback, 1st ed. 2021)
Esther Guerra, Marielle Stoelinga
|
R1,480
Discovery Miles 14 800
|
Ships in 10 - 15 working days
|
This open access book constitutes the proceedings of the 24th
International Conference on Fundamental Approaches to Software
Engineering, FASE 2021, which took place during March 27-April 1,
2021, and was held as part of the Joint Conferences on Theory and
Practice of Software, ETAPS 2021. The conference was planned to
take place in Luxembourg but changed to an online format due to the
COVID-19 pandemic. The 16 full papers presented in this volume were
carefully reviewed and selected from 52 submissions. The book also
contains 4 Test-Comp contributions.
This book constitutes the refereed proceedings of the 17th
International Conference on Formal Modeling and Analysis of Timed
Systems, FORMATS 2019, held in Amsterdam, The Netherlands, in
August 2019. The 15 full papers and 2 short papers presented in
this volume were carefully reviewed and selected from 42
submissions. The papers are organized in the following topical
sections: special session on data-driven and stochastic approaches
to real-time, including monitoring and Big Data; timed systems;
linear and non-linear systems; timed automata; special session on
timed systems and probabilities.
|
|