Get Formal Aspects of Component Software 17th International Conference FACS 2021 Virtual Event October 28 29 2021 Proceedings Lecture Notes in Computer Science Gwen Salaün Editor Anton Wijs Editor free all chapters
Get Formal Aspects of Component Software 17th International Conference FACS 2021 Virtual Event October 28 29 2021 Proceedings Lecture Notes in Computer Science Gwen Salaün Editor Anton Wijs Editor free all chapters
Get Formal Aspects of Component Software 17th International Conference FACS 2021 Virtual Event October 28 29 2021 Proceedings Lecture Notes in Computer Science Gwen Salaün Editor Anton Wijs Editor free all chapters
com
OR CLICK BUTTON
DOWLOAD NOW
More products digital (pdf, epub, mobi) instant
download maybe you interests ...
https://ebookmeta.com/product/formal-aspects-of-component-
software-gwen-salaun-anton-wijs/
https://ebookmeta.com/product/serious-games-joint-international-
conference-jcsg-2021-virtual-event-
january-12-13-2022-proceedings-lecture-notes-in-computer-science-
bobbie-fletcher-editor/
Editorial Board
Elisa Bertino
Purdue University, West Lafayette, IN, USA
Wen Gao
Peking University, Beijing, China
Bernhard Steffen
TU Dortmund University, Dortmund, Germany
Gerhard Woeginger
RWTH Aachen, Aachen, Germany
Moti Yung
Columbia University, New York, NY, USA
Founding Editors
Gerhard Goos
Karlsruhe Institute of Technology, Karlsruhe, Germany
Juris Hartmanis
Cornell University, Ithaca, NY, USA
More information about this subseries at http://www.springer.com/
series/7408
Editors
Gwen Salaü n and Anton Wijs
Anton Wijs
Eindhoven University of Technology, Eindhoven, The Netherlands
The publisher, the authors and the editors are safe to assume that the
advice and information in this book are believed to be true and accurate
at the date of publication. Neither the publisher nor the authors or the
editors give a warranty, expressed or implied, with respect to the
material contained herein or for any errors or omissions that may have
been made. The publisher remains neutral with regard to jurisdictional
claims in published maps and institutional affiliations.
Steering Committee
Farhad Arbab CWI and Leiden University, The Netherlands
Kyungmin Bae Pohang University of Science and Technology, South
Korea
Luís Soares Barbosa INESC TEC and University of Minho, Portugal
Sung-Shik Jongmans Open University and CWI, The Netherlands
Zhiming Liu Southwest University, China
Markus Lumpe Swinburne University of Technology, Australia
Eric Madelaine Inria Sophia Antipolis, France
Peter Csaba Ölveczky University of Oslo, Norway
Corina Pasareanu CMU, USA
José Proença CISTER, Portugal
Gwen Salaün Université Grenoble Alpes, France
Program Committee
Kyungmin Bae Pohang University of Science and Technology, South
Korea
Christel Baier TU Dresden, Germany
Luís Soares Barbosa University of Minho, Portugal
Simon Bliudze Inria Lille, France
Javier Camara University of York, UK
Francisco Duran University of Malaga, Spain
Fatemeh Ghassemi University of Tehran, Iran
Sung-Shik Jongmans Open University and CWI, The Netherlands
Olga Kouchnarenko University of Franche-Comté, France
Alfons Laarman Leiden University, The Netherlands
Ivan Lanese University of Bologna, Italy
Zhiming Liu Southwest University, China
Alberto Lluch-Lafuente Technical University of Denmark, Denmark
Markus Lumpe Swinburne University of Technology, Australia
Eric Madelaine Inria Sophia Antipolis, France
Mieke Massink CNR ISTI, Italy
Hernán Melgratti University of Buenos Aires, Argentina
Fabrizio Montesi University of Southern Denmark
Peter Csaba Ölveczky University of Oslo, Norway
Jun Pang University of Luxembourg, Luxembourg
José Proença CISTER, Portugal
Jorge Pérez University of Groningen, The Netherlands
Camilo Rocha Pontificia Universidad Javeriana Cali, Colombia
Gwen Salaün Université Grenoble Alpes, France
Ana Sokolova University of Salzburg, Austria
Jacopo Soldani University of Pisa, Italy
Anton Wijs Eindhoven University of Technology, The Netherlands
Shoji Yuen Nagoya University, Japan
Additional Reviewers
Zahra Moezkarimi
Yuanrui Zhang
Vincent Hugot
Zeynab Sabahi Kaviani
Wanwei Liu
Renato Neves
Parametric and Interval Model Checking: Recent
Advances and Applications (Abstract of Invited
Paper)
Radu Calinescu
Department of Computer Science, University of York, UK
radu.calinescu@york.ac.uk
Abstract. The model checking of Markov chains is a powerful technique
for verifying performance, dependability and other key properties of
systems with stochastic behaviour, both during development and at
runtime. However, the usefulness of this technique depends on the
accuracy of the models being verified, and on the efficiency of the
verification. This invited talk will describe how recent advances in
parametric and interval model checking address major challenges
posed by these prerequisites, enabling the application of the technique
to a broader range of component-based systems.
Keywords: Parametric model checking · Parametric Markov chains ·
Confidence-interval model checking · Interval Markov chains · Change-
point detection
This talk is based on research reported in [1–7], and funded by the
UK Research and Innovation project EP/V026747/1 ‘Trustworthy
Autonomous Systems Node in Resilience’, the Assuring Autonomy
International Programme, and the ORCA-Hub Partnership Resource
Fund project ‘COVE’.
References
1. Alasmari, N., Calinescu, R., Paterson, C., Mirandola, R.: Quantitative
verification with adaptive uncertainty reduction. arXiv preprint arXiv:
https://arxiv.org/abs/2109.02984 (2021)
2. Calinescu, R., Ceska, M., Gerasimou, S., Kwiatkowska, M., Paoletti,
N.: Efficient synthesis of robust models for stochastic systems. J. Syst.
Softw. 143, 140–158 (2018). https://doi.org/10.1016/j.jss.2018.05.
013
3. Calinescu, R., Ghezzi, C., Johnson, K., Pezzé, M., Rafiq, Y.,
Tamburrelli, G.: Formal verification with confidence intervals to
establish quality of service properties of software systems. IEEE Trans.
Reliab. 65(1), 107–125 (2016). https://doi.org/10.1109/TR.2015.
2452931
4. Calinescu, R., Johnson, K., Paterson, C.: FACT: A probabilistic
model checker for formal verification with confidence intervals. In:
22nd International Conference on Tools and Algorithms for the
Construction and Analysis of Systems (TACAS), pp. 540–546 (2016).
https://doi.org/10.1007/978-3-662-49674-9_32
5. Calinescu, R., Paterson, C., Johnson, K.: Efficient parametric model
checking using domain knowledge. IEEE Trans. Softw. Eng. 47(6),
1114–1133 (2021). https://doi.org/10.1109/TSE.2019.2912958
6. Fang, X., Calinescu, R., Gerasimou, S., Alhwikem, F.: Fast
parametric model checking through model fragmentation. In: 43rd
IEEE/ACM International Conference on Software Engineering (ICSE),
pp. 835–846 (2021). https://doi.org/10.1109/ICSE43902.2021.00081
7. Zhao, X., Calinescu, R., Gerasimou, S., Robu, V., Flynn, D.: Interval
change-point detection for runtime probabilistic model checking. In:
35th IEEE/ACM International Conference on Automated Software
Engineering (ASE), pp. 163–174 (2020). https://doi.org/10.1145/
3324884.3416565
Contents
Invited Paper
Learning Assumptions for Verifying Cryptographic Protocols
Compositionally
Zichao Zhang, Arthur Azevedo de Amorim, Limin Jia and
Corina Pă să reanu
Modelling and Composition
Component-Based Approach Combining UML and BIP for Rigorous
System Design
Salim Chehida, Abdelhakim Baouya and Saddek Bensalem
Composable Partial Multiparty Session Types
Claude Stolze, Marino Miculan and Pietro Di Gianantonio
A Canonical Algebra of Open Transition Systems
Elena Di Lavore, Alessandro Gianola, Mario Romá n,
Nicoletta Sabadini and Paweł Sobociń ski
Corinne, a Tool for Choreography Automata
Simone Orlando, Vairo Di Pasquale, Franco Barbanera, Ivan Lanese
and Emilio Tuosto
Verification
Specification and Safety Verification of Parametric Hierarchical
Distributed Systems
Marius Bozga and Radu Iosif
A Linear Parallel Algorithm to Compute Bisimulation and
Relational Coarsest Partitions
Jan Martens, Jan Friso Groote, Lars van den Haak, Pieter Hijma and
Anton Wijs
Automated Generation of Initial Configurations for Testing
Component Systems
Frédéric Dadeau, Jean-Philippe Gros and Olga Kouchnarenko
Monitoring Distributed Component-Based Systems
Yliès Falcone, Hosein Nazarpour, Saddek Bensalem and
Marius Bozga
Author Index
Invited Paper
Another random document with
no related content on Scribd:
Padang, Sumatra. The shocks were accompanied by an enormous
sea-wave. Two hundred and thirty people were killed and many
injured. Much damage was done.
----------EARTHQUAKES: End--------
ECHEGARAY, Jose.
ECONOMIC FORESTRY.
ECUADOR: A. D. 1901-1906.
From revolution to revolution.
ECUADOR: A. D. 1901-1906.
Participation in Second and Third International Conferences
of American Republics, at Rio de Janeiro.
ECUADOR: A. D. 1905.
Arbitration of boundary question with Peru.
EDMONTON:
Capital of the Province of Alberta.
----------EDUCATION: Start--------
1876. 1889.
1907.
Number of societies. 29 41
82
{192}
George Marvin,
The American Spirit in Chinese Education
(The Outlook, November, 1908).
EDUCATION: A. D. 1901-1902.
Edicts of Reform.
Modernizing of Examinations for Literary Degrees
and for Military Degrees.
New Universities, Colleges, and Schools.
Students sent abroad.
"Those who are acquainted with China know very well that many
of the Edicts of the Government do not amount to much more
than waste paper. In this case, however, it has not been so.
The Imperial College in Shansi has been opened, with some 300
students, in the hope that it will develop into one of the
provincial universities. It is divided into a Chinese and a
Foreign Department. … The Edicts have not been a dead letter
in the other provinces either, though there has been enormous
difficulty in getting a sufficient number of professors to
teach or of text-books to use. Some Chinamen who under the old
system of education would not have got more than £30 per annum
now get £240, and there are not enough of them. At the lowest
estimate text-books and books of general knowledge of the West
to the value of £25,000 must have been sold during this year
alone. Books to the value of £6,000 were sold by the Society
for the Diffusion of Christian Knowledge.
Nanking —
Chihli —
Prefectural Colleges
in Soochow. Taels 10,000.
Prefectural Colleges
in Shantung under
R. C. Bishop Anzer. Taels 2,000
Timothy Richard,
The New Education in China
(Contemporary Review, January, 1903).
EDUCATION: A. D. 1906.
Chinese Students in Japan.
{193}
EDUCATION: A. D. 1908.
The administration of the Department of Education in the
Chinese Government.
Under the date of November 9, 1908, the Peking correspondent
of the London Times wrote of the administration of the
governmental Department of Education as follows:
EDUCATION: A. D. 1908.
Chinese Students in America.
"More important than anything that has yet taken place in this
movement of Chinese education in America is the recent
determination on the part of the Imperial Government to devote
a sum equal to that placed at their disposal by the remission
of the Boxer indemnity to the founding of an Educational
Mission in this country. … According to the terms of the
agreement contained in the note of Prince Ch’ing to Mr.
Rockhill last July, by the end of the fourth year from the
inauguration of the scheme four hundred students, sent by the
Imperial Government, will be added to the large and growing
number of their young fellow-countrymen already coming to
America."
George Marvin,
The American Spirit in Chinese Education
(The Outlook, November, 1908).
EDUCATION: A. D. 1909.
Progress in Technical Education.
EDUCATION: A. D. 1909.
Formation in Great Britain and America of the China
Emergency Appeal Committee.
{194}
London Times,
July 17, 1909.
"All over the island the old Spanish barracks and the barracks
occupied by the American troops which had been withdrawn were
turned into schoolrooms after thorough renovation. The
pressure for education was earnest and universal. The
appropriations from the insular treasury for that purpose
during the first year of American occupation amounted to four
and a half millions.
Professor J. W. Jenks,
The Egypt of To-day
(International Quarterly Review, October, 1902).
{195}
Edmund Verney,
A Revolution in Egypt
(Contemporary Review, July, 1905).
EDUCATION: A. D. 1908.
Gordon Memorial College at Khartoum.
{196}
"Part III. Elementary Education.
5.
The local education authority shall throughout their area
have the powers and duties of a school board and school
attendance committee under the Elementary Education Acts, 1870
to 1900, and any other Acts, including local Acts, and shall
also be responsible for and have the control of all secular
instruction in public elementary schools not provided by them,
and school boards and school attendance committees shall be
abolished.
"6.
(1) All public elementary schools provided by the local
education authority shall, where the local education authority
are the council of a county, have a body of managers
consisting of a number of managers not exceeding four
appointed by that council, together with a number not
exceeding two appointed by the minor local authority. Where
the local education authority are the council of a borough or
urban district they may, if they think fit, appoint for any
school provided by them a body of managers consisting of such
number of managers as they may determine.
"(3)
Notwithstanding anything in this section—
"7.—
(1) The local education authority shall maintain and keep
efficient all public elementary schools within their area
which are necessary, and have the control of all expenditure
required for that purpose, other than expenditure for which,
under this Act, provision is to be made by the managers; but,
in the case of a school not provided by them, only so long as
the following conditions and provisions are complied with:—
"8.—
(1) Where the local education authority or any other persons
propose to provide a new public elementary school, they shall
give public notice of their intention to do so, and the
managers of any existing school, or the local education
authority (where they are not themselves the persons proposing
to provide the school), or any ten rate payers in the area for
which it is proposed to provide the school, may, within three
months after the notice is given, appeal to the Board of
Education on the ground that the proposed school is not
required, or that a school provided by the local education
authority, or not so provided, as the case may be, is better
suited to meet the wants of the district than the school
proposed to be provided, and any school built in contravention
of the decision of the Board of Education on such appeal shall
be treated as unnecessary.
{197}
Annual Register,
1902, p. 107.
J. Guinness Rogers,
The Nonconformist Uprising
(Nineteenth Century, October, 1903).
A weightier and more statesman like objection to the Act was
set forth by the Right Honourable James Bryce in the
following:
James Bryce,
A Few Words on the Few Education Bill
(Nineteenth Century, May, 1902).
"Now, it is for that process we cannot and will not pay any
rate whatever. We object to many of the provisions of the
Education Acts. They are anti-democratic, unfair, unjust; they
are destructive of educational efficiency and social peace;
but the one thing that has created the Passive Resistance
movement is not the destruction of the School Board, not the
loss of popular control, but this intrusion into the realm of
conscience by the State.
{199}
That is the prime factor in this situation. To that ‘we will
not submit,’ declared Mr. Fairbairn to Mr. Balfour when the
Bill was before the House. In short, we say with Bunyan to our
persecutors, ‘Where I cannot obey actively, there I am willing