|
Showing 1 - 8 of
8 matches in All Departments
|
Tools and Algorithms for the Construction and Analysis of Systems - 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings (Paperback, Edition.)
Javier Esparza, Rupak Majumdar
|
R1,618
Discovery Miles 16 180
|
Ships in 10 - 15 working days
|
ETAPS 2010 was the 13th instance of the European Joint Conferences
on T- oryandPracticeofSoftware.
ETAPSisanannualfederatedconferencethatwas
establishedin1998bycombininganumberofexistingandnewconferences.
This yearitcomprisedtheusual?vesisterconferences(CC, ESOP, FASE,
FOSSACS, TACAS), 19 satellite workshops (ACCAT, ARSPA-WITS,
Bytecode, CMCS, COCV, DCC, DICE, FBTC, FESCA, FOSS-AMA, GaLoP,
GT-VMT, LDTA, MBT, PLACES, QAPL, SafeCert, WGT, and WRLA) and seven
invited l- tures (excluding those that were speci?c to the
satellite events). The ?ve main conferences this year received 497
submissions (including 31 tool demonstration papers), 130 of which
were accepted (10 tool demos), giving an overall acc- tance rateof
26%, with most of the conferencesat around24%. Congratulations
thereforetoalltheauthorswhomadeittothe?nalprogramme Ihopethatmost
of the other authors will still have found a way of participating
in this exciting event, and that you will all continue submitting
to ETAPS and contributing to make of it the best conference on
software science and engineering. The events that comprise ETAPS
address various aspects of the system - velopmentprocess, including
speci?cation, design, implementation, analysisand improvement. The
languages, methodologies and tools which support these - tivities
are all well within its scope. Di?erent blends of theory and
practice are represented,
withaninclinationtowardtheorywithapracticalmotivationonthe one hand
and soundly based practice on the other. Many of the issues
involved in software design apply to systems in general, including
hardwaresystems, and the emphasis on software is not intended to be
exclusive. ETAPS is a confederation in which each event retains its
own identity, with a separate Programme Committee and proceedings.
Its format is open-ended, allowing it to grow and evolve as time go
|
Hybrid Systems: Computation and Control - 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings (Paperback, 2009 ed.)
Rupak Majumdar, Paulo Tabuada
|
R1,624
Discovery Miles 16 240
|
Ships in 10 - 15 working days
|
This volume contains the proceedings of the 12th International
Conference on Hybrid Systems Computation and Control (HSCC 2009)
held in San Francisco, CaliforniaduringApril13-15,2009.
Theannualconferenceonhybridsystems- cuses on researchin embedded,
reactive systems involving the interplay between discrete switching
and continuous dynamics. HSCC is a forum for academic and
industrial researchers and practitioners to exchange information on
the latest advancements, both practical and theoretical, in the
design, analysis, control, optimization, and implementation of
hybrid systems. HSCC 2009 was the 12th in a series of successful
meetings. Previous versions wereheld in Berkeley(1998), Nijmegen
(1999), Pittsburgh(2000), Rome (2001), PaloAlto (2002),
Prague(2003), Philadelphia (2004), Zurich (2005), Santa B- bara
(2006), Pisa (2007), and St. Louis (2008). HSCC 2009 was part of
the 2nd Cyber-Physical Systems Week (CPSWeek),
whichconsistedoftheco-locationofHSCCwiththeInternationalConferenceon
Information Processing in Sensor Networks (IPSN) and the Real-Time
and - bedded Technology and Applications Symposium (RTAS). Through
CPSWeek, the three conferences had joint invited speakers, poster
sessions, and joint - cial events. In addition to the workshops
sponsored by CPSWeek, HSCC 2009 sponsored two workshops: - NSV II:
Second International Workshop on Numerical Software Veri?cation -
HSCB 2009: Hybrid Systems Approaches to Computational Biology We
would like to thank the authors of submitted papers, the Program C-
mittee members, the additional reviewers, the workshop organizers,
and the HSCC Steering Committee members for their help in composing
a strong p- gram. We also thank the CPSWeek Organizing Committee,
in particular Rajesh Gupta, for their strenuous work in handling
the local arrangemen
|
Model Checking Software - 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings (Paperback, 2008 ed.)
Klaus Havelund, Rupak Majumdar, Jens Palsberg
|
R1,576
Discovery Miles 15 760
|
Ships in 10 - 15 working days
|
This volume contains the proceedings of the 15th International SPIN
Workshop on Model Checking of Software (SPIN 2008), which took
place at the University of California, Los Angeles, August 10-12,
2008. The SPIN workshops form a forum for researchers and
practitioners interested in model checking techniques for the
veri?cation and validation of software systems. Model checking is
the process of checking whether a given structure is a model of a
given logical f- mula.The structure normallyrepresents a setof
tasks executing in parallelin an interleaved fashion, resulting in
a non-deterministic set of executions. The main
focusoftheworkshopseriesissoftwaresystems, including models
andprograms. Subjects of interest include theoretical and
algorithmic foundations as well as toolsfor softwaremodel
checking.The workshopin additionaimsto foster int- actions and
exchanges of ideas with related areas in software engineering, such
as static analysis, dynamic analysis, and testing. There were 41
submissions, including 38 full papers and 3 tool papers. Each
submissionwasreviewedbyatleastthreeProgrammeCommitteemembers.The
committee decided to accept 18 papers, including 17 regular papers
and 1 tool paper. The programme also included ?ve invited talks (in
alphabetical order): Matthew Dwyer (University of Nebraska)
"Residual Checking of Safety Pr- erties," Daniel Jackson (MIT)
"Patterns of Software Modelling: From Classic To Funky," Shaz
Qadeer (Microsoft Research) "The Case for Context-Bounded
Veri?cation of Concurrent Programs," Wolfram Schulte (Microsoft
Research) "Using Dynamic Symbolic Execution to Improve Deductive
Veri?cation," and Yannis Smaragdakis (University of Oregon)
"Combining Static and Dynamic Reasoning for the Discovery of
Program Properties."
This Festschrift is dedicated to Thomas A. Henzinger on the
occasion of his 60th birthday in 2022. This Festschrift volume
celebrates his many contributions in the field of computer science,
with 31 papers covering various research and application
directions, authored by scientists inspired by his efforts and
example over many years.
This book constitutes the revised selected papers of the 8th
International Conference on Networked Systems, NETYS 2020, held in
Marrakech, Morocco, in June 2020.*The 18 revised full papers and 4
short papers presented together with 3 invited papers were
carefully reviewed and selected from 46 submissions. The papers
cover all aspects related to the design and the development of
these systems, including, but not restricted to, concurrent and
distributed algorithms, parallel/concurrent/distributed
programming, multi-core architectures, formal verification,
distributed databases, cloud systems, networks, security, formal
verification, etc. *The conference was held virtually due to the
COVID-19 pandemic.
|
Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I (Paperback, 1st ed. 2017)
Rupak Majumdar, Viktor Kuncak
|
R3,434
Discovery Miles 34 340
|
Ships in 10 - 15 working days
|
The two-volume set LNCS 10426 and LNCS 10427 constitutes the
refereed proceedings of the 29th International Conference on
Computer Aided Verification, CAV 2017, held in Heidelberg, Germany,
in July 2017.The total of 50 full and 7 short papers presented
together with 5 keynotes and tutorials in the proceedings was
carefully reviewed and selected from 191 submissions. The CAV
conference series is dedicated to the advancement of the theory and
practice of computer-aided formal analysis of hardware and software
systems. The conference covers the spectrum from theoretical
results to concrete applications, with an emphasis on practical
verification tools and the algorithms and techniques that are
needed for their implementation.
|
Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II (Paperback, 1st ed. 2017)
Rupak Majumdar, Viktor Kuncak
|
R3,495
Discovery Miles 34 950
|
Ships in 10 - 15 working days
|
The two-volume set LNCS 10426 and LNCS 10427 constitutes the
refereed proceedings of the 29th International Conference on
Computer Aided Verification, CAV 2017, held in Heidelberg, Germany,
in July 2017.The total of 50 full and 7 short papers presented
together with 5 keynotes and tutorials in the proceedings was
carefully reviewed and selected from 191 submissions. The CAV
conference series is dedicated to the advancement of the theory and
practice of computer-aided formal analysis of hardware and software
systems. The conference covers the spectrum from theoretical
results to concrete applications, with an emphasis on practical
verification tools and the algorithms and techniques that are
needed for their implementation.
This book constitutes the refereed proceedings of the 6th
International Conference on Runtime Verification, RV 2015, held in
Vienna, Austria, in September 2015. The 15 revised full papers
presented together with 4 short papers, 2 tool papers, 4 tutorials,
3 invited talks, and 2 software competition papers were carefully
reviewed and selected from 45 submissions. The discussion of the
conference centers around two main aspects. The first is to
understand wether the runtime verification techniques can
practically complement the traditional methods proving programs
correct before their execution, such as model checking and theorem
proving. The second concerns with formal methods and how their
application can improve traditional ad-hoc monitoring techniques
used in performance monitoring, hardware design emulation and
simulation, etc.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|