Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings
著者
書誌事項
Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings
（Lecture notes in computer science, 1601）
Springer, c1999
大学図書館所蔵 件 / 全37件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
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 .. bergandtookplaceattheStadtlicheVolkshochschuleinB- 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.
目次
Invited Lecture.- Fully Abstract Characterization of Probabilistic May Testing.- Verification of Probabilistic System.- Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms.- Establishing Qualitative Properties for Probabilistic Lossy Channel Systems.- Root Contention in IEEE 1394.- Model Checking Probabilistic Systems.- Automatic Verification of Real-Time Systems with Discrete Probability Distributions.- ProbVerus: Probabilistic Symbolic Model Checking.- Semantics of Probabilistic Process Calculi.- Process Algebra with Probabilistic Choice.- An Axiomatization of Probabilistic Testing.- Invited Lecture.- Verification of Hybrid Systems.- Semantics of Real-Time Processes.- A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics.- Comparing the Efficiency of Asynchronous Systems.- Real-Time Compilation.- A Formal Model of Real-Time Program Compilation.- Stochastic Process Algebra.- Specifying Performance Measures for PEPA.- Semi-numerical Solution of Stochastic Process Algebra Models.- Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation.- Invited Lecture.- Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach.- Modeling and Verification of Real-Time Systems.- Formal Verification of a Power Controller Using the Real-Time Model Checker Uppaal.- Verifying Progress in Timed Systems.- Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover.- Modelling Timeouts without Timelocks.
「Nielsen BookData」 より