|
Showing 1 - 12 of
12 matches in All Departments
|
Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings (Paperback, 1st ed. 2017)
Marieke Huisman, Julia Rubin
|
R2,738
Discovery Miles 27 380
|
Ships in 10 - 15 working days
|
This book constitutes the proceedings of the 20th International
Conference on Fundamental Approaches to Software Engineering, FASE
2017, which took place in Uppsala, Sweden in April 2017, held as
Part of the European Joint Conferences on Theory and Practice of
Software, ETAPS 2017. The 23 papers presented in this volume were
carefully reviewed and selected from 91 submissions. They were
organized in topical sections named: learning and inference; test
selection; program and system analysis; graph modeling and
transformation; model transformations; configuration and synthesis;
and software product lines.
|
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices - Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers (Paperback, 2006 ed.)
Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet
|
R1,502
Discovery Miles 15 020
|
Ships in 10 - 15 working days
|
This book constitutes the refereed post-proceedings of the
Second International Workshop on Construction and Analysis of Safe,
Secure, and Interoperable Smart Devices, CASSIS 2005. The 9 revised
full papers presented were carefully selected during two rounds of
reviewing and improvement from about 30 workshop talks. The papers
are organized in topical sections on research trends in smart
devices, Web services, virtual machine technology, security,
validation and formal methods, proof-carrying code, and embedded
devices.
|
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices - International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers (Paperback, 2005 ed.)
Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean
|
R1,547
Discovery Miles 15 470
|
Ships in 10 - 15 working days
|
This volume contains a selection of refereed papers from
participants of the workshop "Construction and Analysis of Safe,
Secure and Interoperable Smart Devices" (CASSIS), held from the
10th to the 13th March 2004 in Marseille, France: http:
//www-sop.inria.fr/everest/events/cassis04/ The workshop was
organized by INRIA (Institut National de Recherche en
InformatiqueetenAutomatique), Franceandthe UniversitydelaM
editerran ee, Marseille, France. The workshop was attended by
nearly 100 participants, who were invited for their contributions
to relevant areas of computer science.
Theaimoftheworkshopwastobringtogetherexpertsfromthesmartdevices
industry and academic researchers, with a view to stimulate
research on formal methods and security, and to encourage the smart
device industry to adopt innovative solutions drawn from academic
research. The next generation of smart devices holds the promise of
providing the required infrastructure for the secure provision of
multiple and personalized services. In order to deliver their
promise, the smart device technology must however pursue the
radical evolution that was initiated with the adoption of
multi-application smartcards. Typical needs include: - The
possibility for smart devices to feature extensible computational
infr- tructures that may be enhanced to support increasingly
complex appli- tions that may be installed post-issuance, and may
require operating system functionalities that were not
pre-installed. Such additional ?exibility must however not
compromise security. - The possibility for smart devices to achieve
a better integration with larger computersystems,
throughimprovedconnectivity, genericity, aswellasint- operability."
This book constitutes the proceedings of the 27th International
Conference on Formal Methods for Industrial Critical Systems, FMICS
2022, which took place in Warsaw, Poland, in September 2022. The 13
full papers included in this book were carefully reviewed and
selected from 22 submissions. They were organized in topical
sections as follows: Certification; industrial use cases; testing
and monitoring; and methodology.
|
Formal Techniques for Distributed Objects, Components, and Systems - 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings (1st ed. 2023)
Marieke Huisman, António Ravara
|
R2,053
Discovery Miles 20 530
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 43rd IFIP WG
6.1 International Conference on Formal Techniques for Distributed
Objects, Components, and Systems, FORTE 2023, held in Lisbon,
Portugal, in June 2023, as part of the 18th International Federated
Conference on Distributed Computing Techniques, DisCoTec 2023. The
13 regular papers and 3 short papers presented in this book were
carefully reviewed and selected from 26 submissions. They cover
topics such as: concurrent programming; security; probabilities,
time and other resources; and model-based testing and petri nets.
This book constitutes the refereed proceedings of the 24th
Symposium on Formal Methods, FM 2021, held virtually in November
2021. The 43 full papers presented together with 4 invited
presentations were carefully reviewed and selected from 131
submissions. The papers are organized in topical sections named:
Invited Presentations. - Interactive Theorem Proving, Neural
Networks & Active Learning, Logics & Theory, Program
Verification I, Hybrid Systems, Program Verification II, Automata,
Analysis of Complex Systems, Probabilities, Industry Track Invited
Papers, Industry Track, Divide et Impera: Efficient Synthesis of
Cyber-Physical System.
|
Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III (Paperback, 1st ed. 2019)
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
|
R1,589
Discovery Miles 15 890
|
Ships in 10 - 15 working days
|
This book is Open Access under a CC BY licence. This book, LNCS
11429, is part III of the proceedings of the 25th International
Conference on Tools and Algorithms for the Construction and
Analysis of Systems, TACAS 2019, which took place in Prague, Czech
Republic, in April 2019, held as part of the European Joint
Conferences on Theory and Practice of Software, ETAPS 2019. It's a
special volume on the occasion of the 25 year anniversary of TACAS.
|
Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II (Paperback, 1st ed. 2018)
Dirk Beyer, Marieke Huisman
|
R1,645
Discovery Miles 16 450
|
Ships in 10 - 15 working days
|
This book is Open Access under a CC BY licence. The LNCS 10805 and
10806 proceedings set constitutes the proceedings of the 24th
International Conference on Tools and Algorithms for the
Construction and Analysis of Systems, TACAS 2018, which took place
in Thessaloniki, Greece, in April 2018, held as part of the
European Joint Conference on Theory and Practice of Software, ETAPS
2018. The total of 43 full and 11 short papers presented in these
volumes was carefully reviewed and selected from 154submissions.
The papers are organized in topical sections as follows: Part I:
theorem proving; SAT and SMT I; deductive verification; software
verification and optimization; model checking; and machine
learning. Part II: concurrent and distributed systems; SAT and SMT
II; security and reactive systems; static and dynamic program
analysis; hybrid and stochastic systems; temporal logic and
mu-calculus; 7th Competition on Software Verification - SV-COMP.
|
Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I (Paperback, 1st ed. 2018)
Dirk Beyer, Marieke Huisman
|
R1,635
Discovery Miles 16 350
|
Ships in 10 - 15 working days
|
This book is Open Access under a CC BY licence. The LNCS 10805 and
10806 proceedings set constitutes the proceedings of the 24th
International Conference on Tools and Algorithms for the
Construction and Analysis of Systems, TACAS 2018, which took place
in Thessaloniki, Greece, in April 2018, held as part of the
European Joint Conference on Theory and Practice of Software, ETAPS
2018. The total of 43 full and 11 short papers presented in these
volumes was carefully reviewed and selected from 154submissions.
The papers are organized in topical sections as follows: Part I:
theorem proving; SAT and SMT I; deductive verification; software
verification and optimization; model checking; and machine
learning. Part II: concurrent and distributed systems; SAT and SMT
II; security and reactive systems; static and dynamic program
analysis; hybrid and stochastic systems; temporal logic and
mu-calculus; 7th Competition on Software Verification - SV-COMP.
This book constitutes the refereed proceedings of the 12th
International Conference on Integrated Formal Methods, IFM 2016,
held in Reykjavik, Iceland, in June 2016. The 33 papers presented
in this volume were carefully reviewed and selected from 99
submissions. They were organized in topical sections named: invited
contributions; program verification; probabilistic systems;
concurrency; safety and liveness; model learning; SAT and SMT
solving; testing; theorem proving and constraint satisfaction; case
studies.
|
|