Вы здесь

Cleaveland R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ The Integrated CWS-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems 2003 Zhang D., Cleaveland R., Stark E. W. Lecture Notes in Computer Science 17.04.2003
СТ GCCS: A Graphical Coordination Language for System Specification 2000 Cleaveland R., Du X., Smolka S. A. Lecture Notes in Computer Science 05.10.2000
СТ Probabilistic Temporal Logics via the Modal Mu-Calculus 1999 Narasimha M., Cleaveland R., Iyer P. Lecture Notes in Computer Science 02.04.1999
СТ Probabilistic Resource Failure in Real-Time Process Algebra 1998 Philippou A., Cleaveland R., Lee I., Smolka S., Sokolovsky O. Lecture Notes in Computer Science 11.09.1998
СТ Efficient Local Model-Checking for Fragments of the Modal -Calculus 1996 Bhat G., Cleaveland R. Lecture Notes in Computer Science 24.04.1996
СТ Priorities for Modeling and Verifying Distributed Systems 1996 Cleaveland R., Luttgen G., Natarajan V., Sims S. Lecture Notes in Computer Science 24.04.1996
СТ A Front-End Generator for Verification Tools 1995 Cleaveland R., Madelaine E., Sims S. Lecture Notes in Computer Science 11.01.1996
СТ Optimality in Abstractions of Model Checking 1995 Cleaveland R., Iyer P., Yankelevich D. Lecture Notes in Computer Science Static Analysis 16.11.1995
СТ Divergence and Fair Testing 1995 Natarajan V., Cleaveland R. Lecture Notes in Computer Science Automata, Languages and Programming 10.09.1995
СТ Type Theory and Concurrency 1988 Cleaveland R., Panangaden P. Intern. J. Parallel Programming 26.05.1995
СТ Priority and Abstraction in Process Algebra 1994 Natarajan V., Christoff I., Christoff L., Cleaveland R. Lecture Notes in Computer Science 11.01.1995
СТ Testing-Based Abstractions for Value-Passing Systems 1994 Cleaveland R., Riely J. Lecture Notes in Computer Science 26.08.1994
СТ Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes 1994 Yuen S., Cleaveland R., Dayar Z. Lecture Notes in Computer Science 26.08.1994
СТ Analyzing Concurrent Systems Using the Concurrency Workbench 1993 Cleaveland R. Lecture Notes in Computer Science 05.08.1993
СТ Computing Behavioral Relations, Logically 1991 Cleaveland R., Steffen B. Lecture Notes in Computer Science 11.09.1991

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday 2019 Lecture Notes in Computer Science
  1. Bartocci E.
  2. Cleaveland R.
  3. Grosu R.
  4. Sokolsky O.
30.10.2019