Harvard |

Harvard

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008172485/catalog> ?p ?o. }

Showing items 1 to 45 of 45 with 100 items per page.

catalog abstract "TheaimoftheARTS’99workshopistobringtogetherresearchersandpr- titioners interested in the design of real-time and probabilistic systems. It is intendedtocoverthewholespectrumofdevelopmentandapplicationofspec- cation,veri cation,analysisandconstructiontechniquesforreal-timeandpro- bilisticsystems. BeingaworkshopundertheumbrellaoftheAMASTmovement (AlgebraicMethodologyAndSoftwareTechnology),ARTSisintendedtoprovide aforumforthepresentationofapproachesthatarebasedonaclearmathema- calbasis. Aspectsofreal-timeandprobabilisticsystemsfortheworkshopinclude (butarenotlimitedto):compositionalconstructionandveri cationtechniques, automaticandmachine-supportedveri cation,casestudies,formalmethodsfor performanceanalysis,semantics,algorithmsandtools,andhybridsystems. ARTS’99wasorganisedbytheLehrstuhlfur ¨ Informatik7attheUniversity ofErlangen-Nurn ¨ bergandtookplaceattheSt¨adtlicheVolkshochschuleinB- berg(Oberfranken),GermanyfromMay26{28,1999. PreviouseditionsofARTS workshopswereorganizedbytheUniversityofIowa,USA(1993),Universityof Bordeaux,France(1995),BrighamYoungUniversity,USA(1996),andGeneral SystemsDevelopment,Mallorca,Spain(1997). Previousproceedingsappeared asLNCS1231orasbooksintheAMASTSeriesofComputing. TheProgramCommitteeselected17papersfromatotalof33submissions. Each submitted paper was sent to three Program Committee members, who wereoftenassistedbysub-referees. Duringaone-weekdiscussionviae-mail,the ProgramCommitteehasmadetheselectionofthepapersonthebasisofthe reviews. Thisvolumecontainsthe17selectedpapersplus3invitedpapers(in eitherfullorabstractform). IwouldliketothanktheProgramCommitteemembersandthesub-referees fortheire orts. Ialsoliketothanktheinvitedspeakersforgivingatalkatthe workshopandfortheircontributiontotheproceedings. SpecialthankstoUlrich Herzog,ChrisMoog,TeodorRus,DiegoLatellaandRuthAbraham(Springer- Verlag)fortheirsupport. Withouttheirhelp,thiseventwouldnothavebeen possible. March1999 Joost-PieterKatoen ProgramChair ARTS’99 Invited Speakers Bengt Jonsson (Uppsala University, Sweden) Frits W. Vaandrager(University of Nijmegen, The Netherlands) Moshe Y. Vardi (Rice University, USA) Steering Committee Manfred Broy (Technical University of Munich, Germany) Edmund Clarke (Carnegie Mellon University, USA) Ulrich Herzog (University of Erlangen-Nu ¨rnberg, Germany) Zohar Manna (Stanford University, USA) Maurice Nivat (University of Paris 6, France) Amir Pnueli (Weizmann Institute of Science, Israel) Teodor Rus (Chair, University of Iowa, USA) ProgramCommittee Rajeev Alur (University of Pennsylvania, USA) Jos Baeten (Eindhoven University of Technology, The Netherlands) Christel Baier (University of Mannheim, Germany) Miquel Bertran (University of Ramon Llull, Spain) Antonio Cerone (University of South Australia, Australia) Rance Cleaveland (SUNY at Stony Brook, USA) Jim Davies (Oxford University, UK) Colin Fidge (University of Queensland, Australia) David de Frutos (University of Madrid, Spain) Hubert Garavel (INRIA Rhone-Alpes, France) Constance Heitmeyer (Naval Research Laboratory, USA) Tom Henzinger (University of Berkeley, USA) Jane Hillston (University of Edinburgh, UK) Joost-Pieter Katoen (University of Erlangen-Nu ¨rnberg, Germany, Chair) Rom Langerak (University of Twente, The Netherlands) Kim G.".
catalog alternative "5th International AMAST Workshop, ARTS'99".
catalog alternative "ARTS'99 : formal methods for real-time and probabilistic systems".
catalog alternative "ARTS'99".
catalog alternative "Fifth International AMAST Workshop, ARTS'99".
catalog alternative "International AMAST Workshop".
catalog contributor b11365903.
catalog contributor b11365904.
catalog contributor b11365905.
catalog created "c1999.".
catalog date "1999".
catalog date "c1999.".
catalog dateCopyrighted "c1999.".
catalog description "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.".
catalog description "Includes bibliographical references and index.".
catalog description "March1999 Joost-PieterKatoen ProgramChair ARTS’99 Invited Speakers Bengt Jonsson (Uppsala University, Sweden) Frits W. Vaandrager(University of Nijmegen, The Netherlands) Moshe Y. ".
catalog description "PreviouseditionsofARTS workshopswereorganizedbytheUniversityofIowa,USA(1993),Universityof Bordeaux,France(1995),BrighamYoungUniversity,USA(1996),andGeneral SystemsDevelopment,Mallorca,Spain(1997). Previousproceedingsappeared asLNCS1231orasbooksintheAMASTSeriesofComputing. TheProgramCommitteeselected17papersfromatotalof33submissions. Each submitted paper was sent to three Program Committee members, who wereoftenassistedbysub-referees. Duringaone-weekdiscussionviae-mail,the ProgramCommitteehasmadetheselectionofthepapersonthebasisofthe reviews. Thisvolumecontainsthe17selectedpapersplus3invitedpapers(in eitherfullorabstractform). IwouldliketothanktheProgramCommitteemembersandthesub-referees fortheire orts. Ialsoliketothanktheinvitedspeakersforgivingatalkatthe workshopandfortheircontributiontotheproceedings. SpecialthankstoUlrich Herzog,ChrisMoog,TeodorRus,DiegoLatellaandRuthAbraham(Springer- Verlag)fortheirsupport. Withouttheirhelp,thiseventwouldnothavebeen possible. ".
catalog description "TheaimoftheARTS’99workshopistobringtogetherresearchersandpr- titioners interested in the design of real-time and probabilistic systems. It is intendedtocoverthewholespectrumofdevelopmentandapplicationofspec- cation,veri cation,analysisandconstructiontechniquesforreal-timeandpro- bilisticsystems. BeingaworkshopundertheumbrellaoftheAMASTmovement (AlgebraicMethodologyAndSoftwareTechnology),ARTSisintendedtoprovide aforumforthepresentationofapproachesthatarebasedonaclearmathema- calbasis. Aspectsofreal-timeandprobabilisticsystemsfortheworkshopinclude (butarenotlimitedto):compositionalconstructionandveri cationtechniques, automaticandmachine-supportedveri cation,casestudies,formalmethodsfor performanceanalysis,semantics,algorithmsandtools,andhybridsystems. ARTS’99wasorganisedbytheLehrstuhlfur ¨ Informatik7attheUniversity ofErlangen-Nurn ¨ bergandtookplaceattheSt¨adtlicheVolkshochschuleinB- berg(Oberfranken),GermanyfromMay26{28,1999. ".
catalog description "USA) Jane Hillston (University of Edinburgh, UK) Joost-Pieter Katoen (University of Erlangen-Nu ¨rnberg, Germany, Chair) Rom Langerak (University of Twente, The Netherlands) Kim G.".
catalog description "Vardi (Rice University, USA) Steering Committee Manfred Broy (Technical University of Munich, Germany) Edmund Clarke (Carnegie Mellon University, USA) Ulrich Herzog (University of Erlangen-Nu ¨rnberg, Germany) Zohar Manna (Stanford University, USA) Maurice Nivat (University of Paris 6, France) Amir Pnueli (Weizmann Institute of Science, Israel) Teodor Rus (Chair, University of Iowa, USA) ProgramCommittee Rajeev Alur (University of Pennsylvania, USA) Jos Baeten (Eindhoven University of Technology, The Netherlands) Christel Baier (University of Mannheim, Germany) Miquel Bertran (University of Ramon Llull, Spain) Antonio Cerone (University of South Australia, Australia) Rance Cleaveland (SUNY at Stony Brook, USA) Jim Davies (Oxford University, UK) Colin Fidge (University of Queensland, Australia) David de Frutos (University of Madrid, Spain) Hubert Garavel (INRIA Rhone-Alpes, France) Constance Heitmeyer (Naval Research Laboratory, USA) Tom Henzinger (University of Berkeley, ".
catalog extent "x, 353 p. :".
catalog identifier "3540660100".
catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 1601".
catalog issued "1999".
catalog issued "c1999.".
catalog language "eng".
catalog publisher "Berlin ; New York : Springer,".
catalog subject "Computer Communication Networks.".
catalog subject "Computer science.".
catalog subject "Computer software Verification Congresses.".
catalog subject "Logic design.".
catalog subject "QA76.9.F67 I577 1999".
catalog subject "Real-time data processing Congresses.".
catalog subject "Software engineering.".
catalog subject "Systems engineering Congresses.".
catalog tableOfContents "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.".
catalog title "5th International AMAST Workshop, ARTS'99".
catalog title "ARTS'99 : formal methods for real-time and probabilistic systems".
catalog title "ARTS'99".
catalog title "Fifth International AMAST Workshop, ARTS'99".
catalog title "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.".
catalog title "International AMAST Workshop".
catalog type "Bamberg (1999) swd".
catalog type "Conference proceedings. fast".
catalog type "text".