The Resource Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings, Joost-Pieter Katoen, ed

Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings, Joost-Pieter Katoen, ed

Label
Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings
Title
Formal methods for real-time and probabilistic systems
Title remainder
5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings
Statement of responsibility
Joost-Pieter Katoen, ed
Title variation
  • 5th International AMAST Workshop, ARTS'99
  • Fifth International AMAST Workshop, ARTS'99
  • International AMAST Workshop
  • ARTS'99
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
CUS
Illustrations
illustrations
Index
index present
LC call number
QA76.54
LC item number
.I53 1999
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1999
http://bibfra.me/vocab/lite/meetingName
International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
Katoan, Joost-Pieter
http://library.link/vocab/subjectName
  • Real-time data processing
  • Computer software
  • Systems engineering
  • système hybride
  • vérification formelle
  • système probabilistique
  • système temps réel
  • méthode formelle
  • Temps réel
  • Parallélisme (Informatique)
  • Traitement réparti
  • Probabilités
  • Computer software
  • Real-time data processing
  • Systems engineering
  • Informatiesystemen
  • Real-time systemen
  • Sistemas operacionais (computadores)
  • Temps réel (informatique)
  • Ingénierie des systèmes
  • Echtzeitsystem
  • Formale Methode
  • Kongress
  • Softwareentwicklung
  • Stochastisches System
  • Systementwicklung
Label
Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings, Joost-Pieter Katoen, ed
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Fully abstract characterization of probabilistic may testing / Bengt Jonsson and Wang Yi -- Quantitative program logic and performance in probabilistic distributed algorithms / Annabelle K. McIver -- Establishing qualitative properties for probabilistic lossy channel systems / Christel Baier and Bettina Engelen -- Root contention in IEEE 1394 / Marielle Stoelinga and Frits Vaandrager -- Automatic verification of real-time systems with discrete probability distributions / Marta Kwiatkowska [and others] -- ProbVerus: probabilistic symbolic model checking / Vicky Hartonas-Garmhausen, Sergio Campos, and Ed Clarke -- Process algebra with probabilistic choice / Suzana Andova -- An axiomatization of probabilistic testing / Manuel Nunez -- Verification of hybrid systems / Frits Vaandrager -- A parallel operator for real-time processes with predicate transformer semantics / Karl Lermer -- Comparing the efficiency of asynchronous systems / Lars Jenner and Walter Vogler -- A formal model of real-time program compilation / Karl Lermer and Colin Fidge -- Specifying performance measures for PEPA / Graham Clark, Stephen Gilmore, and Jane Hillston -- Semi-numerical solution of stochastic process algebra models / Henrik C. Bohnenkamp and Boudewijn R. Haverkort -- Bisimulation algorithms for stochastic process algebras and their BDD-based implementation / Holger Hermanns and Markus Siegle -- Probabilistic linear-time model checking / Moshe Y. Vardi -- Formal verification of a power controller using the real-time model checker UPPAAL / Klaus Havelund, Kim Guldstrand Larsen, and Arne Skou -- Verifying progress in timed systems / Stavros Tripakis -- Proof assistance for real-time systems using an interactive theorem prover / Paul Z. Kolano -- Modelling timeouts without timelocks / Howard Bowman
Dimensions
24 cm.
Extent
x, 353 pages
Isbn
9783540660101
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
  • (OCoLC)41525601
  • (OCoLC)ocm41525601
Label
Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings, Joost-Pieter Katoen, ed
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Fully abstract characterization of probabilistic may testing / Bengt Jonsson and Wang Yi -- Quantitative program logic and performance in probabilistic distributed algorithms / Annabelle K. McIver -- Establishing qualitative properties for probabilistic lossy channel systems / Christel Baier and Bettina Engelen -- Root contention in IEEE 1394 / Marielle Stoelinga and Frits Vaandrager -- Automatic verification of real-time systems with discrete probability distributions / Marta Kwiatkowska [and others] -- ProbVerus: probabilistic symbolic model checking / Vicky Hartonas-Garmhausen, Sergio Campos, and Ed Clarke -- Process algebra with probabilistic choice / Suzana Andova -- An axiomatization of probabilistic testing / Manuel Nunez -- Verification of hybrid systems / Frits Vaandrager -- A parallel operator for real-time processes with predicate transformer semantics / Karl Lermer -- Comparing the efficiency of asynchronous systems / Lars Jenner and Walter Vogler -- A formal model of real-time program compilation / Karl Lermer and Colin Fidge -- Specifying performance measures for PEPA / Graham Clark, Stephen Gilmore, and Jane Hillston -- Semi-numerical solution of stochastic process algebra models / Henrik C. Bohnenkamp and Boudewijn R. Haverkort -- Bisimulation algorithms for stochastic process algebras and their BDD-based implementation / Holger Hermanns and Markus Siegle -- Probabilistic linear-time model checking / Moshe Y. Vardi -- Formal verification of a power controller using the real-time model checker UPPAAL / Klaus Havelund, Kim Guldstrand Larsen, and Arne Skou -- Verifying progress in timed systems / Stavros Tripakis -- Proof assistance for real-time systems using an interactive theorem prover / Paul Z. Kolano -- Modelling timeouts without timelocks / Howard Bowman
Dimensions
24 cm.
Extent
x, 353 pages
Isbn
9783540660101
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
  • (OCoLC)41525601
  • (OCoLC)ocm41525601

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...